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,010 Commits 348 Branches 121 Tags
523aad175e87f56f6c60c3ecf80d212b2826019d
Commit Graph
23010 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Rodrigo Q. Saramago 523aad175e Remove exempt of draft PRs in stale action 2022-12-01 18:23:03 +01:00
Daniel a9f8a77817 Merge pull request #13709 from ChrisXXXXXXX/patch-2 
Separate node for every `if` and `case` body in the Yul CFG
 2022-12-01 17:04:41 +01:00
ChrisXXXXXXX feade14fd6 Update ControlFlowSideEffectsCollector.cpp 
There are errors in the function void ControlFlowBuilder::operator()(If const& _if) and function void ControlFlowBuilder::operator()(Switch const& _switch) when calculating CFG.
1. In the function void ControlFlowBuilder::operator()(If const& _if), the if.condion block is not the same block as the if.then block. The original code is calculated as one same block.
2. The switch.expression block are not the same block as all the cases block in cases, the original code is calculated as one same block.
This can cause some potential problems during the optimization phase.
 2022-12-01 16:06:02 +01:00
Daniel 851cc09742 Merge pull request #13516 from ethereum/fix-yul-interpreter-memory-access 
Fix memory expansion semantics in the yul interpreter.
 2022-12-01 15:42:41 +01:00
Kamil Śliwak c6ee18a507 Merge pull request #13744 from ethereum/review-checklist-update-for-external-prs 
Update the review checklist to address common external PR problems
 2022-11-30 18:20:41 +01:00
Nikola Matić 68686b5e26 Merge pull request #13768 from ethereum/prb-math-fix 
Quick fix of prb-math external tests
 2022-11-30 11:17:17 -05:00
Rodrigo Q. Saramago 0fb04432fa Quick fix of prb-math 2022-11-30 16:24:44 +01:00
Leo ca204c8b05 Merge pull request #13762 from ethereum/smt_fix_delete 
Fix internal error when deleting struct member of function type
 2022-11-30 13:52:12 +01:00
Leo Alt 77698f8108 Fix internal error when deleting struct member of function type 2022-11-30 12:47:32 +01:00
Kamil Śliwak 40b24850d2 Merge pull request #13766 from ethereum/fix-spurious-unreachable-warning-in-semvermatcher 
Fix spurious unreachable warning in `SemVerMatcher`
 2022-11-30 00:41:17 +01:00
SabnockandKamil Śliwak dbc1bc1515 Array member clarification (#13763) 
* clarify array members

Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
 2022-11-30 00:39:57 +01:00
Kamil Śliwak fdf4ec581f Update the review checklist to address common external PR problems 2022-11-29 23:41:16 +01:00
Kamil Śliwak d0fb8c2e87 Fix another instance of the spurious unreachable warning, this time in SemVerMatcher 2022-11-29 23:26:22 +01:00
Kamil Śliwak d2dd84ad4b Merge pull request #13758 from ethereum/close-stale-issues 
Prefer old issues/prs and only issues already labeled as stale
 2022-11-29 17:32:08 +01:00
Rodrigo Q. Saramago 35f4456be2 Ensure that stale label is not removed from processed ancient issues 2022-11-29 14:38:33 +01:00
Rodrigo Q. SaramagoandKamil Śliwak e31488ff7c Prefer old issues/prs and only issues already labeled as stale 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-11-29 14:19:56 +01:00
Leo 7cb76ee515 Merge pull request #13761 from ethereum/smt_fix_user 
Fix internal error when using user defined value types in map/struct
 2022-11-29 13:52:53 +01:00
Leo Alt 608b424afc Fix internal error when using user defined value types as mapping indices or struct members. 2022-11-29 13:04:01 +01:00
Leo cc8baf7ea8 Merge pull request #13754 from ethereum/smt_fix_assignment 
Fix internal error in assignment chains
 2022-11-29 11:58:36 +01:00
Kamil Śliwak 7070a1721f Merge pull request #13755 from ethereum/smt_fix_nondet 
Make isoltest not check SMTChecker counterexamples by default
 2022-11-28 22:45:07 +01:00
Leo d5b8f74fa0 Merge pull request #13757 from ethereum/fix_emscripten_hash 
Fix emscripten docker hash
 2022-11-28 21:57:35 +01:00
Leo Alt 15b062e466 Fix emscripten docker hash 2022-11-28 21:06:51 +01:00
Leo Alt be8b05e6bf Make isoltest not check SMTChecker counterexamples by default. 2022-11-28 20:55:15 +01:00
Kamil Śliwak 3f17e0e1ca Merge pull request #13753 from ethereum/close-stale-rename 
Rename close stale action
 2022-11-28 19:39:50 +01:00
Kamil Śliwak 1373aef249 Merge pull request #13745 from ethereum/close-stale-issues 
Close stale issues
 2022-11-28 19:39:44 +01:00
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