Commit Graph

20911 Commits

Author SHA1 Message Date
Leo Alt
6ee60aa628 Fix false positive on external calls from constructors 2021-08-12 18:51:55 +02:00
chriseth
c87c0f02bd Test updates. 2021-08-12 16:56:12 +02:00
chriseth
90c4623460 Some more base fees. 2021-08-12 16:37:21 +02:00
Sreekesh V
9b9e52e53e updated public to external for the functions
changed public to external for the functions
2021-08-12 16:24:40 +02:00
chriseth
23b16a1e20
Merge pull request #11783 from ethereum/authorized_proxies
Authorized Proxies
2021-08-12 16:18:16 +02:00
chriseth
7977c8c7ce Authorized Proxies 2021-08-12 15:39:32 +02:00
chriseth
e3bec1a8a6
Merge pull request #11761 from ethereum/change-refunds-london
Updated changes in refunds: EIP-3529
2021-08-12 15:34:21 +02:00
chriseth
ccdc11ea5b
Merge pull request #11741 from ethereum/shadowing_inlineasm_fix_yul_codegen
Fixed inline assembly external identifier access.
2021-08-12 14:38:24 +02:00
Leonardo
2faf8c6a5b
Merge pull request #11776 from ethereum/smt_fix_constants
[SMTChecker] Fix ICE when running on Uniswap V2
2021-08-12 13:16:57 +02:00
Daniel Kirchner
13b4e15e1c
Merge pull request #11789 from ethereum/updateReleasePPAScript
Add hirsute to release_ppa script.
2021-08-12 13:15:02 +02:00
Leo Alt
10397e440c Fix ICE in constants 2021-08-12 10:53:01 +02:00
chriseth
01d15f8754 Additionaly safety check for npm package version. 2021-08-12 10:52:34 +02:00
chriseth
a4c94a1b5b Fixed inline assembly external identifier access. 2021-08-11 18:18:29 +02:00
Daniel Kirchner
f7e9263cea Add hirsute and impish to and remove groovy from release_ppa script. 2021-08-11 17:00:02 +02:00
Leonardo
cc4e24c200
Merge pull request #11788 from ethereum/develop_088
Start 0.8.8
2021-08-11 16:15:09 +02:00
Leo Alt
5d7a2f37ea Start 0.8.8 2021-08-11 15:30:11 +02:00
Daniel Kirchner
e28d00a76d
Merge pull request #11763 from ethereum/basefee-hasOpcode
Allow basefee as Yul identifier for EVMVersion < london
2021-08-11 14:14:21 +02:00
Harikrishnan Mulackal
98a259a92d
Merge pull request #11784 from ethereum/set-release-date
Set the release date and updated bugs_by_version.json
2021-08-11 12:52:37 +02:00
hrkrshnn
2c0c27c6d4 Set the release date and updated bugs_by_version.json 2021-08-11 12:13:07 +02:00
Harikrishnan Mulackal
3d33f212c8
Merge pull request #11780 from ethereum/sort-changelog-0.8.7
Sort changelog for 0.8.7 release
2021-08-11 11:43:57 +02:00
Daniel Kirchner
7b5595b0ad
Merge pull request #11775 from ethereum/docs-resources
[DOCS] Update resources.rst
2021-08-11 11:43:10 +02:00
Daniel Kirchner
990a072fe5
Merge pull request #11782 from ethereum/smt_show_unproved_flag
[SMTChecker] Make show unproved CLI a flag
2021-08-11 11:35:24 +02:00
franzihei
a2e73d7896 Update resources.rst 2021-08-11 10:59:02 +02:00
Leo Alt
8ce878621a Make show unproved CLI a flag 2021-08-11 10:54:03 +02:00
hrkrshnn
2577670e38 Sort changelog for 0.8.7 release 2021-08-11 10:52:13 +02:00
hrkrshnn
892700d769 Tests for basefee as identifier in inline assembly
Also added basefee to `EVMVersion::hasOpcode(...)`
2021-08-11 10:46:40 +02:00
hrkrshnn
7f1a2be0fe Allow basefee as Yul identifier for EVMVersion < london
This was done to prevent basefee from being a breaking change. This change will be removed in 0.9.0.

