diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-12 18:45:30 +0300 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-12 18:45:30 +0300 |
commit | 3adeb04ba2f3893faf408231b6c640f29ee846f0 (patch) | |
tree | 55f42b6f2ce5322fe934b2731364f86b23a6f5bf /src/hls/IfConversion.v | |
parent | 9b05e2cf60d8c8754a3742262a95be8bdd8911e9 (diff) | |
download | vericert-3adeb04ba2f3893faf408231b6c640f29ee846f0.tar.gz vericert-3adeb04ba2f3893faf408231b6c640f29ee846f0.zip |
Name the externctrl correctness clauses
Diffstat (limited to 'src/hls/IfConversion.v')
0 files changed, 0 insertions, 0 deletions