Fedor Isakov 42deb2b5e1 Rules collecting/generating: boundParam in required(), pre/post processing of static rule templates		2015-06-08 13:39:19 +02:00
..
jetbrains.mps.type.sandbox	Removing instances of obsolete code, cleaning up the model checker issues	2015-03-11 13:35:10 +01:00
jetbrains.mps.type.sandbox.runner	Refactoring: replacing the obsolete constructs with logical substitution, runtime API changes, abstract logical, extracting equals constraint	2015-03-11 12:26:57 +01:00
jetbrains.mps.type.solver	Adopted the new unification solver API	2015-03-22 15:19:16 +01:00
jetbrains.mps.typechecking.handling	Introduced ExpressionConstraint; template parts contribute to the main template; refactored the templates runtime	2015-05-13 13:49:38 +02:00
jetbrains.mps.typechecking.rules	Rules collecting/generating: boundParam in required(), pre/post processing of static rule templates	2015-06-08 13:39:19 +02:00
jetbrains.mps.typechecking.solving	Adopted the new unification solver API	2015-03-22 15:19:16 +01:00
jetbrains.mps.unification.tree	Better processing of wildcard variables	2015-04-15 17:24:14 +02:00