projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1b2bea) | patch
verific: Added "-vlog-libext" option to specify search extension for libraries
authorMiodrag Milanovic <mmicko@gmail.com>
Thu, 9 Jun 2022 06:57:48 +0000 (08:57 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Thu, 9 Jun 2022 06:57:48 +0000 (08:57 +0200)
commit6e8e4b4550c27c6c2f2e6d17877e5b8613f04317
tree26d3a3dc3014f4a190e0e0afabf8bdb15699a461tree
parentd1b2beab12e95cbbf7cec3fffbd09a2522291dd1commit | diff
verific: Added "-vlog-libext" option to specify search extension for libraries
CHANGELOG diff | blob | history
frontends/verific/verific.cc diff | blob | history