🔖 Prepare 0.5.0.0 release

CHANGELOG.md

@@ -8,6 +8,8 @@ Versioning](https://semver.org/spec/v2.0.0.html).
 
 ## [Unreleased]
 
+## [0.5.0.0] -- 2024-04-18
+
 ### Added
 
 - Added the creation of unparameterized bit vectors from run-time bit-widths.
@@ -273,9 +275,10 @@ No user-facing changes.
 
 - Initial release for Grisette.
 
-[Unreleased]: https://github.com/lsrcz/grisette/compare/v0.4.1.0...HEAD
-[0.4.1.0]: https://github.com/lsrcz/grisette/compare/v0.4.1.0...v0.4.0.0
-[0.4.0.0]: https://github.com/lsrcz/grisette/compare/v0.4.0.0...v0.3.1.0
+[Unreleased]: https://github.com/lsrcz/grisette/compare/v0.5.0.0...HEAD
+[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
 [0.3.1.1]: https://github.com/lsrcz/grisette/compare/v0.3.1.0...v0.3.1.1
 [0.3.1.0]: https://github.com/lsrcz/grisette/compare/v0.3.0.0...v0.3.1.0
 [0.3.0.0]: https://github.com/lsrcz/grisette/compare/v0.2.0.0...v0.3.0.0

README.md

@@ -47,7 +47,7 @@ packages. You can add it to your project's `.cabal` file:
 ```cabal
 library
   ...
-  build-depends: grisette >= 0.4.1 < 0.5
+  build-depends: grisette >= 0.5 < 0.6
 ```
 
 #### Quick start template with `stack new`
@@ -155,8 +155,11 @@ returned by a solver to replace the symbolic holes inside to concrete values.
 {-# LANGUAGE DeriveGeneric #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TemplateHaskell #-}
+
 import Grisette
 import GHC.Generics
+
 data SExpr
   -- `SConst` represents a constant in the syntax tree.
   --

grisette.cabal

@@ -29,8 +29,8 @@ tested-with:
   , GHC == 9.0.2
   , GHC == 9.2.8
   , GHC == 9.4.8
-  , GHC == 9.6.3
-  , GHC == 9.8.1
+  , GHC == 9.6.4
+  , GHC == 9.8.2
 extra-source-files:
     CHANGELOG.md
     README.md

package.yaml

@@ -25,8 +25,8 @@ tested-with:
   - GHC == 9.0.2
   - GHC == 9.2.8
   - GHC == 9.4.8
-  - GHC == 9.6.3
-  - GHC == 9.8.1
+  - GHC == 9.6.4
+  - GHC == 9.8.2
 
 dependencies:
   - base >= 4.14 && < 5

stack-nightly.yaml

@@ -17,7 +17,7 @@
 #
 # resolver: ./custom-snapshot.yaml
 # resolver: https://example.com/snapshots/2018-01-01.yaml
-resolver: nightly-2024-04-07
+resolver: nightly-2024-04-19
 
 # User packages to be built.
 # Various formats can be used as shown in the example below.

stack-nightly.yaml.lock

@@ -6,7 +6,7 @@
 packages: []
 snapshots:
 - completed:
-    sha256: f9eb332314d990b84f87251880b07042e8f18ff75652504ee7797e2a0b9152cb
-    size: 624258
-    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2024/4/7.yaml
-  original: nightly-2024-04-07
+    sha256: 1ed219423900ba6b97afb96a4ccc9c02089b7c88be5ac3683b62d8221601d0e5
+    size: 624921
+    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2024/4/19.yaml
+  original: nightly-2024-04-19

stack.yaml

@@ -17,7 +17,7 @@
 #
 # resolver: ./custom-snapshot.yaml
 # resolver: https://example.com/snapshots/2018-01-01.yaml
-resolver: lts-22.15
+resolver: lts-22.17
 
 # User packages to be built.
 # Various formats can be used as shown in the example below.

stack.yaml.lock

@@ -6,7 +6,7 @@
 packages: []
 snapshots:
 - completed:
-    sha256: 5b002d57c51092aa58a8696ccf0993e74fa6ed2efd48e2bbca349e9c2f67c5ef
-    size: 713334
-    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/15.yaml
-  original: lts-22.15
+    sha256: 629fdd46125079fa6d355106005b2ab88bd39332169dd416fda06d5c0aaa63e2
+    size: 713332
+    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/17.yaml
+  original: lts-22.17