[][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