Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 0235e5e49aaa8c0c366e6b3429411d7bb6fb2e02
  • 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.025Jun242324Feb2317143Dec25Nov23212014137Oct11Jul9853216Jun11Apr28Feb271914138226Jan25249813Nov10931Oct109212Sep25Aug241524Jul14330Jun29281917May16319Apr52Feb18Dec652124Oct28Sep272625213May29Aug623Jul2229Jun271125Jan2116Dec5329Nov1216Sep428Aug2718Jul72Apr17Dec3226Nov258Oct2124Sep2329Aug12Jul22Mar30Jan21Nov23Oct1Jun16May29Jan2Oct29Sep72Jan26Sep28Apr253Feb122Jan1843Dec30Nov261023Oct924Sep10721Aug1326Jun252423228May1824Apr232019Mar6527Feb26251918430Jan16158Dec226Nov31Oct17161310825Sep151211929Aug191829Jul28230Jun171354327May2616141228Apr22171228Mar27181413116528Feb1312106531JanFix indentsdevelopdevelopinstanceof check before casting to IInvariantsupport invariants whose source is not a machineFix indentsensure we can load machines with only warningsFix indentsextract comments for witnesses as desc pragmasalso export guard comments as descriptionsupdate copyright yearFix indentsadd 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 subprojects