Fedor Isakov
|
3b638b2d08
|
Drop usages of Rule.tag(), replace with Rule.uniqueTag().
Switch to using long as a rule's unique tag.
Rename all entities using "handler" to "rulesList".
|
2019-05-17 18:01:34 +02:00 |
|
Fedor Isakov
|
61b60938d0
|
Fix heuristic for determining the rule with origin that should serve
as a failure recovery point.
|
2019-05-16 12:36:47 +02:00 |
|
Fedor Isakov
|
eb5b38384f
|
Rename Handler class in reactor API to RulesList.
|
2019-05-09 17:30:14 +02:00 |
|
Fedor Isakov
|
bd1c56d9d0
|
Rename concept Handler -> RulesList
|
2019-05-09 17:30:14 +02:00 |
|
Fedor Isakov
|
aaec11de9b
|
Adapt to the changes in reactor API.
|
2019-05-05 14:29:08 +02:00 |
|
Fedor Isakov
|
4389b349d7
|
Adapt to the changes in reactor API.
|
2019-05-02 14:59:57 +02:00 |
|
Fedor Isakov
|
b1f7ba4ecf
|
Drop usages of deprecated symbols in reactor API.
|
2019-05-02 14:46:57 +02:00 |
|
Fedor Isakov
|
478b43ce16
|
Drop usages of deprecated interfaces.
|
2019-04-26 00:22:02 +02:00 |
|
Fedor Isakov
|
ed6f7a07c2
|
Remove instances of obsolete concept containingLink, replace with link.
|
2019-04-24 22:14:24 +02:00 |
|
Fedor Isakov
|
ab006cc8d9
|
Fix missing dependency.
|
2019-04-10 09:45:47 +02:00 |
|
Fedor Isakov
|
396b1fdad3
|
Move all classes from j.m.typechecking to j.m.typechecking.service. This package name is reserved.
|
2019-03-22 11:40:32 +01:00 |
|
Fedor Isakov
|
36be0a8e6d
|
Rename TypecheckingFacade to Typechecking to avoid name collisions.
|
2019-03-22 11:28:58 +01:00 |
|
Fedor Isakov
|
671194c9c3
|
Switch to the latest EAP of MPS 2019.1. Re-save all models.
|
2019-03-22 11:09:39 +01:00 |
|
Fedor Isakov
|
adcfba5e9a
|
Introduce two built-in predicates to be used instead of eval(false) etc.: fail and report message (debug/info/warning/error/fatal).
|
2019-02-18 11:49:11 +01:00 |
|
Fedor Isakov
|
b102237bb8
|
Drop static collection of predicate symbols. Adapt to the latest reactor API. Drop DefaultSessionSolver
|
2019-02-17 11:39:56 +01:00 |
|
Fedor Isakov
|
a97c33a256
|
Collect all solvers when building a program. These to replace "solver registration" procedure.
|
2019-02-15 17:47:06 +01:00 |
|
Fedor Isakov
|
9f8539bfd8
|
Drop unused and long deprecated feature.
|
2019-02-15 17:46:10 +01:00 |
|
Fedor Isakov
|
5f068c1ac0
|
Extract stuff related to program producing to separate model.
|
2019-02-15 17:15:17 +01:00 |
|
Fedor Isakov
|
255b7061f7
|
Reorganize models/packages, restructure code components responsible for program building/evaluation.
|
2019-02-15 17:15:17 +01:00 |
|
Fedor Isakov
|
2f8ff698b3
|
Minor refactorings in program producing code. Consolidating everything related to program producing into a single package.
|
2019-02-15 17:15:16 +01:00 |
|
Fedor Isakov
|
a240246daa
|
Ensure failures don't stop program evaluation, recover failure always at top level (when processing "main/0" constraint).
Keep track of principal origins to be used as points of failure.
Minor code cleanup/refactoring.
|
2019-02-06 12:57:47 +01:00 |
|
Fedor Isakov
|
24ac5447b3
|
Make ErrorAnnotation able to suppress errors.
|
2019-01-31 11:44:07 +01:00 |
|
Fedor Isakov
|
9243c00c65
|
Fix issues found by model checker (ex typesystem).
|
2019-01-31 11:30:02 +01:00 |
|
Fedor Isakov
|
52348b2b38
|
Make comment look nicer with standard C-style representation.
Make Handler, MacroTable and their contents commentable.
|
2019-01-27 23:33:02 +01:00 |
|
Fedor Isakov
|
613e895d17
|
Fix constraint rules editor to display "activate" section always.
Constraint rule to be entered with "on" keyword.
|
2019-01-27 22:56:07 +01:00 |
|
Fedor Isakov
|
551a015ada
|
Fix unification predicate not doing occurrs check on tell.
|
2019-01-26 13:52:10 +01:00 |
|
Fedor Isakov
|
934f98b717
|
Fix UnificationPredicate to delegate logical union logic to the underlying implementation.
Test unification failure on cycle detected.
|
2019-01-25 15:02:03 +01:00 |
|
Fedor Isakov
|
e2ea78ef9e
|
Improve layout of constraints and dataforms. Get rid of unnecessary anchors and hacks.
|
2019-01-21 11:20:30 +01:00 |
|
Fedor Isakov
|
27681ef80c
|
Switch substitution to work using equals predicate instead of equals() java method. Testing substitution on tricky cases.
|
2019-01-15 20:09:16 +01:00 |
|
Fedor Isakov
|
0b9fc55817
|
Make equals predicate respect trivial bindings: [X -> Y] where X is unified with Y. Tests.
|
2019-01-15 19:04:07 +01:00 |
|
Fedor Isakov
|
161f00355d
|
Fix equals predicate: make it conform to general contract of unification without additional bindings. Testing ask/tell eq.
|
2019-01-14 12:25:27 +01:00 |
|
Fedor Isakov
|
6aa965c96c
|
Ignore commented out nodes while applying templates. Use node pointer to report locations of failed tests.
|
2019-01-13 15:14:14 +01:00 |
|
Fedor Isakov
|
197f09fb2b
|
Apply automatic migrations in the root project
|
2019-01-13 14:27:43 +01:00 |
|
Fedor Isakov
|
50487cd41c
|
Fix unification predicate implementation to properly process non-term arguments. Cleanup the code.
|
2019-01-13 14:26:35 +01:00 |
|
Fedor Isakov
|
29a44eac5d
|
Introduce automatic migration from eq to uni for basic scenario: logical on the left
|
2019-01-13 14:26:35 +01:00 |
|
Fedor Isakov
|
a46937b128
|
Change semantics of EqualsPredicate: ask returns true iff values are equal or the logicals are the same, tell throws exception if not
|
2019-01-13 14:26:35 +01:00 |
|
Fedor Isakov
|
bcb8efa653
|
Make editor for DataForm more usable, get rid of hacks in the layout. Introduce NewLineAttribute to manually insert new lines. Deprecate ListRole.
|
2019-01-09 13:01:37 +01:00 |
|
Fedor Isakov
|
c5daa24ee8
|
Deprecate ListLiteral and ListExpression concepts (only used in BL typesystem)
|
2019-01-04 17:44:32 +01:00 |
|
Fedor Isakov
|
d74ad951e3
|
Drop a hack in ListNode implementation that would disallow nested lists
|
2019-01-04 17:43:37 +01:00 |
|
Fedor Isakov
|
c87ca87a49
|
Cleanup in tests
|
2018-12-30 16:41:28 +01:00 |
|
Fedor Isakov
|
cb1ea46af7
|
Typechecking templates: specify data types for logicals that are used for values instead of term.
|
2018-12-28 11:57:26 +01:00 |
|
Fedor Isakov
|
d74ec1d2f8
|
Introduce support for unification variables of arbitrary type, not just terms. Minor refactoring and cleanup.
|
2018-12-28 11:56:27 +01:00 |
|
Fedor Isakov
|
82b409cb86
|
Fix SubstituteUtil to match pattern using equals() instead of unification. Tests for SubstituteUtil.
|
2018-12-14 13:35:36 +01:00 |
|
Fedor Isakov
|
c22520fcc8
|
Fix EQ solver returning wrong value for two distinct free logicals. Testing EQ and UNI solvers on free logicals.
|
2018-12-13 18:24:53 +01:00 |
|
Fedor Isakov
|
f0bb068750
|
Fix instances of removed concepts and broken API calls after migration to 2018.3. Rebuild project.
|
2018-11-28 16:48:59 +01:00 |
|
Fedor Isakov
|
19ce84f7ef
|
Switch to 2018.3 RC. Apply all migrations.
|
2018-11-28 16:48:59 +01:00 |
|
Fedor Isakov
|
f095c64abe
|
Rename 'isBound' predicate to 'isAssigned' (alias only, concept to be renamed still).
|
2018-11-27 15:10:48 +01:00 |
|
Fedor Isakov
|
8bc26f6cdd
|
Shorten the presentation of user terms in actiovation trace view. Filter out wildcards and empty lists.
|
2018-11-27 15:10:48 +01:00 |
|
Fedor Isakov
|
9c4dad3e91
|
Enable use of input node in macro body. Allow specifying a subset of macro parameters in macro call.
|
2018-11-20 22:39:30 +01:00 |
|
Fedor Isakov
|
6778fab625
|
Use index to filter nodes on which FailureHandler should report error and clear failed state.
|
2018-11-20 22:39:30 +01:00 |