Commits · 018f47795dbefa2ac262297879bbb324194273f7 · pub / caisar

Sep 22, 2023
- [tests] Rename script to setup the testing env. · 018f4779
  Michele Alberti authored 1 year ago
  
  018f4779
- [autodetect] Rename env variable for autodetection binaries. · fbb17fd7
  François Bobot authored 1 year ago and Michele Alberti committed 1 year ago
  
  fbb17fd7
- [tests] Factorize the environment setup for the stub solvers. · 0c2db9e7
  François Bobot authored 1 year ago and Michele Alberti committed 1 year ago
  
  0c2db9e7
- [autodetect] Detect binaries only in tests/bin path. · 49d6b208
  François Bobot authored 1 year ago and Michele Alberti committed 1 year ago
  
  49d6b208
Sep 21, 2023
- Merge branch 'build/nixpkgs-in-lock-file' into 'master' · 8bdcca0a
  Julien Girard-Satabin authored 1 year ago
  
  Use the lock file to specify the version of nixpkgs See merge request laiser/caisar!100
  8bdcca0a
- 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
- Merge branch 'build/nix-fix-build-development-mode' into 'master' · 11eee752
  Julien Girard-Satabin authored 1 year ago
  
  [Nix] check the development mode (deprecated warnings) See merge request laiser/caisar!101
  11eee752
- [ci] Added default values for CI. · d4e8bb3a
  Julien Girard-Satabin authored 1 year ago
  
  d4e8bb3a
- [Nix] typo in tests directory name · aa5bbbf5
  François Bobot authored 1 year ago and Julien Girard-Satabin committed 1 year ago
  
  aa5bbbf5
- [Tests] /usr/bin/bash is not present in pure nix · f41a86bd
  François Bobot authored 1 year ago and Julien Girard-Satabin committed 1 year ago
  
  f41a86bd
- [Deps] Base deprecates `Caml.` in favor of `Stdlib.` · 7137fded
  François Bobot authored 1 year ago and Julien Girard-Satabin committed 1 year ago
  
  7137fded
- [Nix] check the development mode (deprecated warnings) · c92c35fc
  François Bobot authored 1 year ago and Julien Girard-Satabin committed 1 year ago
  
  c92c35fc
Sep 20, 2023
- Merge branch 'build/nix' into 'master' · f085f2f2
  Julien Girard-Satabin authored 1 year ago
  
  Nix support Closes #30 See merge request laiser/caisar!82
  f085f2f2
- [ci] Added back full docker rebuild. · c5de1f5c
  Julien Girard-Satabin authored 1 year ago
  
  c5de1f5c
- [build] Updated Nixpkgs commit for better cache hits. · f554d924
  Julien Girard-Satabin authored 1 year ago
  
  f554d924
Sep 19, 2023
- [doc] Documented Nix build. · 834cffac
  Julien Girard-Satabin authored 1 year ago
  
  834cffac
- [build] HTML and LaTeX documentation generation with flake. · fa4ea782
  Julien Girard-Satabin authored 1 year ago
  
  fa4ea782
- [build] Actual dependencies of CAISAR in nix develop command. · 7701c87a
  Julien Girard-Satabin authored 1 year ago
  
  7701c87a
- [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
- Merge branch 'stable/0.2.1' into 'master' · c0648aa9
  Julien Girard-Satabin authored 1 year ago
  
  [release] Release 0.2.1 See merge request laiser/caisar!99
  c0648aa9
- [release] Release 0.2.1 · 3ab3dd29
  Julien Girard-Satabin authored 1 year ago
  
  3ab3dd29
- Merge branch 'release/julien/simplify-packaging' into 'master' · 6f990158
  Julien Girard-Satabin authored 1 year ago
  
  Simplified packaging Closes #41 See merge request laiser/caisar!98
  6f990158
Jul 24, 2023
- [opam] Simplified opam packaging. · ad9116a3
  Julien Girard-Satabin authored 1 year ago and Michele Alberti committed 1 year ago
  
  Just provide a single opam package for CAISAR.
  ad9116a3
Jul 07, 2023
- Merge branch 'release/julien/ab-crown-docker' into 'master' · 3bf4c211
  Michele Alberti authored 1 year ago
  
  Adding alpha-beta-crown and fixing bugs in Docker Closes #42 See merge request laiser/caisar!97
  3bf4c211
- [docker] Updated correct docker image SHA256. · 8db641a5
  Julien Girard-Satabin authored 1 year ago and Michele Alberti committed 1 year ago
  
  8db641a5
Jul 06, 2023
- [docker] Removed conda dependency by fixing ubuntu version · 1e659be0
  Julien Girard-Satabin authored 1 year ago
  
  1e659be0
- [docker] Fixed borked PyRAT binary · b674a397
  Julien Girard-Satabin authored 1 year ago
  
  b674a397
- [docker] Working docker with abcrown · 08016b8a
  Julien Girard-Satabin authored 1 year ago
  
  08016b8a
Jul 04, 2023
- Merge branch 'set_constant' into 'master' · 2bccf2b3
  Michele Alberti authored 1 year ago
  
  Add option `--define` (short `--def`) See merge request laiser/caisar!90
  2bccf2b3
- Add option `--define` (short `--def`) · 847ae246
  Michele Alberti authored 1 year ago
  
  847ae246
Jul 03, 2023
- Merge branch 'doc/julien/acas-xu-clarifications' into 'master' · 768912a0
  Julien Girard-Satabin authored 1 year ago
  
  Small documentation clarifications See merge request laiser/caisar!96
  768912a0
Jun 30, 2023
- [doc] Removed spurious Reference section · ba4419b7
  Julien Girard-Satabin authored 1 year ago
  
  ba4419b7
- [examples] Uniformize the acas-xu examples a little more. · 2fdb9fa4
  Michele Alberti authored 1 year ago and Julien Girard-Satabin committed 1 year ago
  
  2fdb9fa4
- [doc] Some proofreading. · d74580e8
  Michele Alberti authored 1 year ago and Julien Girard-Satabin committed 1 year ago
  
  d74580e8
- [doc] Updated acas phi3 property · 38f717b7
  Julien Girard-Satabin authored 1 year ago
  
  38f717b7
- [doc] Clarified steps to add more provers · 7a653649
  Julien Girard-Satabin authored 1 year ago
  
  7a653649
- [doc] Added WSL links · 0d3e2196
  Julien Girard-Satabin authored 1 year ago
  
  0d3e2196