Skip to content

Releases: runtimeverification/mx-semantics

v0.1.49: Kasmer: ignore `<txCount>` on RHS (#250)

01 May 17:02
317d8ea
Compare
Choose a tag to compare
* claim generator: ignore `<txCount>` on RHS

* fix typo

* Set Version: 0.1.49

---------

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

v0.1.48: Update dependency: deps/kwasm_release (#249)

01 May 15:02
fd3eb0b
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.44

* Set Version: 0.1.48

* kmultiversx/: sync poetry files 0.1.44

* deps/kwasm_release: Set Version 0.1.45

* kmultiversx/: sync poetry files 0.1.45

* deps/k_release: sync release file version 7.0.32

---------

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

v0.1.47: Update dependency: deps/kwasm_release (#246)

01 May 10:42
4b4d57e
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.42

* Set Version: 0.1.45

* kmultiversx/: sync poetry files 0.1.42

* Set Version: 0.1.46

* deps/kwasm_release: Set Version 0.1.43

* kmultiversx/: sync poetry files 0.1.43

* Set Version: 0.1.47

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Burak Bilge Yalçınkaya <[email protected]>

v0.1.46: Implement `kelrond.sh` in Python (#247)

01 May 09:24
291ccd3
Compare
Choose a tag to compare
* Remove commands `help` and `version`

* Implement commands `kelrond {run,kast}` in Python

* Remove package `scripts`

* Fix argument parser help text

Co-authored-by: Burak Bilge Yalçınkaya <[email protected]>

* Print `stdout` on error

* Set Version: 0.1.46

---------

Co-authored-by: Burak Bilge Yalçınkaya <[email protected]>
Co-authored-by: devops <[email protected]>

v0.1.45: Implement NFT functionality (#242)

30 Apr 15:22
17f0b02
Compare
Choose a tag to compare
* esdt system sc initial implementation

* add runtime json files

* legacy async calls

* implement NFTs

* add tests

* Set Version: 0.1.41

* format

* Makefile: build esdt system sc mock before basic features tests

* delete `managedVerifyEd25519`

* add comment about tx hash in Mandos

* complete `getESDTLocalRoles` implementation

* mandos: set/check NFTs

* remove unused parameter

* mandos: increment nonce in transferTx

* update simple tests

* last nonce

* fix return code argument for callback

* fix last transfer and callback esdt transfers

* multisig add sendEsdt test

* cleanup

* ESDTNFTTransfer builtin

* add more composability tests

* format

* Set Version: 0.1.44

* Update Makefile

* fix makefile

* Set Version: 0.1.45

* composability_contracts: add forwarder

* transfer NFT: FROM == TO

* add proxy-test-second

* add recursive-caller

* fix `mandos_to_esdt_metadata`

* implement nft add uri

* implement `getCurrentESDTNFTNonce` host function

* fix unused variable warning

* add default value 0 for empty string nonce

* fixes after review

---------

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

v0.1.44: Update dependency: deps/kwasm_release (#245)

29 Apr 09:51
ab6e536
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.40

* Set Version: 0.1.43

* kmultiversx/: sync poetry files 0.1.40

* deps/k_release: sync release file version 7.0.24

* Set Version: 0.1.44

* kmultiversx/: sync poetry files 0.1.40

* deps/kwasm_release: Set Version 0.1.41

* kmultiversx/: sync poetry files 0.1.41

* deps/k_release: sync release file version 7.0.25

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Tamás Tóth <[email protected]>

v0.1.43: Add target `mx-semantics.plugin` (#243)

26 Apr 17:42
e05964e
Compare
Choose a tag to compare
* Move the `plugin` submodule into the Python package

* Copy `krypto.md` into `mx-semantics.source`

* Add target `PluginTarget`

* Set Version: 0.1.42

* Set Version: 0.1.43

---------

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

v0.1.42: Update dependency: deps/kwasm_release (#244)

26 Apr 16:27
b2045bf
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.39

* Set Version: 0.1.42

* kmultiversx/: sync poetry files 0.1.39

---------

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

v0.1.41: Update dependency: deps/kwasm_release (#241)

25 Apr 10:26
f92c286
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.38

* kmultiversx/: sync poetry files 0.1.38

* deps/k_release: sync release file version 7.0.17

* Add target `mx-semantics.source`

* Set Version: 0.1.41

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Tamás Tóth <[email protected]>

v0.1.40: Update dependency: deps/plugin (#240)

24 Apr 09:02
a806622
Compare
Choose a tag to compare
* deps/plugin: Set Version ce51ecd44698f497bd744b0dff57302178b01835

* Set Version: 0.1.40

* deps/plugin: Set Version 3054e0fca2b5b621945e643c361a4777db4b3f52

---------

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