Fedor Isakov aac95b2b25 Move typesystem2.helper.plugin to typechecking.plugin. Drop typesystem2.helper solution.		2017-07-28 13:58:37 +02:00
..
jetbrains.mps.baseLanguageExt.test	Switch to MPS 172 latest RC build. Fix a couple of parent-invariant violations in the type system, remove obsolete intention.	2017-07-19 16:22:59 +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	Move typesystem2.helper.plugin to typechecking.plugin. Drop typesystem2.helper solution.	2017-07-28 13:58:37 +02:00
jetbrains.mps.typechecking.build	Move typesystem2.helper.plugin to typechecking.plugin. Drop typesystem2.helper solution.	2017-07-28 13:58:37 +02:00
jetbrains.mps.typechecking.sample	Set "reexport" flag to true to avoid warning.	2017-07-18 11:27:32 +02:00
jetbrains.mps.typechecking.sample.test	Refactoring typechecking API: extract cache component to the plugin, change the cache updater contract to factory, simplify TestLaunchTypechecking.	2017-07-28 13:51:15 +02:00
jetbrains.mps.typechecking.test	Move typesystem2.helper.plugin to typechecking.plugin. Drop typesystem2.helper solution.	2017-07-28 13:58:37 +02:00
jetbrains.mps.typechecking.ui	Move typesystem2.helper.plugin to typechecking.plugin. Drop typesystem2.helper solution.	2017-07-28 13:58:37 +02:00