From 0f275cd9eb1b5e8447165350da7150358c8d3f59 Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Wed, 31 Jan 2024 15:21:31 -0500
Subject: [PATCH] Mention #1096 in the {crucible,crux}-mir CHANGELOGs

(cherry picked from commit cd845993e5b9f5403fe595c1231450d86a707fa5)
---
 crucible-mir/CHANGELOG.md | 13 +++++++++++++
 crux-mir/CHANGELOG.md     | 13 +++++++++++++
 2 files changed, 26 insertions(+)

diff --git a/crucible-mir/CHANGELOG.md b/crucible-mir/CHANGELOG.md
index 64ce88063..7d54558c2 100644
--- a/crucible-mir/CHANGELOG.md
+++ b/crucible-mir/CHANGELOG.md
@@ -1,3 +1,16 @@
+# next
+
+* `crucible-mir` now supports the `nightly-2023-01-23` Rust toolchain. Some of
+  the highlights of this include:
+
+  * Properly support for Rust's new constant forms
+  * Better support for zero-sized constants
+  * Encoding enum discriminant types so that `crucible-mir` can know about
+    non-`isize` discriminant types (e.g., `Ordering`, which uses an `i8`
+    discriminant)
+  * A more intelligent way of computing crate disambiguators for looking up
+    known types such as `MaybeUninit` and `Option`
+
 # 0.1
 
 * Much of the `crux-mir` library has been split off into a `crucible-mir`
diff --git a/crux-mir/CHANGELOG.md b/crux-mir/CHANGELOG.md
index 67282381f..16d72b97f 100644
--- a/crux-mir/CHANGELOG.md
+++ b/crux-mir/CHANGELOG.md
@@ -1,3 +1,16 @@
+# next
+
+* `crux-mir` now supports the `nightly-2023-01-23` Rust toolchain. Some of the
+   highlights of this include:
+
+  * Properly support for Rust's new constant forms
+  * Better support for zero-sized constants
+  * Encoding enum discriminant types so that `crux-mir` can know about
+    non-`isize` discriminant types (e.g., `Ordering`, which uses an `i8`
+    discriminant)
+  * A more intelligent way of computing crate disambiguators for looking up
+    known types such as `MaybeUninit` and `Option`
+
 # 0.7 -- 2023-06-26
 
 ## API changes