| .. |
|
jetbrains.mps.coderules
|
Refactor TraceObject to contain all traces from all evaluation sesssion.
|
2019-09-05 22:56:11 +02:00 |
|
jetbrains.mps.coderules.build
|
Introduce origin block for specifying the constraint rule origin.
|
2019-09-02 17:55:46 +02:00 |
|
jetbrains.mps.coderules.test
|
Flip "disabled" option to "enabled", false by default. Introduce property-controlled static flag.
|
2019-08-12 18:21:38 +02:00 |
|
jetbrains.mps.coderules.typechecking
|
Ensure correct nodeRef is passed as a feedback template
|
2019-09-05 22:56:11 +02:00 |
|
jetbrains.mps.coderules.typechecking.test
|
Redesing the way aspect cliques are processed.
|
2019-09-05 18:53:27 +02:00 |
|
jetbrains.mps.coderules.typechecking.testlang.sandbox
|
Drop baseLanguage from imports in a sandbox model.
|
2019-09-05 22:56:11 +02:00 |
|
jetbrains.mps.coderules.typechecking.ui
|
Various refactorings in trace and reporting.
|
2019-08-28 21:27:09 +02:00 |
|
jetbrains.mps.coderules.ui
|
Refactor TraceObject to contain all traces from all evaluation sesssion.
|
2019-09-05 22:56:11 +02:00 |
|
jetbrains.mps.controlflow
|
Support navigating to rule from editor. Drop implementations of Reporting.report.
|
2019-09-04 16:53:03 +02:00 |
|
jetbrains.mps.controlflow.ui
|
Various refactorings in trace and reporting.
|
2019-08-28 21:27:09 +02:00 |
|
jetbrains.mps.lang.coderules.template
|
Redesing the way aspect cliques are processed.
|
2019-09-05 18:53:27 +02:00 |
|
jetbrains.mps.lang.controlflow.runtime
|
Refactor aspect lookup, introduce aspect clique to support multiple typesystems.
|
2019-08-12 18:21:38 +02:00 |
|
jetbrains.mps.lang.typechecking.runtime
|
Refactor aspect lookup, introduce aspect clique to support multiple typesystems.
|
2019-08-12 18:21:38 +02:00 |
|
jetbrains.mps.logic.reactor
|
Swith to using reactor lib 0.9.12.
|
2019-09-02 17:37:55 +02:00 |
|
jetbrains.mps.logic.test
|
Drop overrides of removed methods.
|
2019-09-10 18:37:11 +02:00 |
|
jetbrains.mps.reporting.runtime
|
Deprecate report operation and API.
|
2019-09-02 17:55:46 +02:00 |
