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
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
Fedor Isakov