Fedor Isakov
|
ced411a708
|
One action to collect rules, make and run. Mark all types in the editor. Rewrote launching of typechecking constraints
|
2015-03-31 13:02:51 +02:00 |
|
Fedor Isakov
|
b4bfb30102
|
Patch JCHR to avoid problems with accessing package local fields of Tuple's superclass
|
2015-03-31 13:02:51 +02:00 |
|
Fedor Isakov
|
85d1746ea5
|
Combining collecting rules + making + running constraints in one action
|
2015-03-31 13:02:51 +02:00 |
|
Fedor Isakov
|
e5a3fccfa6
|
Made the typechecking sample compute
|
2015-03-31 13:02:47 +02:00 |
|
Fedor Isakov
|
f4043b8206
|
Updated the unification lib
|
2015-03-31 13:02:47 +02:00 |
|
Fedor Isakov
|
19d9048cb3
|
The TreeLogicVar can act both as a VAR and as a REF depending on whether it's bound, fixing tests
|
2015-03-31 13:02:35 +02:00 |
|
Fedor Isakov
|
375a15e172
|
Support generating the code with JRE 1.8
|
2015-03-25 16:33:15 +01:00 |
|
Fedor Isakov
|
07ecdb5651
|
Updated the unification lib
|
2015-03-24 16:28:19 +01:00 |
|
Fedor Isakov
|
fce38c6cdd
|
Updated the typechecking templates to use the modern construct for list
|
2015-03-24 16:27:12 +01:00 |
|
Fedor Isakov
|
77479a076f
|
Support for variables matching a list, getting rid of obsolete code, some refactoring
|
2015-03-24 16:27:08 +01:00 |
|
Fedor Isakov
|
f380297ccb
|
Adopted the new unification solver API
|
2015-03-22 15:19:16 +01:00 |
|
Fedor Isakov
|
c337fe0039
|
Updated the unification lib
|
2015-03-22 15:19:12 +01:00 |
|
Fedor Isakov
|
308024f8df
|
Added objenesis library to the IDEA module to support debugging
|
2015-03-13 16:04:35 +01:00 |
|
Fedor Isakov
|
05dab11deb
|
Calculate system hash of a tree logical, avoid ininite recursion (eg. in recursive types)
|
2015-03-13 16:03:57 +01:00 |
|
Fedor Isakov
|
fbf384dc7e
|
Updating the typechecking templates to support classifier's node ID
|
2015-03-13 16:02:39 +01:00 |
|
Fedor Isakov
|
7e3131a697
|
Supporting logical variables of different types (currently only TreeLogical and StringLogical)
|
2015-03-13 14:45:04 +01:00 |
|
Fedor Isakov
|
061062c257
|
Some tests on tree walk
|
2015-03-13 11:28:10 +01:00 |
|
Fedor Isakov
|
18a737d733
|
Regenerated with the latest rule templates
|
2015-03-12 15:28:10 +01:00 |
|
Fedor Isakov
|
63edc8e6b6
|
Fixing processing of constraint parameters: an unbound logical variable produces a local variable, some refactoring
|
2015-03-12 15:27:47 +01:00 |
|
Fedor Isakov
|
8e836a9055
|
Patched the JCHR compiler to avoid naming constraint parameters in a way producing name clashes, Tree is made a "fixed' class (ie. immutable)
|
2015-03-12 15:13:10 +01:00 |
|
Fedor Isakov
|
753d2da74a
|
Removing instances of obsolete code, cleaning up the model checker issues
|
2015-03-11 13:35:10 +01:00 |
|
Fedor Isakov
|
3af797e768
|
Updated the submodule with unification lib
|
2015-03-11 12:29:51 +01:00 |
|
Fedor Isakov
|
6d39ceddd3
|
More tests for the unification solver, string logical
|
2015-03-11 12:27:47 +01:00 |
|
Fedor Isakov
|
2489d817b0
|
Refactoring: replacing the obsolete constructs with logical substitution, runtime API changes, abstract logical, extracting equals constraint
|
2015-03-11 12:26:57 +01:00 |
|
Fedor Isakov
|
8b25f31d92
|
Simplifying the make plugin code
|
2015-03-11 11:25:04 +01:00 |
|
Fedor Isakov
|
0ee9762140
|
Deleting the old deprecated concepts, some refactoring
|
2015-03-01 15:51:57 +01:00 |
|
Fedor Isakov
|
0be226b2eb
|
Updated the IDEA project to support running tests
|
2015-02-26 16:03:22 +01:00 |
|
Fedor Isakov
|
bdd3530b89
|
Refactoring: moving logical vars to logic lang, supporting new kind of expression in trees, matching variables to lists; tests.
|
2015-02-26 15:55:35 +01:00 |
|
Fedor Isakov
|
756450ceae
|
Removed instances of an obsolete concept to be removed
|
2015-02-26 15:53:48 +01:00 |
|
Fedor Isakov
|
558056f9a7
|
Updating typechecking templates to support conversion of types
|
2015-02-21 12:43:05 +01:00 |
|
Fedor Isakov
|
a9fe6bf973
|
Fixed calling of rule template methods recursively; use trees as anchors; some editor beautification
|
2015-02-21 12:43:05 +01:00 |
|
Fedor Isakov
|
23d5bd0bcb
|
Enable extraction of sub-tree via "asRoot" for later embedding into other tree; editor fixes
|
2015-02-21 12:42:25 +01:00 |
|
Fedor Isakov
|
13900bfe90
|
Fixing the indentation problems in the rules representation. Minor editor improvemements.
|
2015-02-18 14:36:10 +01:00 |
|
Fedor Isakov
|
d19edc677e
|
Logical constraints introduced that are only applicable to logical vars; some refactoring in the runtime; rule tags
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
4732a1e896
|
Another sample that is hard to typecheck, updating the typechecking templates
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
bdb85040fd
|
Support tags in JCHR rules for easier debugging
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
a8b11f5e85
|
Collect typechecking rules for a class
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
94bf61359f
|
Removed .idea/workspace.xml
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
73b8f5c873
|
Ignore IDEA's workspace file
|
2015-02-09 16:21:36 +01:00 |
|
Fedor Isakov
|
7290c1541b
|
Added the sources of JCHR implementation
|
2015-02-09 16:13:04 +01:00 |
|
Fedor Isakov
|
4868439601
|
Some optimization of the number of rules generated, processing all the models imported from the sample
|
2015-02-09 16:10:45 +01:00 |
|
Fedor Isakov
|
adc7d87169
|
Support for external method calls in the typechecking rule templates
|
2015-02-09 16:09:36 +01:00 |
|
Fedor Isakov
|
802583bc8a
|
Testing the unification logic solver. Some minor generator updates.
|
2015-02-09 16:09:00 +01:00 |
|
Fedor Isakov
|
0899569315
|
Refactored out RuleInputSpecification to support rule templates without the input
|
2015-02-02 14:38:45 +01:00 |
|
Fedor Isakov
|
9b8e2642f5
|
Ensure variables get printed by the PrettyPrinter
|
2015-02-02 12:56:20 +01:00 |
|
Fedor Isakov
|
8ef78c48dd
|
Created IDEA project in order to run typechecking jchr code in debugger
|
2015-02-01 22:00:17 +01:00 |
|
Fedor Isakov
|
8ac189f4aa
|
Adjustments in the typechecking rule templates
|
2015-02-01 22:00:17 +01:00 |
|
Fedor Isakov
|
e0eaa73fe0
|
Implemented the guard producer; supporting Java constraints
|
2015-02-01 22:00:17 +01:00 |
|
Fedor Isakov
|
6a2aa8586f
|
WildcardLogicVariable introduced to enable matching terms with wildcards; JavaConstraint introduced
|
2015-02-01 22:00:03 +01:00 |
|
Fedor Isakov
|
7ce7a31e91
|
WildcardTreeVariable introduced to support matching terms with wildcard children; some code reorganization
|
2015-02-01 21:48:05 +01:00 |