Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • d19aa00c1f29ef1961d7721c964a2a384f098ba4
  • 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.010Feb6531Jan30292722212017151410620Dec1918219Nov1511Oct9827Sep426Aug14131211Jul126Jun25242120147629May2221171424Apr231918171615119428Mar27262522191815141211825Feb201312531Jan2118161514118743228Dec27201917141312111027Nov2623222116139876531Oct26252423181716151211525Sep1713127654331Aug3027242322212017141110876330Jul25231816330Jun29282722211911852131May3029PROBPLUGIN-97: Fixed code to check whether an invariant is defined in the current machine or an abstract one.Merge branch 'develop' into rodin3refactoringjava 6Merge branch 'develop' into rodin3and the same for contextsCatch another Exceptionmove file to make external access possiblemerge develop into rodin3 branchPROBPLUGIN-91: Bugfix, instead of default FormulaFactory, we now use the project's FormulaFactoryMerge branch 'develop' into rodin3disable "Animate / Model Check", "ProB Classic" and "Check physical Units" on anything but MachineRoots and ContextRootsparser versionthis is not backwards compatible: increase all minimal version numbers of rodin/event-b dependenciesmagic gradle stuff to bump parser versionTypeEnvironment / TypeEnvironmentBuilder changes for Rodin3Even more CoreException + Removed FormulaFactories from argumentsRodinDBExceptoion -> CoreExceptionRodinDBException -> 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, cleanup