cerc-io/solidity
15
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
23,099 Commits 348 Branches 121 Tags 100 MiB
83a937423f
Commit Graph

23099 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Bhargava Shastry
2c27405cbb Fix zero size memory expansion semantics in the yul interpreter. 2022-11-21 11:53:42 +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
chriseth
f1febf69d0 Only count variables if only variables are needed. 2022-11-14 10:24:28 +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
andy53
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
Nikola Matić
1aea745304
Merge pull request #13537 from ethereum/evmc-buildpack 
Upgrade to evmone 0.9.1 and hera 0.6.0 in buildpack
 2022-11-10 02:10:15 -05:00
Alex Beregszaszi
47ed36e0db Upgrade CI and download instructions to evmone 0.9.1 and hera 0.6.0 2022-11-09 21:27:40 +01:00
Alex Beregszaszi
b49008af9e Support EVMC_PARIS with randao from merge block 2022-11-09 21:27:40 +01:00
Alex Beregszaszi
5df92a374b Update EVMHost to match EVMC10 changes 2022-11-09 21:27:40 +01:00
matheusaaguiar
73e7b844dc
Merge pull request #13381 from ethereum/cleanupDocs 
Clarify variable cleanup in docs.
 2022-11-09 17:14:44 -03:00
Daniel Kirchner
27dba5c2d4 Clarify cleanup in docs. 
Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>
 2022-11-09 16:27:24 -03:00
wechman
fbe1181517 CFGNode: For function calls store a pointer to a resolved function definition rather than the FunctionCall AST node 2022-11-09 17:51:32 +01:00
chriseth
40342264c2 Use hash of candidates for CSE. 2022-11-09 16:57:46 +01:00
Daniel
2f33105d11
Merge pull request #13697 from ethereum/coc-contact-update 
[COC] Update contact section in Code of Conduct
 2022-11-09 15:44:46 +01:00
franzihei
7cc4c659cf Update CODE_OF_CONDUCT.md 
Update CODE_OF_CONDUCT.md
 2022-11-09 14:55:59 +01:00
Alex Beregszaszi
458857d0d6 Upgrade to evmc 10.0.0 2022-11-09 11:45:40 +01:00
Daniel
5c139b60b8
Merge pull request #13694 from ethereum/evmhost_set_storage 
test: Improve precision of SSTORE cost in EVMHost
 2022-11-09 11:41:23 +01:00
Hari
bbb9eb37c5
Merge pull request #13696 from VVander/patch-2 
Replace "miners" with "block builders"
 2022-11-09 10:24:45 +01:00
Paweł Bylica
4830194383
test: Update test expectations 2022-11-09 10:15:17 +01:00
Paweł Bylica
199f36585a
test: Improve precision of SSTORE cost in EVMHost 
Add "original" field to storage_value to precise track "dirty" state of
a storage slot as defined in EIP-2200. In case a current storage value
is restored to original (after multiple modifications in a single
transaction), the storage slot is not considered "dirty" any more.
Previously, we only had a bool dirty flag to model this and a storage
slot was always considered "dirty" after first modification.
 2022-11-09 10:15:14 +01:00