Commit Graph

21040 Commits

Author SHA1 Message Date
chriseth
42739b73b1 Extend debug info. 2021-09-16 17:18:48 +02:00
Harikrishnan Mulackal
0d7f6598e8
Merge pull request #11980 from ethereum/useIterateReplacingInStatementRemover
Use iterateReplacing in StatementRemover.
2021-09-16 16:15:07 +02:00
chriseth
c892d1904b Simplify version.cpp 2021-09-16 16:03:27 +02:00
chriseth
280ff8cbd4 Use iterateReplacing in StatementRemover. 2021-09-16 15:34:48 +02:00
chriseth
9d29b1ed9c
Merge pull request #11945 from ethereum/smt_modules
[SMTChecker] Support constants via modules
2021-09-16 15:18:15 +02:00
chriseth
227029d27a
Merge pull request #11968 from ethereum/refactorSrcCommentParsing
Refactor source comment parsing.
2021-09-16 14:42:15 +02:00
Leo Alt
a1bea368cb [SMTChecker] Support constants via modules 2021-09-16 14:35:05 +02:00
chriseth
4284499180
Merge pull request #11888 from ethereum/spdx-license-handling-10145
Properly detect multiple licenses and validate them.
2021-09-16 14:18:17 +02:00
chriseth
91ef1ceb51
Merge pull request #11954 from ethereum/userdefinedvaluetype-multisource-test
Added a multisource test for UserDefinedValueTypes and imports
2021-09-16 13:59:22 +02:00
chriseth
ff0e433635
Merge pull request #11965 from ethereum/userdefined-changed-toString
User defined value types changed toString()
2021-09-16 13:58:55 +02:00
chriseth
d708612e27 Refactor source comment parsing. 2021-09-16 12:22:27 +02:00
Marenz
c81814915c Properly detect multiple licenses and validate them. 2021-09-16 11:18:26 +02:00
Bhargava Shastry
0dc1600fa5 Docker: Tag ossfuzz base clang image 2021-09-16 10:14:13 +02:00
Alex Beregszaszi
c1070fabc0
Merge pull request #11906 from ethereum/smt_fix_bmc
[SMTChecker] Fix BMCs constraints on internal functions
2021-09-15 21:01:29 +01:00
Kamil Śliwak
1e7460b98e
Merge pull request #11973 from ethereum/cmdline-tests-fix-test-filtering
Fix command-line test filtering via script arguments
2021-09-15 20:38:49 +02:00
Bhargava Shastry
febbd8deb3
Merge pull request #11938 from ethereum/update-ossfuzz-docker
Docker: Update ossfuzz docker image
2021-09-15 18:11:37 +02:00
hrkrshnn
15fb427a99 Added a multisource test for UserDefinedValueTypes and imports
Testing if `import {MyType} from "source";` works
2021-09-15 17:48:53 +02:00
hrkrshnn
48e16ceb88 Changing the UserDefinedValueType::toString to userdefined <name> 2021-09-15 17:25:23 +02:00
Kamil Śliwak
b077ef46e2 cmdlineTests.sh: More descriptive message about used binary path 2021-09-15 16:49:25 +02:00
Kamil Śliwak
67eed76aac cmdlineTests.sh: Fix running only tests matching patterns given on the command line 2021-09-15 16:49:25 +02:00
chriseth
34e516ea1b
Merge pull request #11963 from ethereum/slightABIDecodeImprovement
Improve abi decoding functions for arrays.
2021-09-15 15:42:13 +02:00
Leo Alt
b731957e65 Fix BMCs constraints on internal functions 2021-09-15 14:42:39 +02:00
Daniel Kirchner
d1c0b428fc Improve abi decoding functions for arrays. 2021-09-15 13:50:19 +02:00
Harikrishnan Mulackal
ea2386adb1
Merge pull request #11957 from ethereum/canonicalname-userdefinedvaluetype
Canonicalname for user defined value types
2021-09-15 13:38:33 +02:00
Bhargava Shastry
9a8fc605b2
Update scripts/docker/buildpack-deps/Dockerfile.ubuntu1604.clang.ossfuzz
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2021-09-15 12:57:55 +02:00
Bhargava Shastry
479cd33e6f
Update scripts/docker/buildpack-deps/Dockerfile.ubuntu1604.clang.ossfuzz
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2021-09-15 12:57:46 +02:00
hrkrshnn
42c8310a63 Updated tests. 2021-09-15 12:56:29 +02:00
hrkrshnn
de01822999 UserDefinedValueType: from simple name to canonical name. 2021-09-15 12:56:29 +02:00
chriseth
ccfc306942
Merge pull request #11937 from istareatscreens/patch-1
Reword External Function Calls paragraph in docs to improve clarity
2021-09-15 12:44:37 +02:00
istareatscreens
d1465dd0f7 Reword External Function Calls paragraph in docs
Reword External Function Calls opening paragraph to improve clarity
2021-09-14 17:51:18 -04:00
Daniel Kirchner
0fa24c786b
Merge pull request #11956 from ethereum/userDefinedTypesContractAccess
Allow accessing user defined value type members via contract name.
2021-09-14 17:14:04 +02:00
chriseth
535e1ecdb2
Merge pull request #11895 from ethereum/doNotRunEvmCodegenIfNotAsked
Do not run evm codegen if not asked.
2021-09-14 17:12:06 +02:00
Daniel Kirchner
be29ef70a7 Allow accessing user defined value type members via contract name. 2021-09-14 16:24:14 +02:00
chriseth
8735d3fb6c
Merge pull request #11930 from ethereum/calldataStructInlineAssembly
Fix inline assembly assignments to calldata structs and statically-sized calldata arrays.
2021-09-14 16:16:48 +02:00
chriseth
25fc0db417
Merge pull request #11926 from nikitastupin/develop
[docs] Add sections for state mutability and special functions
2021-09-14 16:12:27 +02:00
Bhargava Shastry
08a7eaca47 Upgrade python pip and sphinx 2021-09-14 16:11:28 +02:00
Bhargava Shastry
3e86598bfd Docker: Update ossfuzz docker image to pull in clang-14. 2021-09-14 16:11:28 +02:00
chriseth
94daad7c3d
Merge pull request #11943 from ethereum/cmake-remove-stdlib-option
cmake: Remove stdlib compile option for Solidity build.
2021-09-14 15:57:02 +02:00
chriseth
8188ea7d66
Merge pull request #11931 from ethereum/different-metadata-via-ir
Different metadata for IR
2021-09-14 15:48:08 +02:00
chriseth
a66e6f08c0
Merge pull request #11951 from ethereum/scopeFillerNullptr
Use locationOf helper instead of accessing debugData directly.
2021-09-14 15:43:01 +02:00
chriseth
332c9940f3
Merge pull request #11941 from ethereum/remove-std-iterator
Do not use std::iterator that is deprecated in c++17
2021-09-14 15:20:45 +02:00
chriseth
f14ff233fc
Merge pull request #11922 from ethereum/newCodeTransformSourceLocations
Better source locations in Yul ControlFlowGraph and OptimizedEVMCodeTransform.
2021-09-14 14:32:39 +02:00
Leonardo
e45083f319
Merge pull request #11606 from ethereum/info_message
Add new info severity
2021-09-14 14:30:07 +02:00
chriseth
a35608aa8c
Merge pull request #11797 from ethereum/optimizedEVMCodeTransform
Optimized EVM Code Transform. (New Code Transform Step 3)
2021-09-14 14:29:54 +02:00
Bhargava Shastry
94086e734b Do not use std::iterator that is deprecated in c++17. 2021-09-14 14:00:37 +02:00
chriseth
cb218fe018
Merge pull request #11947 from ethereum/abicodec-test-userdefined
Added an abi function test for UserDefinedValueType
2021-09-14 13:49:45 +02:00
Kamil Śliwak
405a9e9971 Generate separate metadata for the old and the new codegen 2021-09-14 13:44:04 +02:00
Kamil Śliwak
83b3bd0227 Add a version of isValidMetadata() that accepts already parsed metadata 2021-09-14 13:44:04 +02:00
Daniel Kirchner
854b8b65b5 Better source locations in Yul ControlFlowGraph and OptimizedEVMCodeTransform. 2021-09-14 13:43:16 +02:00
Daniel Kirchner
75c3286311 Optimized EVM Code Transform. 2021-09-14 13:37:04 +02:00