Skip to content

Pull requests: microsoft/CCF

New pull request New
17 Open 6,471 Closed
17 Open 6,471 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix both snapshot endpoint test races
#8416 by Eddy Ashton (eddyashton) Member was merged Sep 22, 2026 • 1/2 Loading…
1
Annotate host ledger locking and remove redundant LedgerFile::file_lock and Ledger::read_cache_lock run-long-test Run Long Test job
#8414 opened Sep 22, 2026 by Amaury Chamayou (achamayou) Member Loading…
2
Set TCP_NODELAY on Python e2e client sockets run-long-test Run Long Test job
#8410 opened Sep 21, 2026 by Eddy Ashton (eddyashton) Member • 2/2 Loading…
3
Remove ringbuffer usage for ledger mutations and range reads bench-ab run-long-test Run Long Test job
#8405 opened Sep 18, 2026 by Eddy Ashton (eddyashton) Member Loading…
5
Fluentd exporter for observability of the raft tracing bench-ab
#8386 opened Sep 16, 2026 by cjen1-msft Contributor Loading…
8
Lean spec of ccfraft and trace validation
#8382 opened Sep 16, 2026 by cjen1-msft Contributor • Draft
3
Replace bundled fmt with std::format bench-ab
#8368 opened Sep 13, 2026 by Amaury Chamayou (achamayou) Member • Draft 8.0.0
6
Add commit-aware recovery tracing and defer restart
#8366 opened Sep 13, 2026 by Amaury Chamayou (achamayou) Member • 1/2 • Draft
4
Add Lean KV model and trace conformance tooling lean Verification using Lean
#8339 opened Sep 10, 2026 by Amaury Chamayou (achamayou) Member • Draft
Unify operator and node startup configuration
#8309 opened Sep 8, 2026 by Copilot AI Loading…
1
@achamayou
1
Validate C++ disaster recovery traces with Lean lean Verification using Lean
#8282 opened Sep 4, 2026 by Amaury Chamayou (achamayou) Member • 2/2 • Draft
17
[WIP] Systematic testing: Test the full KV + History + Consensus stack, with deterministic and randomly-explored interleavings
#8238 opened Aug 28, 2026 by Eddy Ashton (eddyashton) Member • Draft
Expose recent committed ledger prefixes run-long-test Run Long Test job
#8214 opened Aug 26, 2026 by Amaury Chamayou (achamayou) Member Loading…
12
Explore a Rust interface for CCF applications
#8200 opened Aug 24, 2026 by Amaury Chamayou (achamayou) Member Loading…
28
[WIP] Refactor Consensus API and KV Interaction
#8190 opened Aug 20, 2026 by Eddy Ashton (eddyashton) Member • Draft
Run on aws sev-snp which uses vlek
#8116 opened Aug 4, 2026 by Ivar (aɪvɑr) (ivarprudnikov) Member • Draft
Remove governance-managed CA bundles for outbound TLS
#8027 opened Jul 6, 2026 by Copilot AI • Draft 8.0.0
@eddyashton
3
ProTip! Follow long discussions with comments:>50.