aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Verilog/Gen.hs
Commit message (Collapse)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