Merge branch 'feature/deeper-aimos-integration' into 'master'
Deeper AIMOS integration See merge request laiser/caisar!81
No related branches found
No related tags found
Showing
- caisar.opam 2 additions, 0 deletionscaisar.opam
- config/aimos_config.yml 0 additions, 11 deletionsconfig/aimos_config.yml
- config/dune 0 additions, 1 deletionconfig/dune
- dune-project 2 additions, 0 deletionsdune-project
- examples/acasxu/property_5_aimos.why 1 addition, 1 deletionexamples/acasxu/property_5_aimos.why
- src/AIMOS.ml 73 additions, 5 deletionssrc/AIMOS.ml
- src/AIMOS.mli 0 additions, 1 deletionsrc/AIMOS.mli
- src/dataset.ml 59 additions, 4 deletionssrc/dataset.ml
- src/dataset.mli 17 additions, 1 deletionsrc/dataset.mli
- src/dune 3 additions, 0 deletionssrc/dune
- src/verification.ml 3 additions, 15 deletionssrc/verification.ml
- stdlib/caisar.mlw 1 addition, 1 deletionstdlib/caisar.mlw
- tests/aimos.t 1 addition, 1 deletiontests/aimos.t
Loading
Please register or sign in to comment