Fedor Isakov
|
28bc093ab0
|
Removed obsolete modules
|
2016-03-14 15:37:29 +01:00 |
|
Fedor Isakov
|
57bd4d763c
|
Adjust the project module paths
|
2016-03-14 15:26:35 +01:00 |
|
Fedor Isakov
|
5a54d55345
|
Tests to launch typechecking on sample roots
|
2016-03-14 15:21:49 +01:00 |
|
Fedor Isakov
|
0000a8fe93
|
Delete the unused experimental code
|
2016-02-18 22:40:22 +01:00 |
|
Fedor Isakov
|
8eea7a83a2
|
Migrate to MPS 3.3.1. Fix missing import.
|
2016-01-26 12:48:11 +01:00 |
|
Fedor Isakov
|
3a6edc48e5
|
Reshuffling the models around a bit.
|
2015-12-25 23:54:48 +01:00 |
|
Fedor Isakov
|
1e59499285
|
Better project structure
|
2015-12-25 21:22:52 +01:00 |
|
Mihail Buryakov
|
4b5f7212f2
|
move all on-the-fly stuff to separate module
|
2015-12-07 17:40:19 +03:00 |
|
Fedor Isakov
|
78ca0b05fc
|
Refactoring in constraints API. Extracting the abstract evaluation interface
|
2015-11-28 18:45:42 +01:00 |
|
Fedor Isakov
|
0d88f5da4b
|
Auto-magical update after moving to the latest build
|
2015-11-21 16:04:14 +01:00 |
|
Fedor Isakov
|
af92fe309e
|
Refactor abstract part of the constraint solver to a separate solution
|
2015-11-20 11:28:09 +01:00 |
|
Fedor Isakov
|
8fabaa7b1e
|
Auto-magical update after moving to the latest build
|
2015-11-12 15:14:34 +01:00 |
|
Fedor Isakov
|
3cb088c8b9
|
Fix NodePrinter, test
|
2015-10-28 13:39:44 +01:00 |
|
Fedor Isakov
|
86fa1cb65a
|
Upgraded to the latest MPS build (to be announced as EAP4)
|
2015-10-28 11:57:07 +01:00 |
|
Fedor Isakov
|
6006f680e8
|
Minor refactoring and editor enhancements in logic and typesystem2 lang
|
2015-08-09 17:36:42 +02:00 |
|
Fedor Isakov
|
e1c9bb7496
|
Renamed solution 'j.m.unification.tree' -> 'j.m.logic.atom'
|
2015-08-06 12:57:35 +02:00 |
|
Fedor Isakov
|
90b8f58143
|
Refactoring the code to use the updated API for processing constraints
|
2015-06-17 16:12:51 +02:00 |
|
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
|
ae2920fdce
|
Migrated to 139.1564
|
2015-01-27 17:04:17 +01:00 |
|
Fedor Isakov
|
6abe3c6935
|
Ran the migration to the latest MPS build
|
2015-01-22 16:37:22 +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 |