Support for "abc --keep-going pdr" via new "pdr -X" mode#263

Merged

jix merged 4 commits intoYosysHQ:masterfrom jix:pdr-X

Mar 6, 2024

+756-98

Commits on Feb 20, 2024

Commits on Mar 6, 2024

Support for the new anytime schedule in yosys-abc's pdr
jix
committed