Releases: runtimeverification/mx-semantics
Releases · runtimeverification/mx-semantics
v0.1.89: Remove MapIntToInt (#285)
* Remove MapIntToInt * Remove MapIntToInt * Remove MapIntToInt * Remove MapBytesToBytes * Remove MAaInt2Bytes * Preserves definedness * Fixes * Update wasm * Set Version: 0.1.89 * Fix KMap calls * Fixes * Whitespace change to trigger github's actions --------- Co-authored-by: devops <[email protected]>
v0.1.88: Update dependency: deps/kwasm_release (#296)
* deps/kwasm_release: Set Version 0.1.69 * Set Version: 0.1.88 * kmultiversx/: sync poetry files 0.1.69 * flake.{nix,lock}: update Nix derivations * deps/kwasm_release: Set Version 0.1.70 * kmultiversx/: sync poetry files 0.1.70 * deps/k_release: sync release file version 7.1.30 * flake.{nix,lock}: update Nix derivations * Fix hypothesis issue * kmultiversx/: sync poetry files 0.1.70 * Two-step fix --------- Co-authored-by: devops <[email protected]> Co-authored-by: Bruce Collie <[email protected]>
v0.1.87: Refactor `str` paths to `Path` (#293)
* Refactor `str` paths to `Path` * Set Version: 0.1.85 * Set Version: 0.1.86 * Apply suggestions from code review Co-authored-by: Tamás Tóth <[email protected]> * Set Version: 0.1.87 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Tamás Tóth <[email protected]>
v0.1.86: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#295)
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 98b82c75eaae9771f472e2fa6cb2d63808734791 * Set Version: 0.1.85 * Set Version: 0.1.86 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Burak Bilge Yalçınkaya <[email protected]>
v0.1.85: Update dependency: deps/kwasm_release (#294)
* deps/kwasm_release: Set Version 0.1.67 * Set Version: 0.1.85 * kmultiversx/: sync poetry files 0.1.67 * deps/k_release: sync release file version 7.1.21 * flake.{nix,lock}: update Nix derivations * deps/kwasm_release: Set Version 0.1.68 * kmultiversx/: sync poetry files 0.1.68 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]>
v0.1.84: Update dependency: deps/kwasm_release (#292)
* deps/kwasm_release: Set Version 0.1.64 * Set Version: 0.1.82 * kmultiversx/: sync poetry files 0.1.64 * deps/k_release: sync release file version 7.1.8 * flake.{nix,lock}: update Nix derivations * deps/kwasm_release: Set Version 0.1.65 * Set Version: 0.1.83 * kmultiversx/: sync poetry files 0.1.65 * flake.{nix,lock}: update Nix derivations * deps/kwasm_release: Set Version 0.1.66 * kmultiversx/: sync poetry files 0.1.66 * flake.{nix,lock}: update Nix derivations * Set Version: 0.1.84 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Virgil <[email protected]>
v0.1.83: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#291)
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version efad3c4f9f5a3930feeb076a3e232764c896dceb * Set Version: 0.1.82 * Set Version: 0.1.83 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Virgil <[email protected]>
v0.1.82: Fix fallback on `bigIntSign` (#289)
* `bigIntSign`: pattern match to lookup * Set Version: 0.1.81 * Set Version: 0.1.82 --------- Co-authored-by: devops <[email protected]>
v0.1.81: Update dependency: deps/kwasm_release (#287)
* deps/kwasm_release: Set Version 0.1.63 * Set Version: 0.1.80 * kmultiversx/: sync poetry files 0.1.63 * flake.{nix,lock}: update Nix derivations * Set Version: 0.1.81 * kmultiversx/: sync poetry files 0.1.63 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Virgil <[email protected]>
v0.1.80: Booster improvements (#288)
* `startPrank` match: `getbuffer` => `#getBuffer` * `memLoad-zero-length` match * `appendToOutAccount` definedness of `_Map_` * add `preserves-definedness` * Set Version: 0.1.80 --------- Co-authored-by: devops <[email protected]>