Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 012a9ec385de7af3adbf585b8c2bf06c46e785dd
  • 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.021Jul1825Jun242324Feb2317143Dec25Nov23212014137Oct11Jul9853216Jun11Apr28Feb271914138226Jan25249813Nov10931Oct109212Sep25Aug241524Jul14330Jun29281917May16319Apr52Feb18Dec652124Oct28Sep272625213May29Aug623Jul2229Jun271125Jan2116Dec5329Nov1216Sep428Aug2718Jul72Apr17Dec3226Nov258Oct2124Sep2329Aug12Jul22Mar30Jan21Nov23Oct1Jun16May29Jan2Oct29Sep72Jan26Sep28Apr253Feb122Jan1843Dec30Nov261023Oct924Sep10721Aug1326Jun252423228May1824Apr232019Mar6527Feb26251918430Jan16158Dec226Nov31Oct17161310825Sep151211929Aug191829Jul28230Jun171354327May2616141228Apr22171228Mar27181413116528FebMake probcli and parser version logic match ProB Java API (prob2_kernel)developdevelopMake folder names match probcli zip names for all platformsSwitch to release version 1.15.0 of probcliUpdate parsers to version 2.15.2Try removing explicit Java release configuration for compilerSet release target for tests as wellRefactor how Java version requirements are configured for TychoUse tycho-version Maven property consistentlyUpdate Tycho to version 4.0.13Document Tycho's Java version requirements at build time and runtimeFix Gradle deprecation warnings about using project at execution timeRename confusingly named project parameters in tycho_build.gradleUpdate to new Sonatype snapshots repo URLReplace uses of deprecated Gradle assignment syntaxUpdate Gradle wrapper to version 8.14.3Fix indentsinstanceof check before casting to IInvariantsupport invariants whose source is not a machineFix indentsensure we can load machines with only warningsFix indentsextract comments for witnesses as desc pragmasalso export guard comments as descriptionsupdate copyright yearFix indentsadd comments for removed debugPrintsRemove debug printsFix indentsexport carrier set comments as desription pragmasFix indentsexport comments of variables as description pragmasadd comments for constants as description pragmasSwitch to nightly version of ProB and update parsers accordinglyUpdate Gradle wrapper to version 8.11Fix some indentsRemove commented out example codeAdd missing Override annotations everywhereDon't swallow exception in ClassicPreferences.performOkBump all the version numbers for next version 3.2.1Merge branch 'develop'mastermaster