diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Revision history for ogma-language-smv
 
+## [1.14.0] - 2026-05-21
+
+* Version bump (1.14.0) (#425).
+* Bump upper version constraint on Quickcheck (#382).
+
 ## [1.13.0] - 2026-03-21
 
 * Version bump (1.13.0) (#373).
diff --git a/ogma-language-smv.cabal b/ogma-language-smv.cabal
--- a/ogma-language-smv.cabal
+++ b/ogma-language-smv.cabal
@@ -18,7 +18,7 @@
 cabal-version:       2.0
 build-type:          Custom
 name:                ogma-language-smv
-version:             1.13.0
+version:             1.14.0
 homepage:            https://github.com/nasa/ogma
 bug-reports:         https://github.com/nasa/ogma/issues
 license:             Apache-2.0
@@ -99,7 +99,7 @@
 
   build-depends:
       base                       >= 4.11.0.0 && < 5
-    , QuickCheck                 >= 2.8.2    && < 2.16
+    , QuickCheck                 >= 2.8.2    && < 2.17
     , test-framework             >= 0.8.2    && < 0.9
     , test-framework-quickcheck2 >= 0.3.0.4  && < 0.4