mps-coderules/typechecking/solutions
Fedor Isakov 43a823a2b5 Refactorings in the API. Introducing RuleProcessingSession to facilitate all operations with the rule processing. Consolidating all low-level stuff in runtime solution. Preparing for multiple languages support. 2018-01-05 13:58:24 +01:00
..
jetbrains.mps.baseLanguageExt.test Applied migration in Logic lang. 2017-10-25 16:33:09 +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 Refactorings in the API. Introducing RuleProcessingSession to facilitate all operations with the rule processing. Consolidating all low-level stuff in runtime solution. Preparing for multiple languages support. 2018-01-05 13:58:24 +01:00
jetbrains.mps.typechecking.build Refactorings in the API. Introducing RuleProcessingSession to facilitate all operations with the rule processing. Consolidating all low-level stuff in runtime solution. Preparing for multiple languages support. 2018-01-05 13:58:24 +01:00
jetbrains.mps.typechecking.sample Update samples: raw type. 2017-10-13 11:51:11 +02:00
jetbrains.mps.typechecking.sample.test Fix module dependencies 2017-10-23 10:23:12 +02:00
jetbrains.mps.typechecking.test Refactorings in the API. Introducing RuleProcessingSession to facilitate all operations with the rule processing. Consolidating all low-level stuff in runtime solution. Preparing for multiple languages support. 2018-01-05 13:58:24 +01:00
jetbrains.mps.typechecking.ui Refactorings in the API. Introducing RuleProcessingSession to facilitate all operations with the rule processing. Consolidating all low-level stuff in runtime solution. Preparing for multiple languages support. 2018-01-05 13:58:24 +01:00