aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Verilog/BitVec.hs
Commit message (Expand)AuthorAgeFilesLines
* Add BitVec type to model Verilog bit vectorsYann Herklotz2019-04-141-0/+115