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.019Mar1711328Feb27262524431Jan106Dec5Nov28Sep27252423201918161311530Aug2928272620653231Jul292322151210428Jun2120191176528May2417161514134Apr230Mar29252220181586530Jan2720Dec12421Nov141325Oct241611329Sep252221201924Jul764330Jun2826232221201916Merge branch 'build/jgirard/python-provers' into 'master'mastermasterUpdate gitignore[nix] Change solver binary name for autodetection[ci] Ensure all provers are available by CAISAR on CI[nix] Automatically install CAISAR in devShell[nix] Bundled solvers correctly detected by CAISAR[nix] Format CAISAR flake[ci] Update CAISAR lockfileMerge branch 'doc/gardouin/examples' into 'master'[doc] Update documentation of speclang[doc] Corrected output for Marabou on ACAS examples (no timeout anymore)[doc] Fixed Why3 deadlinks (ACAS)[doc] Corrected model.NN in ACAS example[ci] Remove nix-utils multiple dependencies[ci] ABcrown available.[ci] PyRAT compiled available.[ci] Added an optional step in the CI with all provers[onnx] Added support for Double datatype in ONNX reader and IR version 10[ci] Change SAVER nixpkgs commit[ci] Simplified Marabou buildUpdate doc yearMerge 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.