aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Verilog/Gen.hs
Commit message (Collapse)AuthorAgeFilesLines
* Add probabilities to generation of expressionsYann Herklotz2019-04-091-19/+46
|
* Add generation of parameters and constant expressionsYann Herklotz2019-04-091-7/+47
|
* Add Parameter type and remove DescriptionYann Herklotz2019-04-091-3/+3
|
* 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