0.6.1

CHANGES:

Update Bitwuzla sources.

Vendor submodules:

• Bitwuzla tag:0.6.1

0.6.0

CHANGES:

Update Bitwuzla sources.

Fix a segmentation fault that occurs during the garbage collection of node managers.

Vendor submodules:

• Bitwuzla tag:0.6.0

0.5.0

CHANGES:

Update Bitwuzla sources.

Vendor submodules:

• Bitwuzla tag:0.5.0

0.4.0

CHANGES:

Update Bitwuzla sources.

Bitwuzla_cxx should now be usable with OCaml 5 (not thoroughly tested).

Vendor submodules:

• Cadical tag:rel-1.7.4
• Bitwuzla tag:0.4.0

0.3.0

CHANGES:

Update Bitwuzla sources.

Bitwuzla_cxx can now be installed alongside Bitwuzla_c.

Vendor submodules:

• Bitwuzla tag:0.3.0

0.2.0

CHANGES:

Initial release.

OCaml binding for the SMT solver Bitwuzla.

Vendor submodules:

• Cadical commit:ca9bff0
• SymFPU commit:22d993d
• Bitwuzla tag:0.2.0

0.1.1

CHANGES:

Initial release.

OCaml binding for the SMT solver Bitwuzla.

Vendor submodules:

• Cadical commit:ca9bff0
• SymFPU commit:22d993d
• Bitwuzla commit:b19c31f

0.1.0

CHANGES:

Initial release.

OCaml binding for the SMT solver Bitwuzla.

Vendor submodules:

• Cadical commit:ca9bff0
• SymFPU commit:22d993d
• Bitwuzla commit:4eda053

1.0.5

CHANGES:

• Enable macOS Homebrew distribution

1.0.4

CHANGES:

• Fix an issue
  with get_value and assignment when the term is an array
  or a function