Merge branch 'feature/michele/split-on-dataset' into 'master'
Split task goal only in presence of datasets Closes #40 See merge request laiser/caisar!93
No related branches found
No related tags found
Showing
- src/interpretation.ml 30 additions, 9 deletionssrc/interpretation.ml
- src/language.ml 36 additions, 6 deletionssrc/language.ml
- src/language.mli 10 additions, 2 deletionssrc/language.mli
- src/proof_strategy.ml 9 additions, 1 deletionsrc/proof_strategy.ml
- src/transformations/native_nn_prover.ml 6 additions, 11 deletionssrc/transformations/native_nn_prover.ml
- src/transformations/utils.ml 9 additions, 3 deletionssrc/transformations/utils.ml
- src/transformations/utils.mli 6 additions, 3 deletionssrc/transformations/utils.mli
- tests/interpretation_dataset.t 2 additions, 3 deletionstests/interpretation_dataset.t
- tests/pyrat.t 3 additions, 36 deletionstests/pyrat.t
- tests/pyrat_onnx.t 1 addition, 6 deletionstests/pyrat_onnx.t
Loading
Please register or sign in to comment