Changelog

All notable changes to the hasmtlib library will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to PVP versioning.

v1.1.2 (2024-07-02)

Changed

• Minor internal changes

v1.1.1 (2024-06-25)

Added

• Added this CHANGELOG.md file

v1.1.0 (2024-06-21)

Added

• Added ArraySort and full support for its SMTLib2 standard specification