mirror of
https://github.com/YosysHQ/yosys
synced 2026-07-15 19:55:41 +00:00
Bump Verific to latest release
This commit is contained in:
parent
39671b0e05
commit
59ec385381
1 changed files with 1 additions and 1 deletions
2
verific
2
verific
|
|
@ -1 +1 @@
|
|||
Subproject commit 958847a5874fa65a53f436a8abb0689109647333
|
||||
Subproject commit 77f2eb6e931f9295cc7fd0ca165781e5f59cd22e
|
||||
Loading…
Add table
Add a link
Reference in a new issue