Fedor Isakov 12afe4fa9c Update the distribution zip file name to correspond to the package version (0.2).		2017-10-16 14:32:46 +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	Ensure local typechecking produces same results when running tests.	2017-10-13 11:49:45 +02:00
jetbrains.mps.typechecking.build	Update the distribution zip file name to correspond to the package version (0.2).	2017-10-16 14:32:46 +02:00
jetbrains.mps.typechecking.sample	Update samples: raw type.	2017-10-13 11:51:11 +02:00
jetbrains.mps.typechecking.sample.test	Ensure local typechecking produces same results when running tests.	2017-10-13 11:49:45 +02:00
jetbrains.mps.typechecking.test	Make types cache store type models by source root instead of model.	2017-09-15 15:10:55 +02:00
jetbrains.mps.typechecking.ui	Fix model read violation by wrapping SearchQuery construction into a read action.	2017-10-01 14:37:33 +02:00