Activity
-
-
-
970c4a96 · Bump version number to 1.1.1-SNAPSHOT
-
-
-
950cac24 · Release version 1.1.0
-
-
-
4e0d59ba · Use new Gradle plugins syntax
- ... and 4 more commits. Compare ed5e67a3...4e0d59ba
-
-
-
ed5e67a3 · Add missing line to publishing configuration
-
-
-
635c9c4b · Add comment about why javadoc.failOnError is disabled
- ... and 1 more commit. Compare e74d8836...635c9c4b
-
-
-
e74d8836 · Fix NPE in OutputCollector.addStateToTrace
-
-
-
25509383 · Increase next version from 1.0.3 to 1.1.0 because of TLA Tools update
- ... and 1 more commit. Compare 873d2284...25509383
-
-
-
873d2284 · Replace Hashtable with HashMap in our code
-
-
-
-
52b3b698 · Fix tlatools directory name in .gitlab-ci.yml
-
-
-
d19e8b67 · Collect violated assumptions in DFIDModelChecker as well
- ... and 444 more commits. Compare 83bd4e14...d19e8b67
-
-
-
83bd4e14 · Remove StateMonitor to avoid dependency on com.sun.tools.attach
- ... and 754 more commits. Compare 235e49e6...83bd4e14
-
-
-
235e49e6 · Remove testImplementation declaration from build.gradle
- ... and 1 more commit. Compare bc63c23c...235e49e6
-
-
-
bc63c23c · Replace uses of deprecated compile/testCompile configurations
-
-
-
b0a018c6 · Ignore duplicates in sourcesJar
-
-
-
7eb5987d · Remove --stacktrace argument for now to reduce huge CI logs
-
-
-
e3faa46c · Merge tag 'v1.5.7'
- ... and 241 more commits. Compare ad6d17f0...e3faa46c
-
-
-
ad6d17f0 · Merge tag 'v1.5.6'
- ... and 1076 more commits. Compare 50234e83...ad6d17f0
-
-