All pull requests

Pull requests

• Update llhttp from 9.3.0 to 9.4.3

  #8552·Amaury Chamayou (achamayou) opened Oct 10, 2026Member·

  ·
  1

• Run Mathlib declaration linters in Lean CI

  #8550·Amaury Chamayou (achamayou) opened Oct 9, 2026Member·

  ·
  1

• Preserve transaction views in cross-view historical receipts

  #8549·Eddy Ashton (eddyashton) opened Oct 9, 2026Member·

  ·
  5

• EDDSA keys in COSE KEY

  #8548·Max (maxtropets) opened Oct 9, 2026Collaborator·

  ·
  7

  

• Allow SNP endorsement joins to retry after AMD throttling

  #8547·Amaury Chamayou (achamayou) opened Oct 9, 2026Member·

  ·
  3

• Separate Python package publishing, testing, and attestation

  #8546·Amaury Chamayou (achamayou) opened Oct 9, 2026Member·

  ·

• Index historical ledger reply consumers

  #8543·Amaury Chamayou (achamayou) opened Oct 8, 2026Member·2/2·

  ·

• Publish actionable CI test failure annotations

  #8542·Eddy Ashton (eddyashton) opened Oct 8, 2026Member·

  ·
  5

• Remove deprecated request forwarding for 8.0

  #8539·Eddy Ashton (eddyashton) opened Oct 8, 2026Member·2/2·

  ·

  · 8.0.0

• Complete first-party migration from forwarding to redirects

  #8538·Eddy Ashton (eddyashton) opened Oct 8, 2026Member·1/2·

  ·
  9

• Remove built-in HTTP/2 server support

  #8536·Eddy Ashton (eddyashton) opened Oct 8, 2026Member·

  ·

  · 8.0.0

• Add retirement Raft branch coverage scenarios

  #8507·Amaury Chamayou (achamayou) opened Oct 5, 2026Member·

  ·

• Encrypt private ledger data directly into serialised entries

  bench-ab
  #8499·achamayou with CopilotAI opened Oct 2, 2026·

  ·
  1

  3

  

• Add a recovery trace viewer, published with the docs

  #8496·Amaury Chamayou (achamayou) opened Oct 2, 2026Member·3/3·

  ·
  12

• Forbid live signature-table access in CCF 8.0

  run-long-test
  #8490·Amaury Chamayou (achamayou) opened Oct 2, 2026Member·

  ·

  · 8.0.0
  1

  2

• Make public header components acyclic, and forbid new cycles

  #8478·Amaury Chamayou (achamayou) opened Sep 30, 2026Member·

  ·

  · 8.0.0
  5

• Fluentd exporter for observability of the raft tracing

  bench-ab
  #8386·cjen1-msft opened Sep 16, 2026Contributor·

  ·
  10

• Lean spec of ccfraft and trace validation

  #8382·cjen1-msft opened Sep 16, 2026Contributor·

  ·
  3

• Replace bundled fmt with std::format

  bench-ab
  #8368·Amaury Chamayou (achamayou) opened Sep 13, 2026Member·

  ·

  · 8.0.0
  6

• Add Lean KV model and trace conformance tooling

  bench-ablean
  #8339·Amaury Chamayou (achamayou) opened Sep 10, 2026Member·

  ·
  1

• [WIP] Systematic testing: Test the full KV + History + Consensus stack, with deterministic and randomly-explored interleavings

  #8238·Eddy Ashton (eddyashton) opened Aug 28, 2026Member·

  ·

• Expose recent committed ledger prefixes

  #8214·Amaury Chamayou (achamayou) opened Aug 26, 2026Member·

  ·
  18

• [WIP] Refactor Consensus API and KV Interaction

  #8190·Eddy Ashton (eddyashton) opened Aug 20, 2026Member·

  ·

• Remove governance-managed CA bundles for outbound TLS

  #8027·eddyashton with CopilotAI opened Jul 6, 2026·

  ·

  · 8.0.0
  3