- Stub-side reference counting to deal with GC collection order
- Refactor stubs to include
CAMLparam,CAMLlocal, andCAMLreturndirectives to safeguard GC interactions - Documentation for module interfaces
- Updated the version of cvc5 supported to v1.2.0
- Changed number of Opam jobs used during compilation to avoid excessive memory use
Initial release.
Vendor submodules:
- cvc5 commit:27e8c50 (v1.1.3-unreleased)
- CaDiCaL commit:2df7b7f
- LibPoly commit:7a4dedc
- SymFPU commit:c3acaf6
Stubs with support for the following cvc5 API classes:
- Solver
- TermManager
- Term
- Op
- Result
- Sort