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/HTLgenproof.v | |
| parent | 9b05e2cf60d8c8754a3742262a95be8bdd8911e9 (diff) | |
| download | vericert-3adeb04ba2f3893faf408231b6c640f29ee846f0.tar.gz vericert-3adeb04ba2f3893faf408231b6c640f29ee846f0.zip | |
Name the externctrl correctness clauses
Diffstat (limited to 'src/hls/HTLgenproof.v')
0 files changed, 0 insertions, 0 deletions