aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Verilog/BitVec.hs
Commit message (Expand)AuthorAgeFilesLines
* Format with brittany and add right modulesYann Herklotz2019-04-151-5/+5
* Add BitVec type to model Verilog bit vectorsYann Herklotz2019-04-141-0/+115