Module haybale::cell_memory [−][src]
Implementation of a Memory
based on a Boolector array and 64-bit cells.
Handles fully general read and write operations: arbitrary addresses,
sizes, and alignments.
Structs
Memory |
Implementation of a Memory
based on a Boolector array and 64-bit cells.
Handles fully general read and write operations: arbitrary addresses,
sizes, and alignments.
Memory |