projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bfa353f) | patch
Switch verific bindings from Symbiotic EDA flavored Verific to YosysHQ flavored Verific
authorClaire Xenia Wolf <claire@clairexen.net>
Wed, 20 Jan 2021 19:48:10 +0000 (20:48 +0100)
committerClaire Xenia Wolf <claire@clairexen.net>
Wed, 20 Jan 2021 19:48:10 +0000 (20:48 +0100)
commitacad7a6e4031a37745bf05b84d9bd65d2e31627b
tree87d2f4236bcc310dc39555b172706d4970fc6e3atree
parentbfa353f154b3a72fca667b7da1a3e2ec15099a30commit | diff
Switch verific bindings from Symbiotic EDA flavored Verific to YosysHQ flavored Verific

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
frontends/verific/verific.cc diff | blob | history