Fedor Isakov
|
b6c190c35c
|
Introduce ruleInput parameter to call macro
Accessing the rule input allows to track dependencies
necessary for correctly updating the feedback.
|
2022-05-09 17:02:12 +02:00 |
|
Fedor Isakov
|
e7054ed124
|
Drop usages of invalidatedFeedbackKeys, minor fixes
|
2022-05-09 13:32:14 +02:00 |
|
Fedor Isakov
|
e2521c3478
|
Bump up version of coderules plugin
|
2022-05-03 10:26:43 +02:00 |
|
Fedor Isakov
|
702098d091
|
Cleanup and simplify typechecking strategy
|
2022-05-03 10:26:43 +02:00 |
|
Fedor Isakov
|
ddce418ba4
|
Ensure new list is initialized when recovering
|
2022-05-03 10:26:43 +02:00 |
|
Fedor Isakov
|
7f34ea78f6
|
Drop incrementality-related options and UI elements
|
2022-05-03 10:26:43 +02:00 |
|
Fedor Isakov
|
050c47c2eb
|
Update conreactor version to 0.9.16
|
2022-04-25 12:47:43 +02:00 |
|
Fedor Isakov
|
bd249c5d0c
|
Drop obsolete feature: incremental specification
|
2022-04-21 16:05:31 +02:00 |
|
Fedor Isakov
|
c192a529a6
|
Display undo activate/discard events in trace view. MPSCR-102
|
2022-03-15 15:48:56 +01:00 |
|
Fedor Isakov
|
51a4949cbd
|
Update reactor version
|
2022-03-15 14:27:43 +01:00 |
|
Fedor Isakov
|
c7c55605f5
|
Add dependency to c.i.modules.platform to pluigns
|
2022-02-23 13:09:34 +01:00 |
|
Fedor Isakov
|
b500bf5f8f
|
Fix broken plugin descriptor
|
2022-02-17 17:50:27 +01:00 |
|
Fedor Isakov
|
73f86ba626
|
Disable obsolete warning
|
2022-02-17 17:08:31 +01:00 |
|
Fedor Isakov
|
1d54b8ffeb
|
Fix NPE on first update of empty rules query
|
2022-02-17 17:05:41 +01:00 |
|
Fedor Isakov
|
9cb04439eb
|
Fix packaging of coderules and mpscore plugins
Fix the path mapping of lib files.
|
2022-02-17 16:44:14 +01:00 |
|
Fedor Isakov
|
c44e4b2080
|
Update coderules plugin desc, fix release number
|
2022-02-16 12:23:38 +01:00 |
|
Fedor Isakov
|
98fef4c95d
|
Fix NPE on newRules array being empty
|
2022-02-15 10:35:53 +01:00 |
|
Clement de La Bourdonnaye
|
2b23c56283
|
Added coderules modules in plugin content
|
2022-02-08 12:21:28 +01:00 |
|
Fedor Isakov
|
d7ffb963f7
|
Fix and rebuild build scripts
|
2022-02-08 10:44:48 +01:00 |
|
Fedor Isakov
|
d8a180bfe2
|
Test list feature recovery
|
2022-02-08 10:09:40 +01:00 |
|
Fedor Isakov
|
2f34591b0b
|
Support list feature in recovery
|
2022-02-08 10:09:40 +01:00 |
|
Fedor Isakov
|
2e5d73b31e
|
Add icons for typechecking roots and the aspect
|
2021-11-25 18:09:22 +01:00 |
|
Fedor Isakov
|
d7f54a35fb
|
Minor editor fixes
|
2021-11-25 12:07:43 +01:00 |
|
Fedor Isakov
|
2d48fb57f2
|
Fix editor: ensure correct constraints in head/guard/body
|
2021-11-25 12:07:43 +01:00 |
|
Fedor Isakov
|
c27cafdf30
|
Fix editor: support changing isFree <-> isNonfree
|
2021-11-24 16:22:17 +01:00 |
|
Fedor Isakov
|
4e70300ea7
|
Update language imports
|
2021-11-24 16:22:17 +01:00 |
|
Fedor Isakov
|
d0d44b98c5
|
Minor editor fixes
|
2021-11-24 16:22:17 +01:00 |
|
Fedor Isakov
|
690e8e919c
|
Fix editor: caret position and first argument to constraint
|
2021-11-24 16:22:17 +01:00 |
|
Fedor Isakov
|
9b59925e4f
|
Fix editor: editable=false for keywords, focus attraction
|
2021-11-24 16:22:17 +01:00 |
|
Fedor Isakov
|
3774759270
|
Drop references to removed Activation Trace
|
2021-11-24 16:22:17 +01:00 |
|
Fedor Isakov
|
3af6cf93b0
|
Fix missing effect
|
2021-11-18 12:29:33 +01:00 |
|
Fedor Isakov
|
e95526ef33
|
Update build script
|
2021-11-18 10:59:58 +01:00 |
|
Fedor Isakov
|
4ccbff779f
|
Refactoring in the UI: merging tool windows into one
|
2021-11-18 10:59:58 +01:00 |
|
Fedor Isakov
|
c5f2902cd6
|
Drop background color from backquote
|
2021-11-16 12:04:32 +01:00 |
|
Fedor Isakov
|
e64f01a059
|
Move typechecking actions to debug menu, drop errors highlighting
|
2021-11-15 17:08:28 +01:00 |
|
Fedor Isakov
|
9b8946ce67
|
Support recovering of children features in typechecking term table
|
2021-11-15 13:00:03 +01:00 |
|
Fedor Isakov
|
b892bc3aa5
|
Avoid failing on empty handlers list, MPSCR-97
|
2021-11-15 13:00:03 +01:00 |
|
Fedor Isakov
|
5a6beac54e
|
Avoid failing with a stacktrace on empty aspect clique
|
2021-11-15 13:00:03 +01:00 |
|
Fedor Isakov
|
8f4dd4a1c1
|
Fix the order of synthetic recover rules
|
2021-11-12 13:25:47 +01:00 |
|
Fedor Isakov
|
6a120fb9d6
|
Change "show type balloon" shortcut to not conflict with Show Type dialog
|
2021-11-11 14:38:07 +01:00 |
|
Fedor Isakov
|
2c8781cc9b
|
Provisional support for custom queries
|
2021-11-08 13:21:09 +01:00 |
|
Fedor Isakov
|
ea47468c3d
|
Cleanup the code, better separation of concerns
|
2021-11-08 13:21:09 +01:00 |
|
Fedor Isakov
|
d09348512d
|
Refactoring: extract Request hierarchy out of TypecheckingService
|
2021-11-04 12:48:11 +01:00 |
|
Fedor Isakov
|
c9a830d730
|
Cleanup code, rely on Query for presentation
|
2021-11-04 12:48:11 +01:00 |
|
Fedor Isakov
|
af8c50f3e5
|
Refactor TypecheckingService: parameterize Request with Query
|
2021-11-04 12:48:11 +01:00 |
|
Fedor Isakov
|
7cc8be7296
|
Refactor TypecheckingService: move logic to Request, simplify code
|
2021-11-04 12:48:11 +01:00 |
|
Fedor Isakov
|
96ede52bcc
|
Cleanup typechecking settings page
|
2021-10-27 16:21:08 +02:00 |
|
Fedor Isakov
|
365883a099
|
Fix broken representation of terms with specification
|
2021-10-27 12:03:49 +02:00 |
|
Fedor Isakov
|
cf04a60cc9
|
Minor improvements in displaying terms and activation trace
|
2021-10-26 17:46:41 +02:00 |
|
Fedor Isakov
|
ebe463ece5
|
Fix dangling dependency
|
2021-10-26 17:46:40 +02:00 |