diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-14 20:21:15 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-14 20:21:15 +0100 |
commit | eae8ed5fd46ff2d78bdf28cd437be57654f638c5 (patch) | |
tree | 7c7b329fd357c27a784ad34ded274c836e5389f0 /src/VeriFuzz/Sim.hs | |
parent | 73b7b059a463e40f7a223d179ba42d17696a4a33 (diff) | |
download | verismith-eae8ed5fd46ff2d78bdf28cd437be57654f638c5.tar.gz verismith-eae8ed5fd46ff2d78bdf28cd437be57654f638c5.zip |
Add BitVec type to model Verilog bit vectors
Diffstat (limited to 'src/VeriFuzz/Sim.hs')
0 files changed, 0 insertions, 0 deletions