Merge branch 'feature/native_nn_prover_on_vectors' into 'master'
Recover changes in native_nn_prover from varasse experiments. See merge request laiser/caisar!140
No related branches found
No related tags found
Showing
- examples/acasxu/acasxu.why 2 additions, 2 deletionsexamples/acasxu/acasxu.why
- examples/mnist/mnist.why 1 addition, 1 deletionexamples/mnist/mnist.why
- lib/onnx/tests/dune 1 addition, 1 deletionlib/onnx/tests/dune
- lib/onnx/tests/print.ml 3 additions, 3 deletionslib/onnx/tests/print.ml
- src/interpretation/interpreter_theory.ml 94 additions, 149 deletionssrc/interpretation/interpreter_theory.ml
- src/interpretation/interpreter_types.ml 8 additions, 0 deletionssrc/interpretation/interpreter_types.ml
- src/interpretation/interpreter_types.mli 2 additions, 0 deletionssrc/interpretation/interpreter_types.mli
- src/language.ml 2 additions, 10 deletionssrc/language.ml
- src/transformations/native_nn_prover.ml 157 additions, 243 deletionssrc/transformations/native_nn_prover.ml
- src/transformations/symbols.ml 0 additions, 13 deletionssrc/transformations/symbols.ml
- src/transformations/symbols.mli 0 additions, 6 deletionssrc/transformations/symbols.mli
- src/transformations/utils.ml 10 additions, 12 deletionssrc/transformations/utils.ml
- stdlib/caisar/model.mlw 8 additions, 25 deletionsstdlib/caisar/model.mlw
- stdlib/caisar/robust.mlw 3 additions, 3 deletionsstdlib/caisar/robust.mlw
- tests/acasxu.t 33 additions, 43 deletionstests/acasxu.t
- tests/acasxu_ci.t 15 additions, 15 deletionstests/acasxu_ci.t
- tests/cvc5.t 66 additions, 175 deletionstests/cvc5.t
- tests/dataset.t 1 addition, 1 deletiontests/dataset.t
- tests/goal.t 4 additions, 4 deletionstests/goal.t
- tests/interpretation_fail.t 21 additions, 22 deletionstests/interpretation_fail.t
Loading
Please register or sign in to comment