Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • fd9f5664de7d23b43de8c8cfa6e50bfd241d28d3
  • 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.018Apr171615119428Mar27262522191815141211825Feb201312531Jan2118161514118743228Dec27201917141312111027Nov2623222116139876531Oct26252423181716151211525Sep1713127654331Aug3027242322212017141110876330Jul25231816330Jun29282722211911852131May30291815117432127Apr252423201911963229Mar232176528Feb1727Jan2320181714Dec1312530Nov29if no counter-example is found by the disprover, return a reasoner failure instead of modifying the proof tree (to act more like pp does)refactored counter exampleif the proof status of a theorem as guard is exported for prob, we also export the event name as a sourcemissing exceptionremove old codereturn a reasoner failure instead of modifying the proof tree if a timeout occursremove unused local variable, simplifies constructorremove old commentsremove obsolete preferencesfurther refactoring: move fetching hypothesis from rodin directly into the reasoner.remove old load command, we now load the model directlyremove obsolete exception, can not be thrown anymoredelete obsolete fileremove some more dead codeas the disprover loads the complete event-b model anyway, the useContexts flag became obsolete. removed dead code.removed old code related to user defined selection of hypothesis for disprovertry another set of hypothesis for the disproverjust use relevant hypothesis in disprover (instead of all hypothesis)increase proof confidence of timeout and no-counter-example. this should allow proofs done by other provers to pass through our proof nodesadd annotationsfixed importsremove reference to parser version 2.4.12 from manifest filedelete obsolete fileadd annotationsstupid depsremoved stupid dependencyRe-enable theory plugin in snapshotbumped version numbersremoved theory support (until theory plugin release)fixed disprover dependencyhuge improvement to error handling (now with 200% more clean recommendation)removed animation refinementremoved unused Proof Infoupdate disprover version number to match the one of probremove reference to 2.4.12-SNAPSHOT parserAll the classes are now available to serialize the EventB files for ProB 2.0 PROBCORE-69PROBPLUGIN-69 Deleted old unnecessary model objectsrenamed atomsuse constant instead of hard coded string (PROBPLUGIN-67)PROBPLUGIN-67 changed the command so that it is compatible with the current probcli
Loading