Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

caisar
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Terraform modules
- Incidents

Snippets Groups Projects

c7c948bf

Commit c7c948bf authored 2 years ago by Michele Alberti

Downloads
- Plain Diff

Merge branch 'feature/michele/verify-json' into 'master'

Add support for verification via a json configuration file

See merge request laiser/caisar!51

parents 3f038a89 0eb34cb6

No related branches found

No related tags found

No related merge requests found

Changes 10

Hide whitespace changes

Inline Side-by-side

Showing

src/dataset.ml 62 additions, 29 deletions

src/dataset.ml
src/dataset.mli 8 additions, 4 deletions

src/dataset.mli
src/language.ml 42 additions, 33 deletions

src/language.ml
src/language.mli 12 additions, 0 deletions

src/language.mli
src/main.ml 73 additions, 47 deletions

src/main.ml
src/prover.ml 1 addition, 0 deletions

src/prover.ml
src/prover.mli 1 addition, 0 deletions

src/prover.mli
src/verification.ml 129 additions, 7 deletions

src/verification.ml
src/verification.mli 23 additions, 3 deletions

src/verification.mli
tests/pyrat_verify_json.t 18 additions, 0 deletions

tests/pyrat_verify_json.t

with 369 additions and 123 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment