aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Config.hs
Commit message (Collapse)AuthorAgeFilesLines
* Add more configuration options and small fixYann Herklotz2019-04-021-10/+27
|
* Add conditionals to configYann Herklotz2019-04-021-1/+5
|
* Change license nameYann Herklotz2019-03-301-1/+1
|
* 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