projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6ff311) | patch
Correctly treat empty modules as blackboxes in Verific
authorClifford Wolf <clifford@clifford.at>
Wed, 20 Nov 2019 11:56:31 +0000 (12:56 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 20 Nov 2019 11:56:31 +0000 (12:56 +0100)
commit55bda2b2c693a7ff79da545e7b52901de00df475
tree92b3e480508add4556ca59ac331cac5865169e11tree
parentf6ff311a1dc9876911594328350e2d3fc62a5535commit | diff
Correctly treat empty modules as blackboxes in Verific

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc diff | blob | history