cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
20,661 Commits 348 Branches 121 Tags
838514a718d0435c919bee65abef9f37fd2136bd
Commit Graph
20661 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth 838514a718 Undo backwards-compatibly change that prevents external identifer resolving. 2021-08-12 14:48:01 +02:00
chriseth 0755d65e80 Merge remote-tracking branch 'origin/develop' into breaking 2021-08-12 14:40:45 +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 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
v0.8.7 		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