Skip to content

Latest commit

 

History

History
37 lines (21 loc) · 833 Bytes

CHANGELOG.md

File metadata and controls

37 lines (21 loc) · 833 Bytes
Raw

HasCacBDD Changelog

upcoming

  • ...

v0.2.0.0 (2023-11-23)

  • rename forall (soon a keyword in GHC) to forall_ and exists to exists_

v0.1.0.4 (2023-02-03)

Maintenance release.

  • Faster subsOf and sizeOf.

v0.1.0.3 (2020-06-30)

Maintenance release.

  • fix an error which caused svgGraph to hang on long outputs.
  • add Read and Eq classes for BddTree.
  • a few more tests.

v0.1.0.2 (2019-06-19)

Correction to extra library paths defined in custom Setup.hs. This should fix problems when HasCacBDD is used as a dependency in projects with recent stack versions.

v0.1.0.1 (2019-01-24)

  • new functions: relabelFun, substit, substitSimul
  • simplified test suite
  • improve documentation and hints to get started

v0.1.0.0 (2017-03-09)

First complete release, also available on hackage.