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

205 Commits

Author SHA1 Message Date
Fedor Isakov dab37c39b1 Update the plugin metadata. 2017-06-13 10:17:38 +02:00
Fedor Isakov 0fd6f65591 Rename "sampleplugin" solution to "typechecking". Move build solution to typechecking folder. Rename the plugin to "typechecking". 2017-06-12 21:55:53 +02:00
Fedor Isakov 33bc06e9cc Rename solutions "typesystem2.sample.*" to "typechecking.sample.*". 2017-06-12 19:10:29 +02:00
Fedor Isakov 0a615c8490 Rename solution "typesystem2.test" to "typechecking.test". 2017-06-12 19:01:49 +02:00
Fedor Isakov 51263e9b8b Reorganizing the code, optimize the number of solutions. Delete empty solutions. 2017-06-12 18:55:55 +02:00
Fedor Isakov 663c58d880 Delete empty generators. Fix the import errors. 2017-06-12 16:45:00 +02:00
Fedor Isakov ee0b98f9db Rename "sampleLang" to "baseLanguageExt" 2017-06-12 16:32:49 +02:00
Fedor Isakov 4ec306e9c3 Delete the solution with obsolete build scripts. 2017-06-12 15:37:20 +02:00
Fedor Isakov 9884923141 Typechecking templates: ensure every type is restored, substitute bottom for unknown type. 2017-06-12 12:22:42 +02:00
Fedor Isakov 7cbef4cf9d Download and unpack MPS release as a dependency before the build. The root folder "MPS_HOME" to always point to the MPS installation or contain the MPS itself. 2017-06-09 15:14:28 +02:00
Fedor Isakov 2dbd4cec52 New build solution, combine build and test into one, integrate with gradle. 2017-06-09 09:52:20 +02:00
Fedor Isakov effa917f63 Optimize module/model imports. Get rid of "exported" dependencies (too much trouble with the ant files). 2017-06-09 09:51:35 +02:00
Fedor Isakov f30710f463 Updated the reactor libs. Adapted to the renamed interfaces in the reactor API. 2017-06-05 14:34:14 +02:00
Fedor Isakov ef375de9fd Optimizing model imports 2017-06-01 15:45:49 +02:00
Fedor Isakov aacd10cb9d Update the reactor, unification, collection, and kotlin jars. 2017-06-01 15:11:20 +02:00
Fedor Isakov c5a3fc6adc Re-save types model to update resolve info. 2017-05-22 10:34:22 +02:00
Fedor Isakov 9f828fec11 Typechecking templates: ensure no type errors in model check. 2017-05-12 11:54:22 +02:00
Fedor Isakov 7912b66516 Typechecking templates: re-save the model to update the resolve info. 2017-05-11 13:31:38 +02:00
Fedor Isakov 7c8cc408fc Typechecking templates: replace all instances of "index" with "position" 2017-05-11 13:11:08 +02:00
Fedor Isakov 0d6452c826 Typechecking templates: auto-changes after the concepts renaming. 2017-05-09 15:42:07 +02:00
Fedor Isakov 21dbecd386 Re-saved all models. 2017-05-04 13:10:14 +02:00
Fedor Isakov 4b18d94664 Typechecking templates: move the term declarations to separate root. 2017-05-04 12:47:22 +02:00
Fedor Isakov 2f3c1a6492 Typechecking templates: drop links to type term from type declarations 2017-05-03 16:14:44 +02:00
Fedor Isakov 13ad30bfd9 Drop obsolete code from the runtime 2017-05-03 16:14:44 +02:00
Fedor Isakov bbb5451408 Typechecking templates: adopting to the changes in the language. 2017-05-03 16:14:26 +02:00
Fedor Isakov 3f910ec396 Adapt to the changes in memreactor API. Drop AbstractLogicSolver. 2017-03-27 19:26:27 +02:00
Fedor Isakov 0d8fe0a7e0 Drop shortcut for Clear Types. 2017-03-21 12:51:30 +01:00
Fedor Isakov e5ca0a4b9c Show The typechecking process report as a notification balloon. Add a shortcut for Clear Types. 2017-03-15 19:21:08 +01:00
Fedor Isakov 3136d7bedb Switched to the latest EAP build, applied the migrations. 2017-03-09 14:36:20 +01:00
Fedor Isakov 55eae7dda5 Typechecking templates: replace all obsolete code blocks with logical clauses. Extract logicals into the rule part declaration where possible. 2017-03-01 12:51:21 +01:00
Fedor Isakov 97fefc2884 Sample typechecker: ensure the smodel is accessed in read action, cleanup the code. 
Introduce timeout system property "logic.timeout".
Ensure the smodel is accessed in the read action.
Support reporting errors (error constraint).
 2017-02-27 16:11:18 +01:00
