aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Config.hs
Commit message (Expand)AuthorAgeFilesLines
* Add proper register generationYann Herklotz Grave2019-03-071-1/+1
* Add more probabilities to configYann Herklotz Grave2019-03-061-23/+27
* Add more configuration optionsYann Herklotz Grave2019-03-061-6/+54
* Run formatting on Config.hsYann Herklotz Grave2019-03-041-6/+12
* Add toml configuration support for probabilitiesYann Herklotz Grave2019-03-041-0/+57