Skip to content

Commit

Permalink
add Z3 bugs
Browse files Browse the repository at this point in the history
  • Loading branch information
@nunoplopes
nunoplopes committed Dec 15, 2023
1 parent 58adb88 commit 9b11671
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions BugList.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -112,3 +112,7 @@ Please contact us or submit a PR if something is missing or inaccurate.
17. Crash with FP<->BV conversions (https://github.com/Z3Prover/z3/issues/6460)
18. Integer overflow (https://github.com/Z3Prover/z3/commit/a96f5a9b425b6f5ba7e8ce1c1a75db6683c4bdc9)
19. Memory leak with arrays on timeout (https://github.com/Z3Prover/z3/commit/dda0c8ff4200faa6a441855716b47ec7f93e026e)
20. Unsoundness in elim-uncnstr2 (https://github.com/Z3Prover/z3/issues/6488)
21. Unsoundness in elim-uncnstr2 (https://github.com/Z3Prover/z3/issues/6506)
22. Unsound NaN encoding (https://github.com/Z3Prover/z3/issues/6972)
23. fp.roundToIntegral gives invalid zero_extend application (https://github.com/Z3Prover/z3/issues/7056)

0 comments on commit 9b11671

Please sign in to comment.