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.015Jul1210428Jun2120191176528May2417161514134Apr230Mar29252220181586530Jan2720Dec12421Nov141325Oct241611329Sep252221201924Jul764330Jun2826232221201916151298231May30252423171195421Apr20513Mar914Feb13831Jan252319171110423Dec222019161514[wip] A bit cleaner version update script[wip] Tentatively add a sanity check for ensuring VERSION and TAG are the same[release] Automate the update of tests during release[test] Actually update tests[release] Automatize changing versions in manual and srcMerge branch 'test/jgirardsatabin/test-libs' into 'master'[test][ci] ci test target explicitly targets files[test][ci] simplify test structure[ci][test] relax constraints on location of python3 interpreter on test[ci] Add target for testing non-regression in librariesMerge branch 'dev/jgirardsatabin/depenencies-updates' into 'master'minor formatting and simplifications[build][ci] Relaxed constraint on Base, and added new CI targets for ocaml 5.[test] Updated AIMOS and SAVER prover answer to match Why3 1.7 prover output[test] Updated CVC5 tests[build] Updated nix flake locks for build[deps] Updated depsMerge branch 'doc/jgirardsatabin/devenv' into 'master'[doc] Removed unecessary dependency[doc] Specified test-only dependencies[doc] Clarify setting up the development environment[release] Disable some tests when no python3 is available2.02.0[release] Accepts forcing the installation of onnx system-wide[release] Prefer vendoring local pip installation[release][deps] Fix upper bound for base to match opam CI requirements[release][wip] Custom action to ensure python3 onnx package is available for tests[release] Upgrade CAISAR version number and added test dependenciesMerge branch 'stable/2.0' into 'master'[ci] Update version in nix flake[ci] Typo in CI[ci] Upgraded OPAM image in CI to match Dockerfile generation[release] Added Maraboupy in the docker image[ci] Update full rebuild target for CI[release] Update changelog[doc] Updated doc to match 2.0 releaseMerge branch 'feature/varasse/aimos-update' into 'master'[aimos] Update configuration to fit new behaviorMerge branch 'fix/michele/abcrown-config' into 'master'[config] Update abCROWN ACASXu config as upstream.Merge branch 'feature/michele/maraboupy' into 'master'