aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz
Commit message (Expand)AuthorAgeFilesLines
...
* Basic generation with errorsYann Herklotz2018-11-162-5/+23
* Remove Nor and Nand from typesYann Herklotz2018-11-161-4/+2
* Format and remove unnecessary declarationsYann Herklotz2018-11-161-6/+3
* Add statements to the Verilog moduleYann Herklotz2018-11-161-12/+24
* Add style to the filesYann Herklotz2018-11-143-11/+12
* Add testbench to the endYann Herklotz2018-11-091-1/+1
* Generate some Verilog code from graphYann Herklotz2018-11-091-0/+32
* Random generation of DAGYann Herklotz2018-11-093-16/+42
* Add initial module filesYann Herklotz2018-11-093-0/+22