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.022Mar191815141211825Feb201312531Jan2118161514118743228Dec27201917141312111027Nov2623222116139876531Oct26252423181716151211525Sep1713127654331Aug3027242322212017141110876330Jul25231816330Jun29282722211911852131May30291815117432127Apr252423201911963229Mar232176528Feb1727Jan2320181714Dec1312530Nov29262524skip some test casesfix exporter version in test casesbump exporter_versiontry to fix translation test casestry to fix class path after parser version bumpexport constants as abstract constants if symbolic attribute is setbump required parser versionadd plugin descriptionadd symbolic pragma feature for updatesiteMerge branch 'feature/symbolic_pragma' into developchange "concrete" to "not symbolic"do not set the symbolic static checker on machines, only on constants = only in contextschange attribute type of symbolic attribute from string to boolean in the translatorremoved content from symbolic pragma as it has no parametersadd the symbolic pragma to the translatoradd symbolic plugin to gradlenew plugin providing a symbolic annotation to constants. currently not translated to prob (working on it)Load Context/Machine before disproving (required for sets)fixed prove tree manipulationremove debugging outputremove obsolete files (old disprover tactics)remove disprover drop down menu, move button to toolbaradded result case for actual proofadd refinement checking button to animation / model checking uiMerge branch 'feature/cbc_refinement' of github.com:bendisposto/prob into feature/cbc_refinementworking on cbc refinement checks, reworking command send to probadding cbc based refinement checks to the rodin ui, still missing work on the prolog side + some missing detailsinstead of throwing a rodindbexception when a unit or inferred unit pragma's content is requested but not set, return a default value (currently empty pragma).Merge branch 'develop' of github.com:bendisposto/prob into feature/cbc_refinementworking on cbc refinement checks, reworking command send to probimplemented cbc disprovermissing metadataimported disprover codeAdded JDK to target paltform (allows to run tests)added theory update site to target platformMerge remote-tracking branch 'origin/develop' into developNo CSP for you!adding cbc based refinement checks to the rodin ui, still missing work on the prolog side + some missing detailsbugfix PROBPLUGIN-63: Bugfix in code to check that old and new implementation behave the same. visitor.getPredicate() was called for expresssions, too. This currently effected only models with variants.bugfix in new implementation of translation visitor