Fedor Isakov
|
661ee068ff
|
Refactor caching system; drop obsolete classes
|
2024-08-29 13:09:39 +02:00 |
|
Fedor Isakov
|
0aad66b951
|
Automatic migrations
|
2024-07-04 18:17:56 +02:00 |
|
Fedor Isakov
|
c230bfa6e4
|
Drop "ideaplugin" module from module dependencies
|
2024-07-01 15:41:37 +02:00 |
|
Fedor Isakov
|
0d192feaae
|
Drop all TestInfo instances from the project
|
2024-06-07 10:32:44 +02:00 |
|
Fedor Isakov
|
f3010743c1
|
Migration: FixExpandMacroTemplate
|
2023-10-13 18:13:08 +02:00 |
|
Fedor Isakov
|
6a849f82f2
|
Apply migrations and rebuild project
|
2023-06-12 12:01:02 +02:00 |
|
Fedor Isakov
|
d531c6a5ad
|
Run Migration Assistant
|
2023-02-22 13:52:02 +01:00 |
|
Fedor Isakov
|
ad3ea9d63d
|
Apply all migrations from 2022.2
|
2022-11-21 11:25:13 +01: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
|
14780b5561
|
Apply automatic migrations.
|
2020-05-09 15:04:25 +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
|
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
|
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
|
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 |