Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • csp
  • develop default protected
  • 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
18 results
Created with Raphaël 2.2.028Jun1917May16319Apr52Feb18Dec652124Oct28Sep272625213May29Aug623Jul2229Jun271125Jan2116Dec5329Nov1216Sep428Aug2718Jul72Apr17Dec3226Nov258Oct2124Sep2329Aug12Jul22Mar30Jan21Nov23Oct1Jun16May29Jan2Oct29Sep72Jan26Sep28Apr253Feb122Jan1843Dec30Nov261023Oct924Sep10721Aug1326Jun252423228May1824Apr232019Mar6527Feb26251918430Jan16158Dec226Nov31Oct17161310825Sep151211929Aug191829Jul28230Jun171354327May2616141228Apr22171228Mar27181413116528Feb1312106531Jan30292722212017151410620Dec1918219Nov1511Oct9827Sep426Aug14131211Jul126Jun25242120147629May2221171424Apr231918171615119428Mar27262522Remove custom ErrorTicketDialog entirelyRemove no longer needed dependencies of bug report wizardRemove long dead bug report wizardInline FormulaTranslator.translateUpdate GitLab CI to Java 11 as required by Rodin 3.6 and newerUpload log files as artifacts on failureUse current Rodin update site instead of our Rodin 3.4 mirrorMake Gradle clean delete all files generated by our buildFix a few forgotten version numbersBump all the minor version numbers for version 3.1.0Merge branch 'develop'3.0.113.0.11Bump 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.1