sbv v8.5 Release NotesRelease 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.