Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • f74c520097c4e8557fe0efd3a6b765a4bb90d78b
  • 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.020Jan17151410620Dec1918219Nov1511Oct9827Sep426Aug14131211Jul126Jun25242120147629May2221171424Apr231918171615119428Mar27262522191815141211825Feb201312531Jan2118161514118743228Dec27201917141312111027Nov2623222116139876531Oct26252423181716151211525Sep1713127654331Aug3027242322212017141110876330Jul25231816330Jun29282722211911852131May30291815117432127Apr25242320preliminary support for theories in disproverdisprover: store in counter-example if the counter example is based on only the selected hypotheses. if so, output it to the users as error instead of modifying the proof treedisprover: send selected hypotheses to prologimprove disprover outputPROBPLUGIN-90: Bugfix, missing increment when initialisating the names of the atomic propositions in an LTL formula.backport of fix for PROBCORE-467fix deprecation warnings, add annotations, cleanupchanged context menu textChanged default setting for history view to show parametersfixed PROBPLUGIN-88add name of event to dialogadd option to execute event using a custom guard (through context menu of operation)do not show error message multiple timesanother attempt to fix PROBPLUGIN-87another attempt to fix PROBPLUGIN-87another attempt to fix PROBPLUGIN-87to to fix bug causing ProB to crash if there is a special character (french, umlaut, space) in the path to rodinincrease version number after releasefix null pointer upon closing and reopening the event view (PROBPLUGIN-84)reworked export as disprover testcaseflexible timeout option for disproverrefactoringonly create a context for ProB, storing everything as constants and axioms on themonly stored variables that are not primed in the disprover machineuse isGivenSet method instead of custom solutionreplaced deprecated methodspecialised load command for disprovermajor rework of disprover:use translation visitor instead of deprecated predicate visitorenable "check context theorems" button if a context is loaded (was only enabled on machines)refactoring: some inliningFixed output for recursive definitionsadd export as "disprover test case" to context menushorten counter example output in proof treeadded project name to theory IDs (again)Added some commentsFixed handling of imported theories after feedback from NicolasAdded project name to theory IDsfixed code formattingmade some code null-safe