3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-05-17 12:44:46 +00:00

Update verific

This commit is contained in:
Akash Levy 2024-05-21 17:40:27 -07:00
parent dae5160957
commit d2c29a108b

@ -1 +1 @@
Subproject commit 2619116ab08bc62ffc1bb5f2feed510ea332c388
Subproject commit 189e8273cdce8dd6d21c41e2ac7729d494d2304e