Fedor Isakov
|
b3a04066f7
|
Removed obsolete solutions
|
2015-06-17 15:39:53 +02:00 |
|
Fedor Isakov
|
9baac48ead
|
Message view tracer to debug JCHR rules execution
|
2015-06-09 18:09:45 +02:00 |
|
Fedor Isakov
|
c777801036
|
Testing LUB solver
|
2015-05-13 13:49:38 +02:00 |
|
Fedor Isakov
|
46f55a0006
|
LUB finding algorithm and tests
|
2015-05-13 13:49:38 +02:00 |
|
Fedor Isakov
|
913b43d508
|
Typechecking annotation language to display node type along with it in the editor
|
2015-05-13 13:49:37 +02:00 |
|
Fedor Isakov
|
f5f999b7be
|
Refactored out SModel-related templates from the runtime. Better reusable pretty printing of nodes. Project reorganization.
|
2015-04-15 18:27:06 +02:00 |
|
Fedor Isakov
|
f54c0783c4
|
Extracted sample code to a separate solution. Support for marking the types on arbitraty code
|
2015-04-02 13:16:22 +02:00 |
|
Fedor Isakov
|
85d1746ea5
|
Combining collecting rules + making + running constraints in one action
|
2015-03-31 13:02:51 +02:00 |
|
Fedor Isakov
|
0ee9762140
|
Deleting the old deprecated concepts, some refactoring
|
2015-03-01 15:51:57 +01:00 |
|
Fedor Isakov
|
802583bc8a
|
Testing the unification logic solver. Some minor generator updates.
|
2015-02-09 16:09:00 +01:00 |
|
Fedor Isakov
|
94792ee4b0
|
Creating sample typechecker for HelloWorld. Small subset of Java supported.
|
2014-12-19 17:44:55 +01:00 |
|
Fedor Isakov
|
91bf7a3d85
|
Migrated to MPS 3.2 EAP (build 139-987)
|
2014-12-15 13:57:15 +01:00 |
|
Fedor Isakov
|
1314fd3994
|
Produce CHR program from the generated typechecking rules + sample
|
2014-12-11 15:52:26 +01:00 |
|
Fedor Isakov
|
4e77631719
|
Renamed/refactored solutions/models for better packaging
|
2014-12-04 19:53:04 +01:00 |
|
Fedor Isakov
|
decb57c836
|
Removed j.m.typecheck lang and sandbox
|
2014-12-04 15:09:57 +01:00 |
|
Fedor Isakov
|
319e0c98af
|
Generator of CHR rules from rule templates
|
2014-12-04 12:57:35 +01:00 |
|
Fedor Isakov
|
9f80ff9738
|
TMP typesystem2 aspect
|
2014-10-08 09:52:05 +02:00 |
|
Fedor Isakov
|
32909d3a99
|
Typechecker runtime. Conversion, containment, subtyping
|
2014-09-14 22:53:50 +02:00 |
|
Fedor Isakov
|
27075eb544
|
Experimental types sandbox.
|
2014-08-24 14:51:12 +02:00 |
|
Fedor Isakov
|
8e5b5d21a7
|
Compiling JCHR seemlessly as part of MPS make
|
2014-08-01 16:46:40 +02:00 |
|
Fedor Isakov
|
ce7be93616
|
Renamed the solution
|
2014-07-28 11:58:53 +02:00 |
|
Fedor Isakov
|
1e77201566
|
SModel isomorphic structure on top of unification tree
|
2014-07-13 15:00:04 +02:00 |
|
Fedor Isakov
|
5a7fb3a15e
|
Initial import
|
2014-07-03 15:02:07 +02:00 |