chriseth
|
704820cc6e
|
Update tests.
|
2021-08-16 22:24:06 +02:00 |
|
chriseth
|
94c4e1e172
|
Simplify yul conversion function even more.
|
2021-08-16 22:24:06 +02:00 |
|
chriseth
|
4480662a58
|
Test.
|
2021-08-16 18:54:33 +02:00 |
|
hrkrshnn
|
59db0f1537
|
An equivalence check for SIGNEXTEND opcode
Checking the implementation of SIGNEXTEND using Z3's native SignExt and Extract
|
2021-08-16 18:54:33 +02:00 |
|
chriseth
|
5906d25a39
|
Formalization of SIGNEXTEND and rule proofs
|
2021-08-16 18:54:33 +02:00 |
|
chriseth
|
16787ecfd6
|
Optimizer rules for signextend.
|
2021-08-16 18:54:33 +02:00 |
|
Kamil Śliwak
|
d59497bd92
|
Merge pull request #11805 from ethereum/fixSolcjs
Remove the code for disabling `prepublish` hook before solc-js tests
|
2021-08-16 17:30:56 +02:00 |
|
Daniel Kirchner
|
9f2885e173
|
Disabling of prepublish hook is no longer needed in setup_solcjs
See https://github.com/ethereum/solc-js/pull/542
|
2021-08-16 16:50:31 +02:00 |
|
chriseth
|
97b4ff15f1
|
Merge pull request #11791 from CrimsonGlory/patch-2
Document pre-0.5.0 bytesX/uintY conversions
|
2021-08-16 14:24:55 +02:00 |
|
CrimsonGlory
|
e42ebcd612
|
Document pre-0.5.0 bytesX/uintY conversions
Document pre-0.5.0 compiler behavior on bytesX/uintY conversions when they have different size.
|
2021-08-16 14:24:26 +02:00 |
|
chriseth
|
c0a9578979
|
Merge pull request #11798 from adlerjohn/patch-1
Fix typo
|
2021-08-16 12:11:48 +02:00 |
|
John Adler
|
a029b0ba67
|
Fix typo
Fix missing `s`.
|
2021-08-14 14:31:06 -04:00 |
|
chriseth
|
1a68228c28
|
Merge pull request #11790 from ethereum/chriseth-patch-1
Run npm prepublish
|
2021-08-13 15:17:14 +02:00 |
|
chriseth
|
07def75084
|
Merge pull request #11774 from ethereum/refactorRedundantAssign
Refactor redundant assign
|
2021-08-13 15:05:50 +02:00 |
|
chriseth
|
3622b30a1d
|
Refactor RedundantAssignEliminator.
|
2021-08-13 14:25:14 +02:00 |
|
chriseth
|
d7a802e4bf
|
Merge pull request #11682 from ethereum/fixedPointTypes
Fixed point types for isoltest
|
2021-08-13 09:37:29 +02:00 |
|
Daniel Kirchner
|
4fdf7db02e
|
Merge pull request #11796 from ethereum/smt_fix_develop
Fix SMT test develop
|
2021-08-12 23:15:21 +02:00 |
|
Leo Alt
|
937af7d722
|
Fix SMT test
|
2021-08-12 22:34:18 +02:00 |
|
Alexander Arlt
|
d6b9b4175b
|
[isoltest] Add support for fixed point types.
|
2021-08-12 21:27:51 +02:00 |
|
chriseth
|
fe0d027d45
|
Merge pull request #11785 from ethereum/someMoreBaseFees
Some more base fees.
|
2021-08-12 19:48:10 +02:00 |
|
Leonardo
|
b0164bd2a4
|
Merge pull request #11795 from ethereum/smt_fix_ext_constructor
[SMTChecker] Fix false positive on external calls from constructors
|
2021-08-12 19:34:57 +02:00 |
|
chriseth
|
93ebdb9e6e
|
Merge pull request #11772 from v-sreekesh/v-sreekesh-external-fix-voting
updated public to external for the functions
|
2021-08-12 19:08:19 +02:00 |
|
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 |
|