Commits · 76414c69a7f37c3ec6ca18d73a09d205a29d8261 · pub / caisar · GitLab

Snippets Groups Projects

Jul 12, 2024
- Merge branch 'test/jgirardsatabin/test-libs' into 'master' · 76414c69
  Julien Girard-Satabin authored 8 months ago
  
  Rework test target See merge request laiser/caisar!147
  76414c69
- [test][ci] ci test target explicitly targets files · 0c33fe67
  Julien Girard-Satabin authored 8 months ago
  
  0c33fe67
- [test][ci] simplify test structure · 576f540a
  Julien Girard-Satabin authored 8 months ago
  
  576f540a
- [ci][test] relax constraints on location of python3 interpreter on test · 2ededcc9
  Julien Girard-Satabin authored 8 months ago
  
  2ededcc9
- [ci] Add target for testing non-regression in libraries · 656b7cd0
  Julien Girard-Satabin authored 8 months ago
  
  656b7cd0
- Merge branch 'dev/jgirardsatabin/depenencies-updates' into 'master' · fa772170
  Julien Girard-Satabin authored 8 months ago
  
  Dependencies updates Closes #72 See merge request laiser/caisar!143
  fa772170
- minor formatting and simplifications · 951c9866
  Julien Girard-Satabin authored 8 months ago
  
  951c9866
- [build][ci] Relaxed constraint on Base, and added new CI targets for ocaml 5. · 428b5996
  Julien Girard-Satabin authored 8 months ago
  
  428b5996
- [test] Updated AIMOS and SAVER prover answer to match Why3 1.7 prover output · 85496e45
  Julien Girard-Satabin authored 8 months ago
  
  85496e45
Jul 10, 2024
- [test] Updated CVC5 tests · 44d5edd7
  Julien Girard-Satabin authored 8 months ago
  
  44d5edd7
- [build] Updated nix flake locks for build · 84efc0bf
  Julien Girard-Satabin authored 8 months ago
  
  84efc0bf
- [deps] Updated deps · fb0f8d46
  Julien Girard-Satabin authored 8 months ago
  
  fb0f8d46
Jul 04, 2024
- Merge branch 'doc/jgirardsatabin/devenv' into 'master' · fdfe13b7
  Julien Girard-Satabin authored 8 months ago
  
  Clarify documentation of dev environment Closes #71 See merge request laiser/caisar!144
  fdfe13b7
- [doc] Removed unecessary dependency · dbc25d47
  Julien Girard-Satabin authored 8 months ago
  
  dbc25d47
Jun 28, 2024
- [doc] Specified test-only dependencies · f66534d9
  Julien Girard-Satabin authored 8 months ago
  
  f66534d9
- [doc] Clarify setting up the development environment · eabce6d4
  Julien Girard-Satabin authored 8 months ago
  
  eabce6d4
Jun 21, 2024
- [release] Disable some tests when no python3 is available · 5f1174cb
  Julien Girard-Satabin authored 9 months ago
  
  2.0
  
  5f1174cb
- [release] Accepts forcing the installation of onnx system-wide · d09b1710
  Julien Girard-Satabin authored 9 months ago
  
  d09b1710
Jun 20, 2024
- [release] Prefer vendoring local pip installation · 26ea8320
  Julien Girard-Satabin authored 9 months ago
  
  26ea8320
- [release][deps] Fix upper bound for base to match opam CI requirements · faa95cc7
  Julien Girard-Satabin authored 9 months ago
  
  faa95cc7
- [release][wip] Custom action to ensure python3 onnx package is available for tests · bcd7bae9
  Julien Girard-Satabin authored 9 months ago
  
  bcd7bae9
- [release] Upgrade CAISAR version number and added test dependencies · 5765b809
  Julien Girard-Satabin authored 9 months ago
  
  5765b809
Jun 19, 2024
- Merge branch 'stable/2.0' into 'master' · 254dbc48
  Julien Girard-Satabin authored 9 months ago
  
  Release 2.0 See merge request laiser/caisar!142
  254dbc48
- [ci] Update version in nix flake · 42879232
  Julien Girard-Satabin authored 9 months ago
  
  42879232
- [ci] Typo in CI · df12d823
  Julien Girard-Satabin authored 9 months ago
  
  df12d823
- [ci] Upgraded OPAM image in CI to match Dockerfile generation · d863aedc
  Julien Girard-Satabin authored 9 months ago
  
  d863aedc
- [release] Added Maraboupy in the docker image · 5a7f5e88
  Julien Girard-Satabin authored 9 months ago
  
  5a7f5e88
- [ci] Update full rebuild target for CI · 23c5b3cb
  Julien Girard-Satabin authored 9 months ago
  
  23c5b3cb
- [release] Update changelog · 943274c3
  Julien Girard-Satabin authored 9 months ago
  
  943274c3
- [doc] Updated doc to match 2.0 release · 080307b1
  Julien Girard-Satabin authored 9 months ago
  
  080307b1
Jun 11, 2024
- Merge branch 'feature/varasse/aimos-update' into 'master' · ed5a3aac
  Aymeric Varasse authored 9 months ago
  
  Update AIMOS configuration to fit new behavior See merge request laiser/caisar!141
  ed5a3aac
- [aimos] Update configuration to fit new behavior · 40e40c30
  Aymeric Varasse authored 9 months ago
  
  40e40c30
- Merge branch 'fix/michele/abcrown-config' into 'master' · f7c42f2d
  Aymeric Varasse authored 9 months ago
  
  Update alpha-beta-CROWN config for ACASXu as done in upstream See merge request laiser/caisar!131
  f7c42f2d
- [config] Update abCROWN ACASXu config as upstream. · ad0226bc
  Michele Alberti authored 11 months ago and Aymeric Varasse committed 9 months ago
  
  ad0226bc
- Merge branch 'feature/michele/maraboupy' into 'master' · c1801de3
  Aymeric Varasse authored 9 months ago
  
  Improve integration of maraboupy (Python interface to Marabou) See merge request laiser/caisar!137
  c1801de3
- [prover] Minor fixes and formatting for runMarabou · 99e351a6
  Aymeric Varasse authored 9 months ago
  
  99e351a6
- [prover] Prefer using maraboupy as the official name of the package. · 7dc9e16b
  Michele Alberti authored 9 months ago and Aymeric Varasse committed 9 months ago
  
  7dc9e16b
- [prover] Ensure maraboupy and Marabou binary have the same version. · 7780a7de
  Michele Alberti authored 9 months ago and Aymeric Varasse committed 9 months ago
  
  It may not be the case if the user has in the PATH a local version of Marabou.
  7780a7de
- [prover] Complete the integration of maraboupy. · 118fbbae
  Michele Alberti authored 9 months ago and Aymeric Varasse committed 9 months ago
  
  Add also a test for it (copy the one for Marabou).
  118fbbae
- [prover] Rework integration for Marabou via python interface. · 220cded4
  Michele Alberti authored 9 months ago and Aymeric Varasse committed 9 months ago
  
  220cded4