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
21,133 Commits 348 Branches 121 Tags
476c76b54eeb80bae0f425a562ab5fdc84534221
Commit Graph
4887 Commits
Author SHA1 Message Date
Marenz 4368da0201 Fix ICE when printing an error message related to mappings 2021-10-06 17:02:36 +02:00
Leo Alt 4c2b661eaa [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
chriseth ecfcca1a27 Merge pull request #12016 from ethereum/external-fp-10358 
Add ``.address`` and ``.selector`` in inside assembly for external function pointers
 2021-10-05 14:48:58 +02:00
Marenz 98dd78362e Add `.address and .selector` in inside assembly for external function pointers 2021-10-04 18:05:57 +02:00
Kamil Śliwak 7f7107405f Try out the new assertion macro variants with less arguments 2021-10-04 12:05:00 +02:00
Leo Alt d81ebe97c3 Fix magic access 2021-10-01 12:57:06 +02:00
chriseth df9721f869 Merge pull request #12047 from ethereum/fixFixedBytesCompilerUtils 
Properly handle fixed-byte-like types.
 2021-09-29 12:23:15 +02:00
chriseth 13354c0b9a Merge pull request #12050 from ethereum/signedImmutablesBug 
Fix signed immutables bug.
 2021-09-29 11:46:58 +02:00
chriseth 77932edb02 Consider non-external functions not left-aligned. 2021-09-29 11:44:17 +02:00
chriseth cb052611cf Fix signextend for user defined value types. 2021-09-29 11:44:17 +02:00
chriseth da5c5928fe Properly handle fixed-byte-like types. 2021-09-29 11:41:47 +02:00
hrkrshnn 6109b5c3a1 UserDefinedValueType.storageBytes() is correctly set 
Previously it returned 32 bytes for all types, which was wasteful. This commit changes it to return
the storage bytes of the underlying type.
 2021-09-29 11:41:47 +02:00
chriseth 8f7ba99e30 Merge pull request #12045 from ethereum/arrayTestsForUDFT 
Fix array copying check.
 2021-09-29 10:39:34 +02:00
chriseth 90f4ca1048 Do not store immutables packed. 2021-09-29 10:12:05 +02:00
chriseth bb4e3e191d Fix array copying check. 2021-09-29 10:00:14 +02:00
chriseth b6e62d61ec Export canonicalName 2021-09-28 12:00:30 +02:00
Kamil Śliwak f909555022 Treat ambiguous imports as errors 2021-09-27 13:14:23 +02:00
Kamil Śliwak 9975b5e26b Detect source unit name collisions between paths specified on the command line 2021-09-27 13:14:23 +02:00
Kamil Śliwak c8a7a1da7c Add --include-path option 2021-09-27 13:14:23 +02:00
Kamil Śliwak 479ba7c523 Handle allowing empty paths correctly 2021-09-27 13:14:10 +02:00
Kamil Śliwak 3ac3612767 Whitelist base path 2021-09-27 13:14:10 +02:00
Kamil Śliwak 52dd39212d Normalize allowed paths before comparing them with imports 2021-09-27 13:14:10 +02:00
Kamil Śliwak a436abfb25 normalizeCLIPathForVFS(): Add an option for resolving symlinks 2021-09-27 13:14:10 +02:00
Kamil Śliwak f0dceffe1d Refactor parsing of remappings to remove duplication and improve readability 2021-09-27 13:14:10 +02:00
Kamil Śliwak d06dc7613e Print diagnostic info for more exception types in the default import callback 2021-09-27 13:14:10 +02:00
Alex Beregszaszi 3c8846e669 Merge pull request #11976 from ethereum/json-cleanup 
Some cleanup and testing for JSON
 2021-09-24 19:03:45 +01:00
chriseth 1531863835 Split Common.h into Numeric.h. 2021-09-23 15:27:29 +02:00
chriseth c8e6ef9657 Merge pull request #12004 from ethereum/disambiguateBytesRequired 
Disambiguate bytesRequired
 2021-09-23 15:25:44 +02:00
chriseth 5a3a5c746f Merge pull request #11864 from ethereum/protectViaIR 
Add protection against mixing "viaIR" and "non-viaIR".
 2021-09-22 16:16:11 +02:00
Harikrishnan Mulackal 55d609d354 Merge pull request #11990 from ethereum/smt_user_types 
[SMTChecker] Support user types
 2021-09-22 15:40:49 +02:00
chriseth 9f8406ad37 Add protection against mixing "viaIR" and "non-viaIR". 2021-09-22 15:34:39 +02:00
Kamil Śliwak fc7e8c56dc Fill out originLocation with nativeLocation when importing Yul AST 2021-09-22 13:17:18 +02:00
Kamil Śliwak ce4420f857 Separate DebugData fields for Solidity and Yul source locations 2021-09-22 13:11:39 +02:00
chriseth 50ce1f5ddd Disambiguate bytesRequired 2021-09-22 11:22:07 +02:00
chriseth 7637286074 Remove unused function. 2021-09-22 11:11:51 +02:00
chriseth 2741175507 Use function debug data. 2021-09-22 11:11:51 +02:00
Marenz 7a51acc5fe Correct wrong error message referencing .slot and .offset when .length was used 2021-09-21 18:28:38 +02:00
Leo Alt e74f853c6b [SMTChecker] Support user types 2021-09-21 13:23:17 +02:00
Alex Beregszaszi 55c64e3ca1 Always explicitly initialise Json objects 2021-09-21 10:49:13 +01:00
Kamil Śliwak fc8c4b046c StandardCompiler: Do not discard non-fatal errors that happened before a fatal error 2021-09-16 20:29:03 +02:00
chriseth 3f8023ace9 Merge pull request #11981 from ethereum/simplifyVersion 
Simplify version.cpp
 2021-09-16 18:28:19 +02:00
chriseth 8b3748e5b7 Emit ast id. 2021-09-16 17:19:17 +02:00
chriseth a72f4f3993 Print AST ID. 2021-09-16 17:19:17 +02:00
chriseth c892d1904b Simplify version.cpp 2021-09-16 16:03:27 +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 ff0e433635 Merge pull request #11965 from ethereum/userdefined-changed-toString 
User defined value types changed toString()
 2021-09-16 13:58:55 +02:00
Marenz c81814915c Properly detect multiple licenses and validate them. 2021-09-16 11:18:26 +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
hrkrshnn 48e16ceb88 Changing the UserDefinedValueType::toString to userdefined <name> 2021-09-15 17:25:23 +02:00