3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-12 07:26:39 +00:00
Commit graph

2 commits

Author SHA1 Message Date
Jannis Harder
31d6d0ac17 formalff: Fix -declockgate test and missing emit for memories 2025-04-18 18:57:59 +02:00
Jannis Harder
bd154a7188 formalff: Add -declockgate option 2025-04-18 17:44:34 +02:00