Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 6fc23a0c20ed3b62e4a7db98d85ef60d5339c0f4
  • 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.01Apr9Mar6527Feb26251918430Jan16158Dec226Nov31Oct17161310825Sep151211929Aug191829Jul28230Jun171354327May2616141228Apr22171228Mar27181413116528Feb1312106531Jan30292722212017151410620Dec1918219Nov1511Oct9827Sep426Aug14131211Jul126Jun25242120147629May2221171424Apr231918171615119428Mar27262522191815141211825Feb201312531Jan2118161514118743228Dec27201917141312111027Nov2623222116139876531Oct26252423181716151211525Sep171312remove custom update site from target platformupdate repository urlsbetter error messagesfixes in disprover preference pagedouble evaluation preference for disproverport prob2 change to handling of windows newlines in socket server communicationport prob2 change to handling of windows newlines in socket server communicationadd cse preference to disprover preference pageadopt errors command to clireport errors / warnings differentlyprob exception was hidden by the ProBCommandJob anyway, remove error handlingadopt errors command to clifix importsdisplay contradiction in hypotheses in the proof treeadd contradiction_in_hypotheses case, currently not handled in a different wayversion bump for rodin 2 after prob 1.5 releaseMerge branch 'develop'3.0.83.0.8version bump to 3.0.8Merge branch 'refs/heads/develop'version bump to 3.0.8remove more trace outputs in Model Checking result dialogno longer show trace of state ids in ModelChecking result dialogPROBPLUGIN-113 use Aux AnimatorUse AuxAniamtor for Disprovingremove upper bound on new nodes added by LTL model checkversion bump for releasesubmit all hypotheses back to rodin as used hypotheses to prevent false replay of disprover proof rulesfix warningbump parser versionupdate to support rodin 3.1 theory pluginthere is no shell available here. remove dialog windowfixed starting visualisation via context menuversion bump in order to prepare for rodin 3.1 releaseFixed a bug in the LTL viewer of Rodin (see comments in the commit).Fixed a bug in the LTL viewer of Rodin (see comments in the commit).bump dependency versionsbackport 7518acb1379bec986f21ff3e059f4847aa60216brise error message regarding valid constants and properties even if there is no operation availableshow counterexample found on selected hypothesesannounce computed state
Loading