aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz/Types.hs
Commit message (Collapse)AuthorAgeFilesLines
* Rename types to circuitYann Herklotz2018-12-151-22/+0
|
* [Fix #8] Add Circuit newtypeYann Herklotz2018-12-021-0/+3
|
* Remove Nor and Nand from typesYann Herklotz2018-11-161-4/+2
| | | | Should add Not to the list, as that will emulate those fine.
* Add style to the filesYann Herklotz2018-11-141-3/+3
|
* Random generation of DAGYann Herklotz2018-11-091-2/+15
|
* Add initial module filesYann Herklotz2018-11-091-0/+8