[−][src]Module haybale::simple_memory
Simple implementation of a Memory
based on a Boolector array and 8-bit cells.
Like the more complicated Memory
in cell_memory.rs
, this handles fully
general read and write operations: arbitrary addresses, sizes, and
alignments.
Despite being simpler, it seems to outperform the Memory
in cell_memory.rs
in many situations.
Structs
Memory |