Code

Rename static-link-z3 to bundled.#260

Code

Merged

waywardmonkeys merged 2 commits intomasterprove-rs/z3.rs:masterfrom rename-bundled-build-featureprove-rs/z3.rs:rename-bundled-build-featureCopy head branch name to clipboardOct 27, 2023

+70-35

Commits

Commits on Oct 26, 2023

• Rename static-link-z3 to bundled.

  Show description for 30db759
  waywardmonkeys

  committed
  30db759

Commits on Oct 27, 2023

• Add a warning when static-link-z3 is used.

  waywardmonkeys

  committed
  967b702