Labels

Architectural improvements

Something isn't working

CI / GitHub Actions / workflow issues

Critical verification gap

CVC5 backend parity with Z3

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

This doesn't seem right

LLM compatibility improvements

Waiting on reporter for more information

New issue awaiting maintainer accept; do not auto-implement

Type checker with hardcoded params or limited extraction

Production readiness gaps

Further information is requested

Accepted for implementation (MPI/automation may pick up)

Code restructuring without behavior change

Feature missing SMT verification encoding

SMT verification soundness bug

Diverges from SPECIFICATION.md

Technical debt and cleanup

Test provides false confidence

This will not be worked on