77b578d30c
Add a dependency on workflow.preset to in order to fix command-line build. Rename ant targets when importing to clearly separate tasks.
...
https://youtrack.jetbrains.com/issue/MPS-25921
2018-07-17 15:09:47 +02:00
c12bf0d96a
Ensure extracted baseLanguageExt stuff can be built from command line.
2018-07-17 15:09:47 +02:00
8528876d2a
Include build module into deployed set.
2018-07-16 19:05:17 +02:00
473644e389
Extract baseLanguageExt and its related tests to a separate project.
2018-07-16 18:56:36 +02:00
4f063cd261
Update test language for typechecking. Re-implement all typechecking tests using test language. Drop dependency on baseLanguageExt and samples.
2018-07-16 16:39:13 +02:00
d2de6eea33
Return baseLanguagExt as dependency of test modules in order to fix tests.
2018-07-14 17:22:32 +02:00
79c02d2b00
Cleaning up dependencies in an attempt to produce a workable build.xml that doesn't break gradle.
2018-07-14 17:22:14 +02:00
2b2fa47b57
Extract baselanguageExt sample into separate project.
2018-07-14 17:22:07 +02:00
92c6ba3e12
Restructuring the project: consolidate code, moving samples away.
2018-07-14 17:22:07 +02:00
9f372d1ad6
Fix a build dependency issue.
2018-07-10 14:33:12 +02:00
36cc3753e2
Codeflow analysis for local var live/used status. (alternative implementation, faster).
2018-07-10 14:15:28 +02:00
fb27f1ddf2
Ensure eval() supports void and non-boolean expressions. Allow eval in guard. Fix generation of operations from collections lang.
2018-07-10 14:14:08 +02:00
b048701093
Fix build dependencies.
2018-06-21 11:52:35 +02:00
2cc6d44705
Extract reusable stuff from typechecking UI plugin into coderules UI.
2018-06-16 13:08:24 +02:00
67b9e5a372
Fix build broken after moving baselanguageExt.
2018-06-16 12:45:54 +02:00
b4d0ab73bb
Initial boilerplate support for launching controlflow queries. Some refactorings to further uncouple coderules-related stuff.
2018-06-15 14:55:44 +02:00
db04f57c41
Move baselanguage-related stuff to another location within the project.
2018-06-15 11:09:01 +02:00
a74f00f688
Introduce controlflow language and corresponding solutions as another example of applying code rules in practice.
2018-06-14 16:19:06 +02:00
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
fda586c45c
Extract generic support for launching code rules into a separate plugin solution.
2018-06-13 14:34:41 +02:00
c6a3b94f9a
Bump up plugin version to 0.5.
2018-06-12 18:12:05 +02:00
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
760ec4e736
Fix a dependency problem.
2018-06-12 13:06:30 +02:00
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
49296df88f
Fix the dependencies to avoid breaking the build.
2018-05-24 12:47:25 +02:00
ce688b3672
Refactor ProgramProducer to use query templates.
...
Switch to using queries to launch program stages.
Refactor typesystem2 lang and runtime to break queries into stages.
Rename ChrProgram to LogicProgram.
2018-05-24 11:54:01 +02:00
e056befb4e
Establish module dependencies that make sense.
2018-05-17 12:07:50 +02:00
1b564b3057
Implementing QueryTemplate API and support in the evaluation environment.
2018-05-17 12:07:50 +02:00
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
487ddddff3
Switched to MPS 2018.1
2018-04-10 14:22:48 +02:00
bfe74e3c7c
Bumped up plugin version to 0.4
2018-04-05 12:40:17 +02:00
f730641327
Extract "reporting" solution and interface.
2018-04-04 10:52:14 +02:00
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
b052790f8c
Switch to latest conreactor, update Kotlin runtime libs.
2018-03-05 15:31:39 +01:00
bd81dfe749
Bump up the release version to 0.3. Default build number set to 9999.
2018-01-23 11:55:13 +01:00
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
c236981fb6
Correct version number of the plugin (0.2).
2017-12-06 18:10:02 +01:00
d3a4e21ca9
Migrated to MPS2017.3.
2017-12-06 16:36:28 +01:00
8c81df5fae
Automating updates file generation and upload using Travis CI.
2017-12-04 20:40:52 +01:00
114f4b8079
Bumped up version in plugin.xml.
2017-12-04 13:34:57 +01:00
2ba4ee5712
Correct plugin version. Create updatePlugins.xml to provide updates.
2017-11-15 14:11:38 +01:00
3ed8d2e375
Switch to latest release of constraints reactor lib. Update the dependency libs.
2017-10-30 19:51:42 +01:00
582c8d32d3
Logic language: introduce ListRole, create a migration to extract ChildRole with single list to ListRole.
2017-10-23 12:08:32 +02:00
e9a35f4fae
Fix module dependencies
2017-10-23 10:23:12 +02:00
12afe4fa9c
Update the distribution zip file name to correspond to the package version (0.2).
2017-10-16 14:32:46 +02:00
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
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
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
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
aac95b2b25
Move typesystem2.helper.plugin to typechecking.plugin. Drop typesystem2.helper solution.
2017-07-28 13:58:37 +02:00
Fedor Isakov