package cvc5

1.2.0

Added

• Stub-side reference counting to deal with GC collection order

• Refactor stubs to include CAMLparam, CAMLlocal, and CAMLreturn directives to safeguard GC interactions

• Documentation for module interfaces

Changed

• Updated the version of cvc5 supported to v1.2.0

Fixed

• Changed number of Opam jobs used during compilation to avoid excessive memory use

1.1.3

Initial release.

Vendor submodules:

• cvc5 commit:27e8c50 (v1.1.3-unreleased)

• CaDiCaL commit:2df7b7f

• LibPoly commit:7a4dedc

• SymFPU commit:c3acaf6

Added

Stubs with support for the following cvc5 API classes:

• Solver

• TermManager

• Term

• Op

• Result

• Sort

Changed

Fixed