runtimeverification / wasm-semantics

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

Deprecate `klabel` attribute #666

Closed Baltoli closed 5 days ago

Baltoli commented 5 days ago

This PR is a simple mechanical change to remove the klabel, symbol attribute pair in anticipation of klabel finally being deprecated; usages are replaced with 1-argument symbol(_).