Add basic code structure for new command verify-json that starts a verification
as indicated by a json configuration file. - Reuse verification infrastructure. - Modify dataset types for easier json deriving.
Showing
- src/dataset.ml 11 additions, 8 deletionssrc/dataset.ml
- src/dataset.mli 3 additions, 2 deletionssrc/dataset.mli
- src/main.ml 54 additions, 1 deletionsrc/main.ml
- src/prover.ml 1 addition, 0 deletionssrc/prover.ml
- src/prover.mli 1 addition, 0 deletionssrc/prover.mli
- src/verification.ml 29 additions, 3 deletionssrc/verification.ml
- src/verification.mli 15 additions, 0 deletionssrc/verification.mli
Loading
Please register or sign in to comment