mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-29 11:02:13 +03:00
Merge pull request #404 from GaloisInc/vr/expose-memInt
expose `memInt` in `Memory`
This commit is contained in:
commit
4b38285191
@ -64,6 +64,7 @@ module Data.Macaw.Memory
|
|||||||
, addrRead
|
, addrRead
|
||||||
-- * MemInt
|
-- * MemInt
|
||||||
, MemInt
|
, MemInt
|
||||||
|
, memInt
|
||||||
, memIntValue
|
, memIntValue
|
||||||
-- * Addresses
|
-- * Addresses
|
||||||
, MemAddr(..)
|
, MemAddr(..)
|
||||||
|
Loading…
Reference in New Issue
Block a user