aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Fuzz.hs
Commit message (Expand)AuthorAgeFilesLines
* Add output information to TypeYann Herklotz2019-04-181-44/+59
* Add output path to each simulatorYann Herklotz2019-04-181-37/+93
* Add new Fuzzing technique, that checks simulators against each otherYann Herklotz2019-04-171-11/+97
* Add Fuzzer and implement it with the result typeYann Herklotz2019-04-171-35/+26
* Move declaration of SourceInfoYann Herklotz2019-04-151-2/+4
* Format with brittany and add right modulesYann Herklotz2019-04-151-1/+2
* Fix warningsYann Herklotz2019-04-151-9/+14
* Replace Env by FuzzYann Herklotz2019-04-151-0/+113