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.

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

Make infiniteGas default, add setGas cheatcode #2045

Closed
wants to merge 34 commits into from
Closed
Changes from 1 commit
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
18b19cd
Make `infiniteGas` default, add `setGas` cheatcode
palinatolmach Aug 25, 2023
47ea980
Set Version: 1.0.285
Aug 31, 2023
8583738
Update (some) expected output
palinatolmach Aug 31, 2023
ede0758
Set Version: 1.0.286
Sep 1, 2023
cb1659e
Set Version: 1.0.287
Sep 6, 2023
c06fd1c
Set `GAS_CELL` to infinite gas
palinatolmach Sep 6, 2023
f3a2c2a
Merge branch 'master' into default-inf-gas
palinatolmach Sep 6, 2023
790d761
Merge branch 'master' into default-inf-gas
palinatolmach Sep 13, 2023
2d7d3f6
Set Version: 1.0.291
Sep 13, 2023
5ce6e0c
Update `test_foundry_merge_nodes`, expected output
palinatolmach Sep 13, 2023
0177550
Merge branch 'master' into default-inf-gas
palinatolmach Sep 13, 2023
118638b
Set Version: 1.0.292
Sep 13, 2023
7f4e5d3
Fix merge conflict: remove `k/deps`
palinatolmach Sep 13, 2023
ce555d6
Merge branch 'master' into default-inf-gas
palinatolmach Sep 18, 2023
7e10100
Set Version: 1.0.293
Sep 18, 2023
553b84a
Set gas limit in `LoopsTest.sum_N`
palinatolmach Sep 18, 2023
8765a32
Merge branch 'master' into default-inf-gas
palinatolmach Sep 19, 2023
4083676
Set Version: 1.0.294
Sep 19, 2023
f1288e5
Merge branch 'master' into default-inf-gas
palinatolmach Sep 20, 2023
309995e
Set Version: 1.0.297
Sep 20, 2023
9791d4f
Merge branch 'master' into default-inf-gas
palinatolmach Sep 21, 2023
2a8e191
Set Version: 1.0.301
Sep 21, 2023
e932a1a
Merge branch 'master' into default-inf-gas
palinatolmach Sep 22, 2023
f41d804
Set Version: 1.0.302
Sep 22, 2023
5151a8d
Update expected output except `LoopsTest`
palinatolmach Sep 25, 2023
c74887f
Merge branch 'master' into default-inf-gas
palinatolmach Sep 25, 2023
ebfdd9b
Set Version: 1.0.305
Sep 25, 2023
2aeb54c
Use fixed gas in `LoopsTest.sum_N`, loop invariant
palinatolmach Sep 25, 2023
149769a
Update `LoopsTest.sum_N` expected output
palinatolmach Sep 25, 2023
86f2d84
Merge branch 'master' into default-inf-gas
palinatolmach Sep 27, 2023
0e8cca6
Set Version: 1.0.308
Sep 27, 2023
4e1a87d
Update expected output for `sum_N`,`abstract_gas`
palinatolmach Sep 27, 2023
5788a0d
Merge branch 'master' into default-inf-gas
palinatolmach Oct 2, 2023
519313c
Set Version: 1.0.310
Oct 2, 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
Prev Previous commit
Set Version: 1.0.310
  • Loading branch information
devops committed Oct 2, 2023
commit 519313c90eb9c54609c083d37ad11b95a74f849d
2 changes: 1 addition & 1 deletion kevm-pyk/pyproject.toml
Original file line number Diff line number Diff line change
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"

[tool.poetry]
name = "kevm-pyk"
version = "1.0.309"
version = "1.0.310"
description = ""
authors = [
"Runtime Verification, Inc. <contact@runtimeverification.com>",
2 changes: 1 addition & 1 deletion kevm-pyk/src/kevm_pyk/__init__.py
Original file line number Diff line number Diff line change
@@ -6,4 +6,4 @@
from typing import Final


VERSION: Final = '1.0.309'
VERSION: Final = '1.0.310'
2 changes: 1 addition & 1 deletion package/version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
1.0.309
1.0.310