Merge branch 'add_interpretation' into 'master'
Add interpretation See merge request laiser/caisar!69
No related branches found
No related tags found
Showing
- bin/dune 1 addition, 2 deletionsbin/dune
- lib/onnx/dune 4 additions, 1 deletionlib/onnx/dune
- src/interpretation.ml 128 additions, 0 deletionssrc/interpretation.ml
- src/interpretation.mli 30 additions, 0 deletionssrc/interpretation.mli
- src/main.ml 36 additions, 14 deletionssrc/main.ml
- src/reduction_engine.ml 1399 additions, 0 deletionssrc/reduction_engine.ml
- src/reduction_engine.mli 147 additions, 0 deletionssrc/reduction_engine.mli
- src/verification.ml 17 additions, 13 deletionssrc/verification.ml
- src/verification.mli 16 additions, 1 deletionsrc/verification.mli
- stdlib/caisar.mlw 15 additions, 0 deletionsstdlib/caisar.mlw
- tests/datasets/a/a001.png 0 additions, 0 deletionstests/datasets/a/a001.png
- tests/datasets/a/a002.png 0 additions, 0 deletionstests/datasets/a/a002.png
- tests/dune 2 additions, 1 deletiontests/dune
- tests/interpretation.t 43 additions, 0 deletionstests/interpretation.t
Loading
Please register or sign in to comment