issues Search Results · language:Dune language:JavaScript language:Java language:JavaScript language:JavaScript language:C#
Filter by
39.3M results
Severity: High · Category: correctness · Confidence: high
Problem
Both lazy solvers return on the first theory-satisfiable assignment and never read
SimplexResult.isOptimal()/getOptimum() or enumerate ...
area:arithmetic
area:smt-core
bug
severity:high
paultristanwagner
Summary
Replace all mock data (src/lib/data/) with real TanStack Query hooks backed by backend endpoints. Wire all // TODO: real
API seams.
Deliverables
- TanStack Query + Zustand installed
- Per-resource ...
later
multi-tenant
roadmap
sprint
Preet2fun
Severity: Medium · Category: correctness · Confidence: medium
Problem
reconstruct does try { bits[i] = assignment.getValue(name); } catch (NullPointerException e) {} — any bit the SAT solver
left free ...
area:bitvector
bug
severity:medium
Severity: High · Category: correctness/soundness · Confidence: medium-high
Problem
isSigned() defaults to true for every term (only BitVectorAbsoluteValue overrides), and right shift always zero-fills ...
area:bitvector
bug
severity:high
soundness
Summary
POST /api/coupons returns HTTP 200 instead of 400 when missing/invalid fields are submitted (per FR-17)
Bug Details
| Field | Value |
| --- | --- |
| Bug ID | BUG-001 |
| Linked TCs | FR17-EP-007, ...
api
bug
FR-17
severity: medium
phatnguyen975
Arconia Dev Services provides a unified, opinionated framework for local dev/test container setup. Floci (AWS) and
Artemis (JMS) are first-class native modules. WireMock has no native module.
Every Arconia-based ...
CrystalMethod
Severity: High · Category: correctness · Confidence: high
Problem
Binary/decimal bit-vector constants are silently truncated to 8 bits: parseBinaryConstant loops min(bits.length,
string.length()) with ...
area:bitvector
bug
severity:high
soundness
Severity: High (latent) · Category: correctness · Confidence: high (verified)
Problem
BitVector(int value, int length) loops for (i=0; i Math.min(DEFAULT_BIT_VECTOR_LENGTH, 32); i++) = min(8,32) = 8, ...
area:bitvector
bug
severity:high
NetPeer.GetPacketsCountInReliableQueue() can throw a NullReferenceException when the peer was created via
NetManager.CreateRejectPeer() - new NetPeer(NetManager netManager, IPEndPoint remoteEndPoint, int ...
marmazey
Summary
Remaining UI screens covering inventory, monitoring, knowledge base, analytics, and admin.
Sprint 8 — Inventory
- CMDB: auto-discovered CIs table with health + AI discovery banner
- Service ...
ai
later
roadmap
sprint
ui
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.