Fedor Isakov
|
49518e0704
|
Switch to reactor version 0.9.14.
|
2019-09-30 16:44:36 +02:00 |
Grigorii Kirgizov
|
6a02be6f6e
|
Avoid nested empty lists in mapped ListNode.Alias. Fix capture in lcta helper for lub. Add test for lub.
The problem with empty lists showed up at least in printing lists.
|
2019-09-11 13:24:02 +03:00 |
Fedor Isakov
|
5b5798dcad
|
Switch to reactor lib 0.9.13.
|
2019-09-10 18:37:11 +02:00 |
Fedor Isakov
|
0db213725e
|
fixup! Swith to using reactor lib 0.9.12.
|
2019-09-02 17:55:46 +02:00 |
Fedor Isakov
|
973b9c35d5
|
Rebuild project.
|
2019-08-14 13:29:22 +02:00 |
Fedor Isakov
|
45ae7a6a24
|
Fix build script imports and rebuild project.
|
2019-08-12 18:21:38 +02:00 |
Fedor Isakov
|
2ef8adfe5e
|
Switch to reactor 0.9.11
|
2019-07-30 13:48:08 +02:00 |
Fedor Isakov
|
6384085b17
|
Rebuild project.
|
2019-07-30 12:24:25 +02:00 |
Grigorii Kirgizov
|
9b49c3f053
|
Fix tests for incremental tc of BL. Add more tests for types with bounds. Temporarily revert reporting method to the old one.
|
2019-07-26 17:00:31 +02:00 |
Grigorii Kirgizov
|
b560bbbd30
|
Separate incremental tests on testlang and baselang into their own models.
|
2019-07-26 17:00:30 +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
|
a0b5acaa62
|
Rebuild project.
|
2019-06-07 09:16:21 +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
|
d0ffcb66ef
|
Regenerated project.
|
2019-06-05 16:14:27 +02:00 |
Fedor Isakov
|
3e1c9d6e89
|
Rebuild project.
|
2019-06-04 18:59:53 +02:00 |
Fedor Isakov
|
99ea2a7b71
|
Switch to the latest revision of reactor lib (0.9.9).
|
2019-04-24 21:21:03 +02:00 |
Fedor Isakov
|
55940d2e16
|
Remove Kotlin libs from reactor module and from distrib. Rebuild project.
Kotlin runtime is available from the platform.
|
2019-04-11 11:10:00 +02:00 |
Fedor Isakov
|
ca0524599d
|
Switch to latest 2019.1 EAP and rebuild.
|
2019-04-09 16:51:31 +02:00 |
Fedor Isakov
|
f6374635bb
|
Rebuild project.
|
2019-03-22 11:10:08 +01:00 |
Fedor Isakov
|
83e5ce8c26
|
Switch to the latest conreactor version.
|
2019-02-15 17:15:16 +01:00 |
Fedor Isakov
|
38777cda51
|
Ensure failed test means failed build for all sample projects.
|
2019-02-01 14:15:04 +01:00 |
Fedor Isakov
|
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 |
Fedor Isakov
|
b5552d5cd3
|
Cleanup module dependencies
|
2019-01-03 17:16:47 +01:00 |
Fedor Isakov
|
b4693aac3c
|
Switch to the new conreactor version.
|
2018-12-28 11:57:27 +01:00 |
Fedor Isakov
|
f0bb068750
|
Fix instances of removed concepts and broken API calls after migration to 2018.3. Rebuild project.
|
2018-11-28 16:48:59 +01:00 |
Fedor Isakov
|
e9d5a05900
|
Typechecking BL: reimplement type inference, implement and test various missing features. Cleann up and restructure code.
|
2018-11-28 14:27:51 +01:00 |
Fedor Isakov
|
06f95c5870
|
Update build solution to reflect latest changes.
|
2018-11-04 13:10:40 +01:00 |
Fedor Isakov
|
d26805db7d
|
Switch to the latest version of reactor lib 0.9.1
|
2018-08-03 11:48:36 +02:00 |
Fedor Isakov
|
e2a68b4012
|
Fixes necessary for compatibility with MPS 2018.2
|
2018-07-22 16:51:10 +02:00 |
Fedor Isakov
|
1cb1472184
|
Name solutions and models consistently in samples (mpscore). Drop empty obsolete test solution.
|
2018-07-22 14:48:13 +02:00 |
Fedor Isakov
|
c7cc97fffb
|
Rename reporting runtim solution.
|
2018-07-21 13:29:40 +02:00 |
Fedor Isakov
|
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 |
Fedor Isakov
|
e29a0576e2
|
Rename the root project and artifacts to "coderules".
|
2018-07-18 15:54:52 +02:00 |
Fedor Isakov
|
8294e8d702
|
Switch to MPS 2018.1.5
|
2018-07-17 15:29:02 +02:00 |
Fedor Isakov
|
c12bf0d96a
|
Ensure extracted baseLanguageExt stuff can be built from command line.
|
2018-07-17 15:09:47 +02:00 |