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,130 Commits 348 Branches 121 Tags
4368da0201221b418a631fa3049f51722f4d1817
Commit Graph
4178 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
Marenz 98dd78362e Add `.address and .selector` in inside assembly for external function pointers 2021-10-04 18:05:57 +02:00
Leo Alt d81ebe97c3 Fix magic access 2021-10-01 12:57:06 +02:00
Leo Alt d25fb29178 Add isoltest option to ignore OS 2021-10-01 12:45:36 +02:00
hrkrshnn 14a678eb67 Fix gas stats 2021-09-29 13:50:51 +02:00
chriseth e347c983b5 Update gas costs. 2021-09-29 13:25:37 +02:00
chriseth 78a1c1ca6d Add one more test case. 2021-09-29 13:22:13 +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 090a46c2a5 New tests. 2021-09-29 11:44:17 +02:00
hrkrshnn 7b7e38768c Update tests. 2021-09-29 11:44:13 +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 ed7884e341 Merge pull request #12043 from ethereum/exportCanonicalName 
Export canonicalName
 2021-09-29 10:11:30 +02:00
chriseth bb4e3e191d Fix array copying check. 2021-09-29 10:00:14 +02:00
hrkrshnn 41f9aab219 Tests for assembly access of user defined value types. 2021-09-28 14:50:08 +02:00
chriseth b6e62d61ec Export canonicalName 2021-09-28 12:00:30 +02:00
hrkrshnn e24083a298 UserDefinedValueType: test for reading from dirty storage slots 2021-09-28 11:27:43 +02:00
Kamil Śliwak 77aa1707e1 Revert "Disable tests that fail on Windows due to a bug in Boost <= 1.76" 
This reverts commit a801c12a8b89a7353a4339510aedc94739e9c46f.
 2021-09-27 13:15:57 +02:00
Kamil Śliwak d4d778de77 Disable tests that fail on Windows due to a bug in Boost <= 1.76 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
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
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 d9ad047c21 Merge pull request #12001 from ethereum/cmdline-test-for-asm-json 
Command-line test for `--asm-json`
 2021-09-22 11:09:02 +02:00
Marenz 7a51acc5fe Correct wrong error message referencing .slot and .offset when .length was used 2021-09-21 18:28:38 +02:00
Kamil Śliwak b1351f4807 Fix typo in test name: leave_items_on_tack.sol -> leave_items_on_stack.sol 2021-09-21 16:28:16 +02:00
Leo Alt e74f853c6b [SMTChecker] Support user types 2021-09-21 13:23:17 +02:00
Alex Beregszaszi 69e9531181 Add JSON tests for unicode, all types, and conformance to ECMA-262/ECMA-404 
Also avoid using toStyledString
 2021-09-21 10:49:13 +01: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
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 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
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
hrkrshnn 42c8310a63 Updated tests. 2021-09-15 12:56:29 +02: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
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 8188ea7d66 Merge pull request #11931 from ethereum/different-metadata-via-ir 
Different metadata for IR
 2021-09-14 15:48:08 +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 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