Releases: runtimeverification/mx-semantics
Releases · runtimeverification/mx-semantics
v0.1.49: Kasmer: ignore `<txCount>` on RHS (#250)
* 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)
* 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)
* 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)
* 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)
* 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)
* 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)
* 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)
* 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)
* 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)
* deps/plugin: Set Version ce51ecd44698f497bd744b0dff57302178b01835 * Set Version: 0.1.40 * deps/plugin: Set Version 3054e0fca2b5b621945e643c361a4777db4b3f52 --------- Co-authored-by: devops <[email protected]>