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
|
9064c6bbb8
|
Minor fixes, code restructuring, fixing the dependencies, removing obsolete file.
|
2016-08-30 17:04:11 +02:00 |
|
Fedor Isakov
|
2eae603d40
|
Removing hard links to models used by the typechecking plugin.
|
2016-08-29 14:46:57 +02:00 |
|
Fedor Isakov
|
b1ca25b235
|
Migrated to build 162.1310
|
2016-08-26 12:27:49 +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 |
|
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
|
ee1dc0ff82
|
Extract provisional sample typechecker API to the plugin
|
2016-08-22 12:22:01 +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
|
f8876f6b4c
|
Typechecking templates: replaced instances of a deprecated concept
|
2016-08-15 11:54:35 +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
|
6b02155302
|
Typechecking templates: replace lists constructed with terms with the dsl construct.
|
2016-08-09 12:15:33 +02:00 |
|
Fedor Isakov
|
c6f06ddcf6
|
Typechecking templates: making use of the latest features in the typesystem2 language, simplifying the code.
|
2016-08-05 12:39:39 +02:00 |
|
Fedor Isakov
|
df6a9dab7c
|
Typechecking templates: removed the obsolete boilerplate code.
|
2016-07-29 11:31:55 +02:00 |
|
Fedor Isakov
|
fa288602f7
|
Correct a typo in NodePrinter
|
2016-07-28 12:44:39 +02:00 |
|
Fedor Isakov
|
53b4a44583
|
Use the new typetable feature in the sample typechecker plugin
|
2016-07-28 12:44:38 +02:00 |
|
Fedor Isakov
|
3e82784661
|
Typechecking templates: rewriting type constructors with the new type table features
|
2016-07-28 12:44:10 +02:00 |
|
Fedor Isakov
|
17b0f4d0a7
|
Automatic lang version updates after migrating to EAP3.
|
2016-07-28 12:43:33 +02:00 |
|
Fedor Isakov
|
e5a2d2d096
|
Typechecking templates: restructuring the code in preparation for new features in typesystem2.
Restructuring the code making use of the new features in typesystem2.
Minor code cleanup (annotations).
|
2016-07-28 12:42:55 +02:00 |
|
Fedor Isakov
|
89ff4ddbe6
|
Renamed the model j.m.lang.typesystem2.{runtime,generation}
|
2016-07-01 12:42:29 +02:00 |
|
Fedor Isakov
|
d8d149960e
|
Typechecking templates: include bounds check in conversion
|
2016-06-30 11:21:14 +02:00 |
|
Fedor Isakov
|
710bd28fd7
|
Auto-updated the mds files. Removed unused broken imports from models.
|
2016-06-30 09:44:17 +02:00 |
|
Fedor Isakov
|
0aee630b0a
|
Setup memoizer before running the reactor.
|
2016-06-30 09:42:55 +02:00 |
|
Fedor Isakov
|
61ac13c1b7
|
Typechecking templates: rewriting new type creator, use logicals only to capture types, bounds can be applied to type variables and wildcards as ground terms.
Unique ubound and lbound.
Cleaning up the obsolete constructs.
|
2016-06-27 13:20:34 +02:00 |
|
Fedor Isakov
|
b3f326995e
|
Update samples: new test, make the code cleaner.
|
2016-06-24 14:36:24 +02:00 |
|
Fedor Isakov
|
700f37982d
|
Refactoring: extract LogicalOwner interface to the reactor API.
|
2016-06-24 14:36:23 +02:00 |
|
Fedor Isakov
|
089bf0edcf
|
Better visualization of types (ad hoc for now).
|
2016-06-24 14:36:23 +02:00 |
|
Fedor Isakov
|
b58d6193f7
|
More tests for the typechecker
|
2016-06-16 11:52:18 +02:00 |
|
Fedor Isakov
|
98a807349d
|
Changes in the typechecking templates that reflect the preceding refactoring.
|
2016-06-10 14:28:49 +02:00 |
|
Fedor Isakov
|
1b5e55f4a6
|
Migrated to MPS 3.4 EAP2.
|
2016-06-08 13:46:19 +02:00 |
|
Fedor Isakov
|
16b250fbec
|
Minor optimization in messages highlighting (mostly useless).
|
2016-06-08 11:36:29 +02:00 |
|
Fedor Isakov
|
cf4d2fe47a
|
Typechecking templates: moving the patterns up to the rule's head where applicable. Code cleanup.
|
2016-06-06 16:53:46 +02:00 |
|
Fedor Isakov
|
9880a6cf82
|
Implemented the fixed-arity invariant for terms with same symbol. The symbol "node" to have a suffix indicating its arity.
|
2016-06-06 16:45:23 +02:00 |
|
Fedor Isakov
|
a85baaff55
|
Refactor constraint and predicate creation into builders
|
2016-05-24 12:56:06 +02:00 |
|
Fedor Isakov
|
8bb7fea288
|
Fix memory leaks.
|
2016-05-10 11:25:36 +02:00 |
|
Fedor Isakov
|
ad0b92b70a
|
Typechecking templates: remove a dumb hack
|
2016-05-10 11:25:06 +02:00 |
|
Fedor Isakov
|
6476dcbd68
|
Another typechecking test.
|
2016-05-10 11:24:45 +02:00 |
|
Fedor Isakov
|
0810cb25c7
|
More tests on lists and unification.
|
2016-04-28 15:39:55 +02:00 |
|
Fedor Isakov
|
135eb0e8f6
|
Typechecking templates: new constraint "compatibleWith" to support method body checking; better support for integer type (ad hoc for now).
|
2016-04-26 17:42:27 +02:00 |
|
Fedor Isakov
|
bdba374320
|
Avoid rendering problems of the activation trace because of failed assertion in the editor. Additional action "Make Type With Trace"
|
2016-04-26 17:41:06 +02:00 |
|
Fedor Isakov
|
86e6237c77
|
Simple memoization for repetative calculations while appying typechecking templates.
|
2016-04-15 15:53:45 +02:00 |
|
Fedor Isakov
|
257c405f86
|
New sample for testing the typechecking.
|
2016-04-15 15:53:45 +02:00 |
|
Fedor Isakov
|
6229f5ebb4
|
Process EvaluationFailureException and retry trace event correctly.
|
2016-04-15 15:53:45 +02:00 |