-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update dependency: deps/wasm-semantics (#127)
* deps/wasm-semantics: Set Version 51b9d18625ad764a784f6bca985ca57926d8e903 * init pykelrond * move python files to pykelrond * update makefile * Dockerfile: remove pip installs, add poetry * remove PYK_VERSION build arg * update README.md * checkout with submodules recursive * make poetry-install a separate step * poetry install no ansi output * generate Cargo.lock if it doesn't exist * add comment to mxpy-build * pykelrond => kmultiversx * minor corrections * add python code quality checks * add conversion flags --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Burak Bilge Yalçınkaya <bbyalcinkaya@gmail.com>
- Loading branch information
1 parent
abfeb41
commit ffba903
Showing
21 changed files
with
1,937 additions
and
355 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.