All Versions
12
Latest Version
Avg Release Cycle
158 days
Latest Release
407 days ago

Changelog History
Page 1

  • v0.12 Changes

    September 05, 2020
    • Changes required to compile with GHC 8.10.2
    • Bump up sbv dependence to >= 8.8
  • v0.11 Changes

    January 15, 2019
    • Changes required to compile with GHC 8.6.3
    • Bump up sbv dependence to >= 8.0
    • Clean-up/improve test cases
  • v0.10 Changes

    July 29, 2017
    • Changes required to compile with GHC 8.2.1/8.2.2.
    • Bump up sbv dependence to >= 7.4
  • v0.9 Changes

    July 20, 2017
    • Sync-up with recent modifications to SBV. No user visible changes.
    • Bump up sbv dependence to >= 7.0
  • v0.8 Changes

    January 12, 2017
    • Fix broken links, thanks to Stephan Renatus for the patch.
    • Add the 'Proved' type, which allows for easily tagging a type for proof, without the need for an explicit annotation. Thanks to Nickolas Fotopoulos for the patch.
    • Bump up sbv dependence to > 5.14
  • v0.7 Changes

    June 07, 2016
    • Compile with GHC-8.0. Plugin at least requires GHC-8.0.1 and SBV 5.12
    • Fix a few dead links
  • v0.6 Changes

    January 01, 2016
    • Support for list expressions of the form [x .. y] and [x, y .. z]; so long as the x, y, and z are all concrete.
    • Simplify some of the expressions in BitTricks using the new list-construction support.
    • Added more proofs to the BitTricks example
  • v0.5 Changes

    December 26, 2015
    • Allow higher-order (i.e., function) arguments to theorems.
    • Rework uninterpreted functions, generalize types
    • Simplify cabal file; no need to ship gold-files for tests
    • Add merge-sort example "Data/SBV/Plugin/Examples/MergeSort.hs"
    • Add bit-tricks example "Data/SBV/Plugin/Examples/BitTricks.hs"
  • v0.4 Changes

    December 24, 2015
    • Support for case-alternatives producing lists/tuples and functions. In the list case, we require that both alternatives produce equal-length lists, as otherwise there is no way to merge the two results.
    • More test cases.
  • v0.3 Changes

    December 22, 2015