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 /src/hls/Schedule.ml | |
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 'src/hls/Schedule.ml')
0 files changed, 0 insertions, 0 deletions