Skip to content

fix(kani): make the MIX-P06 mixer proof compositional so it stops stalling the Kani gate (#429) - #451

Merged
avrabe merged 1 commit into
mainfrom
fix/kani-mix-priority-modular
Sep 17, 2026
Merged

fix(kani): make the MIX-P06 mixer proof compositional so it stops stalling the Kani gate (#429)#451
avrabe merged 1 commit into
mainfrom
fix/kani-mix-priority-modular

Commits

Commits on Sep 17, 2026