Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • fd66c1735b139d6030e40073876f7d18d23f15a9
  • develop default protected
  • csp
  • feature/csp
  • feature/multiview
  • feature/newcore
  • feature/theory_plugin
  • master protected
  • rodin2
  • rodin3
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
19 results
Created with Raphaël 2.2.027Sep2625213May29Aug623Jul2229Jun271125Jan2116Dec5329Nov1216Sep428Aug2718Jul72Apr17Dec3226Nov258Oct2124Sep2329Aug12Jul22Mar30Jan21Nov23Oct1Jun16May29Jan2Oct29Sep72Jan26Sep28Apr253Feb122Jan1843Dec30Nov261023Oct924Sep10721Aug1326Jun252423228May1824Apr232019Mar6527Feb26251918430Jan16158Dec226Nov31Oct17161310825Sep151211929Aug191829Jul28230Jun171354327May2616141228Apr22171228Mar27181413116528Feb1312106531Jan30292722212017151410620Dec1918219Nov1511Oct9827Sep426Aug14131211Jul126Jun25242120147629May2221171424Apr231918171615119428Mar27262522191815141211825Feb201312531Jan2118Remove ISO-8859-1-encoded non-breaking spaces in a few source filesConvert line endings from CRLF to LFTry updating to parser version 2.9.23Update CI deployment image to current versionUpdate parser versions in all the other placesTry updating to parser version 2.5.6 againadd support for basic ProB types REAL and FLOATexception when expression in recursive op case emptychange textUpdate Gradle wrapper to version 7.4.2Try merging de.prob.core/build.gradle into the top-level oneConfigure whitelist for XStream 1.4.18 and laterRemove duplicate old parser versions from MANIFEST.MF classpathRemove changing: true from other build.gradle as wellRemove unused cliparser dependency from more placesRemove unneeded changing: true setting from parser dependenciesRemove apparently unused cliparser dependencyAdd dependency entries for MXParser (XStream's new default parser)Remove apparently no longer used transitive dependency on xpp3Update instructions for updating dependenciesUpdate XStream dependency in MANIFEST.MF as wellAdd comments explaining how to update dependenciesAlso update XStream version in .classpathUpdate XStream to hopefully fix Java 17 compatibilityRemove windowslib64.zip downloadRemove 32-bit Linux probcli downloadRemove duplicate downloadCli2 taskReplace uses of deprecated compile configurationUpdate Gradle wrapper to version 6.8.1Fix dubious indents and formatting in Gradle scriptsUpdate Maven download URL and verify file checksumsremote_mirror_e…remote_mirror_ecd630e6c55e169e7eb254f47882e733/developTry to force Maven to access Maven Central over HTTPSFix Maven download in .gitlab-ci.ymlRemove probably unneeded mavenrc delete command from .gitlab-ci.ymlSwitch from Travis CI to GitLab CItry and switch to windows 64-bit versionadd todohopefully fix setting safety mc preference upon startupdisalbe safety model checking by defaultimprove LTL assertion failure message