runtimeverification / kasmer-multiversx

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

Mark updateSparseBytes(setRange) as preserving definedness, add #signed simplification #176

Closed jberthold closed 1 month ago