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

123 Commits

Author SHA1 Message Date
Fedor Isakov 689ae4776c Give more sensible name to a sample demo solution and model. 2018-07-21 13:49:21 +02:00
Fedor Isakov c7cc97fffb Rename reporting runtim solution. 2018-07-21 13:29:40 +02:00
Fedor Isakov ea9919f38a Bring the hierarchy of DataForm concepts in line with the runtime. 
Merge DataForm constructors into logic language.
Repackaging logic runtime.
Drop obsolete code.
 2018-07-21 13:29:22 +02:00
Fedor Isakov 4e03b77ebc Add all samples to the root project 2018-07-20 10:45:00 +02:00
Fedor Isakov 473644e389 Extract baseLanguageExt and its related tests to a separate project. 2018-07-16 18:56:36 +02:00
Fedor Isakov 92c6ba3e12 Restructuring the project: consolidate code, moving samples away. 2018-07-14 17:22:07 +02:00
Fedor Isakov 2cc6d44705 Extract reusable stuff from typechecking UI plugin into coderules UI. 2018-06-16 13:08:24 +02:00
Fedor Isakov db04f57c41 Move baselanguage-related stuff to another location within the project. 2018-06-15 11:09:01 +02:00
Fedor Isakov a74f00f688 Introduce controlflow language and corresponding solutions as another example of applying code rules in practice. 2018-06-14 16:19:06 +02:00
Fedor Isakov 20c107e428 Introduce j.m.lang.typechecking lang to provide typechecking aspect-related services. Abstract away aspect generation/discovery logic to make it reusable. 2018-06-14 15:02:22 +02:00
Fedor Isakov fda586c45c Extract generic support for launching code rules into a separate plugin solution. 2018-06-13 14:34:41 +02:00
Fedor Isakov a8e6c565b5 Rename the language and runtime solution: typesystem2 -> coderules. Move typechecking-related stuff to typechecking solution. Reorganize modules, delete obsolete stuck files. 2018-06-12 18:00:30 +02:00
Fedor Isakov 2de4d69781 Introduce QueryKind. Fix the kinds of typechecking queries. Avoid directly linking the queries in types aspect. 2018-06-04 18:45:08 +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 f730641327 Extract "reporting" solution and interface. 2018-04-04 10:52:14 +02:00
Fedor Isakov 9c832b73b3 Testing RuleTemplate with constraint rules in a sandbox. 2018-04-03 12:16:48 +02:00
Fedor Isakov 1112b940a1 Test language for the RuleTemplate. 2018-04-03 12:16:44 +02:00
Fedor Isakov 5c4fb50a63 Reorganize and repackage the code to better reflect purpose of the modules. 2017-07-28 19:13:48 +02:00
Fedor Isakov aac95b2b25 Move typesystem2.helper.plugin to typechecking.plugin. Drop typesystem2.helper solution. 2017-07-28 13:58:37 +02:00
Fedor Isakov e970b2443a Extract typechecking-related stuff to a separate solution 'j.m.typechecking' 2017-07-25 10:30:29 +02:00
Fedor Isakov 4665aa5623 Rename 'j.m.typechecking' solution to 'j.m.typechecking.ui'. Contains only the plugin model. 2017-07-24 11:29:59 +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 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 2dbd4cec52 New build solution, combine build and test into one, integrate with gradle. 2017-06-09 09:52:20 +02: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 75011f49a6 DELETE the JCHR stuff. 2017-01-03 11:27:59 +01:00
Fedor Isakov 6fc9c454b8 SModel lang extension for typesystem2. Tests. 2016-11-11 14:22:15 +01:00
Fedor Isakov aa9826e2e3 Typechecking facade. Tests. 2016-11-10 16:35:03 +01:00
Fedor Isakov 57bfd6433e Refactoring out the typechecking code from the sample plugin. 2016-11-07 15:07:16 +01:00
Fedor Isakov e17f7405a3 Moving tests specific to sampleLang/types to separate test solution. 2016-09-17 14:57:56 +02:00
Fedor Isakov 4b6ac48a41 Merging TreeForm model into the reactor solution. 
Move unification lib tnd treeform api model to reactor solution.
Remove obsolete solution.
 2016-09-01 11:03:35 +02:00
