aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/Makefile.inc
Commit message (Expand)AuthorAgeFilesLines
* Fixed verific bindings for new RTLIL apiClifford Wolf2014-07-271-5/+5
* Copy Verific vdbs files to Yosys "share" data directoryClifford Wolf2014-03-131-0/+15
* Added "verific" commandClifford Wolf2014-03-091-0/+1