aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Fuzz.hs
Commit message (Collapse)AuthorAgeFilesLines
* Add data-file installation pathYann Herklotz2019-10-291-13/+16
| | | | | This removes the need to recursively copy the data directory which will also save on space.
* Run simulation on all tools passing synthesisYann Herklotz2019-10-281-20/+27
|
* Add mtl dependency to enable easier use of transformersYann Herklotz2019-10-271-104/+140
|
* Change location of the html reportsYann Herklotz2019-10-181-3/+5
|
* Add -k functionalityYann Herklotz2019-10-181-4/+26
|
* Rename Sim to ToolYann Herklotz2019-10-181-21/+16
|
* [Fix #63] Make build pass againYann Herklotz2019-10-061-9/+5
|
* Rename main modulesYann Herklotz2019-09-181-0/+466