4180 Commits

Author	SHA1	Message	Date
Christian Parpart	591ba184e9	Adds some more version pragma test cases.	2021-10-12 15:15:54 +02:00
Kamil Śliwak	a30348715b	Use boost::current_exception_diagnostic_information() to print extra info about exceptions caught by (...)	2021-10-07 17:41:25 +02:00
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