-
Notifications
You must be signed in to change notification settings - Fork 3
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
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 filelow-priorityLow priority, long-term taskLow priority, long-term taskStatus: Open.#56 In josehu07/summerset;Report test coverage and improve this coverage
testingTests & testing infrastructureTests & testing infrastructureStatus: Open.#43 In josehu07/summerset;Try formal verification of certain modules with Verus
formalTLA+ or other formal materialTLA+ or other formal materiallow-priorityLow priority, long-term taskLow priority, long-term taskStatus: Open.#41 In josehu07/summerset;Use Shuttle for high-coverage concurrency testing
formalTLA+ or other formal materialTLA+ or other formal materialtestingTests & testing infrastructureTests & testing infrastructureStatus: Open.#40 In josehu07/summerset;Performance tracing & monitoring throughout the codebase
frameworkFramework-level improvementFramework-level improvementtoolingAbout the supporting toolingAbout the supporting toolingStatus: Open.#39 In josehu07/summerset;Better tooling for keyspace-partitioned groups deployment
low-priorityLow priority, long-term taskLow priority, long-term tasktoolingAbout the supporting toolingAbout the supporting toolingStatus: Open.#38 In josehu07/summerset;Full generic membership management support
frameworkFramework-level improvementFramework-level improvementStatus: Open.#37 In josehu07/summerset;Improve framework-wide snapshotting implementation
frameworkFramework-level improvementFramework-level improvementStatus: Open.#36 In josehu07/summerset;Support third-party read-to-use messaging solution
frameworkFramework-level improvementFramework-level improvementhigh-priorityHigh priority, short-term taskHigh priority, short-term taskStatus: Open.#35 In josehu07/summerset;Support third-party ready-to-use storage backend
frameworkFramework-level improvementFramework-level improvementhigh-priorityHigh priority, short-term taskHigh priority, short-term taskStatus: Open.#34 In josehu07/summerset;Improve documentation on deployments
documentationImprovements to documentationImprovements to documentationStatus: Open.#33 In josehu07/summerset;Better fuzz testing & linearizability checking
high-priorityHigh priority, short-term taskHigh priority, short-term tasktestingTests & testing infrastructureTests & testing infrastructureStatus: Open.#32 In josehu07/summerset;