Preserve \src attributes through ABC9 via XAIGER y extension - #5712

Preserve \src attributes through ABC9 via XAIGER y extension#5712

robtaylor wants to merge 3 commits into

YosysHQ:mainYosysHQ/yosys:mainfrom

robtaylor:src-retention-y-extrobtaylor/yosys:src-retention-y-extCopy head branch name to clipboard