| .. |
|
jetbrains.mps.coderules
|
Drop superfluous log statements.
|
2019-01-31 23:47:11 +01:00 |
|
jetbrains.mps.coderules.test
|
Introduce a test for running model checker on all models in the project as a part of CI.
|
2019-01-31 11:30:02 +01:00 |
|
jetbrains.mps.coderules.ui
|
Fix issues found by model checker (ex typesystem).
|
2019-01-31 11:30:02 +01:00 |
|
jetbrains.mps.controlflow
|
Fix instances of removed concepts and broken API calls after migration to 2018.3. Rebuild project.
|
2018-11-28 16:48:59 +01:00 |
|
jetbrains.mps.controlflow.ui
|
Switch to 2018.3 RC. Apply all migrations.
|
2018-11-28 16:48:59 +01:00 |
|
jetbrains.mps.lang.coderules.template
|
Eliminate duplicate language aspect objects from lookup
|
2019-01-02 18:16:28 +01:00 |
|
jetbrains.mps.lang.controlflow.runtime
|
Switch to 2018.3 RC. Apply all migrations.
|
2018-11-28 16:48:59 +01:00 |
|
jetbrains.mps.lang.typechecking.runtime
|
Switch to 2018.3 RC. Apply all migrations.
|
2018-11-28 16:48:59 +01:00 |
|
jetbrains.mps.logic.reactor
|
Switch to the new conreactor version.
|
2018-12-28 11:57:27 +01:00 |
|
jetbrains.mps.logic.test
|
Fix unification predicate not doing occurrs check on tell.
|
2019-01-26 13:52:10 +01:00 |
|
jetbrains.mps.reporting.runtime
|
Switch to 2018.3 RC. Apply all migrations.
|
2018-11-28 16:48:59 +01:00 |
|
jetbrains.mps.typechecking
|
Drop superfluous log statements.
|
2019-01-31 23:47:11 +01:00 |
|
jetbrains.mps.typechecking.build
|
Introduce a test for running model checker on all models in the project as a part of CI.
|
2019-01-31 11:30:02 +01:00 |
|
jetbrains.mps.typechecking.test
|
Switch substitution to work using equals predicate instead of equals() java method. Testing substitution on tricky cases.
|
2019-01-15 20:09:16 +01:00 |
|
jetbrains.mps.typechecking.testlang.sandbox
|
Update test language for typechecking. Re-implement all typechecking tests using test language. Drop dependency on baseLanguageExt and samples.
|
2018-07-16 16:39:13 +02:00 |
|
jetbrains.mps.typechecking.ui
|
Fix instances of removed concepts and broken API calls after migration to 2018.3. Rebuild project.
|
2018-11-28 16:48:59 +01:00 |
92faa816f8