3 Pull requests merged by 3 people

• Fix out of bounds error in OCaml API (#7665)

  #7666 merged May 29, 2025

• Centralize and document TRACE tags using X-macros

  #7657 merged May 28, 2025

• Fix setup_relevancy for relevancy-dependent case split strategies

  #7662 merged May 27, 2025

5 Issues closed by 2 people

• Segmentation fault after (push) with trace enabled due to invalid watch list references

  #7668 closed Jun 2, 2025

• Cannot convert model back to bit vector after bit-blasting

  #7667 closed May 30, 2025

• ASSERTION VIOLATION, File: ../src/ast/fpa/fpa2bv_converter.cpp

  #7661 closed May 29, 2025

• Is There a List of Available TRACE Tags by Major Logic (e.g., E-matching)?

  #7655 closed May 29, 2025

• Support tag_class-based trace activation

  #7663 closed May 28, 2025

2 Issues opened by 2 people

• `Model.get_decls` has "index out of bounds" error in OCaml bindings

  #7665 opened May 29, 2025

• invalid model

  #7664 opened May 28, 2025

3 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• z3 model that doesn't satisfy all given constraints

  #7658 commented on May 29, 2025 • 0 new comments

• python: load libz3 with soversion

  #7518 commented on May 30, 2025 • 0 new comments

• Bazel: expose `z3_static` target for working macOS, win32 builds

  #7660 commented on May 28, 2025 • 0 new comments