9f70a2678d
Rebuid project
2026-04-24 11:27:29 +02:00
2b146e886b
Migrate to latest MPS 2026.1 EAP
2026-04-24 11:22:20 +02:00
1a154f260f
Rebuild with latest MPS master
2026-02-19 09:59:54 +01:00
53ab46fba7
Apply migrations and rebuild
2025-11-03 12:33:34 +01:00
1a1cb13621
Apply migrations from 251
2025-04-09 11:34:06 +02:00
16929670ac
Rebuild with latest MPS from 251
2025-04-09 11:30:02 +02:00
17dd2a6c01
Appply migrations from MPS 243 branch
2024-12-11 11:57:18 +01:00
35d2f542da
Rebuild project
2024-10-22 09:58:21 +02:00
661ee068ff
Refactor caching system; drop obsolete classes
2024-08-29 13:09:39 +02:00
6e5fcc639b
Introduce minimal rx framework; drop RxJava lib; drop obsolete actions
2024-08-20 17:16:21 +02:00
ce41be1b82
Switch to new reactor version
2024-08-19 21:53:45 +02:00
63f1c7c07e
Use new conreactor version
2024-08-05 17:35:38 +02:00
7d96903af8
Switch to use the update conreactor version
2024-07-22 13:34:58 +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
7708661f09
Actually use the updated "conreactor" lib
2024-07-02 17:07:51 +02:00
f3a7d214b4
Rebuild project
2024-07-01 15:41:37 +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
64ec688fd2
Rebuild project
2024-06-07 10:32:44 +02:00
0d192feaae
Drop all TestInfo instances from the project
2024-06-07 10:32:44 +02:00
e37dffd4a1
Rebuild project
2024-04-29 17:59:41 +02:00
fd9e2d2678
MPS-36807: new icons instead of DynamicIcon for widget
2024-01-24 10:08:14 +01:00
0776351977
Ran CleanStubForeignMethodIds migration
2024-01-23 16:33:23 +01:00
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
Fedor Isakov