Commit eb79a51c authored by Adam Izraelevitz's avatar Adam Izraelevitz
Browse files

Merge pull request #45 from ucb-bar/change-mem-type

Changed DefMemory to be a non-vector type with a size member
parents 2485d203 aa8cfe06
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment