Fedor Isakov
5a3ec41141
Use latest EAP in MPS 253 for local build
2025-11-03 12:33:03 +01:00
Fedor Isakov
8978481516
Update plugin versions for compatibility with 252
2025-07-28 11:32:44 +02:00
Fedor Isakov
04203f1c22
Drop support for removed concepts from j.m.l.extensions
2025-04-09 14:41:47 +02:00
Fedor Isakov
db320a486f
Update plugin versions for compatibility with 251
2025-04-09 14:10:28 +02:00
Fedor Isakov
7b3e013ccd
Use platform-specific artifacts for builds
2025-04-09 13:38:32 +02:00
Fedor Isakov
dece32c1a1
Switch to latest MPS from 251 for local builds
2025-04-09 12:01:07 +02:00
Fedor Isakov
1a1cb13621
Apply migrations from 251
2025-04-09 11:34:06 +02:00
Fedor Isakov
1b580a9975
Default action for just
2025-04-09 11:30:57 +02:00
Fedor Isakov
16929670ac
Rebuild with latest MPS from 251
2025-04-09 11:30:02 +02:00
Fedor Isakov
b410bed13e
Inore "hidden" term vars when collecting free vars; MPSCR-154
2024-12-16 12:11:55 +01:00
Fedor Isakov
17dd2a6c01
Appply migrations from MPS 243 branch
2024-12-11 11:57:18 +01:00
Fedor Isakov
dec4e7b6f3
Ensure icon widget icon is loaded correctly; MPS-38010
2024-12-03 08:42:47 +01:00
Fedor Isakov
7e95366ff1
Use MPS 2024.3 EAP1 for local builds
2024-12-03 08:40:44 +01:00
Fedor Isakov
ea6de26683
Set lower and upper bounds for IDEA version; version bump
2024-11-14 12:26:15 +01:00
Fedor Isakov
4c0e89c020
Fix broken reference and an extra override
2024-10-22 10:08:40 +02:00
Fedor Isakov
35d2f542da
Rebuild project
2024-10-22 09:58:21 +02:00
Fedor Isakov
fd17d62f90
Auto-updated config
2024-10-04 13:02:04 +02:00
Fedor Isakov
78deea3df2
Drop obsolete interface
2024-10-04 13:01:43 +02:00
Fedor Isakov
20a6b70de1
Minor optimizations of rule indexing/processing
2024-10-04 13:01:43 +02:00
Fedor Isakov
4a97d3e89f
Further optimizing term trie: drop index mask
2024-10-04 13:01:43 +02:00
Fedor Isakov
ffa9ebf3f8
Adapt to the changes in the reactor API
2024-10-02 15:12:13 +02:00
Fedor Isakov
92a19a1ba4
Change API method signature for more optimal usage
2024-10-02 15:11:38 +02:00
Fedor Isakov
e87d47f6d2
Avoid duplication of template trace events
2024-09-30 12:59:43 +02:00
Fedor Isakov
074dc8c840
Optimize typechecking of IInferredExpression
2024-09-30 12:59:06 +02:00
Fedor Isakov
11c78cad96
Fix processing of auxiliary templates
2024-09-30 10:27:10 +02:00
Fedor Isakov
7e00d55add
Fix template trace view
...
- reimplement template trace model builder
- drop dependency on recursive source tree walking
- ensure cached template application are visualized
2024-09-30 10:27:10 +02:00
Fedor Isakov
05bff3c3c9
Restore aux flag on expect-typeOf templates
2024-09-27 13:21:08 +02:00
Fedor Isakov
349cbade85
Add more profiling points
2024-09-25 15:40:01 +02:00
Fedor Isakov
540ac9071f
Fix Profiler not reporting the results correctly
2024-09-25 15:39:48 +02:00
Fedor Isakov
b3bb823bdf
Minor optimization of term trie collection
2024-09-25 15:39:32 +02:00
Fedor Isakov
c21a3dfa82
Use resolveInfo instead of nodeId to avoid troubles with DynamicReference
2024-09-24 15:52:15 +02:00
Fedor Isakov
35e6f17003
Avoid collecting template trace if reporting=false
2024-09-24 14:57:17 +02:00
Fedor Isakov
47d6ae52fa
Fix typing of enum
...
Apparently ctorDecl reference of o enum is optional.
2024-09-24 13:40:38 +02:00
Fedor Isakov
fee317ed76
Append model hash to rule's unique tag
...
During generation multiple nodes with same nodeId may appear
coming from different transient models, resulting in
colliding rule tags.
2024-09-24 13:39:53 +02:00
Fedor Isakov
0e86456afd
Keep required nodes directly instead of node-ptr
...
Transient models don't allow resolving of node-ptr
2024-09-24 12:25:22 +02:00
Fedor Isakov
e32e7cdbe4
Refactoring and optimizing incremental typechecking
...
- left only "required" -- the only kind of dependency that is relevant
- drop the old two-stage scheme of incremental processing
- implement a heuristic to detect if an update has caused any change,
and only propagate the update further the inverse requirements graph
in case there were real changes
- drop cached memo
- various code simplifications and refactorings
2024-09-24 10:39:14 +02:00
Fedor Isakov
34d6b11f5e
Rebuild project
2024-09-23 11:02:26 +02:00
Fedor Isakov
c401e686cb
Drop usages of OriginIndex; minor fixes in tests
2024-09-20 18:19:17 +02:00
Fedor Isakov
0f5389b689
Fix LogicalPredicate: wrong implementation mapping
2024-09-20 18:15:50 +02:00
Fedor Isakov
75fe179fd1
BL types: fix dependencies and classifier type comparable relation
2024-09-20 18:06:23 +02:00
Fedor Isakov
a19edaa5d6
Remove error annotation in tests (no longer failing)
2024-09-03 15:38:12 +02:00
Fedor Isakov
dd36168269
Apply migrations to mpscore sample
2024-09-03 13:04:20 +02:00
Fedor Isakov
fcb7d3128f
Fix types of FeatureReferenceExpression
2024-09-03 13:01:04 +02:00
Fedor Isakov
f86adc089a
Better representation for FeatureReferenceExpression
2024-09-03 12:05:15 +02:00
Fedor Isakov
e3faa5e37e
Fix containment of node<> type in classifier<SNode>
2024-09-03 12:04:45 +02:00
Fedor Isakov
0c5b6c12f3
Merge report classes; simplify cache API
2024-09-03 10:39:37 +02:00
Fedor Isakov
746dfdf24b
Fix convertsTo rule for string type
2024-09-02 17:17:34 +02:00
Fedor Isakov
5b002667e5
Fix improper invalidation of cached types; introduce trace-level logging
2024-09-02 15:21:25 +02:00
Fedor Isakov
ffe6c038dc
Avoid duplicate reporting of trace events
2024-09-02 13:38:35 +02:00
Fedor Isakov
1a5886b93f
Fix type of asNode op on a concept
2024-09-02 10:28:19 +02:00