3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-22 08:35:32 +00:00

Update Verific

This commit is contained in:
Akash Levy 2024-07-31 22:40:15 -07:00
parent c2da53be50
commit 9873315caa

@ -1 +1 @@
Subproject commit f02b6e5a0c38df8405801af0ed12b530d801248f
Subproject commit 7a720ad1e8d59ed3cdc4c1d61c695087b74c5110