12 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Arnaud Dieumegard	72e69c8c5d	Update Event-B models and proofs	2019-12-19 16:19:20 +01:00
Arnaud Dieumegard	0596a3cd24	Update Event-B models and proofs	2019-12-06 13:26:01 +01:00
Arnaud Dieumegard	84bd12fa07	Update of eclipse runtime launch configuration	2019-01-17 16:08:00 +01:00
Arnaud Dieumegard	26b051b0cf	Added N-Version programming pattern description + mapping to simple seim ... model in examples.	2019-01-17 16:06:59 +01:00
Arnaud Dieumegard	f45bceb670	Patterns grammar correction for links types.	2019-01-17 16:05:48 +01:00
Arnaud Dieumegard	650ef7b56a	Added mapping xtext editor	2019-01-17 16:04:44 +01:00
Arnaud Dieumegard	a85ade0b42	Added mapping metamodel and generated code.	2019-01-17 16:03:54 +01:00
Arnaud Dieumegard	a3370dc0c7	Factorization of Link type grammar rule. Regenerated code.	2019-01-17 11:04:12 +01:00
Arnaud Dieumegard	fd7c2de530	SEIM element name cardinality correction. Regenerated code.	2019-01-17 11:00:51 +01:00
Arnaud Dieumegard	3bf1aadfd6	Added new connection patterns to metamodel. Updated editors. Bug ... correction in MWE2 generation scripts of XText editors.	2019-01-10 16:19:07 +01:00
Pierre Gaufillet	79820f4433	Initial commit.	2018-12-06 14:47:05 +01:00
Pierre Virelizier	b1dcd806aa	Copyright	2018-12-04 16:26:51 +00:00