Commits · master · pub / caisar · GitLab

Snippets Groups Projects

Mar 11, 2025
- Update doc year · fb4118ae
  Julien Girard-Satabin authored 3 days ago
  
  fb4118ae
- Merge branch 'doc/jgirard/fight-doc-bitrot' into 'master' · 5a80a5b0
  Julien Girard-Satabin authored 3 days ago
  
  [doc] Fix dead links and typos See merge request laiser/caisar!165
  5a80a5b0
- [doc] Fix dead links and typos · 3389d443
  Julien Girard-Satabin authored 3 days ago
  
  3389d443
Mar 03, 2025
- [dataset] Complete cleanup of no more useful code. · db9d9943
  Michele Alberti authored 1 week ago
  
  db9d9943
Feb 28, 2025
- Merge branch 'dev/jgirardsatabin/prune-stdlib' into 'master' · a58960c6
  Julien Girard-Satabin authored 2 weeks ago
  
  Remove old language support for SVMs See merge request laiser/caisar!146
  a58960c6
- [refactoring] Remove dataset predicates for all provers, except AIMOS · 9fcf48c7
  Julien Girard-Satabin authored 2 weeks ago
  
  9fcf48c7
- [refactoring] Remove the possibility to call SAVER on dataset predicates · ef54ea3c
  Julien Girard-Satabin authored 2 weeks ago
  
  ef54ea3c
- [logging] Updated logging in Dataset interpretation · 1de7f701
  Julien Girard-Satabin authored 8 months ago and Julien Girard-Satabin committed 2 weeks ago
  
  1de7f701
- [cmdline] Marked dataset option as deprecated · bd58f965
  Julien Girard-Satabin authored 8 months ago and Julien Girard-Satabin committed 2 weeks ago
  
  bd58f965
- [tests] Started converting SVM tests to full interpreted language · e379d669
  Julien Girard-Satabin authored 8 months ago and Julien Girard-Satabin committed 2 weeks ago
  
  e379d669
- [test] Updated AIMOS prover answer to match Why3 1.7 prover output · ea5d2b08
  Julien Girard-Satabin authored 8 months ago and Julien Girard-Satabin committed 2 weeks ago
  
  ea5d2b08
Feb 27, 2025
- Merge branch 'dev/julien/extend-json' into 'master' · 3d5c04b2
  Julien Girard-Satabin authored 2 weeks ago
  
  Refactoring of verification module to support JSON serialization See merge request laiser/caisar!159
  3d5c04b2
- Rework answer API. · e6323e2e
  Michele Alberti authored 2 weeks ago
  
  e6323e2e
- Linting and headers · df6536db
  Julien Girard-Satabin authored 2 weeks ago
  
  df6536db
- Added id connection between query and answer · fcea2ca8
  Julien Girard-Satabin authored 2 weeks ago
  
  fcea2ca8
Feb 26, 2025
- Rework some user error messages. · f57b35e8
  Michele Alberti authored 2 weeks ago
  
  f57b35e8
- [tests] Remove useless field in verify_json test. · e9e4bb83
  Michele Alberti authored 2 weeks ago
  
  e9e4bb83
- Rework query API. · 552e56a0
  Michele Alberti authored 2 weeks ago
  
  552e56a0
- [verification] Some simplification. · cc169034
  Michele Alberti authored 2 weeks ago
  
  cc169034
- Rework problem API. · b5e4b75d
  Michele Alberti authored 2 weeks ago
  
  b5e4b75d
Feb 25, 2025
- Rework user error concerning output file. · 9b172733
  Michele Alberti authored 2 weeks ago
  
  9b172733
- Do not fail on lack of output file. · 05f4f634
  Julien Girard-Satabin authored 2 weeks ago
  
  05f4f634
Feb 24, 2025
- [lint] appease the ocamlformat god · edd78bdc
  Julien Girard-Satabin authored 2 weeks ago
  
  edd78bdc
- [nix] tests shenanigans · 27b0aac6
  Julien Girard-Satabin authored 2 weeks ago
  
  27b0aac6
- [tests] Modified JSON test to handle the new API · 211510b0
  Julien Girard-Satabin authored 1 month ago
  
  211510b0
- [warn] Remove unused open · c06c46e9
  Julien Girard-Satabin authored 2 weeks ago
  
  c06c46e9
- [examples] Fix typo in example · 74995981
  Julien Girard-Satabin authored 2 weeks ago
  
  74995981
- [tests] Remove legacy test for saver · 4df0ec9f
  Julien Girard-Satabin authored 2 weeks ago
  
  4df0ec9f
- Correct typos · 6e49aeb2
  Julien Girard-Satabin authored 2 weeks ago
  
  Co-authored-by: Michele Alberti <michele.alberti@cea.fr>
  6e49aeb2
- [main] Refine docv to follow description more. · b9af2841
  Michele Alberti authored 3 weeks ago and Julien Girard-Satabin committed 2 weeks ago
  
  b9af2841
- [json] Remove JSON module altogether · e47b25ec
  Julien Girard-Satabin authored 2 weeks ago
  
  e47b25ec
- [doc] Warn users that dataset is deprecated · bccffcc0
  Julien Girard-Satabin authored 3 months ago
  
  bccffcc0
- [json] Refactor CAISAR verification module for JSON serialization · 9373cbe8
  Julien Girard-Satabin authored 3 months ago
  
  9373cbe8
Feb 04, 2025
- [ci] Update known_hosts. · b5551b6b
  Michele Alberti authored 1 month ago
  
  b5551b6b
Jan 31, 2025
- [doc] updated version · 34513b21
  Julien Girard-Satabin authored 1 month ago
  
  34513b21
Jan 10, 2025
- Merge branch 'stable/3.0' into 'master' · bd863ad1
  Julien Girard-Satabin authored 2 months ago
  
  [release] Prepare for release 3.0 See merge request laiser/caisar!162
  3.0
  
  bd863ad1
- [release] Update CHANGES.md · 48d748ab
  Julien Girard-Satabin authored 2 months ago
  
  48d748ab
- [release] Update version · ef6a9dc6
  Julien Girard-Satabin authored 2 months ago
  
  ef6a9dc6
- [deps] Fix Why3 max version · 3ed04f27
  Julien Girard-Satabin authored 2 months ago
  
  3ed04f27
- [doc]Update installation instructions for Nix · f2029ea5
  Julien Girard-Satabin authored 2 months ago
  
  f2029ea5