Releases: runtimeverification/mx-semantics
Releases · runtimeverification/mx-semantics
v0.1.99: Update dependency: deps/kwasm_release (#308)
* deps/kwasm_release: Set Version 0.1.87 * Set Version: 0.1.99 * kmultiversx/: sync poetry files 0.1.87 * flake.{nix,lock}: update Nix derivations * deps/kwasm_release: Set Version 0.1.88 * kmultiversx/: sync poetry files 0.1.88 * deps/k_release: sync release file version 7.1.68 * flake.{nix,lock}: update Nix derivations * deps/kwasm_release: Set Version 0.1.89 * kmultiversx/: sync poetry files 0.1.89 * deps/k_release: sync release file version 7.1.70 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]>
v0.1.98: Update dependency: deps/kwasm_release (#307)
* deps/kwasm_release: Set Version 0.1.86 * Set Version: 0.1.98 * kmultiversx/: sync poetry files 0.1.86 * deps/k_release: sync release file version 7.1.65 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]>
v0.1.97: Update dependency: deps/kwasm_release (#304)
* deps/kwasm_release: Set Version 0.1.84 * Set Version: 0.1.95 * kmultiversx/: sync poetry files 0.1.84 * flake.{nix,lock}: update Nix derivations * deps/kwasm_release: Set Version 0.1.85 * kmultiversx/: sync poetry files 0.1.85 * deps/k_release: sync release file version 7.1.59 * flake.{nix,lock}: update Nix derivations * Set Version: 0.1.97 * pin exceptiongroup dependency to avoid nix trouble --------- Co-authored-by: devops <[email protected]> Co-authored-by: Jost Berthold <[email protected]>
v0.1.96: Define primitive ListBytes lookup using the hooked function (#306)
* Rewrite ListBytes:primitiveLookup to a hooked operation when defined * remove rule side conditions * Set Version: 0.1.96 --------- Co-authored-by: devops <[email protected]>
v0.1.95: Use upstreamed KFuzz (#305)
* Use upstream KFuzz * Set Version: 0.1.95 --------- Co-authored-by: devops <[email protected]>
v0.1.94: Update dependency: deps/kwasm_release (#297)
* deps/kwasm_release: Set Version 0.1.72 * Set Version: 0.1.89 * kmultiversx/: sync poetry files 0.1.72 * deps/k_release: sync release file version 7.1.38 * flake.{nix,lock}: update Nix derivations * deps/kwasm_release: Set Version 0.1.73 * kmultiversx/: sync poetry files 0.1.73 * flake.{nix,lock}: update Nix derivations * Set Version: 0.1.93 * deps/kwasm_release: Set Version 0.1.83 * kmultiversx/: sync poetry files 0.1.83 * deps/k_release: sync release file version 7.1.54 * flake.{nix,lock}: update Nix derivations * Fix klabel, symbol cases * Set Version: 0.1.94 * deps/blockchain-k-plugin_release: sync release file version 98b82c75eaae9771f472e2fa6cb2d63808734791 * flake.{nix,lock}: update Nix derivations * Fix mistaken update of BKP * deps/blockchain-k-plugin_release: sync release file version b24fa372ca127d51cdc185e431d0ccf471980c04 * flake.{nix,lock}: update Nix derivations * Fix symbol from K --------- Co-authored-by: devops <[email protected]> Co-authored-by: Bruce Collie <[email protected]>
v0.1.93: Blockchain plugin nix version update (#303)
* Set up workflow * Temp: run on this branch to fix discrepancy * Set Version: 0.1.93 * kmultiversx/: sync poetry files 0.1.71 * flake.{nix,lock}: update Nix derivations * Drop temporary branch run --------- Co-authored-by: devops <[email protected]>
v0.1.92: Remove orphan `BYTES` sort (#302)
* Remove orphan BYTES sort * Set Version: 0.1.92 --------- Co-authored-by: devops <[email protected]>
v0.1.91: Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#299)
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version b24fa372ca127d51cdc185e431d0ccf471980c04 * Set Version: 0.1.91 --------- Co-authored-by: devops <[email protected]>
v0.1.90: Deprecate `klabel` attribute (#298)
* Deprecate klabel * Set Version: 0.1.90 --------- Co-authored-by: devops <[email protected]>