Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • d410e81538b637d3bbaf04755e5678ff019c3e9d
  • 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.029Jul28230Jun171354327May2616141228Apr22171228Mar27181413116528Feb1312106531Jan30292722212017151410620Dec1918219Nov1511Oct9827Sep426Aug14131211Jul126Jun25242120147629May2221171424Apr231918171615119428Mar27262522191815141211825Feb201312531Jan2118161514118743228Dec27201917141312111027Nov2623222116139876531Oct26252423181716151211525Sep1713127654331Aug3027242322212017141110target platform updated for rodin 3.1missing annotationRodin 3.1 compatiblitybump parser versionfix path to nightlyfix error messagefix error messageparser version bump for eclipse filesparser versionbump parser versionbump parser versionUpdate invariant ok message (invariants ok)Update invariant ok message (invariants ok)bump version numbers for new releasebump version numbers for new releasefix units pluginfixed PROBPLUGIN-108“find valid state” ported to rodin“find valid state” ported to rodinadd missing case (PROBPLUGIN-103)add missing case (PROBPLUGIN-103)path to windows libsif counter-example is set to NULL because of an exception on the Prolog side, the DisproverReasoner no longer throws a NullPointerException but fails with an appropriate error messageclass path changed by gradleif counter-example is set to NULL because of an exception on the Prolog side, the DisproverReasoner no longer throws a NullPointerException but fails with an appropriate error messagerodin 2.8 target platformpath to windows libMerge branch 'develop' of github.com:bendisposto/prob into developswitch back to old behaviour (discouraged but works without ClassCastException)i’ll build my own update siteUpdate README.mdUpdate README.mdfix discouraged internal accessfix warningsfix disprover on rodin3target platform againtarget platform againtrying to fix target platformUpdate feature.xmlUpdate MANIFEST.MF