Issues

• Convert dead bincode dependency to bitcode (or other easy serde solutions)

  dependencieslow-priority
  josehu07/summerset#56 · Filter by author josehu07 opened on Feb 10, 2026

• Report test coverage and improve this coverage

  testing
  josehu07/summerset#43 · Filter by author josehu07 opened on Aug 30, 2025

• Try formal verification of certain modules with Verus

  formallow-priority
  josehu07/summerset#41 · Filter by author josehu07 opened on May 27, 2025

• Use Shuttle for high-coverage concurrency testing

  formaltesting
  josehu07/summerset#40 · Filter by author josehu07 opened on May 27, 2025

• Performance tracing & monitoring throughout the codebase

  frameworktooling
  josehu07/summerset#39 · Filter by author josehu07 opened on May 27, 2025
  1

• Better tooling for keyspace-partitioned groups deployment

  low-prioritytooling
  josehu07/summerset#38 · Filter by author josehu07 opened on May 27, 2025

• Full generic membership management support

  framework
  josehu07/summerset#37 · Filter by author josehu07 opened on May 27, 2025

• Improve framework-wide snapshotting implementation

  framework
  josehu07/summerset#36 · Filter by author josehu07 opened on May 27, 2025

• Support third-party read-to-use messaging solution

  frameworkhigh-priority
  josehu07/summerset#35 · Filter by author josehu07 opened on May 27, 2025

• Support third-party ready-to-use storage backend

  frameworkhigh-priority
  josehu07/summerset#34 · Filter by author josehu07 opened on May 27, 2025

• Improve documentation on deployments

  documentation
  josehu07/summerset#33 · Filter by author josehu07 opened on May 27, 2025

• Better fuzz testing & linearizability checking

  high-prioritytesting
  josehu07/summerset#32 · Filter by author josehu07 opened on May 27, 2025

• TLA+ specification of Raft & variants

  formallow-priority
  josehu07/summerset#31 · Filter by author josehu07 opened on May 27, 2025

• TLA+ specification of Chain Replication

  formal
  josehu07/summerset#30 · Filter by author josehu07 opened on May 27, 2025

• Implement full-fledged Chain Replication & optimizations

  protocol
  josehu07/summerset#29 · Filter by author josehu07 opened on May 27, 2025

• Fix EPaxos optimized fast-path quorum logic

  bughigh-priorityprotocol
  josehu07/summerset#28 · Filter by author josehu07 opened on May 27, 2025

• Explore using Docker for 100% reproducible deployment

  tooling
  josehu07/summerset#27 · Filter by author josehu07 opened on May 27, 2025