Fedor Isakov
|
17dd2a6c01
|
Appply migrations from MPS 243 branch
|
2024-12-11 11:57:18 +01:00 |
|
Fedor Isakov
|
0aad66b951
|
Automatic migrations
|
2024-07-04 18:17:56 +02:00 |
|
Fedor Isakov
|
4ce08f4b99
|
Refactor project structure and reduce the number of modules
|
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 |
|
Clement de La Bourdonnaye
|
0776351977
|
Ran CleanStubForeignMethodIds migration
|
2024-01-23 16:33:23 +01:00 |
|
Fedor Isakov
|
fc8451e63d
|
Run migration
|
2023-10-13 18:13:09 +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
|
ad3ea9d63d
|
Apply all migrations from 2022.2
|
2022-11-21 11:25:13 +01:00 |
|
Fedor Isakov
|
17e1bc4589
|
Applied migration
|
2021-06-29 14:51:10 +02:00 |
|
Fedor Isakov
|
9527a097b8
|
Migrate to the latest MPS release, apply migrations
|
2021-06-18 18:41:01 +02:00 |
|
Fedor Isakov
|
637da7d966
|
Apply migration and rebuild project
|
2021-05-04 18:24:30 +02:00 |
|
Fedor Isakov
|
ea6e930954
|
Apply migration and rebuild project
|
2021-05-04 18:24:29 +02:00 |
|
Fedor Isakov
|
ff6b5ec6ae
|
Apply migrations and rebuild project
|
2021-04-14 13:19:50 +02:00 |
|
Fedor Isakov
|
7fe5a5ad7a
|
Auto-updated files after migrating to MPS 2021.1 EAP
|
2021-02-04 12:26:59 +01:00 |
|
Fedor Isakov
|
936190bca9
|
Apply migrations.
|
2020-07-11 15:13:08 +02:00 |
|
Fedor Isakov
|
14780b5561
|
Apply automatic migrations.
|
2020-05-09 15:04:25 +02:00 |
|
Grigorii Kirgizov
|
4bb1b9d3d8
|
Apply some migrations after rebase on master
|
2020-04-19 13:42:53 +03:00 |
|
Fedor Isakov
|
a1c98b5bf0
|
Apply all outstanding migrations.
|
2020-04-13 17:58:33 +02:00 |
|
Fedor Isakov
|
f2bb87e1b0
|
Apply migration to replace deprecated concept.
|
2020-02-26 15:03:31 +01:00 |
|
Fedor Isakov
|
7ba7c983cb
|
Apply migration to use logical variable ref expression.
|
2020-02-24 22:57:05 +01:00 |
|
Fedor Isakov
|
796ad9ad2c
|
Apply migration to drop ValueOfExpression.
|
2020-02-12 12:26:09 +01:00 |
|
Fedor Isakov
|
1a6b107a76
|
Apply migration to replace condition block with if statement.
|
2020-02-07 13:14:46 +01:00 |
|
Fedor Isakov
|
4a84ebce5f
|
Apply migration to switch to BodyBlock.
|
2020-02-06 12:55:32 +01:00 |
|
Fedor Isakov
|
c353f89ea0
|
Apply migration to drop ParameterContainer.
|
2020-02-05 17:02:32 +01:00 |
|
Fedor Isakov
|
3f51c1e5c1
|
Apply migration that replaces empty logical type with term type.
|
2020-02-05 12:34:20 +01:00 |
|
Fedor Isakov
|
391c9053b5
|
Apply migrations after switch to MPS 193. Regenerate project.
|
2020-02-03 11:24:22 +01:00 |
|
Fedor Isakov
|
3f1b65ada2
|
Fix the structural errors introduced by a badly run migration.
|
2019-11-06 12:05:18 +01:00 |
|
Fedor Isakov
|
ad90a4cb77
|
Apply migration that replaces all instances of NodeAnchor with .pointer op.
|
2019-11-06 11:21:57 +01:00 |
|
Grigorii Kirgizov
|
cdfe1f2c0c
|
Update language version after migrations from mps.logic lang
|
2019-09-11 13:24:02 +03:00 |
|
Fedor Isakov
|
d786ff43b9
|
Re-save all models, language name updated in .mpl files.
|
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
|
08bed0c578
|
Apply automatic migrations to FitchProof subproject
|
2019-01-13 14:27:32 +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
|
7c1cb3b684
|
Name solutions and models consistently in samples (fitch)
|
2018-07-22 14:48:12 +02:00 |