packages feed

grisette 0.5.0.0 → 0.5.0.1

raw patch · 4 files changed

+15/−5 lines, 4 filesdep ~QuickCheckPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: QuickCheck

API changes (from Hackage documentation)

Files

CHANGELOG.md view
@@ -8,6 +8,14 @@  ## [Unreleased] +## [0.5.0.1] -- 2024-04-18++### Fixed++- Fix an building error due to a GHC 9.8.1 regression+  (https://gitlab.haskell.org/ghc/ghc/-/issues/24084).+  ([#195](https://github.com/lsrcz/grisette/pull/195))+ ## [0.5.0.0] -- 2024-04-18  ### Added@@ -275,7 +283,8 @@  - Initial release for Grisette. -[Unreleased]: https://github.com/lsrcz/grisette/compare/v0.5.0.0...HEAD+[Unreleased]: https://github.com/lsrcz/grisette/compare/v0.5.0.1...HEAD+[0.5.0.1]: https://github.com/lsrcz/grisette/compare/v0.5.0.0...v0.5.0.1 [0.5.0.0]: https://github.com/lsrcz/grisette/compare/v0.4.1.0...v0.5.0.0 [0.4.1.0]: https://github.com/lsrcz/grisette/compare/v0.4.0.0...v0.4.1.0 [0.4.0.0]: https://github.com/lsrcz/grisette/compare/v0.3.1.1...v0.4.0.0
README.md view
@@ -1,6 +1,8 @@ # Grisette  [![Haskell Tests](https://github.com/lsrcz/grisette/actions/workflows/test.yml/badge.svg)](https://github.com/lsrcz/grisette/actions/workflows/test.yml)+[![Hackage Version](https://img.shields.io/hackage/v/grisette)](https://hackage.haskell.org/package/grisette)+[![Hackage Dependencies](https://img.shields.io/hackage-deps/v/grisette)](https://packdeps.haskellers.com/feed?needle=grisette)  Grisette is a symbolic evaluation library for Haskell. By translating programs into constraints, Grisette can help the development of program@@ -47,7 +49,7 @@ ```cabal library   ...-  build-depends: grisette >= 0.5 < 0.6+  build-depends: grisette >= 0.5.0.1 < 0.6 ```  #### Quick start template with `stack new`
grisette.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           grisette-version:        0.5.0.0+version:        0.5.0.1 synopsis:       Symbolic evaluation as a library description:    Grisette is a reusable symbolic evaluation library for Haskell. By                 translating programs into constraints, Grisette can help the development of
src/Grisette/Internal/SymPrim/GeneralFun.hs view
@@ -47,7 +47,7 @@   ) import Grisette.Internal.SymPrim.Prim.Internal.PartialEval (totalize2) import Grisette.Internal.SymPrim.Prim.Internal.Term-  ( SBVRep,+  ( SBVRep (SBVType),     SupportedPrim (parseSMTModelResult, sbvEq),     partitionCVArg,   )@@ -79,7 +79,6 @@     PEvalOrdTerm (pevalLeOrdTerm, pevalLtOrdTerm),     PEvalRotateTerm (pevalRotateRightTerm),     PEvalShiftTerm (pevalShiftLeftTerm, pevalShiftRightTerm),-    SBVType,     SupportedNonFuncPrim (withNonFuncPrim),     SupportedPrim       ( conSBVTerm,