Commits · 8c2c18faf17beb3ae11cf09e1b24d99ec1c63a68 · pub / caisar · GitLab

Snippets Groups Projects

Jan 27, 2024
- [doc] Two small inconsistencies in doc. · 8c2c18fa
  Julien Girard-Satabin authored 1 year ago and Michele Alberti committed 1 year ago
  
  8c2c18fa
Dec 20, 2023
- [doc] Fix value of eps in MNIST property. · 8d569a27
  Michele Alberti authored 1 year ago
  
  8d569a27
Dec 12, 2023
- [release] Update version number and update headers · 7e685e9f
  Aymeric Varasse authored 1 year ago
  
  7e685e9f
Dec 04, 2023
- [examples] Use original eps value for MNIST robustness. · 67f51fa6
  Michele Alberti authored 1 year ago and Julien Girard-Satabin committed 1 year ago
  
  67f51fa6
- [doc] MNIST example is actually working now · 324eddc1
  Julien Girard-Satabin authored 1 year ago
  
  324eddc1
- [doc] Spurious TODO removal · 27304bba
  Julien Girard-Satabin authored 1 year ago
  
  27304bba
- [doc] Typos and grammar checks suggested by Michele. · 5e6f5f39
  Michele Alberti authored 1 year ago and Julien Girard-Satabin committed 1 year ago
  
  5e6f5f39
- [doc] Fixed supported solver links, added VNN-LIB warning and added cmdline options. · f8aaf917
  Julien Girard-Satabin authored 1 year ago
  
  f8aaf917
- [doc] Documented command line options. · b7dfd40b
  Julien Girard-Satabin authored 1 year ago
  
  b7dfd40b
- [doc] Changed MNIST example to use interpretation. · fd4fd5b4
  Julien Girard-Satabin authored 1 year ago
  
  fd4fd5b4
- [doc] Documented builtins. · 33ab3281
  Julien Girard-Satabin authored 1 year ago
  
  33ab3281
- [doc] Structure for interpretation reference · 94be155e
  Julien Girard-Satabin authored 1 year ago
  
  94be155e
- [doc] Added dedicated page to supported provers · 1c9340c2
  Julien Girard-Satabin authored 1 year ago
  
  1c9340c2
- [doc] Added reference for CAISAR modelling language · ae457cae
  Julien Girard-Satabin authored 1 year ago
  
  ae457cae
- [doc] Added basic contribution guide · ebc43df0
  Julien Girard-Satabin authored 1 year ago
  
  ebc43df0
- [doc] Added basic indexes in doc · 6288f0a3
  Julien Girard-Satabin authored 1 year ago
  
  6288f0a3
- [doc] Initial commit for documentation revamp with interpretation · 7207aa24
  Julien Girard-Satabin authored 1 year ago
  
  7207aa24
Oct 16, 2023
- [doc] Sans serif font for html documentation. · 00faf3e9
  Julien Girard-Satabin authored 1 year ago
  
  00faf3e9
- Added link to CAISAR website in documentation. · 78f3b640
  Julien Girard-Satabin authored 1 year ago
  
  78f3b640
Sep 19, 2023
- [doc] Documented Nix build. · 834cffac
  Julien Girard-Satabin authored 1 year ago
  
  834cffac
Jun 30, 2023
- [doc] Removed spurious Reference section · ba4419b7
  Julien Girard-Satabin authored 1 year ago
  
  ba4419b7
- [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
- [doc] Contextualized warning in ACAS-Xu · 3930ee80
  Julien Girard-Satabin authored 1 year ago
  
  3930ee80
- [doc] Rephrased the local robustness property, removing ambiguity on the word expected · b4d1b099
  Julien Girard-Satabin authored 1 year ago
  
  b4d1b099
- [doc] Added alert on normalization for ACAS-Xu · 1f7b47eb
  Julien Girard-Satabin authored 1 year ago
  
  1f7b47eb
- [doc] Clarified ieee 754 floating point requirement in spec · ed2fe1ee
  Julien Girard-Satabin authored 1 year ago
  
  ed2fe1ee
- [doc] Clarified support for windows · ee8b2fc4
  Julien Girard-Satabin authored 1 year ago
  
  ee8b2fc4
- [doc] Clarified acas-xu examples · 4da75ba8
  Julien Girard-Satabin authored 1 year ago
  
  4da75ba8
Jun 20, 2023
- [doc] Remove unnecessary command-line options in example commands. · 108933bc
  Michele Alberti authored 1 year ago
  
  108933bc
Jun 19, 2023
- [doc] Update date for version in the manual. · 9ff880fa
  Julien Girard-Satabin authored 1 year ago
  
  9ff880fa
- [doc] Rephrased ACAS-Xu examples in doc for interpretation engine, remove unused bool in examples. · 8bb51669
  Julien Girard-Satabin authored 1 year ago
  
  8bb51669
- [doc] Mention python3 as a requirement for CAISAR to work properly. · 83528c8a
  Julien Girard-Satabin authored 1 year ago
  
  83528c8a
- [doc] Update CAISAR version in doc · 3c1b0b7d
  Julien Girard-Satabin authored 1 year ago
  
  3c1b0b7d
Jun 15, 2023
- [doc] Add new logging tag in manual. · 1c4515ed
  Michele Alberti authored 1 year ago
  
  1c4515ed
Jun 12, 2023
- [log] Rework logging API and tag names. Also update the doc. · 2e3169a2
  Michele Alberti authored 1 year ago
  
  2e3169a2
- [doc] Some rework, also use TAG in option documentation. · 24720245
  Michele Alberti authored 1 year ago
  
  24720245
- [doc] More details on how to use log tags in CAISAR · 5d479815
  Julien Girard-Satabin authored 1 year ago and Michele Alberti committed 1 year ago
  
  5d479815