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
23,785 Commits 348 Branches 121 Tags
af6d7793fbebd6dbeeddbd44fbb5593d0f5676aa
Commit Graph
23785 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Leo Alt 07870d0318 Fix internal error in assignment chains that also assign to fully qualified state variables (, for example), where the contract expression is a tuble. 2022-11-28 18:45:50 +01:00
Rodrigo Q. Saramago 0407ef744a Rename stale action 2022-11-28 17:59:45 +01:00
Rodrigo Q. SaramagoandKamil Śliwak eb550d839e Modify stale pr action to also close old stale issues 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-11-28 17:58:27 +01:00
Leo 764569be16 Merge pull request #13751 from ethereum/smt_fix_natspec 
Fix internal error in multiple wrong options for SMTChecker natspec
 2022-11-28 17:51:41 +01:00
Leo Alt a5dab6181c Fix internal error when the abstract-nondet SMTChecker natspec annotation is used with a wrong option multiple times for the same function 2022-11-28 16:59:35 +01:00
Leo 4baeddc62b Merge pull request #13749 from ethereum/smt_fix_library 
Fix SMTChecker bug when a public library function is called internally
 2022-11-28 13:56:30 +01:00
Leo Alt 9a8dd4242f Fix SMTChecker bug when a public library function is called internally by an internal library function, which in turn is called internally by a contract. 2022-11-28 13:07:18 +01:00
Kamil Śliwak 40f0329baa Merge pull request #13743 from GeorgePlotnikov/develop 
Add updated solc-bin update call to ReleaseChecklist.md
 2022-11-25 20:29:33 +01:00
George Plotnikov 0a4c7f3b0f ReleaseChecklist.md: Update update call in solc-bin section 2022-11-25 19:42:33 +01:00
Kamil Śliwak 4e3175d093 Merge pull request #12797 from vinayman/10627_ErrorReportingScannerIssues 
Improve Error Reporting of SemVer Parser
 2022-11-25 19:39:16 +01:00
Vinay 9e7b85ac4b Improve Error Reporting of SemVer Parser 2022-11-25 13:09:09 -03:00
Kamil Śliwak 10f81425a3 Merge pull request #13581 from r0qs/ci-to-nightly 
Let the nightlies call themselves 'nightly', the return.
 2022-11-25 15:27:27 +01:00
chriseth 826ada0b96 Merge pull request #13705 from ethereum/onlyCountVariables 
Only count variables if only variables are needed.
 2022-11-25 14:20:07 +01:00
Nikola Matić bf1a2c7cee Merge pull request #13734 from ethereum/add_perf_benchmarks 
Add performance benchmarks.
 2022-11-25 07:44:02 -05:00
Rodrigo Q. Saramago cf5d0d3f8b Let the nightlies call themselves 'nightly', the return. 
Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
 2022-11-25 11:53:57 +01:00
chriseth e9cc770d80 Add performance benchmarks. 2022-11-25 10:29:29 +01:00
Kamil Śliwak 91589e0214 Merge pull request #13742 from ethereum/external-pr-greeter 
Don't run the external contributor greeter action when PRs are reopened
 2022-11-24 23:43:39 +01:00
Rodrigo Q. Saramago b4add1df68 Avoid run the action when PRs are reopened 2022-11-24 20:38:11 +01:00
Alexander ArltNuno SantosKamil Śliwak
 		fe68200f30 [tests] Refactor scripts/ASTImportTest.sh. (#13576) 
* [tests] Refactor scripts/ASTImportTest.sh.

Co-authored-by: Nuno Santos <nuno.santos@ethereum.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-11-24 16:16:16 +01:00
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
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