runtimeverification / kasmer-multiversx

Wasm semantics for the Elrond/MultiversX blockchain network
BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

Deprecate `klabel` attribute #168

Closed Baltoli closed 2 months ago

Baltoli commented 2 months 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(_).