From 3a191e58026f4dabdf65a15177243ceb0fc19088 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Wed, 31 Jan 2024 15:38:42 -0500 Subject: [PATCH] Mention #1123 in the crucible-syntax CHANGELOG (cherry picked from commit 3bb0064c443e54298882b653f7860b023aa3c171) --- crucible-syntax/CHANGELOG.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/crucible-syntax/CHANGELOG.md b/crucible-syntax/CHANGELOG.md index 0c4925904..3b76ffbcb 100644 --- a/crucible-syntax/CHANGELOG.md +++ b/crucible-syntax/CHANGELOG.md @@ -4,6 +4,8 @@ which serves a similar purpose (hiding the argument and return types). The CFG argument and return types can be recovered via `Lang.Crucible.CFG.Reg.{cfgArgTypes,cfgReturnType}`. +* `execCommand` and related data types in `Lang.Crucible.Syntax.Prog` have been + split off into a separate `crucible-cli` library. # 0.3