mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-04-20 03:03:25 -04:00
What we can have after this PR: - only dynamic namespaces - dynamic main, others dynamic or static What we still cannot have: - static main and another machines dynamic The change to `_linker_first_step` can be reverted after #1565