Fedor Isakov c254e94a2e Typechecking templates: Switch to using new way of recovering type nodes. Drop the recovery blocks. 2017-02-17 11:58:12 +01:00
Fedor Isakov b2174a8872 Minor fixes in the editor. Unconditionally set the store view after executing the program. 2017-02-17 11:58:10 +01:00
Fedor Isakov af9125bfe1 Switch to types recovering using second stage of the program. Remove usages of RecoverSession. 2017-02-17 11:58:10 +01:00
Fedor Isakov f8bce81227 Add the "final" property to the term feature, which suppresses generating "pattern" for a match in a rule's head. 2017-02-13 17:23:07 +01:00
Fedor Isakov d985610a6d Refactor generating a program from type templates to work with handling stages. Dropping obsolete code. Minor stuff. 2017-02-13 17:23:07 +01:00
Fedor Isakov 43dc0752a0 Enable processing of multi-stage sessions. Display each stage as a separate tab in the activation trace. 2017-02-13 17:23:06 +01:00
Fedor Isakov f4b965efce Repackage utility classes inside the types aspect model. Delete obsolete module. 2017-02-09 14:24:00 +01:00
Fedor Isakov dd41e08381 New feature: specify stage for a handler, produce multiple programs from the typechecking model. Stages are specified as strings. 2017-02-09 14:23:57 +01:00
Fedor Isakov 61fd80014d Typechecking templates: adapting to the latest refactoring. 2017-02-03 11:28:10 +01:00
Fedor Isakov 44019dca79 Typechecking templates: remove usages of the "typeConcept" 2017-02-03 11:15:23 +01:00
Fedor Isakov 4430488f26 New recover types handler (unfinished) 2017-02-03 11:15:01 +01:00
Fedor Isakov 5b6590df9d Refactoring: switch to the updated interface methods of SessionSolver. Extract invocation arguments calculation from the predicate/constraint. 2017-02-03 11:15:00 +01:00
Fedor Isakov b789d6d240 Refactoring: getting rid of the dependencies on SessionSolver soon to be updated. 2017-01-04 10:44:08 +01:00
Fedor Isakov 31e15fcaa9 Typechecking templates: annotate the handlers with the primary constraints. Moderate pocessing speedup. 2016-12-28 12:48:47 +01:00
Fedor Isakov f5ed430cd9 Build CLP program with handlers instead of rules. Minor rename refactoring. 2016-12-23 17:42:20 +01:00
Fedor Isakov 5bb2d9c7fa Drop the deprecated postProcess and other obsolete features. 2016-12-23 17:40:04 +01:00
Fedor Isakov 1c7e72db40 Typechecking templates: sort the rules so that abstract come after the concrete for post-processing, and before otherwise. 2016-12-23 17:40:02 +01:00
Fedor Isakov 8c3728aa74 Refactor typesystem2 runtime and generator to support handler templates referred to by rule templates. Enable to drop "postProcess" flag on the rules. 2016-12-23 17:26:25 +01:00
Fedor Isakov 641ac6616c Support non-treeform logical values. 2016-12-15 14:11:22 +01:00