aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim/Reduce.hs
Commit message (Expand)AuthorAgeFilesLines
* Change Port type to include lower boundYann Herklotz2019-04-121-2/+2
* Fix the generation of modules and add initialisationYann Herklotz2019-04-101-2/+2
* Fix to the loggerYann Herklotz2019-04-031-4/+4
* Large refactor with passing testsYann Herklotz2019-04-021-0/+165