projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 318be86) | patch
Fixed handling of synchronous and asynchronous assertion/assumption/cover in verific...
authorClifford Wolf <clifford@clifford.at>
Tue, 23 Jan 2018 16:42:40 +0000 (17:42 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 23 Jan 2018 16:42:40 +0000 (17:42 +0100)
commit1d8161b432fd5bc7fc03c21033f90d2a80cf741f
tree3d978b639e5acde60f19ae4a5cc9a32752f0aa1ctree
parent318be8651c62f924176ed30043a35a89fb468df0commit | diff
Fixed handling of synchronous and asynchronous assertion/assumption/cover in verific bindings

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