Mention #1096 in the {crucible,crux}-mir CHANGELOGs

(cherry picked from commit cd84599)
GaloisInc · Feb 6, 2024 · 0f275cd · 0f275cd
1 parent f53de1e
commit 0f275cd
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 0 deletions.
diff --git 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
@@ -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