Fedor Isakov
|
edeeec1e55
|
Typesystem2: applicable condition, include super concept's rule templates, editor enhancement, generator
|
2014-11-20 16:35:09 +01:00 |
|
Fedor Isakov
|
889a525dc8
|
Simplify usage of parameter and local logic variables
|
2014-11-19 17:07:03 +01:00 |
|
Fedor Isakov
|
5983bc33f3
|
Typesystem2 lang
|
2014-11-12 11:11:20 +01:00 |
|
Fedor Isakov
|
ef170f3627
|
Minor editor tweaks
|
2014-11-12 11:11:06 +01:00 |
|
Fedor Isakov
|
79a8b2c7fb
|
Another typechecker sample
|
2014-11-12 11:10:27 +01:00 |
|
Fedor Isakov
|
9f80ff9738
|
TMP typesystem2 aspect
|
2014-10-08 09:52:05 +02:00 |
|
Fedor Isakov
|
1a331ba3be
|
Managed to produce a working sample of typechecking Java code. Some refactoring of the tree-related utilities.
|
2014-09-22 12:21:33 +02:00 |
|
Fedor Isakov
|
4e0b9514fd
|
Enable the solvers to work on TreeLogicalVar, get rid of hacks
|
2014-09-22 12:15:32 +02:00 |
|
Fedor Isakov
|
1c4ceaf479
|
ValueExpression to support string antiquotation
|
2014-09-22 12:13:41 +02:00 |
|
Fedor Isakov
|
111784b6b5
|
Enable output of java sourceas well (helps in debugging)
|
2014-09-18 14:41:23 +02:00 |
|
Fedor Isakov
|
ff3178f98c
|
Minor improvements in the editor
|
2014-09-18 14:40:56 +02:00 |
|
Fedor Isakov
|
17d40ff97b
|
Examples of using typechecker
|
2014-09-14 22:58:21 +02:00 |
|
Fedor Isakov
|
05514e108b
|
Auxilliary code to be replaced by the custom language providers
|
2014-09-14 22:57:56 +02:00 |
|
Fedor Isakov
|
32909d3a99
|
Typechecker runtime. Conversion, containment, subtyping
|
2014-09-14 22:53:50 +02:00 |
|
Fedor Isakov
|
b3a73c7b2c
|
Using ITreePart instead of ITreeBranch in the tree API
|
2014-09-14 22:53:03 +02:00 |
|
Fedor Isakov
|
c5d1b79045
|
Support for builtin constraints
|
2014-09-14 22:50:43 +02:00 |
|
Fedor Isakov
|
b117d79b75
|
Minor fixes
|
2014-09-14 22:46:59 +02:00 |
|
Fedor Isakov
|
a01eb7dac0
|
Refactoring: get rid of TreeLogical's registration by name, use proxy variable instead
|
2014-08-30 16:27:17 +02:00 |
|
Fedor Isakov
|
6244357a00
|
Minor fixes in the typesystem
|
2014-08-30 16:26:13 +02:00 |
|
Fedor Isakov
|
a7b7fcfbb9
|
Improving the mapRecursively functionality, pretty printer
|
2014-08-30 16:25:46 +02:00 |
|
Fedor Isakov
|
cbb33d4f79
|
Refactoring: getting rid of "ast" package
|
2014-08-24 15:26:32 +02:00 |
|
Fedor Isakov
|
27075eb544
|
Experimental types sandbox.
|
2014-08-24 14:51:12 +02:00 |
|
Fedor Isakov
|
6401216006
|
Expression node
|
2014-08-24 14:50:37 +02:00 |
|
Fedor Isakov
|
aa53fb2c4d
|
Various refactorings in unification tree. Mappers introduced.
|
2014-08-24 14:50:17 +02:00 |
|
Fedor Isakov
|
c2df27ab71
|
TreeWalk and Finders framework for analysing the tree
|
2014-08-16 18:32:31 +02:00 |
|
Fedor Isakov
|
6c2170abe1
|
Enable the use of varibles in values. Language refactoring. Cleanup.
|
2014-08-06 20:39:33 +02:00 |
|
Fedor Isakov
|
63dda93d83
|
Code cleanup and some documentation
|
2014-08-06 20:38:05 +02:00 |
|
Fedor Isakov
|
b20732ccc8
|
Alternative infix symbol
|
2014-08-06 11:05:17 +02:00 |
|
Fedor Isakov
|
1ee8e6f90e
|
Typesystem fixes
|
2014-08-06 11:05:01 +02:00 |
|
Fedor Isakov
|
9bb22fc9c7
|
Shorter text presentation of the trees
|
2014-08-06 11:03:46 +02:00 |
|
Fedor Isakov
|
cdf3e4887b
|
Maintenance: repackaging samples
|
2014-08-05 18:23:48 +02:00 |
|
Fedor Isakov
|
98a71dc8b9
|
Better integration of JCHR rules into Java: handler type and constraint operations
|
2014-08-05 17:00:45 +02:00 |
|
Fedor Isakov
|
95653e38a8
|
Made propagation rules work (BUG in JCHR)
|
2014-08-04 21:58:17 +02:00 |
|
Fedor Isakov
|
fe3ebd0660
|
Transforming rules to other kinds keeping the internal structure
|
2014-08-04 19:32:35 +02:00 |
|
Fedor Isakov
|
ca4450c905
|
Support for infix builtin constraints in body and guard
|
2014-08-04 12:28:55 +02:00 |
|
Fedor Isakov
|
7bee35a4ad
|
Extracting trees from the JCHR text to external class, using Ast instances directly in rules
|
2014-08-02 16:45:49 +02:00 |
|
Fedor Isakov
|
5d9cc3de0c
|
Accept Object as a variable name with String.valueof()
|
2014-08-02 16:44:12 +02:00 |
|
Fedor Isakov
|
8e5b5d21a7
|
Compiling JCHR seemlessly as part of MPS make
|
2014-08-01 16:46:40 +02:00 |
|
Fedor Isakov
|
c800cdb4cb
|
Huge improvements in the AST presentation and editing.
|
2014-08-01 11:25:32 +02:00 |
|
Fedor Isakov
|
ce7be93616
|
Renamed the solution
|
2014-07-28 11:58:53 +02:00 |
|
Fedor Isakov
|
4ae8fb8e54
|
Playing with typing rules
|
2014-07-28 10:58:34 +02:00 |
|
Fedor Isakov
|
b3b5ae8f00
|
Node variable expressions
|
2014-07-28 10:58:33 +02:00 |
|
Fedor Isakov
|
148a8424c8
|
Unification solver implementation. TreeLogical working from within JCHR runtime
Fixed the dependencies
|
2014-07-28 10:58:24 +02:00 |
|
Fedor Isakov
|
020d625940
|
Support for local variables in rule's body. Minor fixes.
Updated the args4j library
|
2014-07-28 10:58:02 +02:00 |
|
Fedor Isakov
|
362c1ad98a
|
Adopted the latest changes in submodule, fixed the modelchecker errors
|
2014-07-21 16:26:57 +02:00 |
|
Fedor Isakov
|
2c983649d7
|
Updated the submodule
|
2014-07-21 16:12:35 +02:00 |
|
Fedor Isakov
|
db6c89afa2
|
Ignore list
|
2014-07-21 16:08:22 +02:00 |
|
Fedor Isakov
|
c5da28e059
|
Slightly better API, changed the tests's package
|
2014-07-21 16:06:25 +02:00 |
|
Fedor Isakov
|
580cfd8a4d
|
Better API for the Tree
|
2014-07-21 15:38:48 +02:00 |
|
Fedor Isakov
|
ad114bf618
|
Unification solver
|
2014-07-21 13:41:56 +02:00 |