Fedor Isakov 1d6957cf6d Better formatted trace output. Fix launching memreactor. Fix looking up variable names.		2016-01-26 09:03:55 +01:00
.idea	Updated the git configuration	2015-12-28 10:36:45 +01:00
.mps	Reshuffling the models around a bit.	2015-12-25 23:54:48 +01:00
jchr/languages/jetbrains.mps.jchr	Better project structure	2015-12-25 21:22:52 +01:00
logic	Switch to using MemReactor for typechecker. Updated the API and core lib.	2016-01-26 09:03:19 +01:00
solutions	AbstractLogicalPattern a factory for Logical instances.	2016-01-26 09:03:19 +01:00
typechecking	Better formatted trace output. Fix launching memreactor. Fix looking up variable names.	2016-01-26 09:03:55 +01:00
typesystem2	Typechecking templates: use the SNodeId as the classifier id value	2016-01-11 15:30:29 +01:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Ignore IDEA's workspace file	2015-02-09 16:21:36 +01:00
.gitmodules	Better project structure	2015-12-25 21:22:52 +01:00