diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-11-14 20:28:00 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-14 20:30:08 +0000 |
| commit | 9b52b6fb50680b62b242f11a038fe792d6735c47 (patch) | |
| tree | 079d9eb7e9a7a0e1a126552ca6caed5a40125328 /benchmarks | |
| parent | bbd907fe86b7a8c8d071d7b6676c4e2a0160e89a (diff) | |
| download | vericert-kvx-9b52b6fb50680b62b242f11a038fe792d6735c47.tar.gz vericert-kvx-9b52b6fb50680b62b242f11a038fe792d6735c47.zip | |
[Fix #9] Fix correctness proof for Oshrximm
This removes all the admitted.
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions