Code

Bitwuzla update to 0.2.0-dev#135

Code

Open

dee-tree wants to merge 6 commits intoUnitTestBot:mainUnitTestBot/ksmt:mainfrom dee-tree:bitwuzla-update-0_2_0dee-tree/ksmt:bitwuzla-update-0_2_0Copy head branch name to clipboard

+4,798-5,324

Commits

Commits on Oct 25, 2023

• merge bitwuzla: updated linux dependency, jni, Native calls; source code stubs

  dee-tree

  committed
  a08d191

  Copy full SHA for a08d191

• bitwuzla bindings extended, linux lib updated, build guide updated

  dee-tree

  committed
  ca4c9f2

  Copy full SHA for ca4c9f2

• bitwuzla: some native solver stubs replaced

  dee-tree

  committed
  0c07c2e

  Copy full SHA for 0c07c2e

• bitwuzla update to 0.2.0 for linux and windows, bv overflow ops fix

  dee-tree

  committed
  8e73399

  Copy full SHA for 8e73399

• bitwuzla: added build guide, native libs for windows, linux reassembled

  dee-tree

  committed
  f87afe5

  Copy full SHA for f87afe5

• bitwuzla native fixed for Windows on bv of size 33-64, patch attached

  dee-tree

  committed
  34b4fde

  Copy full SHA for 34b4fde