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

Merged

nakengelhardt merged 5 commits into

YosysHQ:masterfrom

povik:synth-inject

Mar 11, 2024

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