aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim/Icarus.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix the generation of modules and add initialisationYann Herklotz2019-04-101-1/+2
* Add Parameter type and remove DescriptionYann Herklotz2019-04-091-2/+2
* Fix to the loggerYann Herklotz2019-04-031-2/+1
* Large refactor with passing testsYann Herklotz2019-04-021-0/+112