aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Verilog/Gen.hs
Commit message (Expand)AuthorAgeFilesLines
* Create Arbitrary moduleYann Herklotz2019-04-081-0/+1
* Generate flip-flops instead of latchesYann Herklotz2019-04-061-11/+4
* Fix adding port to state and add everything to outputYann Herklotz2019-04-041-8/+20
* Fix infinite loop in state based generationYann Herklotz2019-04-031-12/+17
* Large refactor with passing testsYann Herklotz2019-04-021-0/+202