issues Search Results · language:Dune language:JavaScript language:Java language:Java language:Java language:Java
Filter by
33.2M results
Severity: Medium · Category: performance · Confidence: high
Problem
- DPLLSolver.bcp iterates all clauses each round (naive O(C) scan watched literals exist to avoid).
- Clause has no equals/hashCode, ...
area:sat
enhancement
severity:medium
paultristanwagner
Summary
First-class tenant management features beyond the current schema-per-tenant isolation foundation.
Deliverables
- Tenant management UI in Admin screen: onboard / offboard tenants
- Per-tenant ...
later
multi-tenant
roadmap
ui
Preet2fun
Severity: Medium · Category: correctness/robustness · Confidence: high
Problem
1. variableCount is parsed then never used → literals outside 1..nvars silently accepted.
2. A header lying about clause ...
area:parser
bug
severity:medium
Observed behavior
The worklog-reading tools (getJiraIssue, searchJiraIssuesUsingJql, fetch) return worklogs only via the issue s embedded
worklog field, which is capped at maxResults: 20. When an issue ...
ypadlyak
Severity: High · Category: quality/robustness · Confidence: high
Problem
ReadCommand has if (args.length 2) return false;, which rejects the documented read file (yields args.length==1). If
reached, ...
area:parser
bug
severity:high
Severity: High · Category: correctness/robustness · Confidence: high
Problem
HEX_CONSTANT is accepted as a valid G start and is lexed, but parseG handles only LPAREN/IDENTIFIER/INTEGER/BINARY and
falls ...
area:parser
bug
severity:low
Summary
Automated build, test, push, and deploy pipeline.
Deliverables
- GitHub Actions: build + lint + test on every PR, docker push on version tags
- ArgoCD Application for dev + qa environments ...
infra
later
phase
roadmap
Severity: Medium · Category: correctness/robustness · Confidence: high
Problem
Infeasibility explanation does Integer.parseInt(variable.split( s )[1]), assuming every non-basic is a slack sN. After
pivots, ...
area:arithmetic
bug
severity:medium
Severity: Medium · Category: correctness · Confidence: medium
Problem
RealAlgebraicNumber.equals declares equality when the gcd of the two minimal polynomials has any root in the overlap
window, without ...
area:nra
bug
severity:medium
soundness
Severity: High (config-gated) · Category: correctness · Confidence: high
Problem
Float mode uses exact comparisons on double: isZero() is value==0, isInteger() is value==Math.floor(value), equals uses ...
area:arithmetic
bug
severity:high
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.