mps-coderules/typechecking/solutions
Fedor Isakov c8b4fff148 Add dependencies on RxJava and rxjava2-swing. 2017-07-18 11:24:38 +02:00
..
jetbrains.mps.baseLanguageExt.test Rename "sampleLang" to "baseLanguageExt" 2017-06-12 16:32:49 +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 Add dependencies on RxJava and rxjava2-swing. 2017-07-18 11:24:38 +02:00
jetbrains.mps.typechecking.build Add dependencies on RxJava and rxjava2-swing. 2017-07-18 11:24:38 +02:00
jetbrains.mps.typechecking.sample Rename solutions "typesystem2.sample.*" to "typechecking.sample.*". 2017-06-12 19:10:29 +02:00
jetbrains.mps.typechecking.sample.test Rename "sampleplugin" solution to "typechecking". Move build solution to typechecking folder. Rename the plugin to "typechecking". 2017-06-12 21:55:53 +02:00
jetbrains.mps.typechecking.test Rename "sampleplugin" solution to "typechecking". Move build solution to typechecking folder. Rename the plugin to "typechecking". 2017-06-12 21:55:53 +02:00