Code

Z3 4.8.10#79

Code

Open

jad-hamza wants to merge 3 commits intoepfl-lara:masterepfl-lara/ScalaZ3:masterfrom jad-hamza:z3-4.8.10jad-hamza/ScalaZ3:z3-4.8.10Copy head branch name to clipboard

+17-68

Commits

Commits on Apr 29, 2021

• Update Z3 to version 4.8.5

  

  romac

  authored and

  jad-hamza

  committed
  de9fd39

  Copy full SHA for de9fd39

• Bump Scala to 2.12.13 and Z3 to 4.8.10

  jad-hamza

  committed
  e0b6a34

  Copy full SHA for e0b6a34

• Remove failing function and test suite

  jad-hamza

  committed
  73cec66

  Copy full SHA for 73cec66