Merge branch 'feature/net_apply_transform' into 'master'
Transform for net_apply to be used with SMTLIB-compliant solvers See merge request laiser/caisar!21
Showing
- Makefile 1 addition, 1 deletionMakefile
- caisar-ir.opam 39 additions, 0 deletionscaisar-ir.opam
- caisar.opam 1 addition, 0 deletionscaisar.opam
- config/caisar-detection-data.conf 11 additions, 0 deletionsconfig/caisar-detection-data.conf
- config/drivers/cvc4_16.gen 67 additions, 0 deletionsconfig/drivers/cvc4_16.gen
- config/drivers/cvc4_bv.gen 41 additions, 0 deletionsconfig/drivers/cvc4_bv.gen
- config/drivers/cvc5.drv 22 additions, 0 deletionsconfig/drivers/cvc5.drv
- config/drivers/discrimination.gen 7 additions, 0 deletionsconfig/drivers/discrimination.gen
- config/drivers/smt-libv2-bv.gen 297 additions, 0 deletionsconfig/drivers/smt-libv2-bv.gen
- config/drivers/smt-libv2-floats.gen 170 additions, 0 deletionsconfig/drivers/smt-libv2-floats.gen
- config/drivers/smt-libv2.gen 196 additions, 0 deletionsconfig/drivers/smt-libv2.gen
- config/dune 9 additions, 1 deletionconfig/dune
- dune-project 15 additions, 0 deletionsdune-project
- lib/ir/dune 17 additions, 0 deletionslib/ir/dune
- lib/ir/nier_cfg.ml 481 additions, 0 deletionslib/ir/nier_cfg.ml
- lib/ir/nier_cfg.mli 268 additions, 0 deletionslib/ir/nier_cfg.mli
- lib/onnx/dune 1 addition, 1 deletionlib/onnx/dune
- lib/onnx/onnx.ml 440 additions, 1 deletionlib/onnx/onnx.ml
- lib/onnx/onnx.mli 6 additions, 2 deletionslib/onnx/onnx.mli
- src/dune 2 additions, 1 deletionsrc/dune
Loading
Please register or sign in to comment