Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • b1de33342ab0aa812d992ff1eed659785d792f6c
  • 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.023Nov212014137Oct11Jul9853216Jun11Apr28Feb271914138226Jan25249813Nov10931Oct109212Sep25Aug241524Jul14330Jun29281917May16319Apr52Feb18Dec652124Oct28Sep272625213May29Aug623Jul2229Jun271125Jan2116Dec5329Nov1216Sep428Aug2718Jul72Apr17Dec3226Nov258Oct2124Sep2329Aug12Jul22Mar30Jan21Nov23Oct1Jun16May29Jan2Oct29Sep72Jan26Sep28Apr253Feb122Jan1843Dec30Nov261023Oct924Sep10721Aug1326Jun252423228May1824Apr232019Mar6527Feb26251918430Jan16158Dec226Nov31Oct17161310825Sep151211929Aug191829Jul28230Jun171354327May2616141228Apr22171228Mar27181413116528Feb1312106531Jan3029add comments for removed debugPrintsRemove debug printsFix indentsexport carrier set comments as desription pragmasFix indentsexport comments of variables as description pragmasadd comments for constants as description pragmasSwitch to nightly version of ProB and update parsers accordinglyUpdate Gradle wrapper to version 8.11Fix some indentsRemove commented out example codeAdd missing Override annotations everywhereDon't swallow exception in ClassicPreferences.performOkBump all the version numbers for next version 3.2.1Merge branch 'develop'mastermasterMove de.bmotionstudio.rodin classes to appropriate packagesCombine 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 probcli
Loading