diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,15 @@
 # Revision history for rme
 
+## 0.1.2 -- 2026-01-26
+
+* Added partial support for arrays returned from symbolic functions.
+  Expressions must be exactly of the form: `select (f args) ix`. This is
+  used to support the translation of uninterpreted functions new in
+  SAW.
+
+* Added support for concrete integers as needed for SAW's above translation
+  used to index the symbolic array results.
+
 ## 0.1.1
 
 * Added `Ord` instance for `RME`
diff --git a/rme.cabal b/rme.cabal
--- a/rme.cabal
+++ b/rme.cabal
@@ -1,6 +1,6 @@
 Cabal-version:      3.0
 Name:               rme
-Version:            0.1.1
+Version:            0.1.2
 Author:             Galois, Inc.
 Maintainer:         huffman@galois.com
 Build-type:         Simple