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

fix(kani): make the MIX-P06 mixer proof compositional so it stops sta…

e77ad78
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar