sbvPlugin v0.12 Release Notes

Release Date: 2020-09-05 // 17 days ago
    • Changes required to compile with GHC 8.10.2
    • Bump up sbv dependence to >= 8.8

Previous changes from v0.11

    • Changes required to compile with GHC 8.6.3
    • Bump up sbv dependence to >= 8.0
    • Clean-up/improve test cases