aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Fuzz.hs
Commit message (Expand)AuthorAgeFilesLines
* Add time and date by defaultYann Herklotz2019-04-241-3/+17
* Add simulator support to the config fileYann Herklotz2019-04-231-162/+46
* Add helper functions to execute fuzzing multiple timesYann Herklotz2019-04-191-9/+24
* Fix compiling on CIYann Herklotz2019-04-191-0/+3
* Equivalence test now runningYann Herklotz2019-04-191-2/+1
* Extend ResultT and Result with more instancesYann Herklotz2019-04-191-5/+8
* 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