1fc4a3c6e2
Rebuild project with MPS 2023.3 EAP
2023-12-01 17:17:41 +01:00
fc8451e63d
Run migration
2023-10-13 18:13:09 +02:00
f3010743c1
Migration: FixExpandMacroTemplate
2023-10-13 18:13:08 +02:00
d773a7d28d
Rebuild build scripts
2023-09-22 11:44:45 +02:00
19eca73737
Bump up version and compatibility with MPS 232
2023-09-21 14:27:53 +02:00
b49df432a9
Regenerate build scripts
2023-08-02 13:51:34 +02:00
3cf666e633
Apply migrations and make project
2023-07-31 12:57:24 +02:00
6a9713ab3c
Rebuild project with latest MPS 2023.2 EAP
2023-07-28 15:30:04 +02:00
ec83615a5c
Rebuild build scripts
2023-06-21 15:21:04 +02:00
6a849f82f2
Apply migrations and rebuild project
2023-06-12 12:01:02 +02:00
a16fd43d74
Rebuild project
2023-06-12 12:01:02 +02:00
2d9027d431
Rebuild project
2023-03-27 17:22:51 +02:00
40f8d69896
Rebuild project with latest MPS 2023.1 EAP
2023-03-02 17:03:01 +01:00
d531c6a5ad
Run Migration Assistant
2023-02-22 13:52:02 +01:00
4db818637f
Rebuild project
2023-02-22 13:51:02 +01:00
ad3ea9d63d
Apply all migrations from 2022.2
2022-11-21 11:25:13 +01:00
ce71b0f987
Rebuild build scripts
2022-09-02 16:42:08 +02:00
a40d74c600
Fix project build and loading scheme
...
Source files for ideaplugin are now compiled externally.
2022-08-26 10:39:20 +02: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
fe3a38d90f
Rebuild project
2022-08-17 11:40:58 +02:00
451529aa08
Cleanup imports
2022-07-28 10:30:38 +02:00
8388edb4a5
Switch fitch sample to typechecking terms/queries
2022-07-28 10:30:37 +02:00
71d2014ef1
Update and rebuild build scripts
2022-07-07 12:56:30 +02:00
735bd29d61
Update references and rebuild build scripts
2022-07-07 12:56:28 +02:00
ea3e7c4719
Rebuild build scripts
2022-05-26 12:52:25 +02:00
9a312135cf
Rebuild build scripts
2022-04-26 11:40:28 +02:00
dda4c9a7e6
Rebuild build projects
2022-03-16 12:32:42 +01:00
d7ffb963f7
Fix and rebuild build scripts
2022-02-08 10:44:48 +01:00
0dcd48b42a
Rebuild project
2022-02-08 10:25:28 +01:00
f2fedb0cb1
Rebuild project
2021-12-28 13:12:45 +01:00
e98ae1a19d
Update build scripts to load 3rd-party-rt.jar
2021-12-28 11:09:44 +01:00
52e6eaf65d
Rebuild project
2021-10-27 12:03:49 +02:00
1ed5fa4e4b
Update build project
2021-09-22 17:08:25 +02:00
a5105e666a
Update build scripts
2021-09-21 17:54:50 +02:00
f96211273c
Drop hack for finding refs in LateParameter, switch to internal var ref
2021-08-17 09:30:49 +02:00
6b0526ba31
Introduce language j.m.l.types to contain aspect-related generator mappings
2021-08-17 09:29:21 +02:00
1b44d634b8
Rgenerate build scripts with MPS 2021.2 EAP
2021-07-29 14:46:40 +02:00
c4db4fcafe
Set generator options: strict=false in build scripts
2021-07-29 14:18:29 +02:00
bad065229f
Rebuild project
2021-06-29 18:10:21 +02:00
17e1bc4589
Applied migration
2021-06-29 14:51:10 +02:00
dd8c5ffb07
Introduce types aspect devkit and genplan
2021-06-29 14:51:10 +02:00
9527a097b8
Migrate to the latest MPS release, apply migrations
2021-06-18 18:41:01 +02:00
637da7d966
Apply migration and rebuild project
2021-05-04 18:24:30 +02:00
ea6e930954
Apply migration and rebuild project
2021-05-04 18:24:29 +02:00
ff6b5ec6ae
Apply migrations and rebuild project
2021-04-14 13:19:50 +02:00
258a190fde
Rebuild project.
2021-03-23 12:48:06 +01:00
4755c0dfa0
Extract test helper classes into separate redistributable module
2021-02-14 15:12:58 +01:00
fc1c5b8021
Drop project libraries, switch to using the plugin for loading CR modules.
2021-02-13 10:25:24 +01:00
dee5db0e96
Drop instances of TermFeature.final property
2021-02-04 18:01:10 +01:00
Fedor Isakov