5cf1b86f38
Fix compilation
2026-04-24 11:36:54 +02:00
039e7c0106
Fix references to TIntObjectHashMap
2026-04-24 11:34:46 +02:00
1674cefa1c
Update reactor project
2026-04-24 11:34:46 +02:00
a0807f5971
Use Kotlin 2.3.10
2026-04-24 11:34:46 +02:00
fd17d62f90
Auto-updated config
2024-10-04 13:02:04 +02:00
78deea3df2
Drop obsolete interface
2024-10-04 13:01:43 +02:00
20a6b70de1
Minor optimizations of rule indexing/processing
2024-10-04 13:01:43 +02:00
4a97d3e89f
Further optimizing term trie: drop index mask
2024-10-04 13:01:43 +02:00
92a19a1ba4
Change API method signature for more optimal usage
2024-10-02 15:11:38 +02:00
349cbade85
Add more profiling points
2024-09-25 15:40:01 +02:00
540ac9071f
Fix Profiler not reporting the results correctly
2024-09-25 15:39:48 +02:00
b3bb823bdf
Minor optimization of term trie collection
2024-09-25 15:39:32 +02:00
caf5baf8dd
Introduce logging of exceptions caught during evaluation
2024-08-29 18:12:57 +02:00
203bf64710
Drop deprecated method declaration
2024-08-29 13:08:29 +02:00
a7d78907c0
Bump up reactor version to 0.9.21
2024-08-19 21:47:47 +02:00
8d6c5add7e
Introduce support for unbound variables within a Term; MPSCR-155
2024-08-19 21:46:50 +02:00
401c513c04
Deprecate unused methods
2024-08-12 12:23:53 +02:00
cebf42bb4c
Bump up conreactor version to 0.9.20
2024-08-05 17:35:38 +02:00
38843c344e
Drop obsolete and deprecated code
2024-08-05 17:35:38 +02:00
06a2e2c6e1
Cleanup code and API: provenance and feedback support
2024-08-03 11:42:28 +02:00
4a142a257b
Improve client API: fine-grained handle feedback interface, provenance
2024-08-03 11:42:28 +02:00
a8cd7f39d9
Drop deprecated methods
2024-08-02 15:16:08 +02:00
3d57a5abc3
Refactor code for better readability
2024-08-02 09:57:55 +02:00
cde05c1d7d
Cleanup code
2024-08-02 09:57:55 +02:00
ea2d23298c
Fix a typo that prevents predicates to be shown in trace view
2024-07-25 15:14:58 +02:00
7e0443059f
Bump up conreactor version to 0.9.19
2024-07-22 13:32:06 +02:00
8262a880a2
Introduce tellPattern event for better tracing
2024-07-22 13:31:26 +02:00
890bc59932
Minor code refactoring and cleanup in "conreactor"
2024-07-19 16:37:05 +02:00
a8e61b667a
Fix comparator in Profiler
2024-07-12 12:59:57 +02:00
ed1280dcb0
Bump up version of "conreactor"
2024-07-01 15:28:33 +02:00
964b2cea29
Minor optimizations and refactoring (TIntSet -> BitSet)
2024-07-01 15:28:20 +02:00
1bb759008b
Drop obsolete unused stuff
2024-06-21 22:44:57 +02:00
740f478ae9
Introduce methods for (de)initializing Backend; drop ReactorLifecycle
2024-06-16 19:02:18 +02:00
cdb6c91958
Cleanup and refactor code for better readability
2024-06-14 13:42:46 +02:00
a01c63059e
Drop obsolete code
2024-06-14 10:18:53 +02:00
73ad3373d7
Specify version for maven-jar-plugin
2024-06-13 21:26:03 +02:00
31ea3fab65
Minor fixes of inspection results and typos
2024-06-13 21:26:03 +02:00
63c2786476
Drop usages count feature of a logical
2024-06-13 20:25:12 +02:00
506b245438
Drop obsolete deprecated code
2024-06-13 12:23:27 +02:00
2e5517271d
Drop deprecated code marked for removal
2024-06-13 11:02:34 +02:00
57f718513e
Create factory methods for Logical
2024-06-13 10:39:47 +02:00
0eac1c2f4f
Code review: fixme comments
2023-10-13 18:13:09 +02:00
2ce182c785
Auto-updated IDEA project files
2023-10-13 18:13:08 +02:00
6d4001e175
Auto-updated files in IDEA project
2023-05-03 10:31:55 +02:00
0e417646c2
Fix Logical union not merging value observers correctly
...
A recursive call to union() would interfere and prevent value observers
to be propagated to the new root. This causes, among other things, a failure
to reactivate certain constraints.
2023-05-03 10:31:55 +02:00
e881bccfca
Switch to Kotlin 1.7.0
2022-09-02 16:11:00 +02:00
2730c02f4c
Update JDK in conreactor
2022-09-02 15:50:00 +02:00
1b550cbd32
Change how profiler data is transferred from constraints reactor
2022-09-02 15:49:30 +02:00
f5536a472a
Enforce non-null contract on failureCause and message
2022-07-28 10:30:37 +02:00
be1e4bac18
Bump up version of Kotlin and JUnit
2022-07-12 11:18:42 +02:00
Fedor Isakov