rme-what4 0.1.2 → 0.1.3

raw patch · 2 files changed

+7/−2 lines, 2 filesdep ~parameterized-utilsPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: parameterized-utils

API changes (from Hackage documentation)

Files

• CHANGELOG.md +4/−0
• rme-what4.cabal +3/−2

@@ -1,5 +1,9 @@ # Revision history for rme-what4 +## 0.1.3 -- 2026-09-01++* Synchronize with `rme` release.+ ## 0.1.2 -- 2026-01-26  * Synchronize with `rme` release.

@@ -1,6 +1,6 @@ cabal-version:      3.0 name:               rme-what4-version:            0.1.2+version:            0.1.3 synopsis:           What4 adapter for the RME solver license:            BSD-3-Clause license-file:       LICENSE@@ -8,6 +8,7 @@ maintainer:         emertens@galois.com build-type:         Simple extra-doc-files:    CHANGELOG.md+category:           Formal Methods copyright:          2025 Galois description:     This package provides an adapter for what4 to support@@ -40,6 +41,6 @@         what4                   ^>= 1.7,         vector                  ^>= 0.13,         rme                     ^>= 0.1.1.99,-        parameterized-utils     ^>= {2.0, 2.1},+        parameterized-utils     ^>= {2.0, 2.1, 2.2, 2.3},         containers              ^>= {0.5, 0.6, 0.7, 0.8},         bv-sized                ^>= 1.0,