diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-10-08 12:45:33 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-10-08 12:45:33 +0100 |
| commit | 30bf9625d91ffe8bc76f9e28449c84e569c7ccd1 (patch) | |
| tree | 07a30240761b573dee69f56c6d7c787c7757c496 /.github | |
| parent | aa3740d8ce01b813869609b4f971133c3d5d4bcd (diff) | |
| download | vericert-30bf9625d91ffe8bc76f9e28449c84e569c7ccd1.tar.gz vericert-30bf9625d91ffe8bc76f9e28449c84e569c7ccd1.zip | |
Get all call and return proofs passing again
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions