diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -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
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -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).
 
diff --git a/crux-llvm.cabal b/crux-llvm.cabal
--- a/crux-llvm.cabal
+++ b/crux-llvm.cabal
@@ -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
diff --git a/test/Test.hs b/test/Test.hs
--- a/test/Test.hs
+++ b/test/Test.hs
@@ -53,6 +53,9 @@
                                                            , "pre-clang14"
                                                            , "pre-clang15"
                                                            , "pre-clang16"
+                                                           , "pre-clang18"
+                                                           , "pre-clang19"
+                                                           , "pre-clang20"
                                                            ])
                                     ]
                  , TS.associatedNames = [ ("config",      "config")