Merge branch 'feature/tristan/abcrown' into 'master'
Add support for alpha-beta-CROWN See merge request laiser/caisar!86
No related branches found
No related tags found
Showing
- bin/abcrown.sh 29 additions, 0 deletionsbin/abcrown.sh
- bin/dune 2 additions, 1 deletionbin/dune
- bin/nnenum.sh 2 additions, 2 deletionsbin/nnenum.sh
- config/caisar-detection-data.conf 12 additions, 2 deletionsconfig/caisar-detection-data.conf
- config/drivers/abcrown.drv 32 additions, 0 deletionsconfig/drivers/abcrown.drv
- config/dune 2 additions, 1 deletionconfig/dune
- src/interpretation.ml 6 additions, 11 deletionssrc/interpretation.ml
- src/language.ml 12 additions, 15 deletionssrc/language.ml
- src/language.mli 4 additions, 4 deletionssrc/language.mli
- src/printers/pyrat.ml 1 addition, 5 deletionssrc/printers/pyrat.ml
- src/printers/vnnlib.ml 5 additions, 3 deletionssrc/printers/vnnlib.ml
- src/proof_strategy.ml 2 additions, 6 deletionssrc/proof_strategy.ml
- src/proof_strategy.mli 1 addition, 1 deletionsrc/proof_strategy.mli
- src/prover.ml 5 additions, 2 deletionssrc/prover.ml
- src/prover.mli 1 addition, 0 deletionssrc/prover.mli
- src/transformations/native_nn_prover.ml 117 additions, 87 deletionssrc/transformations/native_nn_prover.ml
- src/transformations/native_nn_prover.mli 1 addition, 1 deletionsrc/transformations/native_nn_prover.mli
- src/verification.ml 11 additions, 11 deletionssrc/verification.ml
- tests/autodetect.t 12 additions, 6 deletionstests/autodetect.t
- tests/bin/abcrown.sh 15 additions, 0 deletionstests/bin/abcrown.sh
Loading
Please register or sign in to comment