Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 117682fa7e28a25fcbc8ff2c5ac5160eaa1fb73f
  • 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.016May319Apr52Feb18Dec652124Oct28Sep272625213May29Aug623Jul2229Jun271125Jan2116Dec5329Nov1216Sep428Aug2718Jul72Apr17Dec3226Nov258Oct2124Sep2329Aug12Jul22Mar30Jan21Nov23Oct1Jun16May29Jan2Oct29Sep72Jan26Sep28Apr253Feb122Jan1843Dec30Nov261023Oct924Sep10721Aug1326Jun252423228May1824Apr232019Mar6527Feb26251918430Jan16158Dec226Nov31Oct17161310825Sep151211929Aug191829Jul28230Jun171354327May2616141228Apr22171228Mar27181413116528Feb1312106531Jan30292722212017151410620Dec1918219Nov1511Oct9827Sep426Aug14131211Jul126Jun25242120147629May2221171424Apr231918171615119428Mar272625221918151412Try to enable caching on CIRemove MAVEN_OPTS which seem to be not neededRemove unnecessary copy of built repositoryRemove commented out code related to old BMotion Studio help buildRemove special UI test configuration that we don't needRe-enable skipped tests that seem to work fineRemove 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.4