search

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs
673 stars 44 forks source link

crucible-llvm-syntax: Concrete syntax for all constructors of `MemType` #1116

Open langston-barrett opened 1 year ago

langston-barrett commented 1 year ago

1113 added support for parsing common integer and pointer types, but the remaining constructors of MemType need dedicated parsing support:

https://github.com/GaloisInc/crucible/blob/e9b1a015a45775ee9a45db125facafef18b5c84e/crucible-llvm-syntax/src/Lang/Crucible/LLVM/Syntax.hs#L177-L186