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,628 Commits 348 Branches 121 Tags
11b80dc8ced1e9642ee620b8bbdd9b3489d97586
Commit Graph
20628 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
Leo Alt 41087f3195 Add CLI and JSON option to show unproved targets 2021-08-04 13:54:50 +02:00
Leo Alt 685d7a8c99 Bundle all unproved targets in a single message and only show all if setting chooses that 2021-08-04 13:54:50 +02:00
chriseth ae519c1278 Merge pull request #11658 from ethereum/removeScannerFromCompilerStack 
Remove scanner from compiler stack
 2021-08-03 17:47:39 +02:00
chriseth d7a40622e4 Merge pull request #11729 from ethereum/build-speedups 
header file cleanups
 2021-08-03 16:44:54 +02:00
chriseth ffd66a5d08 Merge pull request #11720 from ethereum/onlySetRunsIfUsed 
Only set "runs" if used.
 2021-08-03 16:34:31 +02:00
chriseth 3b1eacfcaa Merge pull request #11655 from ethereum/ObjectCompiler-user-src-new-test 
Print source locations in AsmPrinter
 2021-08-03 16:09:40 +02:00
Christian Parpart d203c80abd Eliminate unnecessary m_source from Parser 2021-08-03 16:03:45 +02:00
chriseth 01a1316b36 Only set "runs" if used. 2021-08-03 15:53:59 +02:00
Christian Parpart af18b8afc2 Eliminate some unnecessary header inclusions in headers in Scanner.h and SourceReferenceFormatter.h 2021-08-03 15:43:17 +02:00
Christian Parpart 6294aa871a Simplify AsmParser::parse(.) usage 2021-08-03 15:43:17 +02:00
Christian Parpart ac0c749a32 Eliminate some unnecessary header inclusions in headers in SourceLocation.h 2021-08-03 15:43:17 +02:00
chriseth ffc5cfd9a5 Remove scanner from compiler stack. 2021-08-03 15:43:17 +02:00
Christian Parpart 81e9225304 Eliminate some unnecessary header inclusions in headers. 2021-08-03 15:43:14 +02:00
Mathias Baumann 2ee6c7be64 Print @src and @use-src locations in AsmPrinter 2021-08-03 15:29:52 +02:00
Harikrishnan Mulackal c89b46c55e Merge pull request #11726 from ethereum/yulScoping 
Clarify Yul scoping rules.
 2021-08-03 12:41:24 +02:00
chriseth 363278d2ec Clarify Yul scoping rules. 2021-08-02 18:27:34 +02:00
chriseth e9cab0ffc6 Merge pull request #11707 from ethereum/docs-clarify-optional-remapping-components 
[Docs] Clarify optional parts in remappings
 2021-08-02 12:58:56 +02:00