aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Verilog/AST.hs
Commit message (Collapse)AuthorAgeFilesLines
* Swap the exports for the types of the ASTYann Herklotz2019-01-191-2/+2
|
* Add documentation in ASTYann Herklotz2019-01-101-15/+28
|
* Add explicit exportsYann Herklotz2019-01-101-24/+55
|
* Derive as many properties as possibleYann Herklotz2019-01-101-30/+21
|
* Fix warningsYann Herklotz2019-01-101-37/+9
|
* Rename files out of the moduleYann Herklotz2019-01-101-0/+461