aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Gen.hs
Commit message (Expand)AuthorAgeFilesLines
* Reformat using brittanyYann Herklotz Grave2019-02-251-1/+6
* Indent by 4Yann Herklotz Grave2019-02-171-24/+24
* Brittany formattingYann Herklotz Grave2019-02-171-16/+14
* Change Port type, adding signed infoYann Herklotz Grave2019-02-161-8/+9
* Small fixes to module generationYann Herklotz2019-02-031-4/+7
* Add mutation to declare other wiresYann Herklotz2019-02-021-7/+28
* Remove last warningYann Herklotz2019-02-011-1/+4
* Small warning fixYann Herklotz2019-02-011-1/+1
* Fix all the compile and test errorsYann Herklotz2019-02-011-8/+19
* Fix importsYann Herklotz2019-02-011-2/+2
* Structure changesYann Herklotz2019-02-011-0/+35