Commits · 34513b21ef43b1bd231ad21035b1348316d265a5 · pub / caisar · GitLab

Snippets Groups Projects

Jan 10, 2025
- [nix] Update nixpkg commit · 0e332075
  Julien Girard-Satabin authored 2 months ago
  
  0e332075
- [nix] simplified CAISAR package variant · 9252cc06
  Julien Girard-Satabin authored 3 months ago
  
  9252cc06
Sep 11, 2024
- [ci] First draft for pyrat compiled in CI · 7b0dd4be
  Julien Girard-Satabin authored 6 months ago
  
  7b0dd4be
- [release] python provers recognized in devshell · 6ae0914b
  Julien Girard-Satabin authored 6 months ago
  
  6ae0914b
- [release] abcrown in CI · 4607bbe1
  Julien Girard-Satabin authored 6 months ago
  
  4607bbe1
- [release] nnenum in CI · 4743853f
  Julien Girard-Satabin authored 6 months ago
  
  4743853f
- [release] Marabou in CI · add671f1
  Julien Girard-Satabin authored 7 months ago
  
  add671f1
- [release] Added CVC5 and Alt-Ergo · 4ed2fcba
  Julien Girard-Satabin authored 7 months ago
  
  4ed2fcba
- [release] Saver support in CI · 4740349f
  Julien Girard-Satabin authored 7 months ago
  
  4740349f
- [ci] Added Z3 and CVC5 as dependencies in the CI · e361bf14
  Julien Girard-Satabin authored 6 months ago
  
  e361bf14
Aug 26, 2024
- Testing caisarpy imports in CI · 88429688
  Julien Girard-Satabin authored 6 months ago
  
  88429688
- [ci] Separated mainline tests from caisarpy tests · 61edcd5b
  Julien Girard-Satabin authored 6 months ago and Michele Alberti committed 6 months ago
  
  61edcd5b
- [ci] Added python binding testing in CI · 3f5cf6ad
  Julien Girard-Satabin authored 6 months ago and Michele Alberti committed 6 months ago
  
  3f5cf6ad
Jul 10, 2024
- [build] Updated nix flake locks for build · 84efc0bf
  Julien Girard-Satabin authored 8 months ago
  
  84efc0bf
Sep 21, 2023
- Use the lock file to specify the version of nixpkgs · 16153a0a
  François Bobot authored 1 year ago and Julien Girard-Satabin committed 1 year ago
  
  16153a0a
Sep 20, 2023
- [build] Updated Nixpkgs commit for better cache hits. · f554d924
  Julien Girard-Satabin authored 1 year ago
  
  f554d924
Sep 19, 2023
- [build] Using ocaml-protoc-plugin derivation in nixpkgs. · 7a820383
  Julien Girard-Satabin authored 1 year ago
  
  7a820383
- [build] Pin to a specific nixpkg commit and removed spurious directory. · d866ba61
  Julien Girard-Satabin authored 1 year ago
  
  d866ba61
- [build] Flake check now computes dune tests. · 250827dc
  Julien Girard-Satabin authored 1 year ago
  
  250827dc
- [build] Initial build support for Nix. · d2225731
  Julien Girard-Satabin authored 1 year ago
  
  d2225731