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