diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-06-08 21:09:59 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-06-08 21:09:59 +0100 |
commit | 6957832da6522c7099b9554bfc68b67e0fb39444 (patch) | |
tree | 2b35925e27b5771f438982f58cbffc05b8e2aa3b /src/hls/ApplyExternctrl.v | |
parent | 77c5c01146fa9e2fa09779c1da642b8f5469dff5 (diff) | |
download | vericert-6957832da6522c7099b9554bfc68b67e0fb39444.tar.gz vericert-6957832da6522c7099b9554bfc68b67e0fb39444.zip |
Get top-level (Compiler) proof closer to Qed
Add Renaming and ApplyExternctrl to correctness statement
Diffstat (limited to 'src/hls/ApplyExternctrl.v')
0 files changed, 0 insertions, 0 deletions