search

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
https://github.com/LeventErkok/sbv
Other
239 stars 33 forks source link

SBV 10.3 release #678

Closed LeventErkok closed 8 months ago

LeventErkok commented 9 months ago

We need this release so SBV can be compiled with GHC 9.8 series. Tasks:

LeventErkok commented 8 months ago

We're ready for release. Closing.