94b5b9c71a
Less contrast color scheme for rules.
2017-04-28 14:37:38 +02:00
db3b8b434a
Compacting the rule editor: fewer keywords, compact presentation. Rename "template" to "rule".
2017-04-28 11:51:27 +02:00
24168bf5f8
Rebuilt the project, buildfiles updated.
2017-04-26 14:23:51 +02:00
30a9c1f8d5
Support for accessing logical context from expressions.
2017-03-27 19:27:11 +02:00
3f910ec396
Adapt to the changes in memreactor API. Drop AbstractLogicSolver.
2017-03-27 19:26:27 +02:00
5cc626ca57
Drop the NotPredicate.
2017-03-24 09:42:33 +01:00
0d8fe0a7e0
Drop shortcut for Clear Types.
2017-03-21 12:51:30 +01:00
0c1e6adbe7
Switched to the latest RC build, applied the migrations.
2017-03-21 12:40:07 +01:00
e5ca0a4b9c
Show The typechecking process report as a notification balloon. Add a shortcut for Clear Types.
2017-03-15 19:21:08 +01:00
3136d7bedb
Switched to the latest EAP build, applied the migrations.
2017-03-09 14:36:20 +01:00
0e1e837508
Ensure unification uses the logical representatives, catch more instances of cyclic terms.
2017-03-08 11:51:05 +01:00
d94fed37d0
Refactor the template editor. Better presentation of rule templates. Drop obsolete/deprectated stuff. Drop Actions aspect.
2017-03-04 12:33:05 +01:00
55eae7dda5
Typechecking templates: replace all obsolete code blocks with logical clauses. Extract logicals into the rule part declaration where possible.
2017-03-01 12:51:21 +01:00
97fefc2884
Sample typechecker: ensure the smodel is accessed in read action, cleanup the code.
...
Introduce timeout system property "logic.timeout".
Ensure the smodel is accessed in the read action.
Support reporting errors (error constraint).
2017-02-27 16:11:18 +01:00
f86616da73
Introduce custom constraint "error" for reporting the errors.
2017-02-27 16:11:17 +01:00
66ece8499a
Fix the editor: allow logical declaration in type template. Return the correct set of typed nodes.
2017-02-27 16:11:17 +01:00
7883c8ffe2
Run unification before assigning the logical. Guard for the case of recursive type terms.
2017-02-27 16:11:17 +01:00
c254e94a2e
Typechecking templates: Switch to using new way of recovering type nodes. Drop the recovery blocks.
2017-02-17 11:58:12 +01:00
8da19f5102
Deprecate all old recovery-related stuff, clean up the generator templates. Remove RecoverSession runtime.
2017-02-17 11:58:11 +01:00
b2174a8872
Minor fixes in the editor. Unconditionally set the store view after executing the program.
2017-02-17 11:58:10 +01:00
af9125bfe1
Switch to types recovering using second stage of the program. Remove usages of RecoverSession.
2017-02-17 11:58:10 +01:00
fd4748e91a
New feature: Equals constraint to be used wherease the unification is not applicable/needed.
2017-02-17 11:58:10 +01:00
f8bce81227
Add the "final" property to the term feature, which suppresses generating "pattern" for a match in a rule's head.
2017-02-13 17:23:07 +01:00
d985610a6d
Refactor generating a program from type templates to work with handling stages. Dropping obsolete code. Minor stuff.
2017-02-13 17:23:07 +01:00
43dc0752a0
Enable processing of multi-stage sessions. Display each stage as a separate tab in the activation trace.
2017-02-13 17:23:06 +01:00
f4b965efce
Repackage utility classes inside the types aspect model. Delete obsolete module.
2017-02-09 14:24:00 +01:00
dd41e08381
New feature: specify stage for a handler, produce multiple programs from the typechecking model. Stages are specified as strings.
2017-02-09 14:23:57 +01:00
61fd80014d
Typechecking templates: adapting to the latest refactoring.
2017-02-03 11:28:10 +01:00
0359ff0ccd
Refactoring in the type templates:
...
- get rid of the dependency on the type concept;
- explicitly create type terms;
- no more "alternative block";
- introduce alternative "new type" pseudo constraint;
- delete the deprecated constructs;
- transition to TypeTermDeclaration;
- separate the term declaration from the type constraints;
- phasing out obsolete stuff.
2017-02-03 11:28:10 +01:00
44019dca79
Typechecking templates: remove usages of the "typeConcept"
2017-02-03 11:15:23 +01:00
4430488f26
New recover types handler (unfinished)
2017-02-03 11:15:01 +01:00
f611a318e0
Implement the new abstract method of EvaluationSession.
2017-02-03 11:15:00 +01:00
bbcb6577cd
Update the .gitignore file.
2017-02-03 11:15:00 +01:00
5b6590df9d
Refactoring: switch to the updated interface methods of SessionSolver. Extract invocation arguments calculation from the predicate/constraint.
2017-02-03 11:15:00 +01:00
b789d6d240
Refactoring: getting rid of the dependencies on SessionSolver soon to be updated.
2017-01-04 10:44:08 +01:00
1630b57776
Rename the project to 'clp-typechecking'
2017-01-03 11:40:06 +01:00
75011f49a6
DELETE the JCHR stuff.
2017-01-03 11:27:59 +01:00
31e15fcaa9
Typechecking templates: annotate the handlers with the primary constraints. Moderate pocessing speedup.
2016-12-28 12:48:47 +01:00
c3420f3b6c
Find usages of constraints in the head (match) or body (produce).
2016-12-28 12:48:47 +01:00
ec74d7ebd3
Primary constraints in handlers. Switch to multiple primary constraints.
2016-12-28 12:48:35 +01:00
799641bd2e
Make constraint arity a derived property.
2016-12-28 12:48:34 +01:00
f5ed430cd9
Build CLP program with handlers instead of rules. Minor rename refactoring.
2016-12-23 17:42:20 +01:00
012dc6b305
Optimizing imports.
2016-12-23 17:40:05 +01:00
5bb2d9c7fa
Drop the deprecated postProcess and other obsolete features.
2016-12-23 17:40:04 +01:00
1c7e72db40
Typechecking templates: sort the rules so that abstract come after the concrete for post-processing, and before otherwise.
2016-12-23 17:40:02 +01:00
8c3728aa74
Refactor typesystem2 runtime and generator to support handler templates referred to by rule templates. Enable to drop "postProcess" flag on the rules.
2016-12-23 17:26:25 +01:00
641ac6616c
Support non-treeform logical values.
2016-12-15 14:11:22 +01:00
73afa23916
Minor. Cleaning up the code.
2016-12-15 12:56:03 +01:00
c08cfbc173
Typechecking templates: optimizing processing of constraints by using more optimal rules order.
2016-12-14 17:08:32 +01:00
4e7430b91d
Process multiline profiling data.
2016-12-14 17:08:31 +01:00
Fedor Isakov