Commits · bf77cb9bcdbd2378fabda6aca6aa879f0fca99c4 · pub / caisar · GitLab

Snippets Groups Projects

Apr 14, 2022
- [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
- Cleaner version of exception global matching/handling. · bff6fbb0
  Michele Alberti authored 2 years ago
  
  bff6fbb0
- Merge branch 'master' of git.frama-c.com:laiser/caisar · 4bea7636
  Julien Girard-Satabin authored 2 years ago
  
  4bea7636
- Merge branch 'catch_why3_error' into 'master' · 1f6d08f2
  Julien Girard-Satabin authored 2 years ago
  
  Print backtrace only in debug mode See merge request laiser/caisar!17
  1f6d08f2
- Merge branch 'master' of git.frama-c.com:laiser/caisar · bc88da1d
  Julien Girard-Satabin authored 2 years ago
  
  bc88da1d
- Print backtrace only in debug mode · 6cb69105
  François Bobot authored 2 years ago
  
  6cb69105
Apr 04, 2022
- Merge branch 'feature/michele/why3-global-lib' into 'master' · 950c0899
  Michele Alberti authored 2 years ago
  
  Consider Why3 a foundamental, globally opened, library. See merge request laiser/caisar!16
  950c0899
Apr 01, 2022
- Consider Why3 a foundamental, globally opened, library. · 1479ed2d
  Michele Alberti authored 2 years ago
  
  1479ed2d