| .. |
|
jetbrains.mps.coderules
|
Switch to using built-in messages view for Coderules messages
|
2022-08-01 14:11:38 +02:00 |
|
jetbrains.mps.coderules.build
|
Bump up plugin version and rebuild build scripts
|
2022-07-28 10:37:36 +02:00 |
|
jetbrains.mps.coderules.runtime
|
Refactor Result to be able to clear the cause
|
2021-09-21 17:54:51 +02:00 |
|
jetbrains.mps.coderules.test
|
Switch to collection of QueryTemplate instead of single instance
|
2022-05-26 09:58:31 +02:00 |
|
jetbrains.mps.coderules.testhelper
|
Ensure only relevant aspects selected for certain queries
|
2022-06-06 13:00:52 +02:00 |
|
jetbrains.mps.coderules.typechecking
|
Refactoring in TypecheckingService; simplifying code
|
2022-07-15 19:46:33 +02:00 |
|
jetbrains.mps.coderules.typechecking.test
|
Refactoring in TypecheckingService; simplifying code
|
2022-07-15 19:46:33 +02:00 |
|
jetbrains.mps.coderules.typechecking.testlang.sandbox
|
Apply migrations after switch to MPS 193. Regenerate project.
|
2020-02-03 11:24:22 +01:00 |
|
jetbrains.mps.coderules.typechecking.ui
|
Paranoid NPE checks, MPSCR-113
|
2022-08-01 14:11:36 +02:00 |
|
jetbrains.mps.coderules.ui
|
Switch to using built-in messages view for Coderules messages
|
2022-08-01 14:11:38 +02:00 |
|
jetbrains.mps.controlflow
|
Refactoring in the UI: merging tool windows into one
|
2021-11-18 10:59:58 +01:00 |
|
jetbrains.mps.controlflow.ui
|
Drop references to removed Activation Trace
|
2021-11-24 16:22:17 +01:00 |
|
jetbrains.mps.lang.coderules.template
|
Switch to using plain FQN strings to identify templates
|
2022-07-28 10:30:38 +02:00 |
|
jetbrains.mps.lang.controlflow.runtime
|
Migrate to the latest MPS release, apply migrations
|
2021-06-18 18:41:01 +02:00 |
|
jetbrains.mps.lang.typechecking.runtime
|
Introduce checkpoint for typechecking "strut" templates
|
2022-07-28 10:30:38 +02:00 |
|
jetbrains.mps.logic.reactor
|
Update conreactor version to 0.9.16
|
2022-04-25 12:47:43 +02:00 |
|
jetbrains.mps.logic.test
|
Feature: isGround and isNonground predicates, MPSCR-94
|
2021-07-22 13:59:19 +02:00 |
