Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 1b0f2e3ea2f3df5739527ba01f22b3f6e88f640c
  • 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.014Jun7629May2221171424Apr231918171615119428Mar27262522191815141211825Feb201312531Jan2118161514118743228Dec27201917141312111027Nov2623222116139876531Oct26252423181716151211525Sep1713127654331Aug3027242322212017141110876330Jul25231816330Jun29282722211911852131May30291815117432127Apr252423201911963229Mar232176528Feb1727Jan2320use our prolog output instead of rodins output for disproved hypotheses and goalfix index out of bounds if the disprover is called on a sequent without hypothesesuse toStringFullyParenthesized in disprover output of hypotheses and goalremove outdated commentconvert disprover log output to asciidisprover: add hypotheses, goal and result to logif a timeout occurs, no counterexample is foundimproved to string method of counter-example (for loggin)Improved Error Message (PROBPLUGIN-75)provide disprover as an auto tacticrenamed disprover -> (dis)prover, remove old stringsfix import of counter exampleexternalize strings in disprover.covermove file to internal packagemade disprover user interruptiblefix build (classpath, etc following parser version bump)bump parser versionfix null-pointer occurring if Rodin tries to restore serialised disprover reasoner inputstore if a model or a context was send to the animator inside an eclipse service called context_loaded. used to deactivate refinement checking, etc. for contexts.fix assertion check buttonget assertion checking counter example transition from prolog and update animatorrefactoring of enum, renamed elementadd assertion checking to prob plugin. an existing error state is not displayed yet.renamed some menu entriesrestructured checking menu in animation viewimprove output of disproverif 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 code
Loading