natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 3602b0f4bb Implement ground atom utility, code cleanup, tests Fedor Isakov 2015-08-14 13:41:01 +0200
  • 58270ff07e update simpleGenerics test to more complicated case Mihail.Buryakov 2015-08-13 16:47:44 +0200
  • cb0d5e3747 AbstractRule extends IValidIdentifier Mihail.Buryakov 2015-08-13 16:47:00 +0200
  • 9545fdffb7 add hotkey for MarkTypes action Mihail.Buryakov 2015-08-13 16:46:26 +0200
  • 5bfbdc9ddb Look for logical variables inside atom lists Fedor Isakov 2015-08-13 16:21:57 +0200
  • 968871a23c add another example with generics Mihail.Buryakov 2015-08-13 12:13:42 +0200
  • a5d9513d72 Typechecking templates: testing upper/lower bounds Fedor Isakov 2015-08-13 11:18:03 +0200
  • 9f8e3db920 Fixed a couple of typos Fedor Isakov 2015-08-13 11:12:14 +0200
  • 9c43be1827 Show details for failed unification in the trace view Fedor Isakov 2015-08-12 16:42:28 +0200
  • 2c4c17600c Updated to the latest unification lib Fedor Isakov 2015-08-12 16:14:51 +0200
  • 27a42d9841 Report details if the unification failed Fedor Isakov 2015-08-12 16:13:27 +0200
  • 21e13cda25 Tracer for auto constraints (ask success/ask failure), implemented for unificaiton solver Fedor Isakov 2015-08-12 15:00:25 +0200
  • b7a9f45f8d Typechecking templates: better support for upper/lower bounds Fedor Isakov 2015-08-12 13:14:24 +0200
  • c61b1d164c minor editor updates Mihail.Buryakov 2015-08-11 15:57:00 +0200
  • 876752b992 Typechecking templates: ensure all classifier types import their classifiers Fedor Isakov 2015-08-11 17:03:52 +0200
  • f57c7150a5 Updated the IDEA project Fedor Isakov 2015-08-10 13:15:06 +0200
  • 623b2cc849 Editor: allow folding of templates Mihail.Buryakov 2015-08-10 17:24:50 +0300
  • 3cc6495885 Updated imports Fedor Isakov 2015-08-09 12:39:07 +0200
  • 6006f680e8 Minor refactoring and editor enhancements in logic and typesystem2 lang Fedor Isakov 2015-08-08 12:17:52 +0200
  • 57f740ce4a Introduce prototype into the Atom API Fedor Isakov 2015-08-09 12:38:17 +0200
  • 04dead1fe1 Testing list unification Fedor Isakov 2015-08-08 12:32:41 +0200
  • e1c9bb7496 Renamed solution 'j.m.unification.tree' -> 'j.m.logic.atom' Fedor Isakov 2015-08-06 12:45:45 +0200
  • c6582551e2 Renamed the model 'j.m.unification.tree' -> 'j.m.logic.atom' Fedor Isakov 2015-08-05 19:26:17 +0200
  • 7d7513dd1a Minor changes: preparing to get rid of WildcardVariable and replace its usages with splices Fedor Isakov 2015-08-05 17:25:05 +0200
  • 232624a4bf Replace obsolete concept instances Fedor Isakov 2015-08-05 11:18:53 +0200
  • a72ad3393f Delete obsolete concepts Fedor Isakov 2015-08-04 15:53:31 +0200
  • 05d829aee4 Delete obsolete model Fedor Isakov 2015-08-04 15:30:59 +0200
  • 3ee3b93352 Simplify the atom API, get rid of MITM class Tree, using Atom instead everywhere Fedor Isakov 2015-08-03 14:59:53 +0200
  • bbe9178c40 Adopted the updated unification API, terminology change: Atom, Func, Term and arguments Fedor Isakov 2015-08-01 17:18:44 +0200
  • 9ed12b4e68 Updated the unification lib Fedor Isakov 2015-08-01 15:12:23 +0200
  • 14aa99a727 Terminology updated: children renamed to arguments Fedor Isakov 2015-08-01 14:17:53 +0200
  • e5c7d17401 Removed type parameters from the internal term structure API Fedor Isakov 2015-08-01 14:08:00 +0200
  • a31e44161e Updated to the new unification API. Automatic changes in model imports Fedor Isakov 2015-08-01 12:14:30 +0200
  • b6c5eb3dc7 Updated the unification lib Fedor Isakov 2015-08-01 12:15:51 +0200
  • 5ee965a88d Renamed Node to Term, changed the API accordingly Fedor Isakov 2015-08-01 12:11:46 +0200
  • 7211a0a446 Minor updates in the typechecking templates Fedor Isakov 2015-07-30 15:51:56 +0200
  • 2c2f97d835 Trying to switch to java.util.List for internal lists instead of using the terms, unsuccessful. Keeping the new implementation for the future Fedor Isakov 2015-07-22 15:53:13 +0200
  • 648303e1c5 Equals auto-constraint support Fedor Isakov 2015-07-22 15:50:47 +0200
  • 5f83479f32 Logic language and runtime fixes, equals solver, ListLogical Fedor Isakov 2015-07-22 15:45:32 +0200
  • c2e9532109 Logical's equals and hashCode contract, tests Fedor Isakov 2015-07-21 12:15:43 +0200
  • 7e38c42a2f Switched to using typed logical vars in the typchecking templates Fedor Isakov 2015-07-20 17:11:26 +0200
  • 25e71a8978 Avoid judging if a var is a wildcard by its name, use the wildcard feature of a logical Fedor Isakov 2015-07-20 17:09:45 +0200
  • d174a900c0 Switched to using data type for logical vars Fedor Isakov 2015-07-20 17:08:55 +0200
  • e370d56d46 Support for wildcard logical vars Fedor Isakov 2015-07-20 17:07:47 +0200
  • 9f3970e8e0 Extended the logical type with the underlying data type Fedor Isakov 2015-07-20 17:06:34 +0200
  • ae55e2f265 Support for anonymous and wildcard variables. List alias is created for a wildcard Fedor Isakov 2015-07-20 17:04:48 +0200
  • c495c193b6 Fixed the NPE during error reporting Fedor Isakov 2015-07-20 16:53:49 +0200
  • 0592e7bd1c Typo fixed Fedor Isakov 2015-07-18 15:05:36 +0200
  • 0aa8f07213 Improving the editor for typechecking templates Fedor Isakov 2015-07-18 15:02:58 +0200
  • 9192087a9a Improving the editor for logical constructs/terms Fedor Isakov 2015-07-18 14:55:34 +0200
  • d6e894a95b More trace info while collecting rules Fedor Isakov 2015-07-16 13:34:00 +0200
  • 29671c3b46 Fixed expression constraint editor Fedor Isakov 2015-07-16 13:33:48 +0200
  • 0c692dd09f Typechecking templates updated Fedor Isakov 2015-07-16 13:16:51 +0200
  • af45f35f2e Some cleanup/renamings in the template collection API Fedor Isakov 2015-07-13 21:44:48 +0200
  • ba3ba5293c Typechecking templates updated Fedor Isakov 2015-07-13 13:11:47 +0200
  • 62628b6ad6 New samples for typechecking Fedor Isakov 2015-07-13 13:09:13 +0200
  • a057f2d77f Automatically update language imports Fedor Isakov 2015-07-09 17:54:32 +0200
  • 9131b3f25a Fixed the typechecking rule template Fedor Isakov 2015-07-09 17:52:52 +0200
  • 2473fa8a80 Better tracer view of the JCHR processing Fedor Isakov 2015-07-09 17:51:35 +0200
  • 14331dab61 Typechecking templates updated Fedor Isakov 2015-06-18 18:31:00 +0200
  • e93144d7ef Fixed running the rules handler, better tracing of evaluated constraints Fedor Isakov 2015-06-18 18:30:47 +0200
  • e91a1d9b4f Ensure the built-in constraints are correctly initialized Fedor Isakov 2015-06-18 18:29:16 +0200
  • 20dda2ceeb Report a warning if the solver class not found Fedor Isakov 2015-06-18 18:28:41 +0200
  • d18b1dd219 Make sure classes_jchr dirs are kept, so that MPS can see them on clean rebuild Fedor Isakov 2015-06-18 13:22:25 +0200
  • afaaa77de8 Fixed the tests Fedor Isakov 2015-06-17 16:52:53 +0200
  • 90b8f58143 Refactoring the code to use the updated API for processing constraints Fedor Isakov 2015-06-17 16:12:51 +0200
  • b3a04066f7 Removed obsolete solutions Fedor Isakov 2015-06-17 15:39:53 +0200
  • 9291340812 A new API for constraint processing Fedor Isakov 2015-06-12 14:24:05 +0200
  • cd88767e1c Better progress reporting UI for the sample plugin Fedor Isakov 2015-06-10 16:56:52 +0200
  • 5793d07d88 Make sure classes_jchr dirs are kept, so that MPS can see them on clean rebuild Fedor Isakov 2015-06-09 18:09:32 +0200
  • 9baac48ead Message view tracer to debug JCHR rules execution Fedor Isakov 2015-06-09 17:20:56 +0200
  • c41fef5ffe Optimized module imports and added explict dependency on "core" Fedor Isakov 2015-06-09 13:29:01 +0200
  • 04b362cc18 IDEA modules updated Fedor Isakov 2015-06-08 13:36:36 +0200
  • 7591c0c79e Sample templates: method declaration, subclassing, lub finding, tests Fedor Isakov 2015-04-15 18:27:25 +0200
  • 67161188ce LubSolver tests Fedor Isakov 2015-06-08 13:29:18 +0200
  • 6268759f7a Launching the handler: assert solver, finding the correct constructor Fedor Isakov 2015-06-08 13:19:23 +0200
  • 672515d798 JCHR producing: better processing of Java expressions, list support Fedor Isakov 2015-06-08 13:11:46 +0200
  • 42deb2b5e1 Rules collecting/generating: boundParam in required(), pre/post processing of static rule templates Fedor Isakov 2015-06-08 13:08:46 +0200
  • f66267d723 Typechecking2 language: introduced boundParam in required(), list support, pre/post processing of static rule templates Fedor Isakov 2015-06-08 13:00:41 +0200
  • ed07a82bb5 Typechecking2 runtime: introduced boundParam in required(), list support, pre/post processing of static rule templates Fedor Isakov 2015-06-08 12:46:27 +0200
  • 7ee4e4c628 Assert builtin constraint Fedor Isakov 2015-06-08 12:49:58 +0200
  • c777801036 Testing LUB solver Fedor Isakov 2015-05-13 13:46:18 +0200
  • f6d26f5a35 Introduced ExpressionConstraint; template parts contribute to the main template; refactored the templates runtime Fedor Isakov 2015-05-13 13:44:47 +0200
  • 37d3b6c851 Support for usage of StaticMethodCall in constraint; ensure the JCHR compiler error is propagated to make Fedor Isakov 2015-05-13 13:31:39 +0200
  • 46f55a0006 LUB finding algorithm and tests Fedor Isakov 2015-04-23 20:05:21 +0200
  • 47dcd0864b Updated the IDEA project to run the tests Fedor Isakov 2015-04-23 19:27:26 +0200
  • 913b43d508 Typechecking annotation language to display node type along with it in the editor Fedor Isakov 2015-04-16 13:13:58 +0200
  • 28ea8ed8e4 Updated the IDEA project to run the handler: new module for typesystem2 runtime Fedor Isakov 2015-04-15 18:28:13 +0200
  • f5f999b7be Refactored out SModel-related templates from the runtime. Better reusable pretty printing of nodes. Project reorganization. Fedor Isakov 2015-04-15 18:06:05 +0200
  • 1950dcc7a8 Better processing of wildcard variables Fedor Isakov 2015-04-15 17:24:14 +0200
  • e67b31bd30 Ensure string logicals are generated properly to CHR Fedor Isakov 2015-04-14 00:11:40 +0200
  • 07a5345d9b Rewriting rule templates to better support java typesystem Fedor Isakov 2015-04-05 12:05:20 +0200
  • 29e6d168b8 Nice printing of Ast nodes to make debugging of typechecking rules easier Fedor Isakov 2015-04-11 16:20:41 +0200
  • bdbfd508d9 Updated the IDEA project to run the handler Fedor Isakov 2015-04-10 17:42:40 +0200
  • ce6e138187 Introduced naming context for logical instances to avoid name clashes when recusively processing AST Fedor Isakov 2015-04-10 17:39:43 +0200
  • 4c1cbb34bc Added the missing dependency required to build the editor Fedor Isakov 2015-04-08 15:50:45 +0200
  • 3c27aa79e1 More strict checking of rules, fixing minor problems reported by model checker, minor update of the rules runner Fedor Isakov 2015-04-05 12:02:25 +0200
  • 72a3aac2e2 Collect templates for required nodes. Enable rule templates to tell what nodes are to be walked in addition to the one passed as parameter. Fedor Isakov 2015-04-07 12:43:14 +0200
  • f2a5220ae1 Another rule parameter block: bound value (à la let binding). Allows to extract a value to a parameter. Fedor Isakov 2015-04-02 16:17:23 +0200
  • f54c0783c4 Extracted sample code to a separate solution. Support for marking the types on arbitraty code Fedor Isakov 2015-04-02 13:16:22 +0200