Commits · 93de902fd1a007ee1b8c3261d0d1ff445908878f · pub / caisar

Dec 09, 2021
- Fix tests after merge of ONNX parser. · 93de902f
  Michele Alberti authored 3 years ago
  
  93de902f
- Merge branch 'onnx_parser' into 'feature/why3' · 39291caf
  Julien Girard-Satabin authored 3 years ago
  
  Onnx parser See merge request laiser/caisar!8
  39291caf
- Just a renaming as indeed we are dealing with a model. · 07df3fc5
  Michele Alberti authored 3 years ago
  
  07df3fc5
- Fix comment syntax. · b5fbc9da
  Michele Alberti authored 3 years ago
  
  b5fbc9da
- Harmonized with nnet interface · 764ea561
  Julien Girard-Satabin authored 3 years ago
  
  764ea561
- Converted code to ocaml-protoc-plugin · 287a6972
  Julien Girard-Satabin authored 3 years ago
  
  287a6972
Dec 07, 2021
- Treat disjunction for marabout · 09f3df5c
  François Bobot authored 3 years ago
  
  - All the case are run (i.e don't stop at first true disjunction)
  09f3df5c
- Remove prover output from caisar output · 4d8ab09b
  François Bobot authored 3 years ago
  
  4d8ab09b
Nov 26, 2021
- Rebased feature/why3 · e5429e65
  Julien Girard-Satabin authored 3 years ago
  
  e5429e65
- Simplified languages registration · d752c75e
  Julien Girard-Satabin authored 3 years ago
  
  d752c75e
Nov 23, 2021
- [Marabou] Add test stub. · 087329e0
  Michele Alberti authored 3 years ago
  
  087329e0
- [Marabou] Just a little rework. · d8218ba6
  Michele Alberti authored 3 years ago
  
  d8218ba6
- [Marabou] Introduce the used symbol in the initial task · 34ef7745
  François Bobot authored 3 years ago
  
  34ef7745
Nov 22, 2021
- WIP: Printer for marabou. · ffaac063
  Michele Alberti authored 3 years ago
  
  ffaac063
- Do not print the amount of time for proving. · 4cc25799
  Michele Alberti authored 3 years ago
  
  4cc25799
- Some renaming and restructure in directories. · 35b36c62
  Michele Alberti authored 3 years ago
  
  35b36c62
Nov 10, 2021
- [verification] Print goal name. · 5ea2c14f
  Michele Alberti authored 3 years ago
  
  5ea2c14f
- [config] Do not execute alt-ergo-2.4.0. · a53952d9
  Michele Alberti authored 3 years ago
  
  a53952d9
Nov 09, 2021
- Add mli files for autodetection and verification. · fd15af2e
  Michele Alberti authored 3 years ago
  
  fd15af2e
- Add memlimit option to verification. · d4f02558
  Michele Alberti authored 3 years ago
  
  d4f02558
- Remove useless rules in pyrat's driver. · 5b949a3f
  Michele Alberti authored 3 years ago
  
  5b949a3f
- Rework result rules in pyrat's driver. · f9da1d60
  Michele Alberti authored 3 years ago
  
  f9da1d60
Nov 08, 2021
- Push memory limit to 4GB by default. · 427a1c78
  Michele Alberti authored 3 years ago
  
  427a1c78
- Update detection data and driver for pyrat. · 6594a120
  Michele Alberti authored 3 years ago
  
  6594a120
Oct 25, 2021
- Little rework. · 8f5eb79e
  Michele Alberti authored 3 years ago
  
  8f5eb79e
Oct 14, 2021
- Fix PyRat output detection · 9d53cf6e
  François Bobot authored 3 years ago
  
  9d53cf6e
- Add call to provers · 767b7808
  François Bobot authored 3 years ago
  
  767b7808
Oct 06, 2021
- Added automated interface generation rule · 75ca6251
  Julien Girard-Satabin authored 3 years ago
  
  75ca6251
Oct 05, 2021
- Add simple test for testing (first step of) onnx parsing. · 891e1cd1
  Michele Alberti authored 3 years ago
  
  891e1cd1
- Able to parse inputs and outputs shape for ONNX · 6dbda66b
  Julien Girard-Satabin authored 3 years ago and Michele Alberti committed 3 years ago
  
  6dbda66b
- deps fixes · 73f663dc
  Julien Girard-Satabin authored 3 years ago and Michele Alberti committed 3 years ago
  
  73f663dc
- Added basic support for onnx protobuf type · 0df58cca
  Julien Girard-Satabin authored 3 years ago and Michele Alberti committed 3 years ago
  
  0df58cca
- ONNX protobuf interface and dependencies · 4c8618ab
  Julien Girard-Satabin authored 3 years ago and Michele Alberti committed 3 years ago
  
  4c8618ab
- Rework pyrat printer once again. · 516716e1
  Michele Alberti authored 3 years ago
  
  516716e1
- Rework pyrat printer. · 5b0df174
  Michele Alberti authored 3 years ago
  
  5b0df174
Oct 04, 2021
- [Pyrat] printer that is able to print the simple example · 3162e9a3
  François Bobot authored 3 years ago
  
  3162e9a3
Oct 01, 2021
- Some comments. · 3abe1060
  Michele Alberti authored 3 years ago
  
  3abe1060
- Some more style reworking. · 5b68d2eb
  Michele Alberti authored 3 years ago
  
  5b68d2eb
Sep 29, 2021
- opam depext since no opam 2.1 yet on debian · 93d67b2a
  Julien Girard-Satabin authored 3 years ago and Michele Alberti committed 3 years ago
  
  93d67b2a
- cleaned and simplified CI · 2a554fc3
  Julien Girard-Satabin authored 3 years ago and Michele Alberti committed 3 years ago
  
  2a554fc3