Catherine 8a1d531b25 Merge pull request #3269 from YosysHQ/micko/fix_autotop ... Reorder steps in -auto-top to fix synth command, fixes #3261		2022-04-07 22:40:35 +00:00
..
cmds	show: Fix width labels.	2022-04-04 22:48:09 +02:00
equiv
fsm
hierarchy	Reorder steps in -auto-top to fix synth command, fixes #3261	2022-04-05 14:02:37 +02:00
memory
opt	opt_merge: Add -keepdc option required for formal verification	2022-04-01 21:03:20 +02:00
pmgen	Update comment	2022-02-02 03:21:09 +01:00
proc
sat	past_ad initial value setting	2022-04-02 19:13:15 +02:00
techmap	abc: Add support for FFs with reset in -dff	2022-04-07 15:05:02 +02:00
tests