issues Search Results · language:Dune language:JavaScript language:HTML language:Java language:JavaScript
Filter by
39.7M results
Type: infrastructure · Milestone: M2
Goal
An SMT-LIB 2.6 subset parser as an additive front-end producing the existing internal Constraint/TheoryCNF structures
(keep the current custom syntax).
Scope ...
area:parser
infrastructure
paultristanwagner
Type: infrastructure · Milestone: M0
Goal
A differential / known-answer test harness to catch and guard the soundness bugs (#f01, #f02, …) before fixing them.
Scope
- SAT: generate random small CNFs ...
area:testing
infrastructure
Severity: Medium · Category: testing · Confidence: high
Problem
Tested: DPLL/CDCL/Enumeration SAT, CNF round-trip, Tseitin (1 case), Simplex feasibility/optimization, Rational,
polynomial arithmetic, ...
area:testing
severity:medium
이슈 배경
- 현재 RequestLoggingFilter는 요청만 로깅하고 응답에 대한 로깅이 없다.
- 4xx/5xx 디버깅 시 서버가 실제로 어떤 응답(에러 코드/메시지)을 내려줬는지 로그로 확인할 수 없다.
- 상태코드·소요시간 외에 에러 응답 포맷 등을 확인해야 하는 상황이 있다.
📄 작업 내용 or 논의 내용
- 응답을 ContentCachingResponseWrapper로 ...
ckdals4600
When looking to join a court, users should be able to see if the court has hidden votes or not. Ideally, a brief
explanation for both hidden and public votes.
Priority: Medium
Type: Enhancement ✨
kyrers
Severity: Low · Category: quality · Confidence: high (verified — NOT a soundness bug)
Problem
assign(literal, value) stores value directly as the variable s truth value (ignoring the literal s polarity), ...
area:sat
severity:low
Summary
Everything needed to make Synap a thriving open-source project.
Deliverables
- Helm chart published to ArtifactHub
- GitHub Discussions enabled
- Contributor quick-start guide (dev environment ...
later
roadmap
Preet2fun
Severity: Medium · Category: build · Confidence: high
Problem
- pom.xml:12-13 sets maven.compiler.source/target = 13, but the compiler-plugin config (:56-58) sets 16 (plugin wins;
code uses records/text-blocks/pattern-instanceof ...
area:build
severity:medium
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
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
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.