Merge branch 'aimos' into 'master'
AIMOS support See merge request laiser/caisar!41
No related branches found
No related tags found
Showing
- .gitignore 1 addition, 0 deletions.gitignore
- config/aimos_config.yml 11 additions, 0 deletionsconfig/aimos_config.yml
- config/caisar-detection-data.conf 10 additions, 0 deletionsconfig/caisar-detection-data.conf
- config/custom_transformations.py 54 additions, 0 deletionsconfig/custom_transformations.py
- config/drivers/aimos.drv 23 additions, 0 deletionsconfig/drivers/aimos.drv
- config/dune 3 additions, 0 deletionsconfig/dune
- examples/acasxu/inputs/inputs_phi_5_step_10.csv 1000 additions, 0 deletionsexamples/acasxu/inputs/inputs_phi_5_step_10.csv
- examples/acasxu/property_5_aimos.why 8 additions, 0 deletionsexamples/acasxu/property_5_aimos.why
- src/AIMOS.ml 83 additions, 0 deletionssrc/AIMOS.ml
- src/AIMOS.mli 31 additions, 0 deletionssrc/AIMOS.mli
- src/JSON.ml 1 addition, 1 deletionsrc/JSON.ml
- src/SAVer.ml 3 additions, 0 deletionssrc/SAVer.ml
- src/dataset.ml 10 additions, 0 deletionssrc/dataset.ml
- src/dataset.mli 5 additions, 0 deletionssrc/dataset.mli
- src/prover.ml 5 additions, 2 deletionssrc/prover.ml
- src/prover.mli 1 addition, 0 deletionssrc/prover.mli
- src/verification.ml 42 additions, 0 deletionssrc/verification.ml
- stdlib/caisar.mlw 2 additions, 0 deletionsstdlib/caisar.mlw
- tests/aimos.t 25 additions, 0 deletionstests/aimos.t
- tests/autodetect.t 9 additions, 3 deletionstests/autodetect.t
Loading
Please register or sign in to comment