search

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K
Other
77 stars 19 forks source link

Support `memory.copy` #676

Closed gtrepta closed 1 month ago

gtrepta commented 1 month ago

Adds semantics for the memory.copy operation.

https://webassembly.github.io/spec/core/exec/instructions.html#xref-syntax-instructions-syntax-instr-memory-mathsf-memory-copy