Go to file
Fedor Isakov 778f1bf167 Trying to make tests launch from the build file (unsuccessful) 2016-08-26 12:17:10 +02:00
.idea Updated the git configuration 2015-12-28 10:36:45 +01:00
.mps Build file for making the samplechecker plugin. 2016-08-25 13:55:53 +02:00
jchr Extracting the JCHR-related stuff to drop it later. 2016-08-25 13:48:02 +02:00
logic Trying to make tests launch from the build file (unsuccessful) 2016-08-26 12:17:10 +02:00
typechecking Trying to make tests launch from the build file (unsuccessful) 2016-08-26 12:17:10 +02:00
typesystem2 Extracting the JCHR-related stuff to drop it later. 2016-08-25 13:48:02 +02:00
.gitattributes Initial import 2014-07-03 15:02:07 +02:00
.gitignore Build file for making the samplechecker plugin. 2016-08-25 13:55:53 +02:00
build.xml Trying to make tests launch from the build file (unsuccessful) 2016-08-26 12:17:10 +02:00
test.xml Trying to make tests launch from the build file (unsuccessful) 2016-08-26 12:17:10 +02:00