Fedor Isakov b39149f9c2 Import the generated build.xml into gradle build file.		2017-06-07 18:58:47 +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	Import the generated build.xml into gradle build file.	2017-06-07 18:58:47 +02:00
typechecking	Updated the reactor libs. Adapted to the renamed interfaces in the reactor API.	2017-06-05 14:34:14 +02:00
typesystem2	Updated the reactor libs. Adapted to the renamed interfaces in the reactor API.	2017-06-05 14:34:14 +02:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Import the generated build.xml into gradle build file.	2017-06-07 18:58:47 +02:00
build.gradle	Import the generated build.xml into gradle build file.	2017-06-07 18:58:47 +02:00
build.xml	Updated the reactor libs. Adapted to the renamed interfaces in the reactor API.	2017-06-05 14:34:14 +02:00
settings.gradle	Gradle scripts to download dependencies.	2017-06-07 15:47:52 +02:00
test.xml	Updated the reactor libs. Adapted to the renamed interfaces in the reactor API.	2017-06-05 14:34:14 +02:00