aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Tool/Yosys.hs
Commit message (Collapse)AuthorAgeFilesLines
* Do not run counter example if no rerunner is specifiedYann Herklotz2019-12-031-5/+7
|
* Add counter example parsingYann Herklotz2019-11-101-17/+21
|
* Add data-file installation pathYann Herklotz2019-10-291-3/+3
| | | | | This removes the need to recursively copy the data directory which will also save on space.
* Rename Sim to ToolYann Herklotz2019-10-181-0/+127