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

295 Commits

Author SHA1 Message Date
Fedor Isakov 2ba4ee5712 Correct plugin version. Create updatePlugins.xml to provide updates. 2017-11-15 14:11:38 +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 582c8d32d3 Logic language: introduce ListRole, create a migration to extract ChildRole with single list to ListRole. 2017-10-23 12:08:32 +02:00
Fedor Isakov e9a35f4fae Fix module dependencies 2017-10-23 10:23:12 +02:00
Fedor Isakov 12afe4fa9c Update the distribution zip file name to correspond to the package version (0.2). 2017-10-16 14:32:46 +02:00
Fedor Isakov e60bfc4158 Typesystem2 lang: Use NodeAnchor to make a reference to a node explicit. Replace LogicalValue with Expression where applicable. Drop the type-dependent hacks, git rid of constructing terms by hand in AnchorUtil. Migrations. 2017-10-13 11:51:18 +02:00
Fedor Isakov 3ce85cac5e Introduce snapshot history. Activation sink to record all snapshots and allow to refer to snapshot taken at particular instant. This is used in the Store sink in order to correctly represent logical assignments and unions. Snapshot history is reused by the next stage program. 2017-09-26 11:37:35 +02:00
Fedor Isakov f8c265dcc7 Use PooledThreadExecutor for background scheduling. Ad-hoc support for handling fatal errors during execution, such as StackOverflowError. 2017-09-12 17:11:43 +02:00
Fedor Isakov 78c7f71e9a Refactoring the code that launches typechecking to better separate concerns. 
Extract TypeAspectRuntime.
Support building typechecking program for sequence of nodes.
Moving classes/models around to get rid of cyclic deps.
 2017-08-16 15:29:23 +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 757d869cf3 Rewrite tests without using NodeTestCase's header. Update TypeNodeManager and Typechecker to both be initialized async, add a dispose call for Typechecker. 2017-07-27 15:18:20 +02:00
Fedor Isakov f2710aa8d6 Fix the trace displaying only the first stage. Simplify types in TypecheckingHelper. Refactor LaunchTypechecking to use CollectTypesStep. 2017-07-27 15:17:20 +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 20622554f2 Switch to MPS 172 latest RC build. Fix a couple of parent-invariant violations in the type system, remove obsolete intention. 2017-07-19 16:22:59 +02:00
Fedor Isakov c8b4fff148 Add dependencies on RxJava and rxjava2-swing. 2017-07-18 11:24:38 +02:00
Fedor Isakov ab408b0c09 Add explicit mapping of library jar locations to reactor module. Fix the plugin. 2017-06-13 20:31:40 +02:00
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 f9e9e7956a Import the sample language to the tests model. Fix the test. 2017-06-12 13:22:41 +02:00
Fedor Isakov aefaf1a499 Add missing test to the build.xml, ensure the build fails on test failure. 2017-06-09 15:14:28 +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 f30710f463 Updated the reactor libs. Adapted to the renamed interfaces in the reactor API. 2017-06-05 14:34:14 +02:00
Fedor Isakov aacd10cb9d Update the reactor, unification, collection, and kotlin jars. 2017-06-01 15:11:20 +02:00
Fedor Isakov 24168bf5f8 Rebuilt the project, buildfiles updated. 2017-04-26 14:23:51 +02:00
Fedor Isakov 3136d7bedb Switched to the latest EAP build, applied the migrations. 2017-03-09 14:36:20 +01:00
Fedor Isakov 012dc6b305 Optimizing imports. 2016-12-23 17:40:05 +01:00
Fedor Isakov fe5d24ea35 Update all external jars. 2016-12-14 17:08:31 +01:00
Fedor Isakov 98b4a731e6 Fix the build scripts. 2016-11-11 14:22:44 +01:00
Fedor Isakov 7621d73208 Fix running tests out-of-process (bad dependencies causing the classloader to fail) 2016-10-13 16:01:33 +02:00
Fedor Isakov cb86d9b120 Find applicable templates feature. 2016-10-04 15:59:18 +02:00
Fedor Isakov dd1f2f28a5 Refactoring and cleaning up type/rule template API, introduce RecoverySession. Type table has recovery feature. Return type terms from the sample typechecking. Simple test. 2016-09-19 12:17:40 +02:00
Fedor Isakov 7d959dc154 Refactor the type templates generation and usage. Enable to use type templates outside of the application session. 2016-09-17 14:57:55 +02:00
Fedor Isakov 9521c6cc53 Rename concepts to match the treeform api names. 2016-09-01 11:03:36 +02:00
Fedor Isakov 414a60fffc Moving the reactor API to the separate project. 
Switch to java_stub models for the reactor api.
 2016-09-01 11:03:35 +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 9064c6bbb8 Minor fixes, code restructuring, fixing the dependencies, removing obsolete file. 2016-08-30 17:04:11 +02:00
Fedor Isakov 778f1bf167 Trying to make tests launch from the build file (unsuccessful) 2016-08-26 12:17:10 +02:00
Fedor Isakov 569b1fd082 Build file for making the samplechecker plugin. 2016-08-25 13:55:53 +02:00