sbv v8.5 Release Notes

Release Date: 2019-10-16 // over 2 years ago
    • Changes to compile with GHC 8.8. Thanks to Oliver Charles for the patch.

    • Minor fix to how kinds are shown for non-standard sizes.

    • Thanks to Jeffrey Young, SBV now has a performance benchmark test-suite. The framework still new, but should help in the long run to make sure SBV performance doesn't regress on its test-suite, and by extension in general usage.