661ee068ff
Refactor caching system; drop obsolete classes
2024-08-29 13:09:39 +02:00
0aad66b951
Automatic migrations
2024-07-04 18:17:56 +02:00
4ce08f4b99
Refactor project structure and reduce the number of modules
2024-07-04 18:17:56 +02:00
c230bfa6e4
Drop "ideaplugin" module from module dependencies
2024-07-01 15:41:37 +02:00
8554843e6a
Apply automatic migrations
2024-07-01 15:31:42 +02:00
0d192feaae
Drop all TestInfo instances from the project
2024-06-07 10:32:44 +02:00
f3010743c1
Migration: FixExpandMacroTemplate
2023-10-13 18:13:08 +02:00
6a849f82f2
Apply migrations and rebuild project
2023-06-12 12:01:02 +02:00
d531c6a5ad
Run Migration Assistant
2023-02-22 13:52:02 +01:00
ad3ea9d63d
Apply all migrations from 2022.2
2022-11-21 11:25:13 +01:00
299d9a4fd8
Update build scripts to fix tests launching
2022-08-25 12:59:36 +02:00
d2ca45aa02
Extract bootstrap code to idea plugin; CR options to become app-level
...
CR typechecking options are now application-level.
The solution j.m.c.ideaplugin contains the code responsible
for accessing and setting the options. This solution is loaded
as IDEA plugin on deploy and as regular module in source project.
Also merge code from two modules into j.m.c.typechecking.
2022-08-25 12:59:36 +02:00
c4db4fcafe
Set generator options: strict=false in build scripts
2021-07-29 14:18:29 +02:00
9527a097b8
Migrate to the latest MPS release, apply migrations
2021-06-18 18:41:01 +02:00
ff6b5ec6ae
Apply migrations and rebuild project
2021-04-14 13:19:50 +02:00
62e8e7d013
Switch to MPS 2020.3 release.
2021-01-08 11:00:02 +01:00
14780b5561
Apply automatic migrations.
2020-05-09 15:04:25 +02:00
fd2043e047
Update build scripts.
2020-04-13 18:00:15 +02:00
296b3e9271
Re-apply all rerunnable migrations.
2020-04-13 17:58:33 +02:00
391c9053b5
Apply migrations after switch to MPS 193. Regenerate project.
2020-02-03 11:24:22 +01:00
c384785b12
Apply automatic migration.
2020-01-20 16:54:38 +01:00
85674ef077
Add explicit "test" facets to test solutions.
2019-11-24 17:58:15 +01:00
daa1bdceb6
Update default jvm options for running tests to "-Xmx2048m".
2019-11-05 20:53:01 +01:00
22ee175030
Fix script build (dangling node).
2019-08-20 23:11:19 +02:00
3a48c47880
Migration: "update versions in descriptors".
2019-07-30 11:49:26 +02:00
66c9222a95
Run migrations with MPS 2019.2 EAP3.
2019-07-26 17:27:18 +02:00
79b08c6f83
Revert "Apply migrations from EAP3 and rebuild project."
...
This reverts commit 9c5bf858c3
2019-07-26 15:30:30 +02:00
9c5bf858c3
Apply migrations from EAP3 and rebuild project.
2019-07-19 12:28:27 +02:00
cd37daaa07
Apply migrations after switching to the latest EAP build of MPS.
2019-06-07 09:16:21 +02:00
17ed4642ae
Apply all available automatic migrations.
2019-06-05 16:16:00 +02:00
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
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
38777cda51
Ensure failed test means failed build for all sample projects.
2019-02-01 14:15:04 +01:00
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
9243c00c65
Fix issues found by model checker (ex typesystem).
2019-01-31 11:30:02 +01:00
54165ad367
Add new samples to the tests
2019-01-06 16:39:15 +01:00
80e2b67d78
A couple of non-trivial examples of proofs.
2019-01-06 16:06:17 +01:00
cc4b335286
Introduce checking for instances of RuntimeErrorType during tests. Refactor test typechecking launcher.
2019-01-04 17:47:44 +01:00
d64f469b19
Add tests for fitch sample project
2018-12-14 14:55:23 +01:00
19ce84f7ef
Switch to 2018.3 RC. Apply all migrations.
2018-11-28 16:48:59 +01:00
98dfe30756
Resaved all models
2018-08-03 11:48:36 +02:00
7c1cb3b684
Name solutions and models consistently in samples (fitch)
2018-07-22 14:48:12 +02:00
430b081085
Rename sandbox to demo solution in fitch sample.
2018-07-21 13:50:54 +02:00
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
e29a0576e2
Rename the root project and artifacts to "coderules".
2018-07-18 15:54:52 +02:00
d5b27ac6e2
Move sandbox solution to "solutions" folder.
2018-07-18 15:54:52 +02:00
e03cd48125
Add fitch sample to the common build.
2018-07-18 15:54:52 +02:00
Fedor Isakov