Merge branch 'dev/julien/extend-json' into 'master'
Refactoring of verification module to support JSON serialization See merge request laiser/caisar!159
No related branches found
No related tags found
Showing
- examples/arithmetic/arithmetic.why 1 addition, 1 deletionexamples/arithmetic/arithmetic.why
- flake.lock 17 additions, 17 deletionsflake.lock
- flake.nix 13 additions, 10 deletionsflake.nix
- src/json.ml 3 additions, 101 deletionssrc/json.ml
- src/json.mli 2 additions, 47 deletionssrc/json.mli
- src/main.ml 59 additions, 94 deletionssrc/main.ml
- src/verification.ml 109 additions, 103 deletionssrc/verification.ml
- src/verification.mli 8 additions, 53 deletionssrc/verification.mli
- src/verification_types.ml 220 additions, 0 deletionssrc/verification_types.ml
- src/verification_types.mli 157 additions, 0 deletionssrc/verification_types.mli
- tests/dune 2 additions, 0 deletionstests/dune
- tests/saver.t 0 additions, 16 deletionstests/saver.t
- tests/verify_json.t 29 additions, 72 deletionstests/verify_json.t
- vendor/abcrown/flake.nix 90 additions, 73 deletionsvendor/abcrown/flake.nix
- vendor/abcrown/result 1 addition, 0 deletionsvendor/abcrown/result
- vendor/nnenum/result 1 addition, 0 deletionsvendor/nnenum/result
- vendor/saver/result 1 addition, 0 deletionsvendor/saver/result
Loading
Please register or sign in to comment