natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 1f68b62c6e Switch to gradle 7.3 Fedor Isakov 2022-08-16 17:46:16 +0200
  • 29c9a50fa9 Use built-in BL's intersection type instead of meet type Fedor Isakov 2022-08-16 17:46:02 +0200
  • 26a3bd12dd Fix how output models are searched for checkpoints Fedor Isakov 2022-08-16 17:44:28 +0200
  • 29a7479bce Mark public methods of TC queries as synchronized Fedor Isakov 2022-08-09 11:30:43 +0200
  • ab2a1b6499 BL Types: Disable overriding methods check, MPSCR-115 Fedor Isakov 2022-08-01 13:06:22 +0200
  • e3870d1397 Switch to using built-in messages view for Coderules messages Fedor Isakov 2022-08-01 13:04:50 +0200
  • 874cc5d135 Paranoid NPE checks, MPSCR-113 Fedor Isakov 2022-07-28 12:49:46 +0200
  • ba7411abfa Bump up plugin version and rebuild build scripts Fedor Isakov 2022-07-28 10:37:26 +0200
  • 40dd4bb31a Avoid dependency on a non-runtime solution Fedor Isakov 2022-07-27 12:23:53 +0200
  • 451529aa08 Cleanup imports Fedor Isakov 2022-07-26 13:14:31 +0200
  • 83daafe180 Fix feature reference constraint Fedor Isakov 2022-07-26 13:13:56 +0200
  • f985db8206 Update and rebuild build scripts Fedor Isakov 2022-07-26 13:13:09 +0200
  • 7fe773dcc2 Switch all type aspects in mpscore sample to typechecking terms Fedor Isakov 2022-07-26 13:12:43 +0200
  • f9eb52a60f Introduce checkpoint for typechecking "strut" templates Fedor Isakov 2022-07-26 13:10:12 +0200
  • 33b472f560 Switch to using plain FQN strings to identify templates Fedor Isakov 2022-07-26 13:06:36 +0200
  • 468cee3b54 Avoid NPE when displaying baloon Fedor Isakov 2022-07-19 10:27:14 +0200
  • e03f8d134b Switch lambdac sample to typechecking queries Fedor Isakov 2022-07-19 10:27:00 +0200
  • 8388edb4a5 Switch fitch sample to typechecking terms/queries Fedor Isakov 2022-07-18 17:39:48 +0200
  • f5536a472a Enforce non-null contract on failureCause and message Fedor Isakov 2022-07-18 12:53:18 +0200
  • 0663921ecd Refactoring in TypecheckingService; simplifying code Fedor Isakov 2022-07-15 19:46:13 +0200
  • 0422a4cbd4 Fix exception initialization Fedor Isakov 2022-07-14 12:06:49 +0200
  • 4bd681f3ee Fix support for require/requireAll statements in queries, MPSCR-108 Fedor Isakov 2022-07-14 12:06:21 +0200
  • 115135bbb5 Update plugin versions and manifests Fedor Isakov 2022-07-13 12:27:05 +0200
  • be1e4bac18 Bump up version of Kotlin and JUnit Fedor Isakov 2022-07-12 11:17:09 +0200
  • 23502bafe7 Fix dangling import Fedor Isakov 2022-07-12 11:06:55 +0200
  • 71d2014ef1 Update and rebuild build scripts Fedor Isakov 2022-07-07 12:50:32 +0200
  • f24169ba26 Refactor Config to be immutable; allow multi-project MPSCR-105 Fedor Isakov 2022-07-07 12:50:12 +0200
  • e4d7a9ff9e Notify UISettings after changing preferences, listen to UISettings Fedor Isakov 2022-07-06 12:23:01 +0200
  • 99907ec111 Fix how CR widget looks (more professional look) Fedor Isakov 2022-07-04 16:58:41 +0200
  • 735bd29d61 Update references and rebuild build scripts Fedor Isakov 2022-07-04 16:27:20 +0200
  • 5c12da69be Switch to latest MPS 221 EAP for local build Fedor Isakov 2022-07-04 16:26:55 +0200
  • a84675c0f2 Cache statusbar in intialization code to avoid NPE MPS213 Fedor Isakov 2022-06-20 11:33:06 +0200
  • 01112bbd8b
         Bump kotlin-stdlib from 1.3.70 to 1.6.0 in /reactor #2 dependabot[bot] 2022-06-20 22:40:47 +0000
  • 7ce95d403e Update README with installation instructions Fedor Isakov 2022-06-20 11:24:43 +0200
  • 837f7303a8 Fix test language broken after refactoring Fedor Isakov 2022-06-18 15:56:31 +0200
  • ff1ceb7dda Update build script Fedor Isakov 2022-06-18 14:52:59 +0200
  • 186c7b6a28 Fix auto-recovery of types with expect/assign/recover pseudo-constraints Fedor Isakov 2022-06-18 12:52:46 +0200
  • dd0b9b2842 Intention to convert term table to types term table Fedor Isakov 2022-06-14 15:19:41 +0200
  • f6e75628c8 Rebuild build script Fedor Isakov 2022-06-13 11:20:22 +0200
  • 7593fc7b14 Avoid NPE if preferences are not available Fedor Isakov 2022-06-13 11:20:06 +0200
  • 8a46abcfb3 StatusBar widget to control Coderules ON/OFF Fedor Isakov 2022-06-12 15:36:24 +0200
  • 77eb3f30c7 Implement a missing BH method Fedor Isakov 2022-06-08 17:16:38 +0200
  • b46373701f WIP Reorganizing code Fedor Isakov 2022-06-02 18:22:32 +0200
  • d1f3066af2 Drop all caches from AspectLookup Fedor Isakov 2022-06-08 10:18:37 +0200
  • e1bab4a1c7 Respect LateExpression arg when building unique_tag, MPSCR-107 Fedor Isakov 2022-06-07 15:21:18 +0200
  • 88aaf7898c Ensure only relevant aspects selected for certain queries Fedor Isakov 2022-06-06 13:00:04 +0200
  • ea3e7c4719 Rebuild build scripts Fedor Isakov 2022-05-26 12:37:08 +0200
  • 585f8f57f5 Switch to generating FQ names for constraint symbols Fedor Isakov 2022-05-26 12:36:25 +0200
  • 56c7bdad7f Make FQ symbol names displayed as short names in trace view Fedor Isakov 2022-05-26 12:35:43 +0200
  • f862406ca6 Switch to using single AspectClique Fedor Isakov 2022-05-26 09:58:55 +0200
  • c112a59116 Switch to collection of QueryTemplate instead of single instance Fedor Isakov 2022-05-26 09:58:31 +0200
  • ed58f59794 Ensure all memo usages have unique keys Fedor Isakov 2022-05-26 09:55:21 +0200
  • 874a2a4b4e Ensure rule tags have unique group name Fedor Isakov 2022-05-25 13:49:11 +0200
  • 710c5ddc9b Ensure failure during trace view update is gracefully handled Fedor Isakov 2022-05-25 13:37:55 +0200
  • 05adef15f9 Respect the template (group) name in rule tag Fedor Isakov 2022-05-25 12:47:27 +0200
  • f91170aec0 Fix invalid reporting of trace events Fedor Isakov 2022-05-25 12:46:19 +0200
  • cfcf6ecd81 Add dependency to j.m.build to enable plugin compatibility w/MPS Fedor Isakov 2022-05-11 11:37:20 +0200
  • b6c190c35c Introduce ruleInput parameter to call macro Fedor Isakov 2022-05-09 17:02:12 +0200
  • a6f56d4193 Use EvaluationFailureException to indicate failure Fedor Isakov 2022-05-09 13:33:33 +0200
  • 8af9467831 Deprecate obsolete methods Fedor Isakov 2022-05-09 13:32:49 +0200
  • e7054ed124 Drop usages of invalidatedFeedbackKeys, minor fixes Fedor Isakov 2022-05-09 13:32:14 +0200
  • e2521c3478 Bump up version of coderules plugin Fedor Isakov 2022-05-03 10:26:16 +0200
  • 702098d091 Cleanup and simplify typechecking strategy Fedor Isakov 2022-05-03 10:17:45 +0200
  • ddce418ba4 Ensure new list is initialized when recovering Fedor Isakov 2022-05-03 10:12:54 +0200
  • 3b7eb7c210 Ensure failures has non-null message Fedor Isakov 2022-04-29 09:52:32 +0200
  • 7f34ea78f6 Drop incrementality-related options and UI elements Fedor Isakov 2022-04-28 17:18:12 +0200
  • 85b0156c00 Remove erroneously added debug message Fedor Isakov 2022-04-27 11:42:02 +0200
  • 9a312135cf Rebuild build scripts Fedor Isakov 2022-04-26 11:40:28 +0200
  • 050c47c2eb Update conreactor version to 0.9.16 Fedor Isakov 2022-04-25 12:47:43 +0200
  • a2dacdd75a Update reactor version to reflect major changes Fedor Isakov 2022-04-25 12:14:22 +0200
  • bd249c5d0c Drop obsolete feature: incremental specification Fedor Isakov 2022-04-20 13:15:58 +0200
  • f965c6636d Drop obsolete incremental and principal stuff Fedor Isakov 2022-04-20 12:42:20 +0200
  • 735c88cdba Drop unused code, cleanup and simplify code Fedor Isakov 2022-04-18 14:51:31 +0200
  • dda4c9a7e6 Rebuild build projects Fedor Isakov 2022-03-16 12:32:42 +0100
  • c192a529a6 Display undo activate/discard events in trace view. MPSCR-102 Fedor Isakov 2022-03-15 14:28:22 +0100
  • 51a4949cbd Update reactor version Fedor Isakov 2022-03-15 12:12:52 +0100
  • e1f285ed35 Bump up reactor version Fedor Isakov 2022-03-15 12:10:48 +0100
  • bcad14d2a5 Introduce support for undo activate/discard trace events Fedor Isakov 2022-03-14 18:35:17 +0100
  • c90382ec8f Cleanup code, drop obsolete classes Fedor Isakov 2022-03-14 18:10:43 +0100
  • ef3aec13d5 Drop obsolete features, cleanup code Fedor Isakov 2022-03-13 16:36:31 +0100
  • c4a55446b5 Refactor and cleanup code for better readability Fedor Isakov 2022-03-12 16:44:45 +0100
  • d8eedd0c44 Cleanup code Fedor Isakov 2022-03-12 11:58:22 +0100
  • 357560f11f Drop unused obsolete stuff Fedor Isakov 2022-03-08 15:36:35 +0100
  • 945088f72e Drop obsolete deprecated class, simplify code Fedor Isakov 2022-03-07 19:16:05 +0100
  • cf4e9b2b33 Drop obsolete interface and its usages Fedor Isakov 2022-03-05 15:44:29 +0100
  • c7c55605f5 Add dependency to c.i.modules.platform to pluigns Fedor Isakov 2022-02-23 13:09:34 +0100
  • a09dd24413 Fix plugin dependency to make compatible with MPS Fedor Isakov 2022-02-18 10:17:28 +0100
  • b500bf5f8f Fix broken plugin descriptor Fedor Isakov 2022-02-17 17:50:27 +0100
  • 295b056dea Switch to latest MPS release for local build Fedor Isakov 2022-02-17 17:26:35 +0100
  • f30a560073 Revert accidentally committed change Fedor Isakov 2022-02-17 17:16:08 +0100
  • 73f86ba626 Disable obsolete warning Fedor Isakov 2022-02-17 17:08:31 +0100
  • 1d54b8ffeb Fix NPE on first update of empty rules query Fedor Isakov 2022-02-17 17:05:41 +0100
  • 9cb04439eb Fix packaging of coderules and mpscore plugins Fedor Isakov 2022-02-17 16:39:59 +0100
  • b2f97f25dd Update mpscore plugin version and dependencies Fedor Isakov 2022-02-16 12:33:33 +0100
  • c44e4b2080 Update coderules plugin desc, fix release number Fedor Isakov 2021-04-19 22:47:45 +0200
  • 98fef4c95d Fix NPE on newRules array being empty Fedor Isakov 2022-02-14 11:37:13 +0100
  • 04048470c5 Fix processing of recursive types Fedor Isakov 2022-02-10 23:40:05 +0100
  • 2b23c56283 Added coderules modules in plugin content Clement de La Bourdonnaye 2022-02-04 13:52:16 +0100
  • d07931c4a2 Fix build: extract installMps task into separate build file Fedor Isakov 2022-02-08 12:18:57 +0100
  • d7ffb963f7 Fix and rebuild build scripts Fedor Isakov 2022-02-08 10:44:27 +0100