aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Gen.hs
Commit message (Expand)AuthorAgeFilesLines
* Large refactor with passing testsYann Herklotz2019-04-021-215/+0
* Rename to VerilogYann Herklotz2019-04-021-3/+3
* Add more configuration options and small fixYann Herklotz2019-04-021-3/+4
* Switch to Hedgehog in graph and verilog generationYann Herklotz2019-04-021-28/+39
* Run through brittanyYann Herklotz2019-04-011-11/+9
* Fix warnings in codeYann Herklotz2019-03-311-1/+0
* Add documentationYann Herklotz2019-03-301-10/+28
* Add some documentationYann Herklotz2019-03-301-9/+14
* Change license nameYann Herklotz2019-03-301-1/+1
* Fix buildYann Herklotz Grave2019-03-071-11/+0
* Add proper register generationYann Herklotz Grave2019-03-071-14/+16
* Fix build errors and simplify namesYann Herklotz Grave2019-03-061-33/+42
* Add always blocks to the main generationYann Herklotz Grave2019-03-061-7/+44
* Hlint suggestionsYann Herklotz Grave2019-03-061-4/+4
* Create procedural generation for VerilogYann Herklotz Grave2019-03-041-12/+3
* Fix all the warnings and fix buildingYann Herklotz Grave2019-03-031-10/+15
* Add transformers and procedural generationYann Herklotz Grave2019-03-031-11/+84
* 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