Releases: runtimeverification/mx-semantics
Releases · runtimeverification/mx-semantics
v0.1.9: Fix `bigIntTDiv` division by 0 condition (#209)
* Fix `bigIntTDiv` division by 0 condition * Set Version: 0.1.9 * add test and fix error message --------- Co-authored-by: devops <[email protected]>
v0.1.8: Update dependency: deps/kwasm_release (#208)
* deps/kwasm_release: Set Version 0.1.7 * deps/wasm-semantics: update submodule v0.1.7 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.7 * Set Version: 0.1.8 * kasmer.py: correct import for KClaim * deps/kwasm_release: Set Version 0.1.8 * deps/wasm-semantics: update submodule v0.1.8 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.8 * deps/kwasm_release: Set Version 0.1.9 * deps/wasm-semantics: update submodule v0.1.9 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.9 * deps/kwasm_release: Set Version 0.1.10 * deps/wasm-semantics: update submodule v0.1.10 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.10 * deps/kwasm_release: Set Version 0.1.11 * deps/wasm-semantics: update submodule v0.1.11 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.11 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]>
v0.1.7: Replace usages of `priorities`, `require`, and `import` (#207)
* Replace deprecated tokens * Set Version: 0.1.7 --------- Co-authored-by: devops <[email protected]>
v0.1.6: Update dependency: deps/kwasm_release (#206)
* deps/kwasm_release: Set Version 0.1.6 * Set Version: 0.1.6 * deps/wasm-semantics: update submodule v0.1.6 * kmultiversx/: sync poetry files 0.1.6 --------- Co-authored-by: devops <[email protected]>
v0.1.5: Update dependency: deps/kwasm_release (#205)
* deps/kwasm_release: Set Version 0.1.5 * Set Version: 0.1.5 * deps/wasm-semantics: update submodule v0.1.5 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.5 --------- Co-authored-by: devops <[email protected]>
v0.1.4: Drop . in favour of .K (#204)
* Drop . in favour of .K * Set Version: 0.1.3 * Set Version: 0.1.4 --------- Co-authored-by: devops <[email protected]>
v0.1.3: Update dependency: deps/kwasm_release (#203)
* deps/kwasm_release: Set Version 0.1.4 * Set Version: 0.1.3 * deps/wasm-semantics: update submodule v0.1.4 * kmultiversx/: sync poetry files 0.1.4 --------- Co-authored-by: devops <[email protected]>
v0.1.2: Use typed map in big int heap (#200)
* format whitespace * use typed map in `<bigIntHeap>` * Update `preserves-definedness` comments * update preserves-definedness comments * Set Version: 0.1.2 --------- Co-authored-by: devops <[email protected]>
v0.1.1: Update dependency: deps/wasm-semantics (#201)
* deps/wasm-semantics: Set Version fe0af78eb14763ac835db3b8b2cefe7a7a090cbd * Update poetry * deps/wasm-semantics: Set Version ec9c36c05b3d1ffa347f9e9a8962b696faaefe4f * Update poetry * deps/wasm-semantics: Set Version d88cc6f91a6118e053c2c0a6d22a60933676f493 * Update poetry * deps/wasm-semantics: Set Version 8dfc2abcb485287d35feabf4e3afee959880360c * Update poetry * deps/{k_release,pyk_release}: direct files representing K/pyk releases * .github/workflows/{update-poetry-for-wasm-semantics => update-version}: rename file/workflow * kmultiversx: get pykwasm from github release * .github/test-pr: add version bumper * .github/with-docker: get K release tag from local repo, not submodule * deps/kwasm_release: add kwasm release file * .github/update-version: get kwasm release version from version tag file * Set Version: 0.1.1 * .github/update-version: allow for no update * .github/update-version: correct tag update * deps/{k_release,pyk_release}: update versions * deps/kwasm_release: Set Version 0.1.2 * deps/wasm-semantics: update submodule v0.1.2 * kmultiversx/: sync poetry files 0.1.2 * .github/master-push: publish releases to auto-updater * data/: remove latex attributes * data/map-int-to-bytes: typo * deps/kwasm_release: Set Version 0.1.3 * deps/wasm-semantics: update submodule v0.1.3 * kmultiversx/: sync poetry files 0.1.3 * remove `elrond-runtime*` files * kmultiversx/: sync poetry files 0.1.3 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> Co-authored-by: Burak Bilge Yalcinkaya <[email protected]>