Fedor Isakov f5f999b7be Refactored out SModel-related templates from the runtime. Better reusable pretty printing of nodes. Project reorganization.		2015-04-15 18:27:06 +02:00
..
generator/template	Better processing of wildcard variables	2015-04-15 17:24:14 +02:00
languageModels	Refactored out SModel-related templates from the runtime. Better reusable pretty printing of nodes. Project reorganization.	2015-04-15 18:27:06 +02:00
runtime	Better processing of wildcard variables	2015-04-15 17:24:14 +02:00
sandbox	Support for variables matching a list, getting rid of obsolete code, some refactoring	2015-03-24 16:27:08 +01:00
test	The TreeLogicVar can act both as a VAR and as a REF depending on whether it's bound, fixing tests	2015-03-31 13:02:35 +02:00
Logic.iml	Testing the unification logic solver. Some minor generator updates.	2015-02-09 16:09:00 +01:00
jetbrains.mps.logic.mpl	Refactored out SModel-related templates from the runtime. Better reusable pretty printing of nodes. Project reorganization.	2015-04-15 18:27:06 +02:00