Fedor Isakov 6e33dc3e0e A workaround for generating recursive structures.		2017-05-18 13:21:53 +02:00
.idea	Updated the git configuration	2015-12-28 10:36:45 +01:00
.mps	Switched to the latest RC build, applied the migrations.	2017-03-21 12:40:07 +01:00
logic	Add Logical as supertype of logical type.	2017-05-12 11:35:16 +02:00
typechecking	Typechecking templates: ensure no type errors in model check.	2017-05-12 11:54:22 +02:00
typesystem2	A workaround for generating recursive structures.	2017-05-18 13:21:53 +02:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Update the .gitignore file.	2017-02-03 11:15:00 +01:00
build.xml	Rebuilt the project, buildfiles updated.	2017-04-26 14:23:51 +02:00
test.xml	Rebuilt the project, buildfiles updated.	2017-04-26 14:23:51 +02:00