Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 0cf8520d6e8109bffc0e682fdfccd51a18e2140f
  • 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.029Jan2722212017151410620Dec1918219Nov1511Oct9827Sep426Aug14131211Jul126Jun25242120147629May2221171424Apr231918171615119428Mar27262522191815141211825Feb201312531Jan2118161514118743228Dec27201917141312111027Nov2623222116139876531Oct26252423181716151211525Sep1713127654331Aug3027242322212017141110876330Jul25231816330Jun29282722211911852131May30291815117432127Apr25RodinDBException -> CoreExceptionfix disprover uifixing errors in units pluginworking on rodin3 compatibilitycleanupversion bumps for developMerge branch 'develop' of github.com:bendisposto/prob into developimproved wizardchanged attribute name from "This" to "this" (keep consistent)set parser version for releasefix parameterstate view: red/green colored booleanssome cleanups done by eclipsestate view: changed non-boolean variables are now blueadd missing default constructor causing instantiation exceptionspreliminary 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 solution