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:
Added
Stubs with support for the following cvc5 API classes:
- Solver
- TermManager
- Term
- Op
- Result
- Sort
Changed
Fixed