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

Update Verific

This commit is contained in:
Akash Levy 2024-08-20 01:05:50 -07:00
parent 25476f7ce4
commit 00d1ede702

@ -1 +1 @@
Subproject commit 6a4e0afb3be018d0c8096958f3cf63647ea0c5e3
Subproject commit 525f6fcd1d3783c40dcd1d6ff00ae5ae6d50d98b