diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-22 16:16:44 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-22 16:16:44 +0200 |
| commit | 5be535517cfe9ce4c664e95eb02684305fc268e3 (patch) | |
| tree | cdaec97b47525d5de3e60fd51602daf06347cb9d /Makefile | |
| parent | b6bd12fade053b5f9d00ce4c710d29ae6fb3d3b5 (diff) | |
| download | yosys-5be535517cfe9ce4c664e95eb02684305fc268e3.tar.gz yosys-5be535517cfe9ce4c664e95eb02684305fc268e3.tar.bz2 yosys-5be535517cfe9ce4c664e95eb02684305fc268e3.zip | |
Add "verific -import -k"
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions