summaryrefslogtreecommitdiff
path: root/frontends/verific/Makefile.inc
Commit message (Expand)AuthorAge
* New upstream version 0.7+20180830git0b7a184Ruben Undheim2018-08-30
* Changes for Verific 3.16_484_32_151112Clifford Wolf2015-11-12
* 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