aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Tool/Yosys.hs
Commit message (Collapse)AuthorAgeFilesLines
* Update license noticesYann Herklotz2020-01-061-1/+1
|
* Update license to dual license GPLv3Yann Herklotz2020-01-061-1/+1
|
* 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