Activity
-
-
-
983bab50 · Bump version number to 1.5.1-SNAPSHOT
-
-
-
7431a3b8 · Release version 1.5.0
- ... and 1 more commit. Compare 37d3b0f6...7431a3b8
-
-
-
37d3b0f6 · Fix incorrectly placed changelog entry
-
-
-
b467fac1 · Rename Event-B result/dummy variables to also be valid B identifiers
- ... and 2 more commits. Compare e107271e...b467fac1
-
-
-
e107271e · Mention in README that Java 21 works
-
-
-
1f77ca0b · Update Gradle shadow plugin to version 8.3.8
- ... and 3 more commits. Compare 8c54dd0f...1f77ca0b
-
-
-
8c54dd0f · Simplify setting GRADLE_USER_HOME in .gitlab-ci.yml
- ... and 1 more commit. Compare 93e62201...8c54dd0f
-
-
-
93e62201 · Switch to release version 4.15.0 of the ProB Java API
-
-
-
915a48b3 · Install JDK and not just JRE on Binder
-
-
-
-
-
0b19d24e · Update other dependencies
- ... and 7 more commits. Compare 5377adb9...0b19d24e
-
-
-
5377adb9 · Update ProB Java API to version 4.13.2-SNAPSHOT
-
-
-
13bef624 · Update ProB Java API to version 4.13.1
-
-
-
5e14566c · Switch to release version 4.13.0 of ProB Java API
-
-
-
5202806c · Update Gradle wrapper to version 8.6
- ... and 2 more commits. Compare d684f3ac...5202806c
-
-
-
d684f3ac · Update ProB Java API to current 4.12.3-SNAPSHOT
- ... and 2 more commits. Compare 2c370dac...d684f3ac
-
-
-
2c370dac · Begin supporting use of native let variables on the Prolog side
-
-
-
738ba7f6 · add notebook with satsolver tests
-
