issues Search Results · language:Dune language:HTML language:JavaScript language:Java language:JavaScript language:Java
Filter by
39.7M results
User Story (Required on creation)
As a migration operator, I want to configure the prefix used for Camunda 7 historical definition IDs during migration to
Camunda 8, so that I can align migrated IDs with ...
bojtospeter
Type: infrastructure · Milestone: M2
Goal
A benchmark loader + oracle runner that reads SMT-LIB files, runs the solver, and checks the result against the :status
annotation.
Scope
- Curate a small ...
area:testing
infrastructure
paultristanwagner
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
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
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.