You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
#345 introduced support for parsing syntax that corresponds to some of the constructors of MacawExprExtension and MacawStmtExtension. We should extend this parser with syntax for all of these constructors and their arguments:
#345 introduced support for parsing syntax that corresponds to some of the constructors of
MacawExprExtension
andMacawStmtExtension
. We should extend this parser with syntax for all of these constructors and their arguments:MacawExprExtension
:MacawOverflows
PtrToBits
BitsToPtr
MacawNullPtr
(macaw-symbolic-syntax: Concrete syntax for macaw-symbolic CFGs #345)MacawBitcast
MacawStmtExtension
:MacawReadMem
(macaw-symbolic-syntax: Concrete syntax for macaw-symbolic CFGs #345)MacawCondReadMem
MacawWriteMem
(macaw-symbolic-syntax: Concrete syntax for macaw-symbolic CFGs #345)MacawCondWriteMem
MacawGlobalPtr
MacawFreshSymbolic
MacawLookupFunctionHandle
MacawLookupSyscallHandle
MacawArchStmtExtension
MacawArchStateUpdate
MacawInstructionStart
PtrEq
(macaw-symbolic-syntax: Concrete syntax for macaw-symbolic CFGs #345)PtrLeq
PtrLt
PtrMux
PtrAdd
(macaw-symbolic-syntax: Concrete syntax for macaw-symbolic CFGs #345)PtrSub
(macaw-symbolic-syntax: Concrete syntax for macaw-symbolic CFGs #345)PtrAnd
PtrXor
PtrTrunc
PtrUExt
The text was updated successfully, but these errors were encountered: