All issues

C API: `cvc5_parser_next_command` reports a non-parse failure as clean end-of-input

#12992

· HuStmpHrrr opened

on Sep 23, 2026

C API: `cvc5_get_option_info` leaves its out-struct entirely uninitialized on failure

#12991

· HuStmpHrrr opened

on Sep 23, 2026

C API: 19 array getters return a stale non-NULL buffer on failure and never write `*size`

#12989

· HuStmpHrrr opened

on Sep 23, 2026

C API: `cvc5_new` and `cvc5_mk_grammar` dereference an argument without `CVC5_CAPI_CHECK_NOT_NULL`

#12985

· HuStmpHrrr opened

on Sep 23, 2026

Memory usage growing across `(reset)`s when using division/remainder `bv` operators

#12984

· victornicolet opened

on Sep 23, 2026

C API: a parser-created `Cvc5SymbolManager` takes no reference on the parser that owns the object it wraps (use-after-free)

#12983

· HuStmpHrrr opened

on Sep 23, 2026

C API: `PluginCpp::check` reads an uninitialized `size` and does not NULL-check the plugin's return

#12982

· HuStmpHrrr opened

on Sep 23, 2026

Unknown on replace_all sequence problem

#12936

· BillHallahan opened

on Sep 10, 2026

`unknown` for a satisfiable magic wand whose only models are vacuous

#12920

· aytey opened

on Sep 6, 2026

`unknown` for an unsatisfiable magic wand, even with the heap pinned to one cell

#12919

· aytey opened

on Sep 6, 2026

Assertion failure in `TheorySep::makeDisjointHeap` for a wand whose consequent is a `sep`

#12917

· aytey opened

on Sep 6, 2026

Segfault with `--solve-bv-as-int` on separation logic over a bit-vector heap

#12915

· aytey opened

on Sep 6, 2026