Activity
-
-
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
-
-
-
609a9c66 · Enable ID prefix for VisB to avoid ID conflicts between cells
-
-
-
a644e33c · add missing svg
-
-
-
d8ee9d4e · Disable VisB headers
-
-
-
1294f9c6 · update VisB manual
-
-
-
c0079c75 · update VisB manual
- ... and 1 more commit. Compare 50e9de19...c0079c75
-
-
-
50e9de19 · Rerun VisB_Test.ipynb to remove debug print junk
-
-
-
54115e8d · update Makefile for new way to specify PROB_HOME
-