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
22,964 Commits 348 Branches 121 Tags
0f3e7af30fc950bbc709677b96256c618c1cd030
Commit Graph
22964 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Leo 0f3e7af30f Merge pull request #13738 from ethereum/z3_4_11_2_docker 
update docker images with z3 4.11.2
 2022-11-24 15:47:01 +01:00
Leo Alt e51d2ca5e9 update docker images with z3 4.11.2 2022-11-24 14:46:49 +01:00
Leo a00e6c6089 Merge pull request #13740 from ethereum/z3_4_11_2_tests 
update SMTChecker tests with Z3 4.11.2
 2022-11-24 14:25:56 +01:00
Leo Alt d660f0cab0 adjust nondeterministic tests 2022-11-24 13:08:06 +01:00
Leo Alt 504b70b6af update smt tests 2022-11-24 13:08:06 +01:00
Leo Alt c3a7adad27 update cli tests 2022-11-24 13:08:06 +01:00
Leo Alt 87d277ec05 avoid unused error codes 2022-11-24 13:08:06 +01:00
Leo Alt be0149dd47 new z3 version in cmakelist 2022-11-24 13:08:06 +01:00
Leo Alt f3d7dfba82 use new docker images 2022-11-24 13:08:06 +01:00
Daniel eb2f874eac Merge pull request #13733 from ethereum/eofSetting 
Add experimental EOF options for CLI and Standard JSON.
 2022-11-23 20:37:24 +01:00
Daniel KirchnerandKamil Śliwak bf26d3be5a Add experimental EOF options for CLI and Standard JSON. 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-11-23 19:53:44 +01:00
chriseth 33f27098e9 Merge pull request #13739 from ethereum/code-reshuffling-before-operators 
Code reshuffling before custom operators
 2022-11-23 15:09:32 +01:00
chriseth 261e819df7 Type: Extract usingForDirectivesForType() helper 2022-11-23 14:22:49 +01:00
wechman edb4bfa398 ViewPureChecker: Extract reportFunctionCallMutability() helper from endVisit(FunctionCall) 2022-11-23 13:27:26 +01:00
wechman 27df07c4ce TypeChecker: Minor simplifications for operators and using for 2022-11-23 13:27:26 +01:00
Kamil Śliwak 39a8ec12bd Merge pull request #13736 from kuzdogan/patch-2 
Add "appendCBOR" to example JSON in metadata docs
 2022-11-23 13:08:15 +01:00
Kaan Uzdoğan fa944a0673 Add "appendCBOR" to example JSON in metadata docs 2022-11-23 09:53:58 +01:00
Leo 1dd05e2978 Merge pull request #12969 from ethereum/smt_eld 
[SMTChecker] Add Eldarica as a Horn solver
 2022-11-22 23:00:13 +01:00
Leo Alt 24df40de9a Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
Nikola Matić be8ecb17d8 Merge pull request #13703 from ethereum/performance_metrics 
Code to output performance metrics for optimizer steps.
 2022-11-22 13:36:16 -05:00
chriseth 5950ec306b Code to output performance metrics for optimizer steps. 2022-11-22 18:44:01 +01:00
Daniel 3109ce2dbc Merge pull request #12132 from ethereum/userDefinedSideEffectsCodeTransform 
Use side-effects of user defined functions in evm code transform.
 2022-11-22 14:26:57 +01:00
Kamil Śliwak 5211d3da0d Merge pull request #13698 from ethereum/evm-paris 
Add basic support for the EVM version Paris
 2022-11-21 19:08:01 +01:00
Nikola Matić 50935dbcc5 Merge pull request #13679 from fulldecent/feature-order-of-errors 
[Documentation] Set error placement in contract, match example to specified order
 2022-11-21 10:39:06 -05:00
William Entriken 8f705fc327 [Documentation] set error placement in contract, match example to prescription 
Add example

fix order
 2022-11-21 15:52:41 +01:00
Alex Beregszaszi c353eb0af5 Document difficulty vs. prevrandao 2022-11-21 14:56:46 +01:00
Alex Beregszaszi eb8af2caec Add basic support for the EVM version Paris 
This mostly means testing with evmone, but instruction renaming of difficulty->prevrandao is omitted.
 2022-11-21 14:56:46 +01:00
