sbvPlugin v0.12 Release Notes
Release Date: 2020-09-05 // over 3 years 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