diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-04-27 11:44:58 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-04-27 11:45:05 +0100 |
commit | 405e822a4e769969ef01a683d486accee0d71da2 (patch) | |
tree | 986d3e660f621e9d17c621e3c5d3924de1c942cb /ip/div_unsigned.sv | |
parent | a04e972f3dcc94459399e4d4168b8d26d32e1fae (diff) | |
download | vericert-405e822a4e769969ef01a683d486accee0d71da2.tar.gz vericert-405e822a4e769969ef01a683d486accee0d71da2.zip |
Change nat to positive in Sat proof
Diffstat (limited to 'ip/div_unsigned.sv')
0 files changed, 0 insertions, 0 deletions