Skip to content

Commit

Permalink
Mention #1121 in the crucible-syntax CHANGELOG
Browse files Browse the repository at this point in the history
(cherry picked from commit 8c302b7)
  • Loading branch information
RyanGlScott committed Feb 6, 2024
1 parent 3a191e5 commit da57d3f
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions crucible-syntax/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,14 @@
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}`.
* `crucible-syntax` now supports simulating CFGs with language-specific syntax
extensions:

* `SimulateProgramHooks` now has a `setupHook` field that can run an arbitrary
override action before simulation. (For example, this is used in
`crucible-llvm-syntax` to initialize the LLVM memory global variable.)
* `SimulateProgramHooks` now has an extra `ext` type variable so that hooks
can be extension-specific.
* `execCommand` and related data types in `Lang.Crucible.Syntax.Prog` have been
split off into a separate `crucible-cli` library.

Expand Down

0 comments on commit da57d3f

Please sign in to comment.