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