Fedor Isakov
6b297e03e4
Set upper bound for IDEA version
2024-11-14 12:11:52 +01: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
Fedor Isakov
203bf64710
Drop deprecated method declaration
2024-08-29 13:08:29 +02:00
Fedor Isakov
014b1f7914
Switch to updated API
2024-08-29 13:08:29 +02:00
Fedor Isakov
d4b6405d92
Drop dependency on a deprecated utility
2024-08-29 13:08:28 +02:00
Fedor Isakov
7f72aeb571
Refactor Request.evaluate to rely fully on strategy
2024-08-29 13:08:28 +02:00
Fedor Isakov
5fd41a99e1
Consolidate related classes; drop obsolete model
2024-08-29 13:08:28 +02:00
Fedor Isakov
6e343fe17d
Enhance AbstractCoderulesManifest with priority() method
2024-08-29 13:08:28 +02:00