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

325 Commits

Author SHA1 Message Date
Fedor Isakov e056befb4e Establish module dependencies that make sense. 2018-05-17 12:07:50 +02:00
Fedor Isakov b4b56f20b9 Typechecking templates: default query "main". 2018-05-17 12:07:50 +02:00
Fedor Isakov 1b564b3057 Implementing QueryTemplate API and support in the evaluation environment. 2018-05-17 12:07:50 +02:00
Fedor Isakov fec79ebde3 Refactoring in typesystem2 runtime and template APIs: cleaning up the code and preparing to introduce queries. Support for extended handler templates. 2018-05-17 12:07:50 +02:00
Fedor Isakov 0713c80a27 Typechecking templates: drop internal "typeOf" constraint, replace with custom declaration. 2018-04-25 16:34:24 +02:00
Fedor Isakov 2f6efaa10a Drop "auto" constraint rules with empty Head. 2018-04-24 17:19:53 +02:00
Fedor Isakov 51297a956f Typechecking templates: specify "extends" where necessary. 2018-04-24 17:19:53 +02:00
Fedor Isakov 849116d2e4 Applied the migration. 2018-04-19 16:30:41 +02:00
Fedor Isakov c01e1d76c9 Refactoring: moving term-related concepts into a separate language, use dataform nomenclature instead of term where possible. Create migration. 2018-04-19 16:30:23 +02:00
Fedor Isakov 085918e21a Refactoring: rename treeform to dataform everywhere in the runtime. 2018-04-17 13:56:32 +02:00
Fedor Isakov 4ec6bff2e2 Typechecking templates: ran the migration. 2018-04-10 16:17:43 +02:00
Fedor Isakov 487ddddff3 Switched to MPS 2018.1 2018-04-10 14:22:48 +02:00
Fedor Isakov bfe74e3c7c Bumped up plugin version to 0.4 2018-04-05 12:40:17 +02:00
Fedor Isakov a6c31b64b7 Reporting errors with SNode operation, support for reporting from constraint rules. 2018-04-05 12:29:39 +02:00
Fedor Isakov f730641327 Extract "reporting" solution and interface. 2018-04-04 10:52:14 +02:00
Fedor Isakov c60f92b7d8 Drop obsolete constructs. 2018-04-03 15:16:23 +02:00
Fedor Isakov 638333989b Typechecking templates: migrate to assign type operation, drop typeNode/2 constraint. 2018-04-03 15:16:19 +02:00
Fedor Isakov e30c5e268b Extend typesystem2 lang with "assign type" operation. TypecheckingSessionSolver to be used for reporting the calculated type. Manual migration required. 2018-04-03 15:16:14 +02:00
Fedor Isakov 28d412997c Ensure all program's predicate symbols and corresponding solvers are registered. 2018-04-03 12:16:48 +02:00
Fedor Isakov 5f842657b0 Typechecking templates: get rid of RecoverSolver hacks. 2018-04-03 12:16:48 +02:00
Fedor Isakov 9c832b73b3 Testing RuleTemplate with constraint rules in a sandbox. 2018-04-03 12:16:48 +02:00
Fedor Isakov 476b8ad2ee Migration applied. 2018-04-03 12:16:47 +02:00
Fedor Isakov ccb46e8ce1 Simplify constraint rules editor. Use "!" to mark kept constraints in the head. 2018-04-03 12:16:47 +02:00
Fedor Isakov 213f01f47d Require statement to replace "required block". 2018-04-03 12:16:47 +02:00
Fedor Isakov 1112b940a1 Test language for the RuleTemplate. 2018-04-03 12:16:44 +02:00
Fedor Isakov a6bd6dac9c New structure of RuleTemplate, get rid of various "code blocks" in favour of regular control statements. 2018-04-03 12:16:38 +02:00
Fedor Isakov b052790f8c Switch to latest conreactor, update Kotlin runtime libs. 2018-03-05 15:31:39 +01:00
Fedor Isakov 6ac5af596f Upgrade to the latest MPS release. 2018-01-23 12:29:46 +01:00
Fedor Isakov bd81dfe749 Bump up the release version to 0.3. Default build number set to 9999. 2018-01-23 11:55:13 +01:00
Fedor Isakov 43a823a2b5 Refactorings in the API. Introducing RuleProcessingSession to facilitate all operations with the rule processing. Consolidating all low-level stuff in runtime solution. Preparing for multiple languages support. 2018-01-05 13:58:24 +01:00
Fedor Isakov a74f4fb944 Dropping deprecated API, renaming obsolete API calls. 2017-12-14 14:46:04 +01:00
Fedor Isakov c236981fb6 Correct version number of the plugin (0.2). 2017-12-06 18:10:02 +01:00
Fedor Isakov fb7f249435 Fix project generation by implementing newly introduced abstract methods in MPS interfaces. 2017-12-06 17:44:07 +01:00
Fedor Isakov d3a4e21ca9 Migrated to MPS2017.3. 2017-12-06 16:36:28 +01:00
Fedor Isakov 8c81df5fae Automating updates file generation and upload using Travis CI. 2017-12-04 20:40:52 +01:00
Fedor Isakov 114f4b8079 Bumped up version in plugin.xml. 2017-12-04 13:34:57 +01:00
Fedor Isakov ab8f4709ee Make checking for garbage optional by default. Garbage is always reported though. 2017-12-04 12:30:21 +01:00
Fedor Isakov 2ba4ee5712 Correct plugin version. Create updatePlugins.xml to provide updates. 2017-11-15 14:11:38 +01:00
Fedor Isakov 323cfdf080 Introduce environment variable to control whether to report garbage constraints. 
Fix NPE on missing rules for a stage during rules application.
 2017-11-15 11:46:44 +01:00
Fedor Isakov 83b52e8b45 Drop usages of java expression solver, deprecate the API calls that require it. 2017-11-14 15:09:33 +01:00
Fedor Isakov fe27d40d4b Typechecking templates: drop "final" features, use the prototype term feature. 2017-11-12 16:45:32 +01:00
Fedor Isakov 724addd354 Typechecking templates: apply the migrations; cleanup code; remove ad-hoc default feature values dependent on internal API. 2017-11-10 12:13:39 +01:00
Fedor Isakov c24b4d1044 Typechecking templates: move constraint declarations to handlers, remove the only solver root. 2017-11-09 14:07:27 +01:00
Fedor Isakov 291c0b58cd Display baseline conventional typechecking time. 2017-11-03 12:09:13 +01:00
Fedor Isakov 1541244395 Typechecking templates: add a rule to discharge hasBound of a captureOf type. 2017-11-03 12:08:17 +01:00
Fedor Isakov 45aa42bfe3 Enable control of output of profiling data with a system property. 2017-11-01 12:12:29 +01:00
Fedor Isakov aa8258c365 Typechecking templates: Applied migrations. Replace ad-hoc logical value access with valueOf expressions. 2017-11-01 10:52:15 +01:00
Fedor Isakov 51baea8b26 Typechecking plugin: drop read action from evaluation step. 2017-10-31 12:33:09 +01:00
Fedor Isakov 3ed8d2e375 Switch to latest release of constraints reactor lib. Update the dependency libs. 2017-10-30 19:51:42 +01:00
Fedor Isakov c9c8ed39b4 Typechecking templates: Manual migrations and cleanup. Applied the migrations. 2017-10-27 16:30:28 +02:00