Skip to content

fix(fork-choice): make the equal-slot equivocation tie deterministic (leanSpec #1181)#503

Merged
MegaRedHand merged 2 commits into
mainfrom
fix/equivocation-tiebreak-determinism
Jul 6, 2026
Merged

fix(fork-choice): make the equal-slot equivocation tie deterministic (leanSpec #1181)#503
MegaRedHand merged 2 commits into
mainfrom
fix/equivocation-tiebreak-determinism

Merge branch 'main' into fix/equivocation-tiebreak-determinism

19bc240
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar