aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim/Reduce.hs
Commit message (Expand)AuthorAgeFilesLines
* Move Reduce fileYann Herklotz2019-04-171-164/+0
* Move declaration of SourceInfoYann Herklotz2019-04-151-1/+0
* Change port declarations in ReduceYann Herklotz2019-04-141-4/+4
* 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