Skip to content

Validate Byzantine leader proposals in Sailfish - #240

Open
Qian-Cheng-nju wants to merge 1 commit into
tlaplus:masterfrom
Qian-Cheng-nju:sailfish-leader-validation
Open

Validate Byzantine leader proposals in Sailfish#240
Qian-Cheng-nju wants to merge 1 commit into
tlaplus:masterfrom
Qian-Cheng-nju:sailfish-leader-validation

Commits

  1. Commits on Oct 20, 2026