[Ir] add smart constructors and use them
Showing
- lib/ir/nier_simple.ml 13 additions, 0 deletionslib/ir/nier_simple.ml
- lib/ir/nier_simple.mli 6 additions, 0 deletionslib/ir/nier_simple.mli
- src/transformations/native_nn_prover.ml 5 additions, 22 deletionssrc/transformations/native_nn_prover.ml
- tests/acasxu.t 3 additions, 3 deletionstests/acasxu.t
Loading
Please register or sign in to comment