Mention #1106 in the crucible-mir CHANGELOG

(cherry picked from commit e1dec5c)
GaloisInc · Feb 6, 2024 · 89ca671 · 89ca671
1 parent 0f275cd
commit 89ca671
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/crucible-mir/CHANGELOG.md b/crucible-mir/CHANGELOG.md
@@ -10,6 +10,11 @@
     discriminant)
   * A more intelligent way of computing crate disambiguators for looking up
     known types such as `MaybeUninit` and `Option`
+* Functions in `Mir.Intrinsics` now avoid taking or returning `SimState` values
+  as arguments, instead preferring `SymGlobalState` and `IntrinsicTypes`. This
+  makes it possible to call into the `crucible-mir` memory model from SAW
+  without needing a full-blown `SimState`, which isn't readily at hand in the
+  parts of SAW that need the memory model.
 
 # 0.1