From 2bf03d1411270bdbeb1f01cab7ed5ff45c62514b Mon Sep 17 00:00:00 2001
From: Langston Barrett <langston.barrett@gmail.com>
Date: Wed, 24 Jan 2024 15:21:27 -0500
Subject: [PATCH] crucible: Add `AssumptionStack` refactors to CHANGELOG

---
 crucible/CHANGELOG.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/crucible/CHANGELOG.md b/crucible/CHANGELOG.md
index b9c6e08f4..f6ebac5bf 100644
--- 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