Code

Update bundled Z3 to z3 4.12.3.#279

Code

Merged

waywardmonkeys merged 2 commits intomasterprove-rs/z3.rs:masterfrom update-bundled-z3prove-rs/z3.rs:update-bundled-z3Copy head branch name to clipboardMay 29, 2024

+2-1

Commits

Commits on May 29, 2024

• Update bundled Z3 to z3 4.13.0.

  waywardmonkeys

  committed
  2d1c0b9

  Copy full SHA for 2d1c0b9

• Fix windows debug builds (#295)

  Show description for 105e4f0
  

  toolCHAINZ

  authored and

  waywardmonkeys

  committed
  105e4f0

  Copy full SHA for 105e4f0