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