Fedor Isakov 569b1fd082 Build file for making the samplechecker plugin. 2016-08-25 13:55:53 +02:00
Fedor Isakov f0184de4c5 Extracting the JCHR-related stuff to drop it later. 
Cleaning up the obsolete modules.
Get rid of dependencies on JCHR stuff.
 2016-08-25 13:48:02 +02:00
Fedor Isakov 0018ee7154 Implementing types language aspect generation and runtime support. 2016-08-17 11:02:33 +02:00
Fedor Isakov 28bc093ab0 Removed obsolete modules 2016-03-14 15:37:29 +01:00
Fedor Isakov 57bd4d763c Adjust the project module paths 2016-03-14 15:26:35 +01:00
Fedor Isakov 5a54d55345 Tests to launch typechecking on sample roots 2016-03-14 15:21:49 +01:00
Fedor Isakov 0000a8fe93 Delete the unused experimental code 2016-02-18 22:40:22 +01:00
Fedor Isakov 3a6edc48e5 Reshuffling the models around a bit. 2015-12-25 23:54:48 +01:00
Fedor Isakov 1e59499285 Better project structure 2015-12-25 21:22:52 +01:00
Mihail Buryakov 4b5f7212f2 move all on-the-fly stuff to separate module 2015-12-07 17:40:19 +03:00
Fedor Isakov 78ca0b05fc Refactoring in constraints API. Extracting the abstract evaluation interface 2015-11-28 18:45:42 +01:00
Fedor Isakov af92fe309e Refactor abstract part of the constraint solver to a separate solution 2015-11-20 11:28:09 +01:00
Fedor Isakov 3cb088c8b9 Fix NodePrinter, test 2015-10-28 13:39:44 +01:00
Fedor Isakov 6006f680e8 Minor refactoring and editor enhancements in logic and typesystem2 lang 2015-08-09 17:36:42 +02:00
Fedor Isakov e1c9bb7496 Renamed solution 'j.m.unification.tree' -> 'j.m.logic.atom' 2015-08-06 12:57:35 +02:00
Fedor Isakov b3a04066f7 Removed obsolete solutions 2015-06-17 15:39:53 +02:00
Fedor Isakov 9baac48ead Message view tracer to debug JCHR rules execution 2015-06-09 18:09:45 +02:00
Fedor Isakov c777801036 Testing LUB solver 2015-05-13 13:49:38 +02:00
Fedor Isakov 46f55a0006 LUB finding algorithm and tests 2015-05-13 13:49:38 +02:00
Fedor Isakov 913b43d508 Typechecking annotation language to display node type along with it in the editor 2015-05-13 13:49:37 +02:00
Fedor Isakov f5f999b7be Refactored out SModel-related templates from the runtime. Better reusable pretty printing of nodes. Project reorganization. 2015-04-15 18:27:06 +02:00
Fedor Isakov f54c0783c4 Extracted sample code to a separate solution. Support for marking the types on arbitraty code 2015-04-02 13:16:22 +02:00
Fedor Isakov 85d1746ea5 Combining collecting rules + making + running constraints in one action 2015-03-31 13:02:51 +02:00
Fedor Isakov 0ee9762140 Deleting the old deprecated concepts, some refactoring 2015-03-01 15:51:57 +01:00
Fedor Isakov 802583bc8a Testing the unification logic solver. Some minor generator updates. 2015-02-09 16:09:00 +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 1314fd3994 Produce CHR program from the generated typechecking rules + sample 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 319e0c98af Generator of CHR rules from rule templates 2014-12-04 12:57:35 +01:00
Fedor Isakov 9f80ff9738 TMP typesystem2 aspect 2014-10-08 09:52:05 +02:00
Fedor Isakov 32909d3a99 Typechecker runtime. Conversion, containment, subtyping 2014-09-14 22:53:50 +02:00
Fedor Isakov 27075eb544 Experimental types sandbox. 2014-08-24 14:51:12 +02:00
Fedor Isakov 8e5b5d21a7 Compiling JCHR seemlessly as part of MPS make 2014-08-01 16:46:40 +02:00
Fedor Isakov ce7be93616 Renamed the solution 2014-07-28 11:58:53 +02:00
Fedor Isakov 1e77201566 SModel isomorphic structure on top of unification tree 2014-07-13 15:00:04 +02:00
Fedor Isakov 5a7fb3a15e Initial import 2014-07-03 15:02:07 +02:00