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,871 Commits 348 Branches 121 Tags
5e68617a2e52cb3ec86d78fa9c24f6697fe51dd8
Commit Graph
23871 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
r0qs 5e68617a2e Use smart pointers 2023-09-22 14:49:18 +02:00
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