summaryrefslogtreecommitdiff
path: root/frontends/verific/Makefile.inc
Commit message (Collapse)AuthorAge
* Fixed verific bindings for new RTLIL apiClifford Wolf2014-07-27
|
* Copy Verific vdbs files to Yosys "share" data directoryClifford Wolf2014-03-13
|
* Added "verific" commandClifford Wolf2014-03-09