aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/Makefile.inc
Commit message (Expand)AuthorAgeFilesLines
* Changes for Verific 3.16_484_32_151112Clifford Wolf2015-11-121-2/+3
* 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