Skip to content

Pull requests: microsoft/CCF

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Track whole-map reads at revision zero run-long-test Run Long Test job
#8320 opened Sep 8, 2026 by Amaury Chamayou (achamayou) Member Loading…
Enforce at least one signature on history verifier
#8311 opened Sep 8, 2026 by Max (maxtropets) Collaborator Loading…
Introduce separate signing keys table
#8304 opened Sep 7, 2026 by Max (maxtropets) Collaborator Loading…
Validate C++ disaster recovery traces with Lean lean Verification using Lean
#8282 opened Sep 4, 2026 by Amaury Chamayou (achamayou) Member 4/4 Draft
Remove the superseded Stateright disaster recovery model lean Verification using Lean
#8280 opened Sep 4, 2026 by Amaury Chamayou (achamayou) Member 3/4 Draft
Validate the Lean disaster recovery model against Stateright lean Verification using Lean
#8279 opened Sep 4, 2026 by Amaury Chamayou (achamayou) Member 2/4 Loading…
Add the C++-aligned Lean disaster recovery model lean Verification using Lean
#8277 opened Sep 4, 2026 by Amaury Chamayou (achamayou) Member 1/4 Loading…
Automatically expire stale Pending node entries
#8173 opened Aug 18, 2026 by Copilot AI Loading…
ProTip! Exclude everything labeled bug with -label:bug.