Fedor Isakov
|
16a8541b3e
|
Refactor error reporting while applygin typechecking templates. Trigger headless rules with the "main" constraint instead of merging everything into one huge conjunction.
|
2016-10-06 11:48:06 +02:00 |
|
Fedor Isakov
|
b3dd169531
|
Typechecking templates: keep the node reference in the type term instead of the id
|
2016-09-30 18:10:18 +02:00 |
|
Fedor Isakov
|
36b721fbe0
|
Type templates: implementing recovery feature.
|
2016-09-19 13:01:23 +02:00 |
|
Fedor Isakov
|
b03e8578e5
|
Resave all models containing obsolete resolve info. Fix all mentions of the old api class.
|
2016-09-17 14:57:55 +02:00 |
|
Fedor Isakov
|
9312b7d30e
|
MPS suddenly decided to remove references to the deleted solution.
|
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
|
a27cdecc67
|
Renamings and refactorings in the logic api.
Use TreeForm name for the tree abstraction.
Rename Atom, Func etc. and the usages.
|
2016-09-01 11:03:21 +02:00 |
|
Fedor Isakov
|
b1ca25b235
|
Migrated to build 162.1310
|
2016-08-26 12:27:49 +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
|
b1b7a85c39
|
Fix types aspect generation in the sampleLang lang.
|
2016-08-22 16:13:04 +02:00 |
|
Fedor Isakov
|
a1b3b8510e
|
Switch to using the types language aspect for running the sample checker plugin.
|
2016-08-17 11:47:39 +02:00 |
|
Fedor Isakov
|
d78f15b5e5
|
Move the typechecking templates model to the sampleLang types aspect.
|
2016-08-17 11:02:33 +02:00 |
|
Fedor Isakov
|
0018ee7154
|
Implementing types language aspect generation and runtime support.
|
2016-08-17 11:02:33 +02:00 |
|
Fedor Isakov
|
72463c7951
|
Auto-migrated to the new actions using build 162.1007.
|
2016-08-12 13:35:44 +02:00 |
|
Fedor Isakov
|
17b0f4d0a7
|
Automatic lang version updates after migrating to EAP3.
|
2016-07-28 12:43:33 +02:00 |
|
Fedor Isakov
|
1b5e55f4a6
|
Migrated to MPS 3.4 EAP2.
|
2016-06-08 13:46:19 +02:00 |
|
Fedor Isakov
|
4d67bf4796
|
Automatically updated file after having opened the project with the latest build.
|
2016-03-18 19:22:26 +01:00 |
|
Fedor Isakov
|
8eea7a83a2
|
Migrate to MPS 3.3.1. Fix missing import.
|
2016-01-26 12:48:11 +01:00 |
|
Fedor Isakov
|
1e59499285
|
Better project structure
|
2015-12-25 21:22:52 +01:00 |