mps-coderules/typechecking/solutions
Fedor Isakov fec79ebde3 Refactoring in typesystem2 runtime and template APIs: cleaning up the code and preparing to introduce queries. Support for extended handler templates. 2018-05-17 12:07:50 +02:00
..
jetbrains.mps.baseLanguageExt.test Refactoring: rename treeform to dataform everywhere in the runtime. 2018-04-17 13:56:32 +02:00
jetbrains.mps.lang.typesystem2.samplechecker Extracting the JCHR-related stuff to drop it later. 2016-08-25 13:48:02 +02:00
jetbrains.mps.lang.typesystem2.samplechecker.handler.util Reorganizing the code, optimize the number of solutions. Delete empty solutions. 2017-06-12 18:55:55 +02:00
jetbrains.mps.lang.typesystem2.samplechecker.test Reorganizing the code, optimize the number of solutions. Delete empty solutions. 2017-06-12 18:55:55 +02:00
jetbrains.mps.typechecking Refactoring: rename treeform to dataform everywhere in the runtime. 2018-04-17 13:56:32 +02:00
jetbrains.mps.typechecking.build Refactoring: moving term-related concepts into a separate language, use dataform nomenclature instead of term where possible. Create migration. 2018-04-19 16:30:23 +02:00
jetbrains.mps.typechecking.reporting Switched to MPS 2018.1 2018-04-10 14:22:48 +02:00
jetbrains.mps.typechecking.sample Switched to MPS 2018.1 2018-04-10 14:22:48 +02:00
jetbrains.mps.typechecking.sample.test Switched to MPS 2018.1 2018-04-10 14:22:48 +02:00
jetbrains.mps.typechecking.test Switched to MPS 2018.1 2018-04-10 14:22:48 +02:00
jetbrains.mps.typechecking.testlang.sandbox Testing RuleTemplate with constraint rules in a sandbox. 2018-04-03 12:16:48 +02:00
jetbrains.mps.typechecking.ui Refactoring in typesystem2 runtime and template APIs: cleaning up the code and preparing to introduce queries. Support for extended handler templates. 2018-05-17 12:07:50 +02:00