Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • 3.0
  • 2.1
  • 2.0
  • 1.0
5 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.011Mar328Feb27262524431Jan106Dec5Nov28Sep27252423201918161311530Aug2928272620653231Jul292322151210428Jun2120191176528May2417161514134Apr230Mar29252220181586530Jan2720Dec12421Nov141325Oct241611329Sep252221201924Jul764330Jun28262322212019161512Update doc yearmastermasterMerge branch 'doc/jgirard/fight-doc-bitrot' into 'master'[doc] Fix dead links and typos[dataset] Complete cleanup of no more useful code.Merge branch 'dev/jgirardsatabin/prune-stdlib' into 'master'[refactoring] Remove dataset predicates for all provers, except AIMOS[refactoring] Remove the possibility to call SAVER on dataset predicates[logging] Updated logging in Dataset interpretation[cmdline] Marked dataset option as deprecated[tests] Started converting SVM tests to full interpreted language[test] Updated AIMOS prover answer to match Why3 1.7 prover outputMerge branch 'dev/julien/extend-json' into 'master'Rework answer API.Linting and headersAdded id connection between query and answerRework some user error messages.[tests] Remove useless field in verify_json test.Rework query API.[verification] Some simplification.Rework problem API.Rework user error concerning output file.Do not fail on lack of output file.[lint] appease the ocamlformat god[nix] tests shenanigans[tests] Modified JSON test to handle the new API[warn] Remove unused open[examples] Fix typo in example[tests] Remove legacy test for saverCorrect typos[main] Refine docv to follow description more.[json] Remove JSON module altogether[doc] Warn users that dataset is deprecated[json] Refactor CAISAR verification module for JSON serialization[ci] Update known_hosts.[doc] updated versionMerge branch 'stable/3.0' into 'master'3.03.0[release] Update CHANGES.md[release] Update version[deps] Fix Why3 max version[doc]Update installation instructions for Nix