package cvc5

1.3.0

Added

• Stub to create RegExp sort

Changed

• Updated cvc5's version to v1.3.0
• Updated CaDiCaL's version to v2.1.3
• Updated LibPoly's version to v0.2.0
• Changed LICENSE to MIT

Fixed

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