Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • c831ee8936c0efb934e201f677305f4baf16a81b
  • 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.016May319Apr52Feb18Dec652124Oct28Sep272625213May29Aug623Jul2229Jun271125Jan2116Dec5329Nov1216Sep428Aug2718Jul72Apr17Dec3226Nov258Oct2124Sep2329Aug12Jul22Mar30Jan21Nov23Oct1Jun16May29Jan2Oct29Sep72Jan26Sep28Apr253Feb122Jan1843Dec30Nov261023Oct924Sep10721Aug1326Jun252423228May1824Apr232019Mar6527Feb26251918430Jan16158Dec226Nov31Oct17161310825Sep151211929Aug191829Jul28230Jun171354327May2616141228Apr22171228Mar27181413116528Feb1312106531Jan30292722212017151410620Dec1918219Nov1511Oct9827Sep426Aug14131211Jul126Jun25242120147629May2221171424Apr231918171615119428Mar27262522191815141211Remove useless "non-Javadoc" commentsReplace uses of old JUnit 3 APIsResurrect the testsUpdate parsers to version 2.12.4Update Gradle wrapper to version 8.1.1Update to ProB 1.12.1Use consistent values for boolean lftp settingsEnsure that lftp exits on errors instead of continuingRemove unneeded exit from lftp commandRemove lftp mirror --delete flag for nowUpdate www3 URLs to stups.hhu-hosting.deUpdate ProB website/wiki linksRemove more unused commandsRemove unused and broken LoadClassicalBModelCommandAutomatically delete old files from deploy destinationUse lftp for deployment instead of travis-custom-deployRemove (Get|Set)PrologRandomSeed which do nothingRemove no longer used units plugin codeRevert "Don't set PROB_HOME envvar for probcli process"Don't set PROB_HOME envvar for probcli processDon't set TRAILSTKSIZE and PROLOGINCSIZE envvars for probcli processRemove unused debugging key generation and passingSet ProB binaries as executable instead of using sh as a helperDelete leftover generated (?) MF fileRemove commented out code in CliStarterFix missed getOsInfo callRefactor CliStarter.getOsInfoRemove dead 32-bit Linux handling from CliStarterUpdate CliStarter to new send_user_interrupt pathUpdate parser to version 2.12.1Update Tycho to version 1.7.0Install Maven using apt-get instead of downloading it manuallyTry updating to Maven 3.6.3Try updating to Maven 3.5.4Try updating to Maven 3.3.9Try updating to Maven 3.2.5Try updating to next newer Maven version to see what breaksSet Tycho version explicitly for all pluginsUpdate parser to version 2.12.0Switch Eclipse and Rodin repository URLs to HTTPS
Loading