runtimeverification / mx-semantics

6 stars 1 forks source link

Update MultiversX SDK: 0.47 => 0.50 (stable Rust) #269

Closed bbyalcinkaya closed 1 month ago