-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Publish release benchmark assets before releases become immutable
bugSomething isn't workingSomething isn't workingperformancePerformance related issuesPerformance related issuesreleaseRelease preparation and packagingRelease preparation and packagingreproducibilityReproducibility and artifact packagingReproducibility and artifact packagingtestingIssues that come up in testingIssues that come up in testingStatus: Open.Keep release Criterion baseline generation within the workflow budget
bugSomething isn't workingSomething isn't workingperformancePerformance related issuesPerformance related issuesreleaseRelease preparation and packagingRelease preparation and packagingreproducibilityReproducibility and artifact packagingReproducibility and artifact packagingtestingIssues that come up in testingIssues that come up in testingStatus: Open.feat: Add certified dot-product and linear-form bounds
enhancementNew feature or requestNew feature or requestperformancePerformance related issuesPerformance related issuesrustPull requests that update rust codePull requests that update rust codeStatus: Open.feat: Construct Gram matrices from fixed vectors
enhancementNew feature or requestNew feature or requestperformancePerformance related issuesPerformance related issuesrustPull requests that update rust codePull requests that update rust codeStatus: Open.feat: Add outward-rounded interval determinant signs
enhancementNew feature or requestNew feature or requestperformancePerformance related issuesPerformance related issuesrustPull requests that update rust codePull requests that update rust codeStatus: Open.feat: Add an overflow-safe Euclidean norm for fixed vectors
enhancementNew feature or requestNew feature or requestperformancePerformance related issuesPerformance related issuesrustPull requests that update rust codePull requests that update rust codeStatus: Open.feat: Accept exact rational matrices for determinant and solve operations
enhancementNew feature or requestNew feature or requestperformancePerformance related issuesPerformance related issuesrustPull requests that update rust codePull requests that update rust codeStatus: Open.Refactor determinant APIs around generic_const_exprs
enhancementNew feature or requestNew feature or requestrustPull requests that update rust codePull requests that update rust codeStatus: Open.