Skip to content

v0.1.6: Implement contract calls and basic host functions (#7)

Compare
Choose a tag to compare
@github-actions github-actions released this 15 May 09:23
e4b0771
* contract calls and basic host functions

* add TODO comment

* new config cells

* implement output checks

* implement host functions for the counter contract

* Set Version: 0.1.4

* format and fix code quality checks on CI

* add simulation integration tests

* reset `<stylus-output>` at `callStylus`

* add wast test for `storage_load_bytes32`

* add wast test `storage_set_and_get.wast`

* more wast tests

* add comments to wast tests

* add the counter test as submodule

* add comments and update README.md

* Dockerfile: add rust toolchain

* add test dependencies

* fetch submodules

* upgrade rustc version

* Set Version: 0.1.6

* update lock file

---------

Co-authored-by: devops <devops@runtimeverification.com>