Incompleteness bug findings with Weakening & Strengthening
https://github.com/Z3Prover/z3/issues/5491 Fixedhttps://github.com/Z3Prover/z3/issues/5398 Fixed
https://github.com/Z3Prover/z3/issues/5399 Fixed
https://github.com/Z3Prover/z3/issues/5390 Won't fix
https://github.com/Z3Prover/z3/issues/5381 Fixed
https://github.com/Z3Prover/z3/issues/5376 Fixed
https://github.com/cvc5/cvc5-projects/issues/280 Won't fix
https://github.com/Z3Prover/z3/issues/5357 Won't fix
https://github.com/Z3Prover/z3/issues/5349 Fixed
https://github.com/Z3Prover/z3/issues/5350 Won't fix
https://github.com/Z3Prover/z3/issues/5358 Won't fix
https://github.com/Z3Prover/z3/issues/5340 Fixed
https://github.com/Z3Prover/z3/issues/5338 Fixed
https://github.com/cvc5/cvc5/issues/7082 Fixed
https://github.com/cvc5/cvc5/issues/7076 Fixed
https://github.com/cvc5/cvc5/issues/7057 Confirmed
https://github.com/cvc5/cvc5/issues/7008 Fixed
https://github.com/cvc5/cvc5/issues/7009 Fixed
https://github.com/cvc5/cvc5/issues/6925 Fixed
https://github.com/cvc5/cvc5/issues/6924 Fixed
https://github.com/cvc5/cvc5/issues/6910 Fixed
https://github.com/cvc5/cvc5/issues/6911 Confirmed
https://github.com/cvc5/cvc5/issues/6821 Confirmed
https://github.com/cvc5/cvc5/issues/6829 Confirmed
https://github.com/cvc5/cvc5/issues/6829 Fixed
https://github.com/cvc5/cvc5-projects/issues/280 Fixed
https://github.com/cvc5/cvc5/issues/6751 Fixed
https://github.com/cvc5/cvc5/issues/6727 Confirmed
https://github.com/cvc5/cvc5/issues/6798 Confirmed
https://github.com/cvc5/cvc5/issues/6274 Confirmed
https://github.com/cvc5/cvc5/issues/6717 Fixed