Skip to content

Releases: runtimeverification/mx-semantics

v0.1.9: Fix `bigIntTDiv` division by 0 condition (#209)

04 Mar 17:26
18b8d3f
Compare
Choose a tag to compare
* 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)

28 Feb 16:28
cf37117
Compare
Choose a tag to compare
* 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)

22 Feb 19:03
9337d0a
Compare
Choose a tag to compare
* Replace deprecated tokens

* Set Version: 0.1.7

---------

Co-authored-by: devops <[email protected]>

v0.1.6: Update dependency: deps/kwasm_release (#206)

22 Feb 11:23
94d7ed6
Compare
Choose a tag to compare
* 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)

21 Feb 17:26
893094f
Compare
Choose a tag to compare
* 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)

21 Feb 13:43
fc55f10
Compare
Choose a tag to compare
* 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)

21 Feb 12:48
183fefd
Compare
Choose a tag to compare
* 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)

20 Feb 17:52
c96ca58
Compare
Choose a tag to compare
* 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)

20 Feb 16:27
8ee410b
Compare
Choose a tag to compare
* 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]>