aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith.hs
Commit message (Collapse)AuthorAgeFilesLines
* Add data-file installation pathYann Herklotz2019-10-291-5/+14
| | | | | This removes the need to recursively copy the data directory which will also save on space.
* Add --no-reductionYann Herklotz2019-10-281-2/+3
|
* Add OptParser to separate option parsingYann Herklotz2019-10-271-245/+4
|
* Add -k functionalityYann Herklotz2019-10-181-2/+2
|
* Rename Sim to ToolYann Herklotz2019-10-181-3/+3
|
* Rename main modulesYann Herklotz2019-09-181-0/+553