Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • dce251d6a2edcaed6ce3a72d3000dd2bf2fa9ad4
  • 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.013Feb12106531Jan30292722212017151410620Dec1918219Nov1511Oct9827Sep426Aug14131211Jul126Jun25242120147629May2221171424Apr231918171615119428Mar27262522191815141211825Feb201312531Jan2118161514118743228Dec27201917141312111027Nov2623222116139876531Oct26252423181716151211525Sep1713127654331Aug3027242322212017141110876330Jul25231816330Jun292827222119118521improve output in model checking dialogmerged developadd progress bar to model checking dialogState view: The filter button is now initially activatedPROBPLUGIN-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 prolog
Loading