crux-llvm 0.9.1 → 0.10

raw patch · 2 files changed

+7/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CHANGELOG.md +5/−0
• crux-llvm.cabal +2/−2

@@ -1,3 +1,8 @@+# 0.10 -- 2025-03-24++* Sync the version number with `crux-mir-0.10` as part of the overall Crux 0.10+  release.+ # 0.9.1 -- 2025-03-21  * Add support for the Bitwuzla SMT solver in the test suite.

@@ -1,6 +1,6 @@ Cabal-version: 2.2 Name:          crux-llvm-Version:       0.9.1+Version:       0.10 Author:        Galois Inc. Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com Copyright:     (c) Galois, Inc 2014-2022@@ -97,7 +97,7 @@     config-schema >= 1.2.2.0,     logict,     llvm-pretty,-    llvm-pretty-bc-parser,+    llvm-pretty-bc-parser >= 0.5,     mtl,     parameterized-utils,     prettyprinter >= 1.7.0