Daniel 0b4b1045cf Merge pull request #13712 from Qlio/patch-2 
Bug fix on Yul Object example code.
 2022-11-17 11:16:35 +01:00
Bulgantamir Gankhuyag 76fcd0d537 Bug fix on Yul Object example code. 
Related issue: #13711
 2022-11-17 14:17:10 +08:00
Nuno Santos 75a74cd43f Merge pull request #13277 from Ruko97/formatNumberReadable_styleChange_upstream 
Improved output of formatNumberReadable
 2022-11-16 16:20:30 +00:00
Daniel Kirchner 1b6063ede4 Disable zeppelin test failing due to hardhat heuristics. 2022-11-14 21:26:36 +01:00
chriseth 5ba8c109f4 Use side-effects of user defined functions in evm code transform. 2022-11-14 21:26:36 +01:00
chriseth 4100a59cca Merge pull request #13708 from ethereum/refactor_join_knowledge 
Refactor join knowledge.
 2022-11-14 17:40:06 +01:00
Ishtiaque Zahid 3abf2724a1 changed output of formatNumberReadable so that it shows powers of two and one-less-than powers of two in a more compact format 2022-11-14 17:37:38 +01:00
chriseth 62ab78bf70 Refactor join knowledge. 2022-11-14 11:56:32 +01:00
Alex Beregszaszi 310a58dd31 Merge pull request #13695 from ethereum/evmc-refund 
test: Support tracking gas refunds
 2022-11-10 23:08:38 +01:00
chriseth 50747d6ab8 Merge pull request #13704 from ethereum/optimize_and_shl_functions 
added changelog entry for optimizer
 2022-11-10 22:42:19 +01:00
Alex Beregszaszi 54b4598390 Move some tests from viaYul to appropriate groups 2022-11-10 22:21:15 +01:00
Alex Beregszaszi 0f65e17b7b Update tests 2022-11-10 22:21:15 +01:00
Alex Beregszaszi 5a35c50d16 test: Support tracking gas refunds 2022-11-10 22:00:38 +01:00
nishant-sachdeva 149303d02d added changelog entry for optimizer 2022-11-11 02:26:47 +05:30
chriseth 77a9f8ac43 Merge pull request #13529 from ethereum/optimize_and_shl_functions 
optimize and_shl distribution operation
 2022-11-10 21:38:29 +01:00
nishant-sachdeva efbd3666a7 added optimization. shl comes out from being distributed over and 2022-11-11 01:16:14 +05:30
matheusaaguiar c72645327e Merge pull request #13613 from Andy53/patch-1 
Clarification to the documentation on converting payable to non payable functions.
 2022-11-10 16:28:36 -03:00
andy53 1e5c229a37 update value-types.rst 2022-11-10 15:42:31 -03:00
chriseth 1bd35b1be1 Merge pull request #13682 from ethereum/improve_cse 
Use hash of candidates for CSE.
 2022-11-10 16:48:57 +01:00
chriseth 4b0348a9a5 Merge pull request #13693 from ethereum/resolved-function-call-in-cfg 
Resolved `FunctionDefinition` instead of `FunctionCall` in CFG
 2022-11-10 14:04:37 +01:00
Nikola Matić 4e5a5259f5 Merge pull request #13650 from Andy53/document-optimized-cleanup-process 
update using-the-compiler.rst with details of optimizer cleanup sequence
 2022-11-10 03:35:26 -05:00
andy53andmatheusaaguiar 4e035c41b6 update using-the-compiler.rst with details of optimizer cleanup sequence 
Removed duplicate lines and clarified the wording.

Removed trailing whitespace.

Update docs/using-the-compiler.rst

Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>

Clarified behaviors.

Updated text to meet suggestions.
 2022-11-10 08:45:48 +01:00
Nikola Matić 2fb7205dd3 Merge pull request #13532 from ethereum/evmc-update 
Upgrade to evmc10 + evmone9
 2022-11-10 02:10:29 -05:00