Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • csp
  • develop default protected
  • 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
18 results
Created with Raphaël 2.2.02Dec19Nov1511Oct9827Sep426Aug14131211Jul126Jun25242120147629May2221171424Apr231918171615119428Mar27262522191815141211825Feb201312531Jan2118161514118743228Dec27201917141312111027Nov2623222116139876531Oct26252423181716151211525Sep1713127654331Aug3027242322212017141110876330Jul25231816330Jun29282722211911852131May30291815117432127Apr252423201911963229Marto 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-saferemoved warning: unused importAdded Deprecated annotationsRefactoring: All direct uses of ExpressionVisitor / PredicateVisitor / AssignmentVisitor are now replaced by calls to TranslationVisitor.translate...()Replaced IDeployedTheoryRoot by ISCTheoryRoot (a more abstract interface).added list of imported theories in Prolog output. Does not seem to work yet.fixed warnings: unused importsDetection of the usage of theories was not reliable, now searching for root elements with id "ord.eventb.theory.core..."- Just using theories that are referenced by TheoryPathesfix error message on unsatisfiable properties, some strings were not atomicshow description of unsat propertiesrefactoring consistency checking -> model checkingadd "stop when all events are covered" option to model checking dialogbump parser versionrenamed "consistency checking" -> "model checking"renamed Ltl -> LTLbump develop version number