« Changelog History


hz3 v4.3 Release Notes

Release Date: 2018-04-29 // almost 6 years ago

  • 🛠 Fixes

    • 🛠 Fixed memory leak due to typo in Z3.Base.C. (Deian Stefan)

    🆕 New API support

    • 🛠 Added partial support for Fixedpoint API. (David Heath)
    • Added more bindings to the Models API. (Daniel Gröber)
    • 📜 Added Parser interface API. (Tristan Knoth)

    Misc

    • 🚚 After many requests, I have moved the repository to GitHub: https://github.com/IagoAbal/haskell-z3.
    • From now on the revision number (aka patch level) 0 will be omitted (so x.y instead of x.y.0).