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
|
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
|
a6aed2c22c
|
Bump up the reactor lib version to 0.9.12.
|
2019-09-02 17:27:47 +02: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
|
116359ef2a
|
Switch to using IDEA 2019.1.
|
2019-04-19 11:50:03 +02:00 |
|
Fedor Isakov
|
109be1e564
|
Switch reactor to use Kotlin 1.3.
|
2019-04-11 11:05:11 +02:00 |
|
Fedor Isakov
|
6e0b9dee50
|
Switch to latest Kotlin release.
|
2018-03-05 12:02:37 +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
|
7c5274aacb
|
Rename the maven projects and artefacts.
|
2017-06-05 13:38:31 +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
|
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 |