diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-08-10 12:10:22 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-08-10 12:10:22 +0100 |
| commit | f6569b736d4ded08a011f55bd6001c89e899fd5c (patch) | |
| tree | cc76bb6b36dc7cfc2fc5fc2b216c5b1cde0ab752 /src/hls/IfConversion.v | |
| parent | 86e64fd05cea7b1da996701cd3653db5f471f8d1 (diff) | |
| download | vericert-f6569b736d4ded08a011f55bd6001c89e899fd5c.tar.gz vericert-f6569b736d4ded08a011f55bd6001c89e899fd5c.zip | |
Add comments next to admitted theorems
Diffstat (limited to 'src/hls/IfConversion.v')
0 files changed, 0 insertions, 0 deletions