Fedor Isakov
|
c4db4fcafe
|
Set generator options: strict=false in build scripts
|
2021-07-29 14:18:29 +02:00 |
|
Fedor Isakov
|
9527a097b8
|
Migrate to the latest MPS release, apply migrations
|
2021-06-18 18:41:01 +02:00 |
|
Fedor Isakov
|
ff6b5ec6ae
|
Apply migrations and rebuild project
|
2021-04-14 13:19:50 +02:00 |
|
Fedor Isakov
|
62e8e7d013
|
Switch to MPS 2020.3 release.
|
2021-01-08 11:00:02 +01:00 |
|
Fedor Isakov
|
14780b5561
|
Apply automatic migrations.
|
2020-05-09 15:04:25 +02:00 |
|
Fedor Isakov
|
fd2043e047
|
Update build scripts.
|
2020-04-13 18:00:15 +02:00 |
|
Fedor Isakov
|
296b3e9271
|
Re-apply all rerunnable migrations.
|
2020-04-13 17:58:33 +02:00 |
|
Fedor Isakov
|
391c9053b5
|
Apply migrations after switch to MPS 193. Regenerate project.
|
2020-02-03 11:24:22 +01:00 |
|
Fedor Isakov
|
c384785b12
|
Apply automatic migration.
|
2020-01-20 16:54:38 +01:00 |
|
Fedor Isakov
|
85674ef077
|
Add explicit "test" facets to test solutions.
|
2019-11-24 17:58:15 +01:00 |
|
Fedor Isakov
|
daa1bdceb6
|
Update default jvm options for running tests to "-Xmx2048m".
|
2019-11-05 20:53:01 +01:00 |
|
Fedor Isakov
|
22ee175030
|
Fix script build (dangling node).
|
2019-08-20 23:11:19 +02:00 |
|
Fedor Isakov
|
3a48c47880
|
Migration: "update versions in descriptors".
|
2019-07-30 11:49:26 +02:00 |
|
Fedor Isakov
|
66c9222a95
|
Run migrations with MPS 2019.2 EAP3.
|
2019-07-26 17:27:18 +02:00 |
|
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
|
fe505792c6
|
A bunch of refactorings and renames in typechecking plugin.
Remove unused interfaces, merge classes with similar functionality, reduce the number of used classes.
|
2019-06-05 16:14:27 +02:00 |
|
Fedor Isakov
|
38777cda51
|
Ensure failed test means failed build for all sample projects.
|
2019-02-01 14:15:04 +01:00 |
|
Fedor Isakov
|
ebd4f82514
|
Specify the value for ${project_home} macrii in sample subprojects. Fix tests being ignored in CI.
|
2019-02-01 12:08:29 +01:00 |
|
Fedor Isakov
|
9243c00c65
|
Fix issues found by model checker (ex typesystem).
|
2019-01-31 11:30:02 +01:00 |
|
Fedor Isakov
|
54165ad367
|
Add new samples to the tests
|
2019-01-06 16:39:15 +01:00 |
|
Fedor Isakov
|
80e2b67d78
|
A couple of non-trivial examples of proofs.
|
2019-01-06 16:06:17 +01:00 |
|
Fedor Isakov
|
cc4b335286
|
Introduce checking for instances of RuntimeErrorType during tests. Refactor test typechecking launcher.
|
2019-01-04 17:47:44 +01:00 |
|
Fedor Isakov
|
d64f469b19
|
Add tests for fitch sample project
|
2018-12-14 14:55:23 +01:00 |
|
Fedor Isakov
|
19ce84f7ef
|
Switch to 2018.3 RC. Apply all migrations.
|
2018-11-28 16:48:59 +01:00 |
|
Fedor Isakov
|
98dfe30756
|
Resaved all models
|
2018-08-03 11:48:36 +02:00 |
|
Fedor Isakov
|
7c1cb3b684
|
Name solutions and models consistently in samples (fitch)
|
2018-07-22 14:48:12 +02:00 |
|
Fedor Isakov
|
430b081085
|
Rename sandbox to demo solution in fitch sample.
|
2018-07-21 13:50:54 +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
|
e29a0576e2
|
Rename the root project and artifacts to "coderules".
|
2018-07-18 15:54:52 +02:00 |
|
Fedor Isakov
|
d5b27ac6e2
|
Move sandbox solution to "solutions" folder.
|
2018-07-18 15:54:52 +02:00 |
|
Fedor Isakov
|
e03cd48125
|
Add fitch sample to the common build.
|
2018-07-18 15:54:52 +02:00 |