hz3 v408.1 Release Notes
-
✅ Tested (sort of) with Z3 4.8.4.
- ➕ Added bindings to
substitute
andisEqAST
. (Hengchu Zhang) - ➕ Added
MonadFail
instance forZ3
, required by GHC >=8.6. (Conal Elliott) - Updated
Z3_get_error_msg
signature (Z3 C API 4.8.7). (Kevin Quick) - 🛠 Removed bindings to
Z3_fixedpoint_push
andZ3_fixedpoint_pop
(Z3 C API 4.8.5). (Eric Walkingshaw) - Replaced
z3_get_error_msg_ex
withz3_get_error_msg
(Z3 C API 4.8.5). (Alexander Knauth) - ➕ Added semigroups to dependencies for GHC <= 7. (Hogeyama)
- ➕ Added bindings to