TODO revert this commit in breaking.
2021-08-11 10:46:08 +02:00
Harikrishnan Mulackal
74ec3c1983
Merge pull request #11760 from ethereum/default-evmversion-london
Set default EVM version to London.
2021-08-11 10:42:41 +02:00
Harikrishnan Mulackal
0fc3e2dfb3
Merge pull request #11647 from ethereum/basefee
Implement London EVMVersion and the BASEFEE opcode
2021-08-11 10:31:22 +02:00
hrkrshnn
11b80dc8ce Updated changes in refunds: EIP-3529
Refunds are not accounted in Solidity's gas meter.
2021-08-11 09:55:21 +02:00
hrkrshnn
79733fca48 Set default EVM version to London. 2021-08-11 09:54:14 +02:00
hrkrshnn
43605d9299 Tests and Changelog for basefee. 2021-08-11 09:51:12 +02:00
hrkrshnn
cb9b52c242 Docs for block.basefee and basefee() in Yul. 2021-08-11 09:27:36 +02:00
chriseth
13b269498a
Merge pull request #11770 from ethereum/byte-equivalence
An equivalence check for the Byte opcode
2021-08-10 11:04:38 +02:00
hrkrshnn
a54addc2cb An equivalence check for the Byte opcode
Checks that the byte opcode (implemented using shift) is equivalent to a
canonical definition of byte using extract.
2021-08-10 11:00:29 +02:00
chriseth
74c804d87d
Merge pull request #11765 from ethereum/fix_byte_formal
Fix implementation of BYTE
2021-08-09 20:38:08 +02:00
chriseth
f6789de9f8 Fix implementation of BYTE 2021-08-09 19:14:14 +02:00
hrkrshnn
af1dabb555 Added EVMVersion london.
Also set the value of `block_base_fee` for testing to 7 wei.
2021-08-09 16:18:08 +02:00
hrkrshnn
543ccf5287 Added the basefee instruction in YulInterpreter 2021-08-09 16:18:08 +02:00
hrkrshnn
95091f6b58 Implemented block.basefee in Solidilty and basefee() in Yul.
Also added basefee to Yul grammar.
2021-08-09 16:18:08 +02:00
hrkrshnn
d92b211a2f Added the instruction basefee. 2021-08-09 16:18:08 +02:00
Leonardo
a356059461
Merge pull request #11755 from ethereum/smt_default_no_overflow
[SMTChecker] Do not create targets for underoverflow by default for Sol >=0.8
2021-08-09 14:53:43 +02:00
Leo Alt
ee6285d6d7 Do not create VCs for underoverflow by default for Sol >=0.8 2021-08-09 14:12:31 +02:00
Daniel Kirchner
6ec711b2f0
Merge pull request #11667 from ethereum/z3PPAScriptUpdate
Update Z3 version to 4.8.12 in PPA script and add static binary package.
2021-08-09 12:06:57 +02:00
Daniel Kirchner
88b5be4224 Update Z3 version to 4.8.12 in PPA script and add static binary package. 2021-08-09 11:14:03 +02:00
Leonardo
ce0e0c48fb
Merge pull request #11754 from ethereum/smt_fix_docs
Add solvers to model checker json docs
2021-08-06 18:50:34 +02:00
Leo Alt
e9e3f1238f Add solvers to model checker json docs 2021-08-06 18:05:25 +02:00
Leonardo
c69c08a26e
Merge pull request #11738 from ethereum/smt_div_mod_slacks
[SMTChecker] Add option divModWithSlacks
2021-08-06 16:34:06 +02:00
Leo Alt
08c065ee04 Add option divModWithSlacks 2021-08-06 15:50:25 +02:00
Kamil Śliwak
a532df20ec
Merge pull request #11751 from ethereum/fix-inconsistent-suppressing-of-pre-release-warning
Fix inconsistent suppressing of pre-release warning + remove superfluous warnings from tests
2021-08-05 18:21:54 +02:00