3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-15 11:45:41 +00:00

Update Verific

This commit is contained in:
Akash Levy 2025-06-02 17:58:18 -07:00
parent e3a6b920d4
commit 358ab194dd

@ -1 +1 @@
Subproject commit 736d26da64484244def74ca9ac33acbeeb22185f
Subproject commit 958847a5874fa65a53f436a8abb0689109647333