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