Merge branch 'feature/michele/why3-global-lib' into 'master'
Consider Why3 a foundamental, globally opened, library. See merge request laiser/caisar!16
No related branches found
No related tags found
Showing
- src/autodetect.ml 4 additions, 5 deletionssrc/autodetect.ml
- src/autodetect.mli 1 addition, 1 deletionsrc/autodetect.mli
- src/language.ml 9 additions, 13 deletionssrc/language.ml
- src/language.mli 4 additions, 2 deletionssrc/language.mli
- src/main.ml 1 addition, 1 deletionsrc/main.ml
- src/printers/marabou.ml 20 additions, 25 deletionssrc/printers/marabou.ml
- src/printers/pyrat.ml 14 additions, 21 deletionssrc/printers/pyrat.ml
- src/transformations/native_nn_prover.ml 6 additions, 7 deletionssrc/transformations/native_nn_prover.ml
- src/transformations/native_nn_prover.mli 5 additions, 3 deletionssrc/transformations/native_nn_prover.mli
- src/transformations/vars_on_lhs.ml 3 additions, 3 deletionssrc/transformations/vars_on_lhs.ml
- src/verification.ml 4 additions, 8 deletionssrc/verification.ml
Loading
Please register or sign in to comment