GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-25 21:54:51 +03:00
Code Issues Projects Releases Wiki Activity

symbolic: Haddocks on stack setup code

Browse Source
This commit is contained in:
Langston Barrett 2024-09-03 14:58:21 -04:00
parent 761f6587c5
commit 897960d722
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
symbolic/src/Data/Macaw/Symbolic/Stack.hs
View File

@ -27,8 +27,6 @@ stackAlign :: CLD.Alignment
stackAlign = CLD.noAlignment
-- | Create an SMT array representing the program stack.
--
-- Builds a 'WI.freshConstant' with name "stack_array".
stackArray ::
(1 WI.<= w) =>
CLM.HasPtrWidth w =>
@ -69,7 +67,7 @@ newtype ExtraStackSlots = ExtraStackSlots { getExtraStackSlots :: Int }
-- optparse-applicative-based command-line parsers using the `Read` instance.
deriving newtype (Enum, Eq, Integral, Num, Ord, Read, Real, Show)
-- | An allocartion representing the program stack, backed by an SMT array
-- | An allocation representing the program stack, backed by an SMT array
data ArrayStack sym w
= ArrayStack
{ -- | Pointer to the base of the stack array