mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-23 09:05:32 +00:00
Updated Verific
This commit is contained in:
parent
b662373bcf
commit
122e06d44b
1 changed files with 1 additions and 1 deletions
2
verific
2
verific
|
@ -1 +1 @@
|
|||
Subproject commit 767cf7dff4168b940e5a3d74fc219647019b978b
|
||||
Subproject commit 28f79dbcfa0d0a96a9fe02f7ed075df7f48682a6
|
Loading…
Add table
Add a link
Reference in a new issue