crucible: Add AssumptionStack refactors to CHANGELOG

GaloisInc · Jan 24, 2024 · 2bf03d1 · 2bf03d1
1 parent b62ca9e
commit 2bf03d1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/crucible/CHANGELOG.md b/crucible/CHANGELOG.md
@@ -1,3 +1,8 @@
+# next
+
+* Rename `Lang.Crucible.Backend.popFrame` to `popFrameOrPanic`,
+  provide helpers such as `popFrame` to manage assumptions without `panic`ing.
+
 # 0.6
 
 * Separate backend data structures.  The "symbolic backend" is a