Converted code to ocaml-protoc-plugin
Showing
- Makefile 1 addition, 1 deletionMakefile
- caisar.opam 2 additions, 2 deletionscaisar.opam
- dune-project 2 additions, 1 deletiondune-project
- lib/onnx/dune 3 additions, 3 deletionslib/onnx/dune
- lib/onnx/generate_onnx_interface.sh 2 additions, 6 deletionslib/onnx/generate_onnx_interface.sh
- lib/onnx/onnx.ml 42 additions, 6 deletionslib/onnx/onnx.ml
- lib/onnx/onnx.mli 7 additions, 2 deletionslib/onnx/onnx.mli
- lib/onnx/onnx.proto.piqi 0 additions, 942 deletionslib/onnx/onnx.proto.piqi
- lib/onnx/onnx_piqi.ml 0 additions, 1320 deletionslib/onnx/onnx_piqi.ml
- lib/onnx/onnx_piqi.mli 0 additions, 718 deletionslib/onnx/onnx_piqi.mli
- lib/onnx/onnx_protoc.proto 0 additions, 0 deletionslib/onnx/onnx_protoc.proto
- onnx.opam 1 addition, 0 deletionsonnx.opam
- src/language.ml 11 additions, 51 deletionssrc/language.ml
- src/transformations/native_nn_prover.ml 3 additions, 2 deletionssrc/transformations/native_nn_prover.ml
- tests/dune 1 addition, 0 deletionstests/dune
- tests/marabout.t 2 additions, 2 deletionstests/marabout.t
- tests/simple.t 3 additions, 3 deletionstests/simple.t
- tests/simple_onnx.t 13 additions, 23 deletionstests/simple_onnx.t
Loading
Please register or sign in to comment