diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-07-03 18:47:56 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-07-03 18:47:56 +0100 |
commit | b5144a6f513c5c6e3344dcc935117706637ddd3f (patch) | |
tree | 34bf07611d40da221c3023c0b24a82ec71e5cad3 /src/translation/HTLgenspec.v | |
parent | 2fa04589bc1e2404235e95ca272fc403c7234fa4 (diff) | |
download | vericert-kvx-b5144a6f513c5c6e3344dcc935117706637ddd3f.tar.gz vericert-kvx-b5144a6f513c5c6e3344dcc935117706637ddd3f.zip |
Add new value type to fix Iop proof
Diffstat (limited to 'src/translation/HTLgenspec.v')
0 files changed, 0 insertions, 0 deletions