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
|
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
|
b3a73c7b2c
|
Using ITreePart instead of ITreeBranch in the tree API
|
2014-09-14 22:53:03 +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
|
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
|
63dda93d83
|
Code cleanup and some documentation
|
2014-08-06 20:38:05 +02:00 |
|
Fedor Isakov
|
9bb22fc9c7
|
Shorter text presentation of the trees
|
2014-08-06 11:03:46 +02:00 |
|
Fedor Isakov
|
5d9cc3de0c
|
Accept Object as a variable name with String.valueof()
|
2014-08-02 16:44:12 +02:00 |
|
Fedor Isakov
|
ce7be93616
|
Renamed the solution
|
2014-07-28 11:58:53 +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
|
580cfd8a4d
|
Better API for the Tree
|
2014-07-21 15:38:48 +02:00 |
|
Fedor Isakov
|
fcadecb8cf
|
Support for copying the subtrees
|
2014-07-21 13:19:51 +02:00 |
|
Fedor Isakov
|
eeec9d7f71
|
Language for defining snode-isomorphic structures with variables, testing unification
|
2014-07-14 15:50:37 +02:00 |
|
Fedor Isakov
|
1e77201566
|
SModel isomorphic structure on top of unification tree
|
2014-07-13 15:00:04 +02:00 |
|
Fedor Isakov
|
7cd5ac3795
|
Updated submodule
|
2014-07-13 15:00:03 +02:00 |
|
Fedor Isakov
|
33429c6fab
|
Updated submodule
|
2014-07-04 10:53:12 +02:00 |
|
Fedor Isakov
|
6ea2e4f96c
|
Submodule for the unification algo
|
2014-07-03 19:12:40 +02:00 |