aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Generate.hs
Commit message (Expand)AuthorAgeFilesLines
* Use HashMap for contextfeature/hashmapYann Herklotz2019-07-291-57/+69
* Add a benchmarkYann Herklotz2019-07-271-15/+97
* Move Gen.hs to Generate.hsYann Herklotz2019-07-261-0/+541