projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38596ce) | patch
Update todo for more features to verificsva.cc
authorClifford Wolf <clifford@clifford.at>
Fri, 16 Mar 2018 14:48:48 +0000 (15:48 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 16 Mar 2018 14:48:48 +0000 (15:48 +0100)
commite7862d4f644d4fc6a97e9c66da431f7a22a0ceef
treef0d72fc8c49576baa65f5f9277de913b067d6626tree
parent38596ce68f51b57ee0f1a51f2abc2b9d9011cf75commit | diff
Update todo for more features to verificsva.cc

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