0.8.0

This release updates Bitwuzla to version 0.8.0.

Thanks to @ivajon for the contribution!

0.7.0

This release updates Bitwuzla to version 0.7.0, and additionally:

• fixes build on macOS;
• fixes build wrt libgmp:
  • when GMP is not available under pkg-config, emit a useful error message that blames lack of GMP, rather than one that blames the version of meson;
  • when GMP is available under pkg-config, link to that version rather than the nonexistent one under the meson build directory.

Thanks to @reinerp for the contributions!

0.5.1

This release changes the static vendored build to have an additional step of merging static archives together. This should fix link issues.

0.5.0

This release updates Bitwuzla to version 0.5.0. There are breaking API changes.

0.2.0

This release removes redundant prefixes from enum names in generated bindings, e.g. BitwuzlaBVBase_BITWUZLA_BV_BASE_BIN becomes simply BITWUZLA_BV_BASE_BIN. This is an API-breaking change.

Thanks to @Mrmaxmeier for the contribution!

0.1.1

This releases fixes a link-time error in vendored builds.

0.1.0

Initial release.