cerc-io/solidity
16
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,870 Commits 348 Branches 121 Tags 100 MiB
48edc744f1
Commit Graph

23870 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak
48edc744f1
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:18 +02:00
Kamil Śliwak
88f7073857
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:17 +02:00
Kamil Śliwak
b7ec9d3fdd
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:17 +02:00
Kamil Śliwak
e4bac1340d
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:17 +02:00
Kamil Śliwak
f804e8bc00
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:17 +02:00
Kamil Śliwak
1e2069bdfc
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:17 +02:00
Kamil Śliwak
37af76405a
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:17 +02:00
Kamil Śliwak
a9a09bea6d
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:17 +02:00
Kamil Śliwak
56cabdc69a
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:17 +02:00
Kamil Śliwak
ffb53ad8a6
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:16 +02:00
Kamil Śliwak
9aad3688dc
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:16 +02:00
Kamil Śliwak
bb55b7cfe5
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:16 +02:00
Kamil Śliwak
83abb3b8ab
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:16 +02:00
Kamil Śliwak
d33f8f951d
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:16 +02:00
Kamil Śliwak
0bf0d1943a
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:16 +02:00
Kamil Śliwak
db5b657bd2
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:16 +02:00
Kamil Śliwak
bf938d2712
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:15 +02:00
Kamil Śliwak
d5dbab0b91
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:15 +02:00
Kamil Śliwak
edd4e1c952
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:15 +02:00
Kamil Śliwak
5170f33f53
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:15 +02:00
Kamil Śliwak
7888ff424e
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:15 +02:00
Kamil Śliwak
66b95967e6
fixup! Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:15 +02:00
r0qs
83583f3448
Implementation of Lengauer-Tarjan algorithm to find dominators 2023-09-22 14:49:15 +02:00
Daniel
cc7a14a61d
Merge pull request #14518 from ethereum/analysis-framework-refactor 
`AnalysisFramework` refactor
 2023-09-19 18:52:57 +02:00
Kamil Śliwak
3fb2f1db88 AnalysisFramework: Move common setup to the framework 2023-09-19 15:56:49 +02:00
Kamil Śliwak
d2bfb2f737 AnalysisFramework: Reimplement parseAnalyseAndReturnError() with runFramework() 2023-09-19 15:56:49 +02:00
Kamil Śliwak
b766268ff3 AnalysisFramework: Get rid of parseAndAnalyse() and success() 
- There are too many badly named functions doing different things. E.g. SyntaxTest has both this and parseAndAnalyze().
 2023-09-19 15:56:49 +02:00
Kamil Śliwak
309a8de530 Refactor AnalysisFramework to share more features between test cases that depend on it 2023-09-19 15:56:49 +02:00
Daniel
dc44f8ad91
Merge pull request #14550 from ethereum/events-at-file-level 
File-level events
 2023-09-18 14:36:14 +02:00
Daniel
586a7c54eb
Merge pull request #14503 from Saw-mon-and-Natalie/fix-test-typo 
fixed `MSTORE` typo in `libevmasm` tests
 2023-09-18 14:30:55 +02:00
Kamil Śliwak
b0a986ffff Allow event definitions at file level 2023-09-15 14:47:40 +02:00
Nikola Matić
020b59680e
Merge pull request #14552 from ethereum/bump-cmake-and-boost-to-work-with-vs-2022 
Work around differences in `lexically_normal()` on Boost 1.78+ and bump cmake and boost versions
 2023-09-14 20:38:53 +02:00
Kamil Śliwak
5a5e0b5bb3
Merge pull request #14551 from zobront/develop 
docs: add clarification about post-execution modifier behavior
 2023-09-14 20:28:20 +02:00
Zach Obront
6e8b9dff51 docs: add clarification about post execution modifier behavior 2023-09-14 17:58:18 +02:00
Kamil Śliwak
70cf104f19 fixup! Bump cmake to 3.27.4 and boost to 1.83 on Windows to work with Visual Studio 2022 2023-09-14 17:44:08 +02:00
Saw-mon & Natalie
85b1cb9013 fixed MSTORE typo 2023-09-14 16:15:28 +02:00
Kamil Śliwak
0a69758468 FileReader::isPathPrefix(): Work around lexically_normal() no longer preserving UNC slashes on Boost 1.78+ on Windows 2023-09-14 16:12:43 +02:00
Nikola Matic
5d88b74746 install_deps.ps1: Remove downloaded packages and sources after installation 2023-09-14 16:12:43 +02:00
Nikola Matic
73d582d4b3 Bump cmake to 3.27.4 and boost to 1.83 on Windows to work with Visual Studio 2022 2023-09-14 16:12:43 +02:00
Daniel
9bce5f91dc
Merge pull request #14538 from ethereum/experimentalAnalysisBasicInfrastructure 
New Analysis basic infrastructure
 2023-09-13 13:00:56 +02:00
Kamil Śliwak
64a0f62700
Merge pull request #14506 from ethereum/extracted-natspec-json-tests 
Replace Boost-based Natspec test case with one derived from `SyntaxTest`
 2023-09-11 19:28:31 +02:00
Kamil Śliwak
b63a94031f Generate expectations for moved Natspec syntax tests 2023-09-11 18:06:42 +02:00
Kamil Śliwak
dc68480f72 Move Natspec syntax tests to natspecJSON 2023-09-11 18:06:42 +02:00
Kamil Śliwak
d083925bed natspecJSON: Generate missing expectations (including errors) 2023-09-11 18:06:42 +02:00
Kamil Śliwak
481c7256cb natspecJSON: Include version and kind fields in expectations where missing 2023-09-11 18:06:42 +02:00
Kamil Śliwak
99bfdf930a SolidityNatspecJSON: Convert Boost-based test cases into natspectJSON/*.sol tests 2023-09-11 18:06:42 +02:00
Kamil Śliwak
ba019e5a01 SolidityNatspecJSON: Manual conversion of two test cases that would not be handled correctly by the script 
- dev_multiple_params_mixed_whitespace has whitespace that is not completely preserved
- dev_explicit_inherit_complex is a multi-file test
 2023-09-11 18:06:42 +02:00
Kamil Śliwak
1041f071f0 SolidityNatspecJSON: A few tweaks and small fixes before automatic conversion 
- Expectation order matching the order of contracts in the source
- Typos in test names
- Redundant prefixes in test names
- Wrong 'king' in some expectations (it's not checked by the test suite)
 2023-09-11 18:06:42 +02:00
Kamil Śliwak
91cc72bcd4 NatspecJSONTest based on SyntaxTest 2023-09-11 18:06:42 +02:00
Matheus Aguiar
14aed39261 Introduce experimental analysis basic infrastructure 2023-09-11 12:29:44 -03:00