| .. |
|
jetbrains.mps.coderules
|
Always report a failure during evaluation as a warning
|
2018-11-20 22:39:29 +01:00 |
|
jetbrains.mps.coderules.ui
|
Wrap text constructing code into a try-catch when called from UI
|
2018-11-20 22:39:29 +01:00 |
|
jetbrains.mps.controlflow
|
Bring reporting in line with MPS core reporting facilities. Cleanup the API.
|
2018-11-04 12:54:32 +01:00 |
|
jetbrains.mps.controlflow.ui
|
Bring reporting in line with MPS core reporting facilities. Cleanup the API.
|
2018-11-04 12:54:32 +01:00 |
|
jetbrains.mps.lang.coderules.template
|
Use stack to implement storage of template application session objects
|
2018-11-20 22:39:30 +01:00 |
|
jetbrains.mps.lang.controlflow.runtime
|
Auto-updated descriptors
|
2018-09-11 17:05:50 +02:00 |
|
jetbrains.mps.lang.typechecking.runtime
|
Auto-updated descriptors
|
2018-09-11 17:05:50 +02:00 |
|
jetbrains.mps.logic.reactor
|
Switch to latest reactor, update the API calls. Support EvaluationFailure and FailureHandler.
|
2018-11-04 13:10:40 +01:00 |
|
jetbrains.mps.logic.test
|
Switch to latest reactor, update the API calls. Support EvaluationFailure and FailureHandler.
|
2018-11-04 13:10:40 +01:00 |
|
jetbrains.mps.reporting.runtime
|
Bring reporting in line with MPS core reporting facilities. Cleanup the API.
|
2018-11-04 12:54:32 +01:00 |
|
jetbrains.mps.typechecking
|
Ensure that if all the advised errors have been triggered during typechecking.
|
2018-11-20 22:39:29 +01:00 |
|
jetbrains.mps.typechecking.build
|
Use index to filter nodes on which FailureHandler should report error and clear failed state.
|
2018-11-20 22:39:30 +01:00 |
|
jetbrains.mps.typechecking.test
|
Bring reporting in line with MPS core reporting facilities. Cleanup the API.
|
2018-11-04 12:54:32 +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
|
Bring reporting in line with MPS core reporting facilities. Cleanup the API.
|
2018-11-04 12:54:32 +01:00 |
bfcf89e3df