natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
mps-coderules/typechecking/solutions
History
Fedor Isakov ce688b3672 Refactor ProgramProducer to use query templates. 
Switch to using queries to launch program stages.
Refactor typesystem2 lang and runtime to break queries into stages.
Rename ChrProgram to LogicProgram.
 		2018-05-24 11:54:01 +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 Refactor ProgramProducer to use query templates. 2018-05-24 11:54:01 +02:00
jetbrains.mps.typechecking.build Refactor ProgramProducer to use query templates. 2018-05-24 11:54:01 +02:00
jetbrains.mps.typechecking.reporting Establish module dependencies that make sense. 2018-05-17 12:07:50 +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 Refactor ProgramProducer to use query templates. 2018-05-24 11:54:01 +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 Refactor ProgramProducer to use query templates. 2018-05-24 11:54:01 +02:00