projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 462e9f7) | patch
Update todo for more features to verificsva.cc
authorClifford Wolf <clifford@clifford.at>
Fri, 16 Mar 2018 11:16:52 +0000 (12:16 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 16 Mar 2018 11:16:52 +0000 (12:16 +0100)
commit38596ce68f51b57ee0f1a51f2abc2b9d9011cf75
tree0bebee0fb89d810cb2ef6e11c1ba9d9b69fe0cddtree
parent462e9f7bd4e072bee5ac7a9552086db5dc09ae67commit | diff
Update todo for more features to verificsva.cc

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