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.02Aug31Jul292322151210428Jun2120191176528May2417161514134Apr230Mar29252220181586530Jan2720Dec12421Nov141325Oct241611329Sep252221201924Jul764330Jun2826232221201916151298231May30252423171195421Apr20513Mar914Feb13831Jan252319171110423Dec22[release] Expose CAISAR version to ONNX library for correct generator version[docker] Update docker generation to match new prover releases[release] Description correctly parsed with the help of shell shenanigans[dependencies] Add dependencies of ppx inline test for classical build2.12.1[release] Update automated release scriptMerge branch 'stable/2.1' into 'master'[release] Prepare for release 2.1Merge branch 'ci/jgirard/automated-version-update' into 'master'Apply 1 suggestion(s) to 1 file(s)[config] Add header to configurator.ml file.[ci] Guarding update date headers[ci] Revive script for updating headers.[tests] Force finding python in env.[tests] Rename help into version test.[config] Remove bash script for updating version.[ci] Use VERSION to build the ci variables.[tests] Compare running version with VERSION.[makefile] Use TAG instead, also as tag and version for dune-release distrib.[doc] Use VERSION for setting up release and version variables.[dune] Use configurator to setup project version.[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