aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Yosys.hs
Commit message (Expand)AuthorAgeFilesLines
* Large refactor with passing testsYann Herklotz2019-04-021-109/+0
* Rename to VerilogYann Herklotz2019-04-021-1/+1
* Change license nameYann Herklotz2019-03-301-1/+1
* Add lens to access main module in SourceInfoYann Herklotz Grave2019-03-011-2/+8
* [Fix #37] Fix types in the simulator with more general functionsYann Herklotz Grave2019-03-011-32/+42
* Reformat using brittanyYann Herklotz Grave2019-02-251-6/+13
* Indent by 4Yann Herklotz Grave2019-02-171-33/+34
* Brittany formattingYann Herklotz Grave2019-02-171-3/+2
* Fix loggingYann Herklotz2019-02-031-1/+1
* Add timeout and timeout checkYann Herklotz2019-02-021-1/+1
* Try to add loggingYann Herklotz2019-02-021-7/+13
* Fix all the compile and test errorsYann Herklotz2019-02-011-9/+8
* Fix importsYann Herklotz2019-02-011-2/+2
* More restructuringYann Herklotz2019-02-011-0/+81