package cvc5

Unreleased

Added

• Stub-side reference counting to deal with GC collection order
• Refactor stubs to include CAMLparam, CAMLlocal, and CAMLreturn directives to safeguard GC interactions

Changed

Fixed

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