Support function with struct and array argument types
#2136
Conversation
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
spencerhaoxiao
changed the title
struct and array arguments
…evm-semantics into function_array_args
tothtamas28
reviewed
Oct 27, 2023
kevm-pyk/src/kevm_pyk/kevm.py
Outdated
| for i in reversed(args): | ||
| res = KApply('_,__EVM-ABI_TypedArgs_TypedArg_TypedArgs', [i, res]) | ||
| return res | ||
| def typed_args(args: list[KApply], res: KApply | None = None) -> KApply: |
There was a problem hiding this comment.
Unless there's reason to expose the unit, I'd just go with the default:
Suggested change
| def typed_args(args: list[KApply], res: KApply | None = None) -> KApply: | |
| def typed_args(args: list[KApply]) -> KApply: |
…evm-semantics into function_array_args
spencerhaoxiao
changed the title
struct and array argumentsstruct and array argument types
* .gitignore, tests/specs/examples: commit bin-runtime files
* kevm-pyk/test_prove: simplify compilation process now that we dont need to generate K code
* .gitmodules: remove forge-std
* kevm-pyk/: remove more references to foundry tests
* kevm-pyk/src/tests/integration/test-data: remove references to foundry tests
* kevm-pyk/src/tests/integration/test_{foundry_prove,solc_to_k}: remove unused files
* Set Version: 1.0.326
* tests/foundry/lib/forge-std: remove submodule
* Set Version: 1.0.328
---------
Co-authored-by: devops <[email protected]>
* Remove `foundry.md` and the `foundry` target * Set Version: 1.0.329 --------- Co-authored-by: devops <[email protected]>
* bump soliditylang docs version in readme * Set Version: 1.0.328 * Set Version: 1.0.329 * Set Version: 1.0.330 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Palina Tolmach <[email protected]>
* deps/pyk_release: Set Version v0.1.480
* Set Version: 1.0.329
* kevm-pyk/: sync poetry files pyk version v0.1.480
* deps/k_release: sync release file version 6.0.164
* flake.{nix,lock}: update Nix derivations
* deps/pyk_release: Set Version v0.1.481
* kevm-pyk/: sync poetry files pyk version v0.1.481
* deps/k_release: sync release file version 6.0.174
* flake.{nix,lock}: update Nix derivations
* Set Version: 1.0.330
* kevm-pyk/: sync poetry files pyk version v0.1.481
* deps/pyk_release: Set Version v0.1.482
* kevm-pyk/: sync poetry files pyk version v0.1.482
* flake.{nix,lock}: update Nix derivations
* deps/pyk_release: Set Version v0.1.483
* kevm-pyk/: sync poetry files pyk version v0.1.483
* flake.{nix,lock}: update Nix derivations
* deps/pyk_release: Set Version v0.1.484
* kevm-pyk/: sync poetry files pyk version v0.1.484
* flake.{nix,lock}: update Nix derivations
* deps/pyk_release: Set Version v0.1.485
* kevm-pyk/: sync poetry files pyk version v0.1.485
* flake.{nix,lock}: update Nix derivations
* Set Version: 1.0.331
* deps/pyk_release: Set Version v0.1.486
* fix poetry2nix
* kevm-pyk/: sync poetry files pyk version v0.1.486
* flake.{nix,lock}: update Nix derivations
* minor tweak
---------
Co-authored-by: devops <[email protected]>
Co-authored-by: Palina Tolmach <[email protected]>
Co-authored-by: Sam Balco <[email protected]>
…#2099) * Rerun claims based on digest, computed from claim body + dependent claims * Set Version: 1.0.309 * Make KClaimJob a frozen class and cache digest * Set Version: 1.0.310 * Change to using frozenset * Raise exception when label is not found * Set Version: 1.0.310 * Set Version: 1.0.312 * Set Version: 1.0.314 * Set Version: 1.0.329 * Update kevm-pyk/src/kevm_pyk/__main__.py Co-authored-by: Andrei Văcaru <[email protected]> * Fix formatting * Set Version: 1.0.330 * Set Version: 1.0.331 * Set Version: 1.0.332 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> Co-authored-by: rv-jenkins <[email protected]>
* kevm-pyk/{cli,__main__}: remove options --[no-]simplify-init
* kevm-pyk/__main__: setup temporary directory for saving proofs if needed
* Set Version: 1.0.328
* Set Version: 1.0.329
* Set Version: 1.0.331
* Set Version: 1.0.332
* Set Version: 1.0.333
* kevm-pyk/test_prove: remove kserver
---------
Co-authored-by: devops <[email protected]>
Co-authored-by: rv-jenkins <[email protected]>
…evm-semantics into function_array_args
tothtamas28
approved these changes
Nov 2, 2023
…evm-semantics into function_array_args
Closed
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
abi_arrayto support function with array argumentskontrolxis not updated, as this function has been moved to kontrol repo.Note: Included the content from PR 2105 because the component type of an array could be struct. As discussed with @palinatolmach, I will include the changes in PR 2105 into this PR.