Fedor Isakov 31e15fcaa9 Typechecking templates: annotate the handlers with the primary constraints. Moderate pocessing speedup.		2016-12-28 12:48:47 +01:00
.idea	Updated the git configuration	2015-12-28 10:36:45 +01:00
.mps	SModel lang extension for typesystem2. Tests.	2016-11-11 14:22:15 +01:00
jchr	Build CLP program with handlers instead of rules. Minor rename refactoring.	2016-12-23 17:42:20 +01:00
logic	Build CLP program with handlers instead of rules. Minor rename refactoring.	2016-12-23 17:42:20 +01:00
typechecking	Typechecking templates: annotate the handlers with the primary constraints. Moderate pocessing speedup.	2016-12-28 12:48:47 +01:00
typesystem2	Find usages of constraints in the head (match) or body (produce).	2016-12-28 12:48:47 +01: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	Optimizing imports.	2016-12-23 17:40:05 +01:00
test.xml	Optimizing imports.	2016-12-23 17:40:05 +01:00