Skip to content

Latest commit

 

History

History
40 lines (31 loc) · 1.32 KB

CHANGELOG.md

File metadata and controls

40 lines (31 loc) · 1.32 KB

Changelog

All notable changes to the smtlib-backends library will be documented in this file.

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

The same stands for the changelogs of smtlib-backends-tests, smtlib-backends-process and smtlib-backends-z3, except the version numbers simply follow that of smtlib-backends.

v0.3 (2023-02-03)

Added

  • (breaking change) add a datatype Backends.QueuingFlag to set the queuing mode
    • the initSolver function now takes this datatype as argument instead of a boolean
  • (breaking change) add a send_ method to the Backends.Backend datatype for sending commands with no output
  • add a Backends.flushQueue function for forcing the content of the queue to be evaluated

Changed

  • (breaking change) make the queuing functions thread-unsafe but faster

v0.2 (2022-12-16)

Changed

  • split the Process module into its own library
  • rename SMTLIB.Backends's ackCommand to command_
  • improve read-me

Removed

  • remove logging abilities
    • the user can always surround command or command_ with their own logging functions