aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Verilog/Parser.hs
Commit message (Expand)AuthorAgeFilesLines
* Add Bit vector instead of using numbersYann Herklotz2019-04-141-16/+9
* Change Port type to include lower boundYann Herklotz2019-04-121-1/+1
* Fix the generation of modules and add initialisationYann Herklotz2019-04-101-3/+3
* Add probabilities to generation of expressionsYann Herklotz2019-04-091-1/+1
* Add Parameter type and remove DescriptionYann Herklotz2019-04-091-4/+2
* Apply brittany to modified modulesYann Herklotz2019-04-031-6/+8
* Large refactor with passing testsYann Herklotz2019-04-021-0/+316