aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Config.hs
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' into HEADfeature/nondeterminismYann Herklotz2019-10-291-19/+34
* Rename Sim to ToolYann Herklotz2019-10-181-4/+4
* Rename main modulesYann Herklotz2019-09-181-0/+496