Fedor Isakov
|
1674cefa1c
|
Update reactor project
|
2026-04-24 11:34:46 +02:00 |
|
Fedor Isakov
|
fd17d62f90
|
Auto-updated config
|
2024-10-04 13:02:04 +02:00 |
|
Fedor Isakov
|
2ce182c785
|
Auto-updated IDEA project files
|
2023-10-13 18:13:08 +02:00 |
|
Fedor Isakov
|
6d4001e175
|
Auto-updated files in IDEA project
|
2023-05-03 10:31:55 +02:00 |
|
Fedor Isakov
|
e881bccfca
|
Switch to Kotlin 1.7.0
|
2022-09-02 16:11:00 +02:00 |
|
Fedor Isakov
|
2730c02f4c
|
Update JDK in conreactor
|
2022-09-02 15:50:00 +02:00 |
|
Fedor Isakov
|
be1e4bac18
|
Bump up version of Kotlin and JUnit
|
2022-07-12 11:18:42 +02:00 |
|
Fedor Isakov
|
2c3bcf04ea
|
Auto-updated files
|
2021-01-18 10:59:03 +01:00 |
|
Fedor Isakov
|
a403b1a252
|
Update Idea project in reactor.
|
2020-10-23 12:26:30 +02:00 |
|
Fedor Isakov
|
8b71274a57
|
Update Kotlin to 1.3.70 for Reactor lib.
|
2020-06-25 14:30:31 +02:00 |
|
Fedor Isakov
|
7f37a15f4e
|
IDEA project files update after switch to 2020.1
|
2020-06-04 12:40:34 +02:00 |
|
Fedor Isakov
|
a0b2af95c9
|
Revert "MPSCR-4: Upd refs to new RuleIndex on Dispatcher construction in incremental case."
This reverts commit 0dd7f8c70f.
|
2019-11-04 15:58:54 +01:00 |
|
Grigorii Kirgizov
|
0dd7f8c70f
|
MPSCR-4: Upd refs to new RuleIndex on Dispatcher construction in incremental case.
Slightly extend RuleMatcher interface.
Store RuleMatcher instances instead of RuleMatcherProbe in SessionToken.
|
2019-10-31 22:20:19 +03:00 |
|
Fedor Isakov
|
d5bdcc971f
|
Remove accidental modules from the project.
|
2019-09-27 21:59:57 +02:00 |
|
Fedor Isakov
|
b8cf79e8e2
|
Renamed JB SDK to JB JDK
|
2019-09-23 11:27:54 +02:00 |
|
Grigorii Kirgizov
|
0f1460bb67
|
Add typechecking of array literals handling nested literals
Array literals always belong to some variable decl and their elements
are recursively checked against declared component type [JLS 10.6].
|
2019-09-11 13:24:01 +03:00 |
|
Grigorii Kirgizov
|
98356f25cc
|
rebase on master. remove extra deps in coderules generator
|
2019-08-22 15:16:17 +02:00 |
|
Fedor Isakov
|
d647a31e1d
|
Switch reactor to JDK 11, kotlin lib to 1.3.31.
|
2019-07-30 13:27:27 +02:00 |
|
Fedor Isakov
|
915bc1442a
|
Update project structure after API pom has been deleted.
|
2019-05-09 14:22:23 +02:00 |
|
Fedor Isakov
|
109be1e564
|
Switch reactor to use Kotlin 1.3.
|
2019-04-11 11:05:11 +02:00 |
|
Fedor Isakov
|
1609b5838d
|
Correct the path to git root
|
2018-07-26 16:12:31 +02:00 |
|
Fedor Isakov
|
6e0b9dee50
|
Switch to latest Kotlin release.
|
2018-03-05 12:02:37 +01:00 |
|
Fedor Isakov
|
4ea4b5cae5
|
Automatically update files in .idea folder.
|
2018-03-05 11:56:32 +01:00 |
|
Fedor Isakov
|
3a4d1bf7ae
|
Another config file.
|
2017-11-09 12:02:59 +01:00 |
|
Fedor Isakov
|
c05dad493c
|
Reimplement unification algorithm in Kotlin using jtrove lib. Add dependency on trove4.
|
2017-10-30 18:22:02 +01:00 |
|
Fedor Isakov
|
f65c0ce56e
|
Update kotlin version to 1.1.4.
|
2017-10-06 12:10:42 +02:00 |
|
Fedor Isakov
|
90044e69c7
|
Update the copyright notice with the license. Remove obsolete artefacts and "generated" markings.
|
2017-06-05 15:16:19 +02:00 |
|
Fedor Isakov
|
a23c0db226
|
Integrate unification into the Core module. Remove the unification lib and all its stuff.
|
2017-06-02 11:19:36 +02:00 |
|
Fedor Isakov
|
77662be281
|
Auto-changed .iml files. Switch to Kotlin 1.1.2. Switch to Dexx collection 0.7.
|
2017-06-01 15:11:54 +02:00 |
|
Fedor Isakov
|
90640f1d3d
|
Bumped up the kotlin version in maven project file. Switch to the latest dexx collections. Drop google collections (unused). Re-imported all maven projects.
|
2016-12-13 10:31:16 +01:00 |
|
Fedor Isakov
|
735c6b20e8
|
Switch to using JDK 1.8 for the project.
|
2016-06-24 14:22:22 +02:00 |
|
Fedor Isakov
|
efc293b495
|
Switch to the latest version of Kotlin.
|
2016-04-17 15:47:41 +02:00 |
|
Fedor Isakov
|
c8812c139e
|
Adopted the unification lib as part of this project.
|
2016-03-10 12:14:18 +01:00 |
|
Fedor Isakov
|
6cfa569663
|
Switch to the latest Kotlin RC 1050
|
2016-02-11 16:49:36 +01:00 |
|
Fedor Isakov
|
fb65c965c4
|
Switch to Kotlin 1.0.0 RC
|
2016-01-25 23:17:59 +01:00 |
|
Fedor Isakov
|
1dd3294483
|
Updated the unification lib to 1.0.2
|
2016-01-19 12:58:39 +01:00 |
|
Fedor Isakov
|
406c8c3af1
|
Updated the maven artifacts packaging
|
2015-12-28 10:35:40 +01:00 |
|
Fedor Isakov
|
c64bbfb240
|
Removed superfluous libs
|
2015-12-25 13:30:56 +01:00 |
|
Fedor Isakov
|
a58af2c921
|
Upgraded to the latest Kotlin beta
|
2015-12-23 16:43:37 +01:00 |
|
Fedor Isakov
|
d1604d317f
|
Hardcoded version in pom.xml everywhere, IDEA project structure auto-updated from pom's
|
2015-12-17 17:35:09 +01:00 |
|
Fedor Isakov
|
ecc640258a
|
Imported unification lib using maven via JitPack.io. Set up build using maven
|
2015-12-13 17:24:14 +01:00 |
|
Fedor Isakov
|
8f75050b2e
|
Imported unification lib using maven via JitPack.io
|
2015-12-12 22:50:05 +01:00 |
|
Fedor Isakov
|
1ce311a0bf
|
Update kotlin to the latest beta, make all dependencies on kotlin "compile"
|
2015-12-09 00:25:24 +01:00 |
|
Fedor Isakov
|
e07f608b04
|
Implementing EvaluationSession
|
2015-12-03 21:55:03 +01:00 |
|
Fedor Isakov
|
50332e1e56
|
Added dexx library
|
2015-12-03 21:55:03 +01:00 |
|
Fedor Isakov
|
80b2cd5e4c
|
Planning session implementation. Removed Bridge module
|
2015-12-03 21:55:03 +01:00 |
|
Fedor Isakov
|
77c827f8cd
|
Started with tests. Switched to kotlin runtime+stdlib from Maven
|
2015-11-22 18:39:36 +01:00 |
|
Fedor Isakov
|
9632742625
|
Imported new sources for the API
|
2015-11-22 15:52:12 +01:00 |
|
Fedor Isakov
|
52c4df14ae
|
Initial import. Kotlin libs 1.0 Beta 1103. Imported abstract constraints API from the Logic project
|
2015-11-20 14:55:48 +01:00 |