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.031Oct109212Sep25Aug241524Jul14330Jun29281917May16319Apr52Feb18Dec652124Oct28Sep272625213May29Aug623Jul2229Jun271125Jan2116Dec5329Nov1216Sep428Aug2718Jul72Apr17Dec3226Nov258Oct2124Sep2329Aug12Jul22Mar30Jan21Nov23Oct1Jun16May29Jan2Oct29Sep72Jan26Sep28Apr253Feb122Jan1843Dec30Nov261023Oct924Sep10721Aug1326Jun252423228May1824Apr232019Mar6527Feb26251918430Jan16158Dec226Nov31Oct17161310825Sep151211929Aug191829Jul28230Jun171354327May2616141228Apr22171228Mar27181413116528Feb1312106531Jan30292722212017151410620Dec1918219Nov1511Oct9827Sep426Aug14131211Jul126Jun25242120147629May2221171424Apr23Fix missing importUpdate usages of Prolog Library for Abstract Integer RepresentationAdd minimal stub handling of probcli progress and callback resultsUse ProBResultParser from answerparser library instead of own versionRemove some unused stuff from ServerConnectionInline IServerConnection (we have no tests for this anyway...)call -sf_no_callback when starting probcliApply SNAPSHOT cache disabling thing to subprojects as wellUse new printProlog method from theory mapping parserAdd magic snippet to disable caching of SNAPSHOT dependenciesAdd instructions for building locally without EclipseUpdate README.mdSwitch to nightly/SNAPSHOT versions of probcli and parsersadd comments about WD export of theory operatorsSimplify CliStarter.getCliPath logic slightlyReport CLI startup exceptions in one place where they are caughtRemove broken "ProB Log View"Remove unused RandomSeed and related codeRemove unused server trace stuffRemove last uses of IStatus.getCodeRemove logging distinction of "with bugreport" and "without bugreport"Remove probcli -parsercp argumentRemove some not very useful prints from tycho_build.gradleBump all the version numbers for next version 3.1.1Merge branch 'develop'Update to ProB 1.12.2Switch to nightly version of ProBUpdate to new name for probcli_windows64Re-enable deleting old files in nightly update siteRemove static Activator.plugin fields where not usedMake tests not depend on org.eclipse.uiRemove unused tycho_build.gradle exclude propertiesRemove some not very useful helpers from tycho_build.gradleRemove unused tycho_build.gradle code for creating a productRemove no longer used properties related to categoriesRemove defaults for a few properties in tycho_build.gradleRemove disprover core's dependency on org.eclipse.uiRemove symbolic plugin's dependencies on main ProB pluginPut all features in the same category instead of one per featureFix a dependency not being listed in feature.xml