search

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K
Other
74 stars 18 forks source link

use List instead of Map for <locals> cell #652

Closed dwightguth closed 2 weeks ago

dwightguth commented 2 weeks ago

Not ready for review yet.

This PR attempts to optimize the getting and setting of local variables by means of replacing the Map they are contained in with a List.