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

Update Verific

This commit is contained in:
Akash Levy 2024-06-02 23:50:04 -07:00
parent 4475b50ffa
commit 58ef0571db

@ -1 +1 @@
Subproject commit 5494ec6005899a889b603216e5f7a9ea58dee712
Subproject commit cadb1cfb6cd25fefddeeae01980b1828e26adccc