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
2dbd4cec52
New build solution, combine build and test into one, integrate with gradle.
2017-06-09 09:52:20 +02:00
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
f30710f463
Updated the reactor libs. Adapted to the renamed interfaces in the reactor API.
2017-06-05 14:34:14 +02:00
ef375de9fd
Optimizing model imports
2017-06-01 15:45:49 +02:00
aacd10cb9d
Update the reactor, unification, collection, and kotlin jars.
2017-06-01 15:11:20 +02:00
c5a3fc6adc
Re-save types model to update resolve info.
2017-05-22 10:34:22 +02:00
9f828fec11
Typechecking templates: ensure no type errors in model check.
2017-05-12 11:54:22 +02:00
7912b66516
Typechecking templates: re-save the model to update the resolve info.
2017-05-11 13:31:38 +02:00
7c8cc408fc
Typechecking templates: replace all instances of "index" with "position"
2017-05-11 13:11:08 +02:00
0d6452c826
Typechecking templates: auto-changes after the concepts renaming.
2017-05-09 15:42:07 +02:00
21dbecd386
Re-saved all models.
2017-05-04 13:10:14 +02:00
4b18d94664
Typechecking templates: move the term declarations to separate root.
2017-05-04 12:47:22 +02:00
2f3c1a6492
Typechecking templates: drop links to type term from type declarations
2017-05-03 16:14:44 +02:00
13ad30bfd9
Drop obsolete code from the runtime
2017-05-03 16:14:44 +02:00
bbb5451408
Typechecking templates: adopting to the changes in the language.
2017-05-03 16:14:26 +02:00
3f910ec396
Adapt to the changes in memreactor API. Drop AbstractLogicSolver.
2017-03-27 19:26:27 +02:00
0d8fe0a7e0
Drop shortcut for Clear Types.
2017-03-21 12:51:30 +01:00
e5ca0a4b9c
Show The typechecking process report as a notification balloon. Add a shortcut for Clear Types.
2017-03-15 19:21:08 +01:00
3136d7bedb
Switched to the latest EAP build, applied the migrations.
2017-03-09 14:36:20 +01:00
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
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
c254e94a2e
Typechecking templates: Switch to using new way of recovering type nodes. Drop the recovery blocks.
2017-02-17 11:58:12 +01:00
b2174a8872
Minor fixes in the editor. Unconditionally set the store view after executing the program.
2017-02-17 11:58:10 +01:00
af9125bfe1
Switch to types recovering using second stage of the program. Remove usages of RecoverSession.
2017-02-17 11:58:10 +01:00
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
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
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
f4b965efce
Repackage utility classes inside the types aspect model. Delete obsolete module.
2017-02-09 14:24:00 +01:00
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
61fd80014d
Typechecking templates: adapting to the latest refactoring.
2017-02-03 11:28:10 +01:00
44019dca79
Typechecking templates: remove usages of the "typeConcept"
2017-02-03 11:15:23 +01:00
4430488f26
New recover types handler (unfinished)
2017-02-03 11:15:01 +01:00
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
b789d6d240
Refactoring: getting rid of the dependencies on SessionSolver soon to be updated.
2017-01-04 10:44:08 +01:00
31e15fcaa9
Typechecking templates: annotate the handlers with the primary constraints. Moderate pocessing speedup.
2016-12-28 12:48:47 +01:00
f5ed430cd9
Build CLP program with handlers instead of rules. Minor rename refactoring.
2016-12-23 17:42:20 +01:00
5bb2d9c7fa
Drop the deprecated postProcess and other obsolete features.
2016-12-23 17:40:04 +01:00
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
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
641ac6616c
Support non-treeform logical values.
2016-12-15 14:11:22 +01:00
c08cfbc173
Typechecking templates: optimizing processing of constraints by using more optimal rules order.
2016-12-14 17:08:32 +01:00
fe5d24ea35
Update all external jars.
2016-12-14 17:08:31 +01:00
c796e43d35
Typesystem2 runtime: refactoring the pattern support in type template.
2016-12-12 16:02:13 +01:00
2c5321f635
Avoid running the evaluation with profiling when not tracing.
2016-12-12 16:02:13 +01:00
a5a05531b4
Typechecking templates: Refactoring and straightening up the typesystem, cleaning up and dropping unused rules and constraints.
...
Refactoring bounds, containment.
Using new type construct for non-patterns.
Using new type construct for non-patterns.
New features: support for boxing, array conversion, capture classifier type parameters.
2016-12-12 16:02:12 +01:00
9548ef0e1f
Catch VirtualMachineError while evaluating the program to avoid IDE errors on stack overflow. Avoid failiure on type recovery. Report problems arised while applying templates. Timeout for program evaluation. Report profiling even if the evaluation fails.
2016-12-12 16:02:12 +01:00
d2aa5bad29
Refactor NodePrinter to not be dependent on the BL types. Better representation of logicals and values in the activation trace. Use the logical snapshot's value. Get rid of type formatter.
2016-11-26 13:10:18 +01:00
cd6b30deed
Recovery creates detached nodes by default.
2016-11-16 16:58:57 +01:00
5f802cf6cf
Typechecking templates: simplify the code.
2016-11-16 15:44:35 +01:00
Fedor Isakov