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