ksmt icon indicating copy to clipboard operation
ksmt copied to clipboard
verified publisher icon UnitTestBot

Bitwuzla update to 0.2.0-dev

Open dee-tree opened this issue 2 years ago • 1 comments

Bitwuzla native libs and API updated to 0.2.0-dev @ main .

What's new:

  1. Native API changed.
  2. Now bitwuzla distinguishes BitVec 1 from bool.
  3. Native terms are globally managed (therefore, added memory cleanup in KBitwuzlaContext close).
  4. Changed representation of lambdas in model.

Build guide and script

Notes:

  • New bitwuzla is not built for mac-os due to lack of necessary machine

dee-tree avatar Oct 23 '23 21:10 dee-tree

It's possible to delete the patch win_bv_gmp_long_patch.patch due to the bug fix in bitwuzla repository

dee-tree avatar Oct 28 '23 07:10 dee-tree