Fedor Isakov 7621d73208 Fix running tests out-of-process (bad dependencies causing the classloader to fail)		2016-10-13 16:01:33 +02:00
.idea	Updated the git configuration	2015-12-28 10:36:45 +01:00
.mps	Moving tests specific to sampleLang/types to separate test solution.	2016-09-17 14:57:56 +02:00
jchr	Refactor the templates application code. Simplifying TypecheckingHelper.	2016-10-04 15:58:11 +02:00
logic	Resave all models containing obsolete resolve info. Fix all mentions of the old api class.	2016-09-17 14:57:55 +02:00
typechecking	Fix running tests out-of-process (bad dependencies causing the classloader to fail)	2016-10-13 16:01:33 +02:00
typesystem2	Ensure the type term initialization happens after the term is constructed.	2016-10-13 13:38:51 +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	Fix running tests out-of-process (bad dependencies causing the classloader to fail)	2016-10-13 16:01:33 +02:00
test.xml	Fix running tests out-of-process (bad dependencies causing the classloader to fail)	2016-10-13 16:01:33 +02:00