synth: Introduce `-extra-map` for amending techmap#4228

Merged

nakengelhardt merged 5 commits intoYosysHQ:masterfrom povik:synth-inject

Mar 11, 2024

+24-5

Commits on Feb 22, 2024

Commits on Mar 1, 2024

synth: Rename -inject to -extra-map
povik
committed

Commits on Mar 6, 2024

synth: Fix out-of-sync help message

povik
and
nakengelhardt
authored