Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support for fixed arrays and structs as function parameters #121

Closed
wants to merge 24 commits into from
Closed

Support for fixed arrays and structs as function parameters #121

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
3ee6121
Support for fixed arrays as function parameters
spencerhaoxiao Oct 23, 2023
4640d4f
Set Version: 0.1.35
Oct 23, 2023
89e1039
fix review comments
spencerhaoxiao Oct 25, 2023
30c9c69
Merge branch 'master' of github.com:runtimeverification/kontrol
spencerhaoxiao Oct 26, 2023
05b33ed
fix review comments
spencerhaoxiao Oct 25, 2023
e554b4a
add predicate for array elements and add unit test for struct
spencerhaoxiao Oct 26, 2023
b7cafa6
Merge branch 'function_array_args' of github.com:runtimeverification/…
spencerhaoxiao Oct 26, 2023
f4275e3
Set Version: 0.1.38
Oct 26, 2023
2a4e6f3
Update type of parameters from KApply to KInner for calling function …
spencerhaoxiao Oct 30, 2023
b9cda11
Merge branch 'master' into function_array_args
palinatolmach Nov 20, 2023
786a7c3
Set Version: 0.1.66
Nov 20, 2023
63815db
Add Solidity test for structs
palinatolmach Nov 20, 2023
5cd6c28
Merge branch 'master' into function_array_args
palinatolmach Nov 21, 2023
86b13d3
Set Version: 0.1.69
Nov 21, 2023
24713e7
WIP: return `V_id` prefix for vars in ABI calldata
palinatolmach Nov 21, 2023
4da4999
Merge branch 'master' into function_array_args
palinatolmach Nov 22, 2023
bf6e18f
Set Version: 0.1.70
Nov 22, 2023
8ed1339
Merge branch 'master' into function_array_args
palinatolmach Nov 24, 2023
e2d0967
Replace `[]` for index access with `_`
palinatolmach Nov 24, 2023
9f5fc85
Set Version: 0.1.73
Nov 24, 2023
ad859b8
Merge branch 'master' into function_array_args
palinatolmach Nov 27, 2023
f84a8c1
Set Version: 0.1.74
Nov 27, 2023
811db04
Merge branch 'master' into function_array_args
palinatolmach Nov 30, 2023
dcaa502
Set Version: 0.1.77
Nov 30, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion package/version
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.76
0.1.77
2 changes: 1 addition & 1 deletion pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"

[tool.poetry]
name = "kontrol"
version = "0.1.76"
version = "0.1.77"
description = "Foundry integration for KEVM"
authors = [
"Runtime Verification, Inc. <contact@runtimeverification.com>",
Expand Down
2 changes: 1 addition & 1 deletion src/kontrol/__init__.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,4 +5,4 @@
if TYPE_CHECKING:
from typing import Final

VERSION: Final = '0.1.76'
VERSION: Final = '0.1.77'
Loading
Loading