Code

Change default linker to bus#2282

Code

Draft

georgwiese wants to merge 2 commits intomainpowdr-labs/powdr:mainfrom change-default-linkerpowdr-labs/powdr:change-default-linkerCopy head branch name to clipboard

+7-7

Commits

Commits on Dec 23, 2024

• Change default linker to bus

  georgwiese

  committed
  b3eaea9

• Fail hard when encountering native lookups / permutations

  georgwiese

  committed
  7715217