natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
141 Commits 26 Branches 0 Tags 127 MiB
Commit Graph

58 Commits

Author SHA1 Message Date
Fedor Isakov f4043b8206 Updated the unification lib 2015-03-31 13:02:47 +02:00
Fedor Isakov 19d9048cb3 The TreeLogicVar can act both as a VAR and as a REF depending on whether it's bound, fixing tests 2015-03-31 13:02:35 +02:00
Fedor Isakov 07ecdb5651 Updated the unification lib 2015-03-24 16:28:19 +01:00
Fedor Isakov fce38c6cdd Updated the typechecking templates to use the modern construct for list 2015-03-24 16:27:12 +01:00
Fedor Isakov 77479a076f Support for variables matching a list, getting rid of obsolete code, some refactoring 2015-03-24 16:27:08 +01:00
Fedor Isakov f380297ccb Adopted the new unification solver API 2015-03-22 15:19:16 +01:00
Fedor Isakov c337fe0039 Updated the unification lib 2015-03-22 15:19:12 +01:00
Fedor Isakov 7e3131a697 Supporting logical variables of different types (currently only TreeLogical and StringLogical) 2015-03-13 14:45:04 +01:00
Fedor Isakov 63edc8e6b6 Fixing processing of constraint parameters: an unbound logical variable produces a local variable, some refactoring 2015-03-12 15:27:47 +01:00
Fedor Isakov 753d2da74a Removing instances of obsolete code, cleaning up the model checker issues 2015-03-11 13:35:10 +01:00
Fedor Isakov 3af797e768 Updated the submodule with unification lib 2015-03-11 12:29:51 +01:00
Fedor Isakov 2489d817b0 Refactoring: replacing the obsolete constructs with logical substitution, runtime API changes, abstract logical, extracting equals constraint 2015-03-11 12:26:57 +01:00
Fedor Isakov 0ee9762140 Deleting the old deprecated concepts, some refactoring 2015-03-01 15:51:57 +01:00
Fedor Isakov bdd3530b89 Refactoring: moving logical vars to logic lang, supporting new kind of expression in trees, matching variables to lists; tests. 2015-02-26 15:55:35 +01:00
Fedor Isakov 756450ceae Removed instances of an obsolete concept to be removed 2015-02-26 15:53:48 +01:00
Fedor Isakov 23d5bd0bcb Enable extraction of sub-tree via "asRoot" for later embedding into other tree; editor fixes 2015-02-21 12:42:25 +01:00
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 bdb85040fd Support tags in JCHR rules for easier debugging 2015-02-17 17:34:22 +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 e0eaa73fe0 Implemented the guard producer; supporting Java constraints 2015-02-01 22:00:17 +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 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 d17c61fb44 Typechecking rule templates to support repeated application: runtime 2015-01-22 15:48:48 +01:00
Fedor Isakov 440c61c648 Passing target model down the producers chain 2015-01-14 18:16:36 +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 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 1314fd3994 Produce CHR program from the generated typechecking rules + sample 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 319e0c98af Generator of CHR rules from rule templates 2014-12-04 12:57:35 +01:00
Fedor Isakov 889a525dc8 Simplify usage of parameter and local logic variables 2014-11-19 17:07:03 +01:00
Fedor Isakov 79a8b2c7fb Another typechecker sample 2014-11-12 11:10:27 +01:00
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