Fedor Isakov
|
79b08c6f83
|
Revert "Apply migrations from EAP3 and rebuild project."
This reverts commit 9c5bf858c3.
|
2019-07-26 15:30:30 +02:00 |
|
Fedor Isakov
|
9c5bf858c3
|
Apply migrations from EAP3 and rebuild project.
|
2019-07-19 12:28:27 +02:00 |
|
Fedor Isakov
|
cd37daaa07
|
Apply migrations after switching to the latest EAP build of MPS.
|
2019-06-07 09:16:21 +02:00 |
|
Fedor Isakov
|
17ed4642ae
|
Apply all available automatic migrations.
|
2019-06-05 16:16:00 +02:00 |
|
Fedor Isakov
|
57de11c3fe
|
Rename all modules/models having prefix j.m.typechecking to j.m.coderules.typechecking. The former is reserved.
|
2019-06-05 16:15:59 +02:00 |
|
Fedor Isakov
|
bd1c56d9d0
|
Rename concept Handler -> RulesList
|
2019-05-09 17:30:14 +02:00 |
|
Fedor Isakov
|
478b43ce16
|
Drop usages of deprecated interfaces.
|
2019-04-26 00:22:02 +02:00 |
|
Fedor Isakov
|
ab006cc8d9
|
Fix missing dependency.
|
2019-04-10 09:45:47 +02:00 |
|
Fedor Isakov
|
396b1fdad3
|
Move all classes from j.m.typechecking to j.m.typechecking.service. This package name is reserved.
|
2019-03-22 11:40:32 +01:00 |
|
Fedor Isakov
|
41b15f65c4
|
Replace assert() constraints with fail() together with an error message.
|
2019-02-18 12:26:05 +01:00 |
|
Fedor Isakov
|
5b255f2a02
|
Fix references and introduce languages engaged on generation to keep compat. w/191 EAP.
|
2019-02-01 11:31:35 +01:00 |
|
Fedor Isakov
|
9243c00c65
|
Fix issues found by model checker (ex typesystem).
|
2019-01-31 11:30:02 +01:00 |
|
Fedor Isakov
|
275070c786
|
Apply automatic migrations to mpscore subproject
|
2019-01-13 14:27:38 +01:00 |
|
Fedor Isakov
|
f226bea8c2
|
Minor fixes in the BL typechecking templates. Insert manual new lines in the test structures for better visualization.
|
2019-01-09 13:01:37 +01:00 |
|
Fedor Isakov
|
f855e5fa72
|
BL typesystem: drop usages of ListLiteral, replace with ListNode. Fix broken type inference of method calls and constructor invocations. A few minor fixes.
|
2019-01-04 17:46:37 +01:00 |
|
Fedor Isakov
|
b5552d5cd3
|
Cleanup module dependencies
|
2019-01-03 17:16:47 +01:00 |
|
Fedor Isakov
|
2fd4545be4
|
BL typechecking: simplifying promote (subclassing relation), implement LUB as raw types intersection, better support for raw classier types
|
2019-01-03 17:16:47 +01:00 |
|
Fedor Isakov
|
cb1ea46af7
|
Typechecking templates: specify data types for logicals that are used for values instead of term.
|
2018-12-28 11:57:26 +01:00 |
|
Fedor Isakov
|
debaa390e2
|
Tests of BL typechecking features. Primitive types.
|
2018-12-03 16:59:16 +01:00 |
|
Fedor Isakov
|
19ce84f7ef
|
Switch to 2018.3 RC. Apply all migrations.
|
2018-11-28 16:48:59 +01:00 |
|
Fedor Isakov
|
e9d5a05900
|
Typechecking BL: reimplement type inference, implement and test various missing features. Cleann up and restructure code.
|
2018-11-28 14:27:51 +01:00 |
|
Fedor Isakov
|
075b34e24d
|
Replacing usages of deprecated concepts. Minor fixes.
|
2018-09-11 17:01:45 +02:00 |
|
Fedor Isakov
|
f12965898f
|
Remove usages of deprecated stuff in typechecking rules.
|
2018-09-11 15:37:39 +02:00 |
|
Fedor Isakov
|
98dfe30756
|
Resaved all models
|
2018-08-03 11:48:36 +02:00 |
|
Fedor Isakov
|
0bacffb611
|
Move type setting operation to typechecking lang.
|
2018-07-22 11:09:49 +02:00 |
|
Fedor Isakov
|
c7cc97fffb
|
Rename reporting runtim solution.
|
2018-07-21 13:29:40 +02:00 |
|
Fedor Isakov
|
ea9919f38a
|
Bring the hierarchy of DataForm concepts in line with the runtime.
Merge DataForm constructors into logic language.
Repackaging logic runtime.
Drop obsolete code.
|
2018-07-21 13:29:22 +02:00 |
|
Fedor Isakov
|
46b8e5153f
|
Simplify and fix controlflow sample implementation.
|
2018-07-18 10:42:32 +02:00 |
|
Fedor Isakov
|
4f6b8a002a
|
Auto-updated descriptors. (Again!)
|
2018-07-16 16:40:09 +02:00 |
|
Fedor Isakov
|
92c6ba3e12
|
Restructuring the project: consolidate code, moving samples away.
|
2018-07-14 17:22:07 +02:00 |