Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • abd71630ca71fbf5f3eb457c6942a1a5e7c15cfc
  • 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.028Jun1917May16319Apr52Feb18Dec652124Oct28Sep272625213May29Aug623Jul2229Jun271125Jan2116Dec5329Nov1216Sep428Aug2718Jul72Apr17Dec3226Nov258Oct2124Sep2329Aug12Jul22Mar30Jan21Nov23Oct1Jun16May29Jan2Oct29Sep72Jan26Sep28Apr253Feb122Jan1843Dec30Nov261023Oct924Sep10721Aug1326Jun252423228May1824Apr232019Mar6527Feb26251918430Jan16158Dec226Nov31Oct17161310825Sep151211929Aug191829Jul28230Jun171354327May2616141228Apr22171228Mar27181413116528Feb1312106531Jan30292722212017151410620Dec1918219Nov1511Oct9827Sep426Aug14131211Jul126Jun25242120147629May2221171424Apr231918171615119428Mar272625221918Bump all the version numbers for release 3.0.11Require Java 1.8 for disprover as wellRemove .tmp copy of antlr-2.7.7.jarSwitch CI from openjdk to eclipse-temurin imagesRequire correct service levels for our own dependenciesReplace match="greaterOrEqual" with match="compatible"Rename index.html to footer.html so it doesn't block directory listingUpdate index.html furtherFormat index.html consistentlyUpdate URLs in index.htmlAdd automatic release deployment to .gitlab-ci.ymlAdd prepareMaven task to do everything needed before calling MavenRemove setClassPath dependency from completeInstallRemove Gradle tycho task, which duplicates installSkip Git clone in CI deploy jobChange how index.html is copiedRun all tasks in one Gradle call for performanceTry 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 nothing