search

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs
628 stars 42 forks source link

crucible-syntax: Remove `ACFG` in favor of `AnyCFG` #1150

Closed langston-barrett closed 9 months ago

langston-barrett commented 9 months ago

Fixes #1149. Also adds cfgArgTypes for registerized CFGs, for consistency with the SSA API.