Merge branch 'fix/issue-18-61' into 'master'
Rework nn2smt transformation Closes #18 and #61 See merge request laiser/caisar!126
No related branches found
No related tags found
Showing
- lib/ir/dune 3 additions, 1 deletionlib/ir/dune
- lib/ir/nier_cfg.ml 18 additions, 0 deletionslib/ir/nier_cfg.ml
- lib/ir/nier_cfg.mli 7 additions, 0 deletionslib/ir/nier_cfg.mli
- lib/ir/nier_simple.ml 546 additions, 0 deletionslib/ir/nier_simple.ml
- lib/ir/nier_simple.mli 219 additions, 0 deletionslib/ir/nier_simple.mli
- lib/onnx/generate_onnx_interface.sh 1 addition, 1 deletionlib/onnx/generate_onnx_interface.sh
- lib/onnx/onnx.ml 65 additions, 16 deletionslib/onnx/onnx.ml
- lib/onnx/onnx.mli 2 additions, 0 deletionslib/onnx/onnx.mli
- lib/onnx/simple.ml 486 additions, 0 deletionslib/onnx/simple.ml
- lib/onnx/simple.mli 35 additions, 0 deletionslib/onnx/simple.mli
- lib/onnx/tests/dune 6 additions, 0 deletionslib/onnx/tests/dune
- lib/onnx/tests/print.expected 4 additions, 0 deletionslib/onnx/tests/print.expected
- lib/onnx/tests/print.ml 27 additions, 0 deletionslib/onnx/tests/print.ml
- src/language.ml 4 additions, 4 deletionssrc/language.ml
- src/language.mli 5 additions, 2 deletionssrc/language.mli
- src/proof_strategy.ml 2 additions, 2 deletionssrc/proof_strategy.ml
- src/transformations/nn2smt.ml 205 additions, 339 deletionssrc/transformations/nn2smt.ml
- src/transformations/relop.mli 3 additions, 0 deletionssrc/transformations/relop.mli
- src/verification.ml 1 addition, 1 deletionsrc/verification.ml
- tests/bin/inspect_onnx.py 11 additions, 5 deletionstests/bin/inspect_onnx.py
Loading
Please register or sign in to comment