aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Reduce.hs
Commit message (Expand)AuthorAgeFilesLines
* Add data-file installation pathYann Herklotz2019-10-291-3/+4
* Rename Sim to ToolYann Herklotz2019-10-181-2/+2
* Rename main modulesYann Herklotz2019-09-181-0/+609