aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Verilog/BitVec.hs
Commit message (Expand)AuthorAgeFilesLines
* Add new maintainer emailYann Herklotz2019-07-231-1/+1
* 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