fix(kmir): preserve symbolic parallel proving server selection#980

Closed

Stevengre wants to merge 8 commits intomasterfrom

jh/pr853-rebase-master

Commits on Mar 9, 2026

no llvm-kompile when symbolic=true in KMIR.from_kompiled_kore

jberthold
authored and
Stevengre
committed
fix(kmir): avoid booster for symbolic proof definitions
Stevengre
committed

Commits on Mar 10, 2026

Commits on Mar 11, 2026

Commits on Mar 12, 2026

Merge remote-tracking branch 'origin/master' into jh/pr980-merge-master-local
Stevengre
committed
fix(kmir): gate hs-only booster path behind env
Stevengre
committed