Fedor Isakov 36be0a8e6d Rename TypecheckingFacade to Typechecking to avoid name collisions.		2019-03-22 11:28:58 +01:00
..
jetbrains.mps.lang.coderules	Switch to the latest EAP of MPS 2019.1. Re-save all models.	2019-03-22 11:09:39 +01:00
jetbrains.mps.lang.controlflow	Switch to 2018.3 RC. Apply all migrations.	2018-11-28 16:48:59 +01:00
jetbrains.mps.lang.smodel.types	Rename TypecheckingFacade to Typechecking to avoid name collisions.	2019-03-22 11:28:58 +01:00
jetbrains.mps.lang.typechecking	Reorganize models/packages, restructure code components responsible for program building/evaluation.	2019-02-15 17:15:17 +01:00
jetbrains.mps.logic	Introduce two built-in predicates to be used instead of eval(false) etc.: fail and report message (debug/info/warning/error/fatal).	2019-02-18 11:49:11 +01:00
jetbrains.mps.typechecking.annotation	Make ErrorAnnotation able to suppress errors.	2019-01-31 11:44:07 +01:00
jetbrains.mps.typechecking.testlang	Apply automatic migrations in the root project	2019-01-13 14:27:43 +01:00