Search results

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

dependenciesPull requests that update a dependency filePull requests that update a dependency file

low-priorityLow priority, long-term taskLow priority, long-term task

Status: Open.

#56 In josehu07/summerset;

· josehu07 opened on Feb 10, 2026

Report test coverage and improve this coverage

testingTests & testing infrastructureTests & testing infrastructure

Status: Open.

#43 In josehu07/summerset;

· josehu07 opened on Aug 30, 2025

Try formal verification of certain modules with Verus

formalTLA+ or other formal materialTLA+ or other formal material

low-priorityLow priority, long-term taskLow priority, long-term task

Status: Open.

#41 In josehu07/summerset;

· josehu07 opened on May 27, 2025

Use Shuttle for high-coverage concurrency testing

formalTLA+ or other formal materialTLA+ or other formal material

testingTests & testing infrastructureTests & testing infrastructure

Status: Open.

#40 In josehu07/summerset;

· josehu07 opened on May 27, 2025

Performance tracing & monitoring throughout the codebase

frameworkFramework-level improvementFramework-level improvement

toolingAbout the supporting toolingAbout the supporting tooling

Status: Open.

#39 In josehu07/summerset;

· josehu07 opened on May 27, 2025

Better tooling for keyspace-partitioned groups deployment

low-priorityLow priority, long-term taskLow priority, long-term task

toolingAbout the supporting toolingAbout the supporting tooling

Status: Open.

#38 In josehu07/summerset;

· josehu07 opened on May 27, 2025

Full generic membership management support

frameworkFramework-level improvementFramework-level improvement

Status: Open.

#37 In josehu07/summerset;

· josehu07 opened on May 27, 2025

Improve framework-wide snapshotting implementation

frameworkFramework-level improvementFramework-level improvement

Status: Open.

#36 In josehu07/summerset;

· josehu07 opened on May 27, 2025

Support third-party read-to-use messaging solution

frameworkFramework-level improvementFramework-level improvement

high-priorityHigh priority, short-term taskHigh priority, short-term task

Status: Open.

#35 In josehu07/summerset;

· josehu07 opened on May 27, 2025

Support third-party ready-to-use storage backend

frameworkFramework-level improvementFramework-level improvement

high-priorityHigh priority, short-term taskHigh priority, short-term task

Status: Open.

#34 In josehu07/summerset;

· josehu07 opened on May 27, 2025

Improve documentation on deployments

documentationImprovements to documentationImprovements to documentation

Status: Open.

#33 In josehu07/summerset;

· josehu07 opened on May 27, 2025

Better fuzz testing & linearizability checking

high-priorityHigh priority, short-term taskHigh priority, short-term task

testingTests & testing infrastructureTests & testing infrastructure

Status: Open.

#32 In josehu07/summerset;

· josehu07 opened on May 27, 2025