The upstream crucible-syntax package provides facilities for parsing Crucible CFGs with language extensions. The ambient-verifier library contains a ParserHooks implementation for the Macaw syntax extension. We should upstream this code into this repo, in a new package (perhaps macaw-symbolic-syntax?). The Crucible issue https://github.com/GaloisInc/crucible/issues/920 lists some motivation for doing so.
The upstream
crucible-syntax
package provides facilities for parsing Crucible CFGs with language extensions. The ambient-verifier library contains aParserHooks
implementation for the Macaw syntax extension. We should upstream this code into this repo, in a new package (perhapsmacaw-symbolic-syntax
?). The Crucible issue https://github.com/GaloisInc/crucible/issues/920 lists some motivation for doing so.