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
Fedor Isakov
64499d7a96
Further simplify cache and response processing; cleanup code
...
Clearly separate cache updating code from request processing.
2024-08-30 16:15:54 +02:00
Fedor Isakov
bec016671d
Simplify caching: use single cache for all usages
2024-08-30 11:39:42 +02:00
Fedor Isakov
caf5baf8dd
Introduce logging of exceptions caught during evaluation
2024-08-29 18:12:57 +02:00
Fedor Isakov
31b170bfe1
Make "shared" cache dependent on AspectClique
2024-08-29 18:12:57 +02:00
Fedor Isakov
a4f4081162
Fix broken trace functionality
2024-08-29 16:49:52 +02:00
Fedor Isakov
7d86f866c0
Ensure exception is reported correctly on blockingGet
2024-08-29 16:47:19 +02:00
Fedor Isakov
286f20e70a
Untangle dependencies and rebuild project
2024-08-29 13:09:49 +02:00
Fedor Isakov
661ee068ff
Refactor caching system; drop obsolete classes
2024-08-29 13:09:39 +02:00
Fedor Isakov
1cdc8a1586
Refactor and simplify feedback processing; drop obsolete code
2024-08-29 13:09:21 +02:00