Skip to content

Commit

Permalink
add fixed Z3 bugs
Browse files Browse the repository at this point in the history
  • Loading branch information
@nunoplopes
nunoplopes committed Oct 3, 2023
1 parent 95316b7 commit f446ece
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions BugList.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -108,3 +108,5 @@ Please contact us or submit a PR if something is missing or inaccurate.
15. Incorrect sort after lambda rewrite (https://github.com/Z3Prover/z3/issues/6340)
16. Incorrect BV rewrite (https://github.com/Z3Prover/z3/issues/6426)
17. Crash with FP<->BV conversions (https://github.com/Z3Prover/z3/issues/6460)
18. Integer overflow (https://github.com/Z3Prover/z3/commit/a96f5a9b425b6f5ba7e8ce1c1a75db6683c4bdc99)
19. Memory leak with arrays on timeout (https://github.com/Z3Prover/z3/commit/dda0c8ff4200faa6a441855716b47ec7f93e026e)

0 comments on commit f446ece

Please sign in to comment.