-
Robbert Krebbers authored
It would still be far more efficient to have a counter for the next memory index in the executable semantics/frontend.
e5cf4bab
It would still be far more efficient to have a counter for the next memory index in the executable semantics/frontend.