Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 52a75e165df00ec4bec5d99ca98ab97451cd3d8c
  • 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.09Jul853216Jun11Apr28Feb271914138226Jan25249813Nov10931Oct109212Sep25Aug241524Jul14330Jun29281917May16319Apr52Feb18Dec652124Oct28Sep272625213May29Aug623Jul2229Jun271125Jan2116Dec5329Nov1216Sep428Aug2718Jul72Apr17Dec3226Nov258Oct2124Sep2329Aug12Jul22Mar30Jan21Nov23Oct1Jun16May29Jan2Oct29Sep72Jan26Sep28Apr253Feb122Jan1843Dec30Nov261023Oct924Sep10721Aug1326Jun252423228May1824Apr232019Mar6527Feb26251918430Jan16158Dec226Nov31Oct17161310825Sep151211929Aug191829Jul28230Jun171354327May2616141228Apr22171228Mar27181413116528Feb1312106531Jan302927222120Combine de.bmotionstudio.rodin fragment into de.bmotionstudio.gef.editorRemove unused deprecated NewBMotionProjectActionRemove unused duplicate BMotion Studio perspective classesRemove a few log messages during probcli startupPort simplified probcli startup output parsing from ProB Java APIUpdate to probcli version 1.13.1-beta2Show BMotion Studio in the about windowUpdate a dependency range that I forgotProperly declare that BMotion Studio depends on the ProB plugin UIFix an indentFix missing new dependency in BMotion Studio featureMake BMotion Studio a separate feature and not part of the animatorRemove old FindBugs preferencesMake Eclipse .settings consistent across all subprojectsSet explicit source file encoding in parent pom.xmlBump all the minor version numbersUpdate to Tycho 4.0.8 to try to fix "Content is not allowed in prolog"Fix new compilation errors related to getChildren() list typesUpdate to Tycho 3.0.5 to make tests work againComment out an observer that seems to be unusedReplace uses of deprecated Eclipse APIs that were removed in Rodin 3.9Update CI to Java 17 as required by Rodin 3.9's Eclipse versionUpdate Gradle wrapper to version 8.8Switch back to release version 1.13.0 of probcliUpdate Eclipse repository URL for Rodin 3.9Try to fix compatibility with x86_64 (Intel) macOS systemsSwitch to nightly version of ProBAdd more specific descriptions for the individual featuresAdd higher-res and consistent ProB logo for feature brandingAdd a Tycho temp file to .gitignoreFix feature branding not showing in about window and update old infoChange feature names to say "Rodin" instead of "Rodin3"Use current ProB icon everywhereRemove de.prob.plugin fragment and combine it into de.prob.uiRemove unused ProB toolbar definitionRemove all of the website opening menu itemsRemove commented out distributed model check command and related codeRemove commented out "Analyze Invariant" command and related codeMove BMotion Studio menu items into relevant Eclipse menusRemove more unused images/icons