Commits · e61d9385814374b855838b715297398f6ebd769b · pub / caisar · GitLab

Snippets Groups Projects

Jun 14, 2022
- Update README.md · e61d9385
  Michele Alberti authored 2 years ago
  
  e61d9385
Jun 08, 2022
- Add licence file and headers. · 1b322ebe
  Michele Alberti authored 2 years ago
  
  1b322ebe
- Remove old standalone version. · 7f3bc56b
  Michele Alberti authored 2 years ago
  
  7f3bc56b
Apr 14, 2022
- Merge branch 'fix/CI_4.13' into 'master' · 6c86b5fc
  Julien Girard-Satabin authored 2 years ago
  
  Forces CI to select correct opam cache. See merge request laiser/caisar!20
  6c86b5fc
- Forces CI to select correct opam cache. · ef8e1055
  Julien Girard-Satabin authored 2 years ago
  
  ef8e1055
- Merge branch 'saver' into 'master' · 3feb5e16
  Julien Girard-Satabin authored 2 years ago
  
  Support for SAVER SVM solver See merge request laiser/caisar!10
  3feb5e16
- [SAVer] Fixed ovo.opam · 827ca163
  Julien Girard-Satabin authored 2 years ago
  
  827ca163
- [SAVer] Removed unuseful IOShape in tests. · bf77cb9b
  Julien Girard-Satabin authored 2 years ago
  
  bf77cb9b
- [SAVer] Small change in SVM theory name. · 4710f0d5
  Julien Girard-Satabin authored 2 years ago
  
  4710f0d5
- [SAVer] Fixed tests. · d36d26a3
  Julien Girard-Satabin authored 2 years ago
  
  d36d26a3
- [SAVer] Option on dataset csv. · f33c170c
  Julien Girard-Satabin authored 2 years ago
  
  f33c170c
- [SAVer] Correct type for dataset csv file. · 8276b98c
  Julien Girard-Satabin authored 2 years ago
  
  8276b98c
- [SAVer] Lint wrt ocamlformat rules. · 5ead8dda
  Michele Alberti authored 2 years ago and Julien Girard-Satabin committed 2 years ago
  
  5ead8dda
- [SAVer] Simplified SAVer test. · 5100ed98
  Julien Girard-Satabin authored 2 years ago
  
  5100ed98
- [SAVer] Parameters of SAVer added in CAISAR command line. · f4cf3e03
  Julien Girard-Satabin authored 2 years ago
  
  f4cf3e03
- [SAVer] Wrote predicate definition and renames theories. · 30ab376b
  Julien Girard-Satabin authored 2 years ago
  
  30ab376b
- [SAVer] Modified comment. · 29d19a81
  Julien Girard-Satabin authored 2 years ago
  
  29d19a81
- [SAVer] Optional argument for dataset-csv. · f5793dfd
  Julien Girard-Satabin authored 2 years ago
  
  f5793dfd
- [SAVer] Renamed fail condition on OVO parser. · e9bae886
  Julien Girard-Satabin authored 2 years ago
  
  e9bae886
- [SAVer] Removed printer and simplified driver. · fa7682df
  Julien Girard-Satabin authored 2 years ago
  
  fa7682df
- [SAVer] Separated answer computation from answer printing. · 1cf513ad
  Julien Girard-Satabin authored 2 years ago
  
  1cf513ad
- [SAVer] Created a new table for SVM type and logical symbols. · 844b2017
  Julien Girard-Satabin authored 2 years ago
  
  844b2017
- [SAVer] Reworked tests. · cedb1b63
  Julien Girard-Satabin authored 2 years ago
  
  cedb1b63
- [SAVer] Added option for loading a CSV dataset for SAVer. · f7951355
  Julien Girard-Satabin authored 2 years ago
  
  f7951355
- [SAVer] Handling of a "robust_to" predicate for SAVer. · eed0c97f
  Julien Girard-Satabin authored 3 years ago
  
  eed0c97f
- [SAVer] Test for SVM parser. · c620b39f
  Julien Girard-Satabin authored 3 years ago
  
  c620b39f
- [SAVer] Added SVM-specific OVO format parser. · 2fc02270
  Julien Girard-Satabin authored 3 years ago
  
  2fc02270
- [SAVer] Update detect configuration and tests. · 63618e75
  Michele Alberti authored 3 years ago and Julien Girard-Satabin committed 2 years ago
  
  63618e75
- [SAVer] Driver and config ready · 1dac6d30
  Michele Alberti authored 3 years ago and Julien Girard-Satabin committed 2 years ago
  
  1dac6d30
- [SAVer] First draft for saver support · df30ac92
  Julien Girard-Satabin authored 3 years ago
  
  df30ac92
- Merge branch 'nn_theory_name_change' into 'master' · 62e3c765
  Julien Girard-Satabin authored 2 years ago
  
  Nn theory name change See merge request laiser/caisar!19
  62e3c765
- Changed shape name type. · 2036c55e
  Julien Girard-Satabin authored 2 years ago
  
  2036c55e
- Renamed IOShape as NN, taking into account different models support by CAISAR. · 1ca32b1c
  Julien Girard-Satabin authored 2 years ago
  
  1ca32b1c
- Merge branch 'master' of git.frama-c.com:laiser/caisar · e5f63651
  Julien Girard-Satabin authored 2 years ago
  
  e5f63651
Apr 13, 2022
- Merge branch 'feature/michele/file-conv' into 'master' · 8ab3ce86
  François Bobot authored 2 years ago
  
  Custom file parser and printer See merge request laiser/caisar!18
  8ab3ce86
Apr 12, 2022
- [cmdline] Use custom input file parser and printer in order to accept - for stdin. · ebec1d42
  Michele Alberti authored 2 years ago
  
  ebec1d42
- Fix doc for function verify. · 2caef49a
  Michele Alberti authored 2 years ago
  
  2caef49a
Apr 05, 2022
- [cmdline] Use enumeration of avaible provers. · d7e3ef6d
  Michele Alberti authored 2 years ago
  
  d7e3ef6d
- [dune] Bump dune version. · fffaf47f
  Michele Alberti authored 2 years ago
  
  fffaf47f
- Add proper type for provers. · e5286b02
  Michele Alberti authored 2 years ago
  
  - Cmdline check for prover existance and exit with error in case no such a prover exist. - User can now enter the name of a prover in a case-insensitive way.
  e5286b02