Fedor Isakov
|
d19edc677e
|
Logical constraints introduced that are only applicable to logical vars; some refactoring in the runtime; rule tags
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
4732a1e896
|
Another sample that is hard to typecheck, updating the typechecking templates
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
bdb85040fd
|
Support tags in JCHR rules for easier debugging
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
a8b11f5e85
|
Collect typechecking rules for a class
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
94bf61359f
|
Removed .idea/workspace.xml
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
73b8f5c873
|
Ignore IDEA's workspace file
|
2015-02-09 16:21:36 +01:00 |
|
Fedor Isakov
|
7290c1541b
|
Added the sources of JCHR implementation
|
2015-02-09 16:13:04 +01:00 |
|
Fedor Isakov
|
4868439601
|
Some optimization of the number of rules generated, processing all the models imported from the sample
|
2015-02-09 16:10:45 +01:00 |
|
Fedor Isakov
|
adc7d87169
|
Support for external method calls in the typechecking rule templates
|
2015-02-09 16:09:36 +01:00 |
|
Fedor Isakov
|
802583bc8a
|
Testing the unification logic solver. Some minor generator updates.
|
2015-02-09 16:09:00 +01:00 |
|
Fedor Isakov
|
0899569315
|
Refactored out RuleInputSpecification to support rule templates without the input
|
2015-02-02 14:38:45 +01:00 |
|
Fedor Isakov
|
9b8e2642f5
|
Ensure variables get printed by the PrettyPrinter
|
2015-02-02 12:56:20 +01:00 |
|
Fedor Isakov
|
8ef78c48dd
|
Created IDEA project in order to run typechecking jchr code in debugger
|
2015-02-01 22:00:17 +01:00 |
|
Fedor Isakov
|
8ac189f4aa
|
Adjustments in the typechecking rule templates
|
2015-02-01 22:00:17 +01:00 |
|
Fedor Isakov
|
e0eaa73fe0
|
Implemented the guard producer; supporting Java constraints
|
2015-02-01 22:00:17 +01:00 |
|
Fedor Isakov
|
6a2aa8586f
|
WildcardLogicVariable introduced to enable matching terms with wildcards; JavaConstraint introduced
|
2015-02-01 22:00:03 +01:00 |
|
Fedor Isakov
|
7ce7a31e91
|
WildcardTreeVariable introduced to support matching terms with wildcard children; some code reorganization
|
2015-02-01 21:48:05 +01:00 |
|
Fedor Isakov
|
7329d9f85f
|
Fixed the code to compile with Java 6 without the closures lang
|
2015-02-01 21:44:51 +01:00 |
|
Fedor Isakov
|
3e284ade92
|
Turned on the debug in order to use the jchr tracer
|
2015-02-01 21:42:52 +01:00 |
|
Fedor Isakov
|
7f94ccb3c3
|
Minor improvements in jchr editor
|
2015-02-01 21:42:33 +01:00 |
|
Fedor Isakov
|
047894bd6e
|
WildcardLogicVariable introduced to support matching and throwing away logic values
|
2015-02-01 21:42:16 +01:00 |
|
Fedor Isakov
|
ae2920fdce
|
Migrated to 139.1564
|
2015-01-27 17:04:17 +01:00 |
|
Fedor Isakov
|
a016629db5
|
Slight adjustment in the typechecking rule templates for subtyping
|
2015-01-27 16:29:33 +01:00 |
|
Fedor Isakov
|
86b56d4ac1
|
Refactoring in the unification.tree: cleaning up the API, getting rid of unnecessary classes
|
2015-01-27 16:28:36 +01:00 |
|
Fedor Isakov
|
033d57816f
|
Ensure the generated variable names are derived from the original ones
|
2015-01-27 16:03:34 +01:00 |
|
Fedor Isakov
|
6abe3c6935
|
Ran the migration to the latest MPS build
|
2015-01-22 16:37:22 +01:00 |
|
Fedor Isakov
|
4b17120433
|
Minor editor beautification
|
2015-01-22 15:53:43 +01:00 |
|
Fedor Isakov
|
9f223fbdf3
|
Sample typechecking templates for subclassing
|
2015-01-22 15:53:24 +01:00 |
|
Fedor Isakov
|
929e3df742
|
Typesystem2 language support for repeated application of typechecking rule templates
|
2015-01-22 15:50:02 +01:00 |
|
Fedor Isakov
|
d17c61fb44
|
Typechecking rule templates to support repeated application: runtime
|
2015-01-22 15:48:48 +01:00 |
|
Fedor Isakov
|
b18308c4f3
|
Rule templates for better supporting of the type variables
|
2015-01-14 18:18:03 +01:00 |
|
Fedor Isakov
|
fa9362ca1b
|
Slightly updated the sample
|
2015-01-14 18:17:28 +01:00 |
|
Fedor Isakov
|
440c61c648
|
Passing target model down the producers chain
|
2015-01-14 18:16:36 +01:00 |
|
Fedor Isakov
|
51465e2c85
|
Constraint arguments checked for != null
|
2015-01-14 18:14:27 +01:00 |
|
Fedor Isakov
|
b89f3f8235
|
Better rules editor, handler editor displays visibility
|
2015-01-14 18:09:43 +01:00 |
|
Fedor Isakov
|
6076def304
|
Default case in switch wrapping values into Logical instances
|
2015-01-09 12:56:07 +01:00 |
|
Fedor Isakov
|
39bd862e6f
|
Fixed the "Java_Command" not found during make
|
2015-01-09 12:54:43 +01:00 |
|
Fedor Isakov
|
4faa078bb4
|
Better wrapping of constant values into subclasses of Logical
|
2014-12-19 17:44:59 +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
|
cf1eb3b868
|
Removed a .zip file from the classpath as a workaround for MPS-21048
|
2014-12-15 12:31:39 +01:00 |
|
Fedor Isakov
|
5f90271dc9
|
Make sure classes_jchr dirs are kept, so that MPS can see them on clean rebuild
|
2014-12-13 13:26:15 +01:00 |
|
Fedor Isakov
|
2a90dd1808
|
Sporadic model header update after a recent rename.
|
2014-12-13 13:25:28 +01:00 |
|
Fedor Isakov
|
1314fd3994
|
Produce CHR program from the generated typechecking rules + sample
|
2014-12-11 15:52:26 +01:00 |
|
Fedor Isakov
|
4181b3c353
|
Refactoring and improvements in the typesystem2 language and runtime
|
2014-12-11 15:52:26 +01:00 |
|
Fedor Isakov
|
64bb958fc8
|
Rename/refactoring in the jchr/logic/typechecking
|
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
|
34dff9e3f1
|
Refactoring typesystem2 runtime, testing rules generator
|
2014-12-04 12:59:04 +01:00 |
|
Fedor Isakov
|
319e0c98af
|
Generator of CHR rules from rule templates
|
2014-12-04 12:57:35 +01:00 |