3405 Commits

Author	SHA1	Message	Date
chriseth	d744a8fb48	Fail on invalid storage encoding for byte arrays.	2020-11-12 11:12:42 +01:00
chriseth	14ed67ac4b	Merge remote-tracking branch 'origin/develop' into breaking	2020-11-11 20:33:40 +01:00
chriseth	44eb63fad0	Merge pull request #10263 from ethereum/fixTryCreateYul ... Fix Yul codegen for try with create.	2020-11-11 20:10:54 +01:00
chriseth	571e1e5269	Merge pull request #10266 from ethereum/fixCalldataIndexAccess ... Fix calldata index access.	2020-11-11 19:03:19 +01:00
chriseth	8f570a3184	Fix calldata index access.	2020-11-11 18:42:26 +01:00
chriseth	01d7d50750	Fix initializing mapping return variables.	2020-11-11 18:08:42 +01:00
chriseth	59da25056b	Fix Yul codegen for try with create.	2020-11-11 17:52:50 +01:00
chriseth	0f6d3bc4ed	Merge pull request #10192 from ethereum/refactorMoveTests2 ... Moving tests to semanticTests part2	2020-11-11 13:45:02 +01:00
chriseth	141277dadf	Merge remote-tracking branch 'origin/develop' into breaking	2020-11-10 17:28:36 +01:00
Djordje Mijovic	6915d9d2a8	Moving some struct tests to semanticTests	2020-11-10 16:37:29 +01:00
Djordje Mijovic	490064590a	Moving more abi decoder tests to semanticTests.	2020-11-10 16:37:26 +01:00
Djordje Mijovic	a838adc481	Moving some more array tests to semanticTests	2020-11-10 16:37:26 +01:00
Leonardo	55ac5de472	Merge pull request #10240 from ethereum/immutablesPureValue ... Immutables with literal values are pure.	2020-11-10 15:23:33 +00:00
chriseth	6cc264ff0a	Merge pull request #10221 from ethereum/refactorArrayConversions ... [Sol->Yul] Refactor array conversions	2020-11-10 16:18:11 +01:00
hrkrshnn	2348b721bb	Tests after changing type of super to TypeType	2020-11-10 15:38:21 +01:00
Djordje Mijovic	362a36ed59	Enabling test for old codegen.	2020-11-10 15:13:48 +01:00
chriseth	da92fe548e	Merge remote-tracking branch 'origin/develop' into breaking	2020-11-10 13:48:32 +01:00
chriseth	b981a2a74a	Merge pull request #10229 from ethereum/linking-in-assembly-mode ... Linking in assembly mode	2020-11-10 13:21:57 +01:00
chriseth	3c1d990964	Merge pull request #10224 from ethereum/strict-literal-to-enum-conversion ... [BREAKING] Strict explicit conversion between literals and enums	2020-11-10 13:15:12 +01:00
Alex Beregszaszi	81c448fb4c	Rework TestFileParser	2020-11-10 13:09:07 +01:00
Alex Beregszaszi	c002fcc39f	Untangle headers and namespaces in TestFileParser	2020-11-10 13:09:07 +01:00
chriseth	765ed13814	Immutables with literal values are pure.	2020-11-10 13:08:42 +01:00
Leonardo	25b2a38d8b	Merge pull request #10202 from ethereum/smt_fix_modifiers_branches ... [SMTChecker] Fix CHC false positives when using branches inside modifiers	2020-11-09 16:42:30 +00:00
Kamil Śliwak	df8e182b46	Link binaries produced in assembly mode	2020-11-09 17:17:43 +01:00
chriseth	04195439b7	Merge remote-tracking branch 'origin/develop' into HEAD	2020-11-09 14:28:05 +01:00
hrkrshnn	03f58c6b52	Strict explicit conversion between literals and enums ... Explicit conversions between literals and enums are only allowed if the literal can represent a value in the enum.	2020-11-06 19:15:02 +01:00
Leonardo Alt	00858c0ccf	Isoltets SMTChecker option and BMC specific tests	2020-11-06 15:03:38 +00:00
chriseth	8814e32b31	Merge pull request #10193 from ethereum/revert-test ... Add tests for empty string literals in the ABI and fix TestFileParser	2020-11-05 15:31:11 +01:00
Alex Beregszaszi	1536e49b3d	Add more syntax tests for uncovered cases	2020-11-05 10:30:09 +00:00
Leonardo Alt	1dbd8f8d67	Fix CHC false positives when using branches inside modifiers	2020-11-04 21:47:07 +00:00
Alex Beregszaszi	f2a51bcf38	Fix TestFileParser to support empty strings ... Previously empty strings would be replaced with the token name, e.g. "string" in this case.	2020-11-04 17:49:23 +00:00
Alex Beregszaszi	39f6286e9f	Add tests for ABI coding empty strings and string literals ... Include the case of revert("")	2020-11-04 17:48:59 +00:00
Christian Parpart	1a9a3b115c	Moving the surplus_input inline assembly test to yulSyntaxTests.	2020-11-04 12:03:33 +01:00
Christian Parpart	f55844e0f2	InlineAssembly: Extracting remaining tests.	2020-11-04 12:03:33 +01:00
Christian Parpart	3597c8343d	InlineAssembly: Extracting tests for name clashes.	2020-11-04 12:03:33 +01:00
Christian Parpart	55f9eab51f	InlineAssembly: Extracting tests for function definition and calls.	2020-11-04 12:03:33 +01:00
Christian Parpart	f2117b87f7	InlineAssembly: Extracting tests for for-statements.	2020-11-04 12:03:33 +01:00
Christian Parpart	671b1c950e	InlineAssembly: Extracting function expression tests	2020-11-04 12:03:33 +01:00
Christian Parpart	616f03f577	InlineAssembly: Extracting tests for variable declaration	2020-11-04 12:03:33 +01:00
Christian Parpart	cc230ddda3	InlineAssembly: Extracting tests for switch statement	2020-11-04 12:03:33 +01:00
Christian Parpart	6f872dbebf	InlineAssembly: Extracting tests for if statement	2020-11-04 12:03:33 +01:00
Leonardo	a8045ba5eb	Merge pull request #10177 from ethereum/smt_chc_fix_warnings ... [SMTChecker] Report SMTEncoder warnings also via CHC	2020-11-03 16:41:16 +00:00
Harikrishnan Mulackal	24cce56215	Merge pull request #10189 from ethereum/underscore-tests ... Add syntax and semantic tests for underscore	2020-11-03 17:06:31 +01:00
Leonardo Alt	daf859c15b	[SMTChecker] report SMTEncoder warnings also via CHC	2020-11-03 16:06:17 +00:00
Alex Beregszaszi	b0864a4af9	Add syntax and semantic tests for underscore	2020-11-03 15:22:57 +00:00
chriseth	26cf6f189d	Test with storage struct containing external function.	2020-11-03 14:34:18 +01:00
chriseth	1f3239d097	Simplify split parameter.	2020-11-03 14:34:18 +01:00
hrkrshnn	29e23efc93	Tests/Docs after "stricter explicit conversion from Literals to Integers"	2020-11-03 14:31:44 +01:00
chriseth	06d0459a72	Merge pull request #10187 from ethereum/validateExternal ... [SolYul] Properly validate external functions from calldata.	2020-11-03 14:29:28 +01:00
chriseth	5ffee049fa	Merge remote-tracking branch 'origin/develop' into breaking	2020-11-03 14:05:14 +01:00