crux-llvm 0.11.0.0 → 0.12
raw patch · 4 files changed
+7/−2 lines, 4 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- CHANGELOG.md +2/−0
- README.md +1/−1
- crux-llvm.cabal +1/−1
- test/Test.hs +3/−0
CHANGELOG.md view
@@ -1,3 +1,5 @@+# 0.12 -- 2026-01-29+ # 0.11 -- 2025-11-09 * Sync the version number with `crux-mir-0.11` as part of the overall Crux 0.10
README.md view
@@ -50,7 +50,7 @@ and `cabal` version 3.10. We recommend Yices 2.6.x, and Z3 4.8.x. Technically, only one of Yices or Z3 is required, and CVC4 is also supported. However, in practice, having both tends to be-convenient. Finally, LLVM versions from 3.6 through 17 are likely to+convenient. Finally, LLVM versions from 3.6 through 21 are likely to work well, and any failures with versions in that range should be [reported as bugs](https://github.com/GaloisInc/crucible/issues).
crux-llvm.cabal view
@@ -1,6 +1,6 @@ Cabal-version: 2.2 Name: crux-llvm-Version: 0.11.0.0+Version: 0.12 Author: Galois Inc. Maintainer: rscott@galois.com, kquick@galois.com, langston@galois.com Copyright: (c) Galois, Inc 2014-2022
test/Test.hs view
@@ -53,6 +53,9 @@ , "pre-clang14" , "pre-clang15" , "pre-clang16"+ , "pre-clang18"+ , "pre-clang19"+ , "pre-clang20" ]) ] , TS.associatedNames = [ ("config", "config")