Daniel Kirchner
|
f7e9263cea
|
Add hirsute and impish to and remove groovy from release_ppa script.
|
2021-08-11 17:00:02 +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
|
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 |
|
Kamil Śliwak
|
506cc20fe8
|
Remove empty exit files from command-line tests
|
2021-08-05 17:41:33 +02:00 |
|
Kamil Śliwak
|
2803dba980
|
Add pragmas and SPDX comments to command-line tests to get cleaner error output
|
2021-08-05 17:41:30 +02:00 |
|
Kamil Śliwak
|
dc4620d2be
|
cmdlineTests.sh: Suppress message about empty output to get consistent output on release and pre-release builds
|
2021-08-05 17:11:58 +02:00 |
|
chriseth
|
db85849648
|
Merge pull request #11737 from ethereum/fix_shift_cleanup
Yul: Fix cleanup for left shift of bytes types.
|
2021-08-05 12:55:42 +02:00 |
|
chriseth
|
35e1ab2c6f
|
Merge pull request #11739 from ethereum/refactor_yul_conversion
solyul: Refactor conversion function.
|
2021-08-05 12:54:04 +02:00 |
|
chriseth
|
6b888b531b
|
Refactor conversion function.
|
2021-08-05 11:48:35 +02:00 |
|
chriseth
|
26fb2317ef
|
Merge pull request #11744 from ethereum/refactor_remove_identifieraccess
Only provide code generator to CodeTransform.
|
2021-08-05 11:32:39 +02:00 |
|
chriseth
|
0112fed73b
|
Yul: Fix cleanup for left shift of bytes types.
|
2021-08-05 10:54:48 +02:00 |
|
chriseth
|
467cbf92bc
|
Only provide code generator to CodeTransform.
|
2021-08-04 18:38:10 +02:00 |
|
Kamil Śliwak
|
2d5b9036c2
|
Merge pull request #11645 from ethereum/slightly-nicer-error-reporting
[Trivial] Provide a better error reporting for failed cmdline tests.
|
2021-08-04 15:47:14 +02:00 |
|
Leonardo
|
e18dec871f
|
Merge pull request #11705 from ethereum/smt_show_unproved
[SMTChecker] Bundle unproved messages by default
|
2021-08-04 15:21:43 +02:00 |
|
Marenz
|
dea201800f
|
Provide a better error reporting for failed cmdline tests.
|
2021-08-04 15:00:34 +02:00 |
|
Leo Alt
|
01c01ea421
|
Changelog
|
2021-08-04 13:54:50 +02:00 |
|
Leo Alt
|
847dd5cf92
|
Docs
|
2021-08-04 13:54:50 +02:00 |
|
Leo Alt
|
3c1f555f71
|
Tests
|
2021-08-04 13:54:50 +02:00 |
|
Leo Alt
|
700fe3e5d4
|
CL tests
|
2021-08-04 13:54:50 +02:00 |
|