aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/AST.hs
Commit message (Expand)AuthorAgeFilesLines
* Large refactor with passing testsYann Herklotz2019-04-021-617/+0
* Rename to VerilogYann Herklotz2019-04-021-9/+9
* Switch all the types from Arbitrary to ArbYann Herklotz2019-04-021-208/+223
* Rewrite the parser with real lexerYann Herklotz2019-03-311-0/+3
* Add if statement typeYann Herklotz2019-03-301-0/+4
* Change license nameYann Herklotz2019-03-301-1/+1
* Rename Stmnt to StatementYann Herklotz Grave2019-03-061-19/+19
* Fix positive arbitrary generationYann Herklotz Grave2019-03-061-1/+1
* Add transformers and procedural generationYann Herklotz Grave2019-03-031-0/+2
* [Fix #34, Fix #36] Add Ord instance to ASTYann Herklotz Grave2019-03-011-49/+60
* Add Ord to AST and fix reduction functionYann Herklotz Grave2019-02-261-22/+22
* Reformat using brittanyYann Herklotz Grave2019-02-251-6/+9
* Indent by 4Yann Herklotz Grave2019-02-171-117/+116
* Brittany formattingYann Herklotz Grave2019-02-171-27/+21
* Change Port type, adding signed infoYann Herklotz Grave2019-02-161-11/+11
* Take out non synthesisable comparisonYann Herklotz Grave2019-02-151-2/+2
* Fix all warningsYann Herklotz Grave2019-02-151-2/+3
* Add Data derivations to AST and Plated instance to ExprYann Herklotz2019-02-081-26/+42
* Remove divide and mod from the generator listYann Herklotz2019-02-071-2/+2
* Try to add loggingYann Herklotz2019-02-021-1/+1
* Add case for empty contextYann Herklotz2019-02-021-0/+5
* Fix importsYann Herklotz2019-02-011-2/+2
* More restructuringYann Herklotz2019-02-011-0/+564