-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Fix proof-aware release benchmark contracts and failure diagnostics
bugSomething isn't workingSomething isn't workingperformancePerformance related issuesPerformance related issuesreleaseRelease preparation and packagingRelease preparation and packagingrustPull requests that update rust codePull requests that update rust codetestingIssues that come up in testingIssues that come up in testingStatus: Open.Adopt la-stack certified linear-form bounds and retire local filter
dependenciesPull requests that update a dependency filePull requests that update a dependency filegeometryGeometry-related issuesGeometry-related issuesperformancePerformance related issuesPerformance related issuesrefactorCode restructuring without behavior changeCode restructuring without behavior changerustPull requests that update rust codePull requests that update rust codeStatus: Open.Adopt la-stack Gram construction and retire local Gram loops
dependenciesPull requests that update a dependency filePull requests that update a dependency filegeometryGeometry-related issuesGeometry-related issuesperformancePerformance related issuesPerformance related issuesrefactorCode restructuring without behavior changeCode restructuring without behavior changerustPull requests that update rust codePull requests that update rust codeStatus: Open.Adopt la-stack interval determinant signs and retire local interval kernel
dependenciesPull requests that update a dependency filePull requests that update a dependency filegeometryGeometry-related issuesGeometry-related issuesperformancePerformance related issuesPerformance related issuesrefactorCode restructuring without behavior changeCode restructuring without behavior changerustPull requests that update rust codePull requests that update rust codeStatus: Open.Adopt la-stack stable norms and retire local norm kernels
dependenciesPull requests that update a dependency filePull requests that update a dependency filegeometryGeometry-related issuesGeometry-related issuesperformancePerformance related issuesPerformance related issuesrefactorCode restructuring without behavior changeCode restructuring without behavior changerustPull requests that update rust codePull requests that update rust codeStatus: Open.Adopt la-stack rational matrices and retire local exact elimination
dependenciesPull requests that update a dependency filePull requests that update a dependency filegeometryGeometry-related issuesGeometry-related issuesperformancePerformance related issuesPerformance related issuesrefactorCode restructuring without behavior changeCode restructuring without behavior changerustPull requests that update rust codePull requests that update rust codeStatus: Open.Extract profiling_suite diagnostics into focused composable benchmark targets
performancePerformance related issuesPerformance related issuesrefactorCode restructuring without behavior changeCode restructuring without behavior changerustPull requests that update rust codePull requests that update rust codetestingIssues that come up in testingIssues that come up in testingStatus: Open.Complete and package the validation manuscript
artifactPaper artifact and reviewer-facing materialsPaper artifact and reviewer-facing materialsdocumentationImprovements or additions to documentationImprovements or additions to documentationreproducibilityReproducibility and artifact packagingReproducibility and artifact packagingStatus: Open.Audit and fill math-kernel benchmark coverage
performancePerformance related issuesPerformance related issuestestingIssues that come up in testingIssues that come up in testingStatus: Open.perf: replace per-insertion TDS rollback snapshots with insertion undo log
performancePerformance related issuesPerformance related issuesrefactorCode restructuring without behavior changeCode restructuring without behavior changerustPull requests that update rust codePull requests that update rust codeStatus: Open.Polish and finalize Delaunay construction builder API for v1.0.0
enhancementNew feature or requestNew feature or requestrustPull requests that update rust codePull requests that update rust codeStatus: Open.Establish correctness and performance evidence for concurrent topology mutation
debugWork involving debugging / reproductionWork involving debugging / reproductionenhancementNew feature or requestNew feature or requestperformancePerformance related issuesPerformance related issuesreproducibilityReproducibility and artifact packagingReproducibility and artifact packagingrustPull requests that update rust codePull requests that update rust codetestingIssues that come up in testingIssues that come up in testingStatus: Open.