search

runtimeverification / kasmer-multiversx

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

Rename `kasmerx` to `kasmer` #151

Closed tothtamas28 closed 2 months ago

tothtamas28 commented 2 months ago

Rename