projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7cf9d88) | patch
Add todo for more features to verificsva.cc
authorClifford Wolf <clifford@clifford.at>
Fri, 16 Mar 2018 11:15:36 +0000 (12:15 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 16 Mar 2018 11:15:36 +0000 (12:15 +0100)
commit462e9f7bd4e072bee5ac7a9552086db5dc09ae67
treed31bede383c30e94d9da6494e9e626ac32f2902ftree
parent7cf9d8802832a12b46a32cebb039d161586f414fcommit | diff
Add todo for more features to verificsva.cc

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