diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-02-13 08:19:30 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-02-13 08:19:30 +0100 |
commit | 7bd329afa07ad97969afa69faba925634b03252d (patch) | |
tree | 7086d7162fe922df0a614e5480554face0660605 /libs | |
parent | 840a6dc893221119a9aed52b8294445e48a964a9 (diff) | |
download | yosys-7bd329afa07ad97969afa69faba925634b03252d.tar.gz yosys-7bd329afa07ad97969afa69faba925634b03252d.tar.bz2 yosys-7bd329afa07ad97969afa69faba925634b03252d.zip |
Support for more Verific primitives (patch I got per email)
Diffstat (limited to 'libs')
0 files changed, 0 insertions, 0 deletions