aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Tool/Yosys.hs
Commit message (Collapse)AuthorAgeFilesLines
* 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