4622 Commits

Author	SHA1	Message	Date
Alex Beregszaszi	75c72cd54d	Properly support inliner in settings.optimizer.details	2021-05-20 20:22:34 +01:00
Kamil Śliwak	d85cc6c06a	Fix dangling reference produced by temporary passed to TestFileParser going out of scope ... - This fixes the `stack-use-after-scope` error reported by asan.	2021-05-19 23:27:41 +02:00
Kamil Śliwak	752483b92f	Minor style tweaks in test TestFileParser (names and wrapping)	2021-05-19 23:27:41 +02:00
Harikrishnan Mulackal	21af5408d9	Merge pull request #11397 from ethereum/v1-test-cleanup ... Cleanup ABICoder V1 tests	2021-05-17 16:20:22 +02:00
Martin Blicha	9c98ab59f0	SMTChecker: fixed struct constructor where FixedBytes member is initialized with a string literal	2021-05-17 13:52:37 +02:00
Alex Beregszaszi	3e8e5f3bf9	Fix v1/v2 tests to behave like they did pre-0.8.0	2021-05-17 12:37:10 +01:00
Alex Beregszaszi	299873182b	Cleanup ABICoder V1 tests ... Include the pragma explicitly, rename the file to have a _v1 suffix, and also add V2 counterparts where missing.	2021-05-17 12:37:10 +01:00
Harikrishnan Mulackal	e76a8cbc31	Merge pull request #11395 from ethereum/prbmath ... Fix prbmath.exp tests	2021-05-17 11:28:15 +02:00
Alex Beregszaszi	e73ee468a8	Update tests	2021-05-14 19:56:26 +01:00
Alex Beregszaszi	bb7f500bb1	Add sanity check into SemanticTest for not allowing ABIEncoderV1Only and compileViaYul together	2021-05-14 19:56:26 +01:00
Alex Beregszaszi	7dc514847a	Fix prbmath.exp tests	2021-05-14 15:29:12 +01:00
Leo Alt	880a2fffb6	tests	2021-05-11 21:20:42 +02:00
Daniel Kirchner	6104ac1cdf	Remove more imports of ranges namespace.	2021-05-07 15:42:17 +02:00
Djordje Mijovic	53e3081e81	Update gas costs in tests.	2021-05-05 11:33:09 +02:00
Djordje Mijovic	f0c5cdca9f	[Sol->Yul] Adding util function to copy literal to storage. ... Co-authored-by: Daniel Kirchner <daniel@ekpyron.org> Co-authored-by: chriseth <chris@ethereum.org>	2021-05-05 11:33:03 +02:00
chriseth	6d41ed024a	Update existing tests.	2021-05-05 10:28:23 +02:00
chriseth	e7708b6006	Properly treat utf8-non-encodable yul literals.	2021-05-05 10:28:23 +02:00
Djordje Mijovic	8f6d94dbd2	Update gas expectations in semantic tests.	2021-05-05 08:53:40 +02:00
chriseth	aded56b5b9	Update tests	2021-05-03 18:28:43 +02:00
Leo Alt	1642c10f6e	Fix ICE in free functions	2021-05-03 10:57:11 +02:00
chriseth	996f3d31d5	Merge pull request #11321 from ethereum/test-prbmath ... Add semantictest using prbmath	2021-05-03 10:36:30 +02:00
Alexander Arlt	68f0f36a2d	[soltest] Improve Builtin Initialization.	2021-05-02 22:13:40 -05:00
chriseth	fcc98d12b8	Gas updates.	2021-04-29 16:45:05 +02:00
chriseth	f30ef06d62	Update tests.	2021-04-29 15:08:54 +02:00
Alexander Arlt	19ad9fac99	[isoltest] Add support to query balance.	2021-04-28 16:19:05 +02:00
chriseth	e1ae4e37a0	Allow user-defined functions called like builtins.	2021-04-28 16:16:32 +02:00
Alexander Arlt	ed27c77def	[isoltest] Ignore gas checks on isoltest builtins.	2021-04-27 16:28:37 -05:00
Alexander Arlt	1f2711b0aa	[isoltest] Replace storage command with 'storage_empty' builtin.	2021-04-27 16:28:37 -05:00
Alex Beregszaszi	0b3f3dff60	Add ramanujan's pi approximation as a semantic test	2021-04-27 20:47:42 +01:00
Alex Beregszaszi	484a4398a7	Add semantic tests using prb-math	2021-04-27 20:23:13 +01:00
Alex Beregszaszi	ada046ba9a	Import prb-math for testing ... From 62021c1abc	2021-04-27 20:08:33 +01:00
Alex Beregszaszi	5852972ec1	Merge pull request #11309 from ethereum/test-stringutils ... Add some semantic tests using stringutils	2021-04-27 18:12:37 +01:00
Alex Beregszaszi	5331bc679a	Fix some issues regarding checked arithmethics in stringutils	2021-04-27 17:05:40 +01:00
Alex Beregszaszi	6b3357be50	Add semantic tests using stringutils	2021-04-27 17:02:54 +01:00
chriseth	3548049c61	Merge pull request #10356 from ethereum/isoltest-add-enforce-ewasm ... [test] Add support for --enforce-compile-to-ewasm.	2021-04-27 17:51:33 +02:00
Kamil Śliwak	28b9d27fae	SoltestErrors: Qualify runtime_error with std:: to make it possible to use in in headers	2021-04-27 13:43:07 +02:00
Alex Beregszaszi	1a556aaa7f	Move compilationTests/stringutils to semanticTests/externalContracts	2021-04-27 11:21:14 +01:00
chriseth	f72592549b	Merge pull request #11110 from ethereum/issue_10475_isoltest_external_sources ... [isoltest] Add support for external sources.	2021-04-27 10:54:39 +02:00
Alexander Arlt	da38149f57	[test] Add support for --enforce-compile-to-ewasm.	2021-04-26 20:31:03 -05:00
chriseth	e2d8005737	Add verbatim builtin.	2021-04-26 19:56:44 +02:00
Alexander Arlt	481971cbcf	[isoltest] Add support for external sources.	2021-04-26 08:27:30 -05:00
Alexander Arlt	8239eaa1b8	Fix test builtins & add simple smoke test.	2021-04-26 07:51:43 -05:00
chriseth	659da4bdc7	Merge pull request #11047 from ethereum/bytesToBytesNNConversion ... Bytes to bytesNN conversion	2021-04-26 11:51:41 +02:00
Alex Beregszaszi	60189b4f61	Remove obsolete Error constructor	2021-04-23 23:55:22 +01:00
Alex Beregszaszi	f952f851b7	Enable more semantic tests for Ewasm	2021-04-23 17:00:01 +01:00
Djordje Mijovic	eb457064b1	Adding semantic tests for bytes to bytesNN conversion.	2021-04-23 13:30:19 +02:00
Djordje Mijovic	ece42c07df	Adding syntax test for bytes to bytesNN conversion.	2021-04-23 13:19:19 +02:00
hrkrshnn	3d29ae73e7	Isoltest: updated the gas tests.	2021-04-22 18:19:47 +02:00
hrkrshnn	221292c278	Tests and changelog	2021-04-22 18:19:47 +02:00
chriseth	ec4558a245	Update gas costs.	2021-04-22 16:54:02 +02:00
chriseth	00fb2d390b	Do not replace zeros by return variable.	2021-04-22 16:54:02 +02:00
Đorđe Mijović	8840fb6ffd	Merge pull request #11270 from ethereum/addingBoundsByteArraySolYul	2021-04-22 15:41:32 +02:00
Djordje Mijovic	3a4233f3ad	[Sol->Yul] Adding bounds check when increasing size of byte array.	2021-04-22 11:42:46 +02:00
chriseth	35b651103d	Adjust cost of literal zero.	2021-04-22 11:42:42 +02:00
Alex Beregszaszi	8fb7a18800	Small refactorings for isoltest	2021-04-22 01:04:34 +01:00
Djordje Mijovic	9fcf16900d	Update gas costs in smeantic tests.	2021-04-21 11:01:22 +02:00
Alex Beregszaszi	4177270562	Trivial isoltest updates: comments always on the same line	2021-04-20 17:38:29 +02:00
Alex Beregszaszi	1be07c2b36	Trivial isoltest updates: missing // ---- at the end	2021-04-20 17:38:29 +02:00
Alex Beregszaszi	84c05d35f3	Trivial isoltest updates: normalized whitespace	2021-04-20 17:38:29 +02:00
Alex Beregszaszi	45c6bbe02b	Trivial isoltest updates: directives sorted alphabetically	2021-04-20 17:21:56 +02:00
chriseth	cf7f814a4e	Merge pull request #10921 from ethereum/issue-10881 ... Natspec: Don't copy from base function if return parameters differ	2021-04-20 15:33:48 +02:00
Leonardo Alt	a39a6e26da	update tests	2021-04-19 19:23:18 +02:00
Leonardo Alt	80892c8a21	Fix nondeterminism	2021-04-19 19:23:18 +02:00
Leonardo Alt	36def3ef6e	tests for free constants	2021-04-19 19:23:18 +02:00
Leonardo Alt	fd8b4afb76	new free function tests	2021-04-19 19:23:18 +02:00
Leonardo Alt	095d337140	Basic support to free constants	2021-04-19 19:23:18 +02:00
Leonardo Alt	6ae82fcec2	Add tests for the library bug	2021-04-19 19:23:18 +02:00
Leonardo Alt	4e34359063	Basic support to free functions	2021-04-19 19:23:18 +02:00
Mathias Baumann	1737bd7ded	Natspec: Don't copy from base function if return parameters differ	2021-04-19 15:20:30 +02:00
chriseth	8eb0d5edf6	Export used errors in the AST.	2021-04-19 14:15:50 +02:00
Kamil Śliwak	7b467a49d7	Disable assertion that gives non-deterministic results in in slice tests for SMTChecker	2021-04-15 17:14:21 +02:00
chriseth	11b227e33e	Merge pull request #11205 from ethereum/fix-docstring-bug ... Fix docstring bug	2021-04-14 13:18:33 +02:00
Djordje Mijovic	ea5cda08c8	Adding tests for bytes.concat with fixed bytes arguments.	2021-04-14 11:21:24 +02:00
chriseth	0289994da5	Merge pull request #11221 from ethereum/fixCalldataDecodingOverflowBug ... Fix calldata decoding overflow bug	2021-04-12 18:11:29 +02:00
chriseth	4912bfe639	Merge pull request #11229 from ethereum/antlrPath ... Fix import paths in grammar and grammar testing details.	2021-04-12 16:30:41 +02:00
Daniel Kirchner	6fdfd8b62b	Fix import path grammar and grammar testing details.	2021-04-12 14:54:36 +02:00
chriseth	2ed17e4b43	Update tests.	2021-04-12 13:43:56 +02:00
chriseth	72d0a56a72	Fix array decoding offset overflow.	2021-04-12 13:43:51 +02:00
chriseth	32b8332867	Refactor array decoding.	2021-04-12 13:43:51 +02:00
hrkrshnn	382c488edd	Fix missing error when events are used without an emit statement. ... Whenever there was a proper invocation of events, the compiler assumed that all the subsequent invocations were proper.	2021-04-12 10:23:05 +02:00
Leonardo Alt	8a7e94c06f	Keep pragma in smoke test for bytecode compare script	2021-04-08 21:03:39 +02:00
Leonardo Alt	0a4afa71bd	Update old tests	2021-04-08 21:03:39 +02:00
Leonardo Alt	d617ef461e	Add new tests	2021-04-08 21:03:38 +02:00
chriseth	0cc0cabd30	Merge pull request #11224 from ethereum/lastAllocationUnbounded ... Use unbounded allocation before returning.	2021-04-08 19:32:40 +02:00
Daniel Kirchner	96c8123b6b	Use unbounded allocation before returning.	2021-04-08 18:37:24 +02:00
hrkrshnn	e96a161115	Tests and changelog	2021-04-08 17:06:24 +02:00
chriseth	2856f56525	Merge pull request #10942 from ethereum/returnSlotAllocation ... Delayed return slot allocation.	2021-04-08 16:42:07 +02:00
chriseth	f04adde664	Allow hex string literals in Yul.	2021-04-08 15:03:33 +02:00
chriseth	6d6112a81b	Merge pull request #11210 from anurag-git/issue_10738-2 ... Use range-v3 loops(transform)	2021-04-08 14:56:15 +02:00
anurag4u80	b2ca7916aa	Replaced boost::adaptors::transformed	2021-04-08 17:38:14 +05:30
Harikrishnan Mulackal	c060bd5633	Merge pull request #11211 from ethereum/someTests ... Add some bytecode reference tests.	2021-04-08 09:29:51 +02:00
chriseth	47728a083f	Add some bytecode reference tests.	2021-04-06 16:25:02 +02:00
Christian Parpart	3490577140	Extract import-file remapping logic out of CompilerStack into ImportRemapper.	2021-04-06 14:28:53 +02:00
Daniel Kirchner	6fc4b04d1d	Update test expectations.	2021-04-06 13:41:26 +02:00
Martin Blicha	330fb8f4d0	[SMTChecker] Assignment refactoring	2021-03-31 13:36:50 +02:00
Leonardo	78d94737a4	Merge pull request #11188 from blishko/issue-11181 ... [SMTChecker] Fix crash when analysing try-catch clauses with function call.	2021-03-31 11:24:36 +02:00
Mathias Baumann	e590a99f39	Detect circular references for library and free functions	2021-03-30 23:06:30 +02:00
chriseth	79d7466e19	NatSpec for errors.	2021-03-30 21:16:58 +02:00
chriseth	517cd17a6f	Add errors to the ABI.	2021-03-30 21:16:58 +02:00
chriseth	e877e2bba7	Use all referenced errors.	2021-03-30 21:15:46 +02:00
chriseth	1057fd5355	Take revert statement into account in control flow graph.	2021-03-30 21:15:46 +02:00
chriseth	d5669696d5	Code generation for errors.	2021-03-30 21:15:46 +02:00
chriseth	fb67051467	Revert statement.	2021-03-30 21:15:46 +02:00
chriseth	b04b189959	Syntax for custom errors.	2021-03-30 21:15:18 +02:00
Martin Blicha	2d231f1859	[SMTChecker] Changed SMTEncoder::mergeVariables to work regardless which branch has been visited first	2021-03-30 20:35:44 +02:00
Leonardo Alt	ba97d6ac4e	Add local vars to cex	2021-03-30 17:55:21 +02:00
Leonardo Alt	dbd067d6db	Report out of bounds index access	2021-03-30 10:28:48 +02:00
chriseth	bb49bc5892	Merge pull request #10418 from ethereum/function-specializer ... Function specializer	2021-03-29 15:48:01 +02:00
hrkrshnn	0100f48e05	FunctionSpecializer: skip specializing recursive functions ... This avoids potential pathological behaviour, like in Ackermann function.	2021-03-29 11:02:31 +02:00
hrkrshnn	2c75d1dfe4	Isoltest gas update for FunctionSpecializer	2021-03-29 11:02:31 +02:00
hrkrshnn	09998ceb0c	Tests for FunctionSpecializer	2021-03-29 11:02:18 +02:00
Martin Blicha	85358dfe30	[SMTChecker] Do not create targets for contracts that cannot be deployed	2021-03-25 15:38:37 +01:00
Leonardo	7e1be52281	Merge pull request #11165 from blishko/smt-abi-no-args ... [SMTChecker] Fix ICE on ABI functions with no arguments	2021-03-25 15:21:57 +01:00
Alex Beregszaszi	e071884bbf	Show proper error for misusing the custom natspec tag	2021-03-25 12:45:37 +00:00
Martin Blicha	5293f05ee3	[SMTChecker] Fix ICE on ABI functions with no arguments	2021-03-25 13:28:29 +01:00
Alex Beregszaszi	7a7ff7af2f	Add one more test for invalid custom tag	2021-03-25 12:24:18 +00:00
chriseth	6eac77aea2	Merge pull request #11107 from ethereum/extendedLowlevelInliner ... Inline ordinary jumps to small blocks and jumps to terminating control flow.	2021-03-24 18:06:15 +01:00
Martin Blicha	98446782e2	[SMTChecker] Fix compound assignment to push	2021-03-24 14:54:13 +01:00
Leonardo	13d3b35141	Merge pull request #11116 from blishko/issue-10985 ... [SMTChecker] Handle InaccessibleDynamicType	2021-03-24 14:39:24 +01:00
Daniel Kirchner	8b3095920a	Inline ordinary jumps to small blocks and jumps to terminating control flow.	2021-03-24 13:50:24 +01:00
Martin Blicha	852e877ae7	[SMTChecker] Handle InaccessibleDynamicType	2021-03-24 11:53:06 +01:00
Djordje Mijovic	d0a854b312	Adding semantic tests for bytes.concat.	2021-03-24 11:49:21 +01:00
Djordje Mijovic	e7da9f3d52	Adding syntax tests for bytes.concat.	2021-03-24 11:49:21 +01:00
chriseth	d15ba987d1	Fix AST output if modifier invocation is base constructor call.	2021-03-24 11:24:26 +01:00
chriseth	e3ea5c631e	Merge pull request #11136 from ethereum/refactor-typepointer ... Replace `TypePointer` with `Type const*`	2021-03-23 18:32:38 +01:00
Mathias Baumann	e197ebbdd1	Replace TypePointer with Type const*	2021-03-23 11:47:19 +01:00
hrkrshnn	30e08ee3a5	Changelog and test for the KeccakCaching bug	2021-03-23 11:09:00 +01:00
Mathias Baumann	bccedf791b	Add creationCode/runtimeCode contract creation detection to call graph	2021-03-22 15:44:23 +01:00
chriseth	7aa51bcb40	Test updates.	2021-03-18 08:42:49 +01:00
Leonardo	25b31111df	Merge pull request #11040 from ethereum/smt_fix_virtual_one_more_time ... [SMTChecker] Fix bug in virtual functions called by constructor	2021-03-17 16:54:36 +01:00
Harikrishnan Mulackal	35da404ca9	Merge pull request #11091 from ethereum/modifierInvocationAST ... Add "kind" field to ModifierInvocation AST json element.	2021-03-16 19:44:40 +01:00
chriseth	0519473059	Add "kind" field to ModifierInvocation AST json element.	2021-03-16 18:50:37 +01:00
Martin Blicha	432944d0b4	[SMTChecker] Small refactoring of defining SMT expressions for structs/tuples	2021-03-16 15:34:43 +01:00
Martin Blicha	2f52affcc2	[SMTChecker] Correctly resolve current scope contract in VariableUsage.	2021-03-15 13:55:14 +01:00
Martin Blicha	6aa6c5f5f9	[SMTChecker] Reset reference variables on assignment to a variable of reference type	2021-03-12 19:51:31 +01:00
Leonardo Alt	998346e599	Fix bug in virtual functions called by constructor.	2021-03-12 16:42:28 +01:00
Martin Blicha	0cb75293f9	[SMTChecker] fix handling of assignments of array/mapping state variable accessed using contract name	2021-03-12 14:01:07 +01:00
Daniel Kirchner	6d19a25705	Fix compilation error with GCC 8.	2021-03-12 12:28:18 +01:00
Leonardo Alt	6fd76e830d	Fix CHC cex order	2021-03-11 10:36:40 +01:00
chriseth	89946b15d2	Merge pull request #10863 from ethereum/isoltestGasCosts ... [isoltest] Add gas costs to function call expectations	2021-03-10 15:11:20 +01:00
Djordje Mijovic	b73e9f3eef	Update tests.	2021-03-10 14:22:30 +01:00
Djordje Mijovic	63017bd510	Not showing gas used if it is equal to m_gas(in case of out of gas failures).	2021-03-10 14:22:30 +01:00
Djordje Mijovic	06171a3100	Changing enforceGasCost functionality.	2021-03-10 14:22:26 +01:00
Djordje Mijovic	2b14efbbcc	Adding debug info on gas costs when updating gas values. ... Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2021-03-09 21:48:11 +01:00
Djordje Mijovic	14a3731182	Don't run gas for ir if it is not explicitely added to expectations.	2021-03-09 21:27:44 +01:00
Djordje Mijovic	2c575db0ea	Show both expected and obtained gas expectations when failure happens.	2021-03-09 21:27:38 +01:00
Djordje Mijovic	12ef273d06	Setting metadata has and version type for semantic tests to be empty.	2021-03-09 21:26:45 +01:00
Djordje Mijovic	cf59d7fc13	Making order of gas expectations deterministic.	2021-03-09 21:26:45 +01:00
Djordje Mijovic	aed3832b27	Implementing enforcing gas expectations in isoltest. ... Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>	2021-03-09 21:26:45 +01:00
Djordje Mijovic	515f15f7a3	Small style fix for SemanticTest constructor.	2021-03-09 21:26:45 +01:00
Djordje Mijovic	5ea97a5d43	Running gas tests only on tests having expectations.	2021-03-09 21:26:45 +01:00
Djordje Mijovic	6d51dfb617	[isoltest] Adding gas used as semantic tests expectation.	2021-03-09 21:26:36 +01:00
Martin Blicha	4285c2803b	[SMTChecker] Fix ICE on array.pop nested inside 1-tuple	2021-03-09 20:00:51 +01:00
Leonardo	5677df86af	Merge pull request #11069 from blishko/smt-array-slice-fix ... [SMTChecker] Use same sort name for array slice as for the underlying array	2021-03-09 16:39:12 +01:00
Daniel Kirchner	a75424eec4	Drop support for evm15 and eip-615.	2021-03-09 15:56:03 +01:00
Martin Blicha	5af01f6896	[SMTChecker] Use same sort name for array slice as for the underlying array.	2021-03-09 11:06:22 +01:00
Martin Blicha	385a664f3c	[SMTChecker] Fix public getter for array of structs.	2021-03-08 17:34:20 +01:00
Leonardo	d42d0faf41	Merge pull request #11052 from blishko/issue-10986 ... [SMTChecker] Correct handling of FixedBytes constants initialized with string literal	2021-03-04 16:51:22 +01:00
Martin Blicha	0340510c53	[SMTChecker] correct handling of FixedBytes constants initialized with string literal	2021-03-04 15:14:47 +01:00
Alexander Arlt	94895822d2	[isoltest] Add support for builtin functions.	2021-03-04 08:49:59 -05:00
Martin Blicha	9e81c81560	[SMTChecker] updated tests	2021-03-03 17:11:42 +01:00
chriseth	d2023f5f95	Check for invalid tags.	2021-03-02 16:53:31 +01:00
chriseth	5690020d88	Allow custom natspec tags.	2021-03-02 16:13:28 +01:00
chriseth	2a25d04896	Merge pull request #11023 from ethereum/natspecparsinglocations ... Provide locations for docstring parsing errors.	2021-03-02 14:03:42 +01:00
chriseth	f4050e81c6	Provide locations for docstring parsing errors.	2021-03-01 17:34:25 +01:00
chriseth	5e94fce7df	Provide selector for some internal functions.	2021-03-01 16:19:59 +01:00
Kamil Śliwak	186d14d97f	FunctionCallGraph: Tests for constants, immutables and accessing function selectors	2021-02-25 16:00:53 +01:00
chriseth	eacf7c1cf9	Merge pull request #11009 from ethereum/properlyParseAddressMember ... Properly parse address member.	2021-02-24 17:12:00 +01:00
chriseth	3d97e9a77b	Properly parse address member.	2021-02-24 16:44:16 +01:00
chriseth	5e9637bc39	Mapping access with multi-slot keys.	2021-02-24 13:44:23 +01:00
chriseth	2d48052ae5	Merge pull request #11003 from ethereum/ir-bug-incorrect-return-variable-count ... Fix IR bug on deleting storage variables of function type.	2021-02-24 13:24:31 +01:00
hrkrshnn	2c2c7a4473	Fix IR bug on deleting storage variables of function type. ... Calling the zeroing function assumed that the stack slots needed for the type was always 1. This is false for function types.	2021-02-24 12:43:33 +01:00
Kamil Śliwak	e87cd0afdf	Check that there is an interface type before querying validity of location.	2021-02-24 11:22:40 +01:00
chriseth	1220d8df7b	Merge pull request #10998 from ethereum/clean-up-function-external-type-tests ... Minor cleanup in syntax tests for function types	2021-02-23 17:59:26 +01:00
chriseth	e33c058a60	Merge pull request #10896 from ethereum/issue-10870 ... Fix issue with pop on storage array.	2021-02-23 17:49:17 +01:00
hrkrshnn	66d6d20f65	Converted hash collision error into a fatal type error. ... The check is performed during ContractLevelChecker. However, the TypeChecker throws in certain cases when it encounters functions, whose hashes collide.	2021-02-23 17:09:40 +01:00
Kamil Śliwak	cf2847afc4	Remove duplicate syntax tests for functions taking internal struct types	2021-02-23 16:46:49 +01:00
Kamil Śliwak	fc7a091bfb	Move several tests related to function types from nameAndTypeResolution/ to more specific directories	2021-02-23 16:46:49 +01:00
chriseth	596e8dd9b6	Merge pull request #10959 from ethereum/assert-too-strict ... Loosened up a really strict assert from ABIFunctions.cpp	2021-02-23 14:59:14 +01:00
chriseth	02b27bdc64	Merge pull request #10976 from ethereum/fix-boost-filesystem-bug ... Tests: Do not remove filename from boost filesystem path for corner cases	2021-02-23 14:43:55 +01:00
Alexander Arlt	ae6996efc1	Fix issue with pop on storage array.	2021-02-23 14:26:55 +01:00
chriseth	3dcba53595	Merge pull request #10993 from ethereum/fixModuleMemberNames ... Fix module member names for importing with renaming.	2021-02-23 14:20:28 +01:00
Harikrishnan Mulackal	148e1150f2	Merge pull request #10992 from ethereum/detectAssignToFunction ... Detect assignment to function in inline assembly.	2021-02-23 13:26:45 +01:00
chriseth	d586b7b57a	Merge pull request #10991 from ethereum/bareCallNoReturndatacopy ... [Sol->Yul] Fix bare call wihout returndatacopy.	2021-02-23 13:24:50 +01:00
chriseth	c91cffa4ec	Fix module member names for importing with renaming.	2021-02-23 13:15:32 +01:00
chriseth	9c7b1e9c3f	Detect assignment to function in inline assembly.	2021-02-23 11:47:12 +01:00
Kamil Śliwak	54eb34d6fd	Move call graphs from CompilerStack to ContractDefinitionAnnotation	2021-02-23 10:47:02 +01:00
Kamil Śliwak	6c28120f19	Move CallGraph structure to a separate module	2021-02-23 10:47:02 +01:00
Kamil Śliwak	051995a373	Test suite for FunctionCallGraph	2021-02-23 10:46:28 +01:00
chriseth	e9b3dd21d0	Fix bare call wihout returndatacopy.	2021-02-23 10:45:01 +01:00
chriseth	e75e3fc2e3	Merge pull request #10977 from ethereum/replace-throw-with-boost-macro ... Replace raw throw with BOOST_THROW_EXCEPTION.	2021-02-22 16:18:13 +01:00
Bhargava Shastry	1ddfc7463a	Tests: Do not remove filename from boost filesystem path for corner ... cases. Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2021-02-22 10:32:41 +01:00
Harikrishnan Mulackal	6fd5ea01d1	Merge pull request #10971 from ethereum/onlyWarnAboutVariables ... Only warn about variables being shadowed in inline assembly.	2021-02-19 16:17:02 +01:00
chriseth	78a097a012	Only warn about variables being shadowed in inline assembly.	2021-02-19 14:29:22 +01:00
Alexander Arlt	ae6710f4e7	test/libsolidity/util/ContractABIUtils.cpp: use std::bind.	2021-02-18 20:26:26 -05:00
Alexander Arlt	c44bb7e7ef	Replace raw throw with BOOST_THROW_EXCEPTION.	2021-02-18 20:23:59 -05:00
hrkrshnn	f336a68009	Added syntax tests for constructors with function parameter	2021-02-17 17:12:02 +01:00
Alex Beregszaszi	346344dc7b	Add missing test case for try/Catch	2021-02-16 12:33:55 +00:00
hrkrshnn	e24a23edcd	Semantic test where constructor has a function as parameter	2021-02-15 14:16:28 +01:00
Djordje Mijovic	6e62cbf156	Run metadata tests for every metadata format.	2021-02-12 10:38:03 +01:00
Djordje Mijovic	b598948211	Run gas tests on NoMetadata format only.	2021-02-12 10:38:03 +01:00
hrkrshnn	a76ff8af1d	Added tests for modifiers whose input is a function return value	2021-02-11 16:48:00 +01:00
chriseth	1716dcfb57	Merge pull request #10950 from ethereum/removeChecks ... [SolYul] Remove (hopefully) unnecessary checks.	2021-02-11 14:10:05 +01:00
chriseth	45dc705683	Remove unnecessary checks.	2021-02-11 13:08:03 +01:00
chriseth	f4790971ae	Add test.	2021-02-11 10:50:54 +01:00
Christian Parpart	9ca389d6cd	MemberList.Member's last argument (declaration) made mandatory to avoid accidental missing out during construction.	2021-02-11 10:46:14 +01:00
chriseth	cbb197f7fa	Merge pull request #10833 from ethereum/ast-precise-name-locations ... Extend the Solidity AST for precise locations of names	2021-02-11 10:44:58 +01:00
chriseth	70aa111dbf	Update AST Json expectations.	2021-02-11 10:11:24 +01:00
Harikrishnan Mulackal	215233d5c8	Merge pull request #10945 from ethereum/constructor-modifier-bugfix ... Fix IR bug about calling the wrong modifier during construction	2021-02-10 21:42:45 +01:00
hrkrshnn	2f30fdaa21	Fix IR bug about calling the wrong modifier during construction	2021-02-10 20:53:11 +01:00
Christian Parpart	32ba5f5ae7	libsolidity: Extend the AST for named AST nodes in order to get precise locations for names. ... The actual SourceLocation on an ASTNode is representing the whole ASTNode whereas in an LSP (for example) you are also interested in the SourceLocation of a name of a construct (e.g. variable decarlation, function definition, ...). This also properly encodes non-existend sources as `-1` in the JSON output (eliminating the use of `numeric_limits<size_t>::max()`).	2021-02-10 18:13:09 +01:00
Daniel Kirchner	cb74a45fd6	Add inlining for old optimizer.	2021-02-09 19:08:58 +01:00
chriseth	e777cad78a	Merge pull request #10924 from ethereum/exportDocs ... Export statement documentation.	2021-02-09 18:23:45 +01:00
chriseth	fcdb5e0b40	Export statement documentation.	2021-02-09 17:33:01 +01:00
hrkrshnn	8167029dc1	Updating tests after improving Yul error reporting	2021-02-09 16:55:33 +01:00
Djordje Mijovic	706f5d9874	[Sol2Yul] Fixing setLValue for calldata types.	2021-02-08 12:42:10 +01:00
chriseth	d4ce896582	Merge pull request #10886 from ethereum/issue-10874 ... OverrideSpecifier: Check for null before dereferencing	2021-02-04 14:12:07 +01:00
Mathias Baumann	3a8a74cbc7	OverrideSpecifier: Check for null before dereferencing	2021-02-04 13:17:28 +01:00
Daniel Kirchner	5faefdea65	Merge pull request #10893 from ethereum/string2BytesSol2Yul ... [Sol->Yul] Fixing string calldata to bytes calldata conversion.	2021-02-04 10:33:40 +01:00
Djordje Mijovic	530435439d	[Sol->Yul] Fixing string calldata to bytes calldata conversion.	2021-02-04 09:30:19 +01:00
Leonardo	7405dc5b7f	Merge pull request #10836 from ethereum/smt_fix_cex_inheritance ... Fix inheritance bug in CHC cex	2021-02-03 18:49:25 +01:00
Martin Blicha	4bcdac71df	[SMTChecker] updates to the tests	2021-02-03 15:53:58 +01:00
Leonardo Alt	665ce27c18	Fix inheritance bug in CHC cex	2021-02-02 18:06:32 +01:00
Martin Blicha	a49950cdf3	[SMTChecker] Added transaction constraints also for contract deployment	2021-02-01 16:46:34 +01:00
chriseth	c7d1e1911e	Merge pull request #10369 from ethereum/ewasm-polyfill-address-balance ... [ewasm] Polyfill: balance, address.	2021-02-01 16:19:23 +01:00
Leonardo Alt	545305a31f	[SMTChecker] Fix super and virtual	2021-01-28 18:51:29 +01:00
Martin Blicha	deb90d84a6	[SMTChecker] added missing type constraints for Address	2021-01-27 20:39:24 +01:00
Martin Blicha	484e67815a	[SMTChecker] Basic support for inline assembly using over-approximating analysis	2021-01-26 16:20:50 +01:00
chriseth	4697beeab2	Merge pull request #10769 from ethereum/allocationCleanup ... Cleanup allocation.	2021-01-26 11:58:11 +01:00
Leonardo	22ad64a0fd	Merge pull request #10845 from ethereum/smt_z3_4-8-10 ... Update smtCheckerTests for z3 4.8.10	2021-01-26 11:37:03 +01:00
hrkrshnn	133bc72970	Tests and changelog for <address>.code.length shortcut	2021-01-26 11:08:39 +01:00
Leonardo Alt	40221a90c4	Update smtCheckerTests for z3 4.8.10	2021-01-26 10:18:52 +01:00
hrkrshnn	ec57c791ef	Fix infinite loop when accessing circular constants from inline assembly.	2021-01-26 09:22:05 +01:00
Mathias Baumann	07a1d230cd	Fix missing error when accessing unintialized variables.	2021-01-25 14:44:15 +01:00
Kamil Śliwak	4ad0b4338a	Fix the 'intheritance' typo in the name of the of the subdirectories in semanticTests/	2021-01-25 11:17:06 +01:00
Leonardo Alt	a612daa783	Add msgvalue to cex	2021-01-21 19:05:44 +01:00
Leonardo	a75b87c80e	Merge pull request #10813 from ethereum/smt_targets_option ... Add CLI and JSON option to select SMTChecker targets	2021-01-20 18:37:08 +01:00
chriseth	bbd29b24ab	Update tests.	2021-01-20 18:25:27 +01:00
chriseth	3cc07694ed	Cleanup allocation.	2021-01-20 18:25:27 +01:00
Leonardo Alt	3b23cadbdc	Add CLI and JSON option to select SMTChecker targets	2021-01-20 17:35:37 +01:00
chriseth	60cb8726f1	Enable test.	2021-01-20 14:02:35 +01:00
chriseth	aad7297b58	Merge pull request #10818 from ethereum/explainDisabled ... Enable via yul or explain why disabled.	2021-01-20 14:01:09 +01:00
Alexander Arlt	f928107181	[ewasm] Polyfill: balance & address: Update Tests.	2021-01-19 13:04:45 -05:00
Alexander Arlt	87e3fbee6c	[ewasm] Polyfill: balance & address.	2021-01-19 13:03:40 -05:00
Leonardo	0b023b893e	Merge pull request #10817 from ethereum/splitShiftBytesTest ... Split shift bytes test.	2021-01-19 16:16:45 +01:00
chriseth	06d19a9203	Enable via yul or explain why disabled.	2021-01-19 16:12:53 +01:00
chriseth	1fcc76a562	Fix empty packed encoder.	2021-01-19 15:50:04 +01:00
chriseth	52511a2163	Split shift bytes test.	2021-01-19 14:55:18 +01:00
chriseth	9caf671607	Merge pull request #10808 from ethereum/uninitializedInternal ... Update expectations for uninitialized internal function.	2021-01-19 13:02:33 +01:00
chriseth	c3d3415207	Update expectations for uninitialized internal function.	2021-01-19 12:37:30 +01:00
Leonardo	9bde92ca20	Merge pull request #10807 from ethereum/fixIRReasonStrings ... Properly omit require revert strings in IR code generator if requested.	2021-01-19 10:31:15 +01:00
Leonardo	957e9995a0	Merge pull request #10801 from blishko/issue-10793 ... [SMTChecker] Gather local variables also from nested try/catch clauses	2021-01-18 22:37:16 +01:00
chriseth	185e129657	Merge pull request #10776 from ethereum/fixABIEncoderWithSignature ... Fix abi encode with signature shortcut.	2021-01-18 19:07:56 +01:00
chriseth	a3ee334b42	Omit require revert strings in IR code generator.	2021-01-18 18:47:55 +01:00
Martin Blicha	35d228d9b6	[SMTChecker] Gather local variables also from nested try/catch clauses	2021-01-18 18:30:18 +01:00
chriseth	87a68feea1	Merge pull request #10653 from ethereum/spdx-tests ... Add more tests for the SPDX-License-Identifier	2021-01-18 18:05:25 +01:00
Leonardo Alt	c7ca87c012	Fix static virtual resolution	2021-01-18 16:23:38 +01:00
Kamil Śliwak	f0cb181545	Even more license tests	2021-01-18 16:17:06 +01:00
Alex Beregszaszi	0a3084abc0	Add metadata tests for SPDX-License-Identifier	2021-01-18 16:17:06 +01:00
Kamil Śliwak	baf530c484	Test helper for license metadata tests	2021-01-18 16:17:06 +01:00
Kamil Śliwak	5677211471	SyntaxTest::filterObtainedErrors(): Remove hard-coded preamble to match changes in setupCompiler()	2021-01-18 16:17:06 +01:00
Alex Beregszaszi	6f1f0c5bbc	Do not insert SPDX identifier if already present in SyntaxTest	2021-01-18 16:15:17 +01:00
Alex Beregszaszi	5bbb017915	Add more tests for the SPDX-License-Identifier	2021-01-18 16:15:17 +01:00
chriseth	1ad1591617	Merge pull request #10805 from ethereum/structMappingTestCase ... Adding test for conversion of struct from storage to mapping.	2021-01-18 15:48:02 +01:00
chriseth	611d2b4de5	Enable some tests.	2021-01-18 14:30:50 +01:00
Djordje Mijovic	4c0cb2d76f	Adding test for conversion of struct from storage to mapping.	2021-01-18 14:27:36 +01:00
chriseth	4f3839e4ba	Fix abi encode with signature shortcut.	2021-01-18 13:44:52 +01:00
Djordje Mijovic	d738a5219c	Activating more end to end tests via ir.	2021-01-18 12:52:33 +01:00
Djordje Mijovic	a0c80c2bdb	[Sol->Yul] Enabling copying_bytes_multiassign test via ir.	2021-01-18 12:40:51 +01:00
Alex Beregszaszi	e117c9516e	Replace "pragma experimental ABIEncoderV2" in tests where appropriate ... And add a few tests for "pragma abicoder".	2021-01-15 19:57:09 +00:00
Alex Beregszaszi	2c92f7641b	Move all experimental pragma tests to syntaxTests/pragma	2021-01-15 19:12:32 +00:00
Leonardo	726c5ff68c	Merge pull request #10777 from blishko/smt-fix-checked ... [SMTChecker] Fix BMC crash related to `unchecked` blocks	2021-01-15 16:46:32 +01:00
Alex Beregszaszi	3e678acd7d	Merge pull request #10781 from ethereum/new-ir-tests ... Enable some semantic tests for the IR	2021-01-15 14:48:22 +00:00
Martin Blicha	18214d1ccc	[SMTChecker] Reset checked/unchecked flag to the default value when inlining function in BMC	2021-01-15 15:36:26 +01:00
Alex Beregszaszi	293bb01c56	Enable some semantic tests for the IR	2021-01-15 14:10:54 +00:00
Leonardo Alt	007d39871b	[SMTChecker] Synthesize untrusted functions called externally	2021-01-15 11:56:26 +01:00
Djordje Mijovic	b92d024898	[isoltest] Error out in case of different result when enforcing via yul. ... Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>	2021-01-14 22:37:12 +00:00
chriseth	db4b39e09e	Round up allocations to multiples of 32.	2021-01-14 21:52:17 +00:00
chriseth	7d6331e26f	Use round up function.	2021-01-14 21:01:43 +00:00
chriseth	aba8d807db	Merge pull request #10765 from ethereum/ir-revert-strings ... Include revert strings in IR	2021-01-14 20:00:11 +01:00
Alex Beregszaszi	4491a290e2	Display unimplemented errors in Yul codegen testing ... i.e. do not hide exceptions	2021-01-14 18:08:01 +00:00
Alex Beregszaszi	7c7fd22062	Include revert strings in IR	2021-01-14 18:45:12 +01:00
Alex Beregszaszi	d4627d53eb	Merge pull request #10235 from ethereum/onlyFailOnUnimplemented ... Fail on assertion failures in yul code generation.	2021-01-14 16:55:07 +00:00
Leonardo	110e0e1f25	Merge pull request #10763 from blishko/smt-abi-fixes ... [SMTChecker] Small fixes in handling ABI functions	2021-01-14 16:00:49 +01:00
chriseth	a4769d446f	Fail on assertion failures in yul code generation.	2021-01-14 14:51:16 +00:00
chriseth	7d036dcb81	Merge pull request #10762 from ethereum/packedStorageOverflowSol2Yul ... [Sol->Yul] Fixing uncheked increment/decrement.	2021-01-14 15:32:55 +01:00
chriseth	6769c519b2	Merge pull request #10764 from ethereum/fixLibraryFromModule ... Fix accessing libraries inside modules.	2021-01-14 15:30:52 +01:00
chriseth	7f03af08b6	Merge pull request #10766 from ethereum/snark ... Move snark.sol in tests to externalContracts	2021-01-14 15:06:23 +01:00
chriseth	e61c4b411e	Merge pull request #10754 from ethereum/extractTwoTests ... Extract some tests.	2021-01-14 15:05:38 +01:00
Alex Beregszaszi	4db0e3049e	Move snark.sol in tests to externalContracts	2021-01-14 13:55:36 +00:00
Martin Blicha	2ee0f347b9	[SMTChecker] additional regression tests	2021-01-14 14:54:14 +01:00
chriseth	a65415cdad	Fix accessing libraries inside modules.	2021-01-14 14:07:08 +01:00
Djordje Mijovic	dc3e76bc2c	[Sol->Yul] Fixing uncheked increment/decrement.	2021-01-14 13:46:04 +01:00
chriseth	170cd5d2ae	Merge pull request #10760 from ethereum/asmConstantsFileLevel ... Fix accessing constants at file level from inline assembly.	2021-01-14 11:33:47 +01:00
chriseth	8905af28c3	Merge pull request #10759 from ethereum/nestedBytesArraySol2Yul ... [Sol->Yul] Fixing nested bytes array push.	2021-01-14 11:33:06 +01:00
chriseth	45be47fc6b	Merge pull request #10756 from ethereum/fixModifierLookup ... Fix modifier lookup	2021-01-14 11:28:26 +01:00
chriseth	8ad9290086	Fix modifier lookup.	2021-01-14 11:01:14 +01:00
chriseth	30305ebbd9	Fix accessing constants at file level from inline assembly.	2021-01-14 10:51:47 +01:00
chriseth	afbf68f79c	Merge pull request #10753 from ethereum/ir-negate ... Fix YulUtilFunctions::negateNumberWrappingFunction	2021-01-14 10:48:15 +01:00
Djordje Mijovic	7c45509a77	[Sol->Yul] Fixing nested bytes array push.	2021-01-14 10:32:31 +01:00
chriseth	fb4b38a78e	Extract some tests.	2021-01-13 23:45:51 +01:00
Alex Beregszaszi	c15c6d26b7	Fix YulUtilFunctions::negateNumberWrappingFunction	2021-01-13 21:29:37 +00:00
Martin Blicha	5e13744423	[SMTChecker] Fixed pushing string literal to bytes array	2021-01-13 16:30:50 +01:00
chriseth	6eea2f5c08	Merge pull request #9959 from a3d4/fix-ice-struct-with-mapping-assignment ... Fix ICE caused by const structs with mappings	2021-01-13 15:19:02 +01:00
Leonardo	fe344ed6e5	Merge pull request #10748 from blishko/smt-refactoring ... [SMTChecker] Refactoring common functionality	2021-01-13 14:23:19 +01:00
a3d4	35a25b107f	Fix ICE caused by const structs with mappings	2021-01-12 18:39:54 +01:00
Martin Blicha	7c6340fe4f	[SMTChecker] Refactoring expression to tuple assignment	2021-01-12 17:15:14 +01:00
chriseth	d97b9ba865	Merge pull request #10686 from ethereum/libraryCallGuard ... Library call guard.	2021-01-12 16:52:24 +01:00
Leonardo	fa28e48415	Merge pull request #10727 from ethereum/smt_cex_internal_calls ... [SMTChecker] Report internal calls in CHC transaction trace	2021-01-12 15:44:12 +01:00
chriseth	99add1e4e5	Merge pull request #10710 from ethereum/implicit-conversion-bug ... Disallow certain implicit conversions between integer types.	2021-01-12 15:42:12 +01:00
Leonardo Alt	b3c3836388	Output internal calls	2021-01-12 14:57:04 +01:00
Leonardo Alt	f1ae24abc7	Remove extra line breaks	2021-01-12 14:00:07 +01:00
Leonardo	66a773aef9	Merge pull request #10721 from blishko/smt-try-catch ... [SMTChecker] Support try-catch statements	2021-01-12 12:04:38 +01:00
hrkrshnn	e107d51f46	Disallow certain implicit conversions between integer types. ... Disallow implicit conversion from ``uintN`` and ``intM`` when ``M > N``, and by extension, explicit conversion between the same types are also disallowed.	2021-01-12 08:23:47 +01:00
chriseth	8058cad772	Enable some tests.	2021-01-11 20:37:45 +01:00
Alexander Arlt	bbef792568	Disable some ewasm tests.	2021-01-11 20:37:45 +01:00
chriseth	e807c9bb63	Library call guard.	2021-01-11 20:37:44 +01:00
Djordje Mijovic	85b8325f0b	[Sol->Yul] Implementing dynamic array push for arrays of structs.	2021-01-11 17:49:42 +01:00
chriseth	3804ad85f6	Enable tests.	2021-01-11 14:51:33 +01:00
Martin Blicha	ff76c989ac	addressing review comments	2021-01-11 14:19:06 +01:00
Martin Blicha	3d7188ac7b	update to the tests	2021-01-11 13:36:03 +01:00
Martin Blicha	09de54b5eb	tests	2021-01-11 13:36:03 +01:00
Harikrishnan Mulackal	5241b7b761	Merge pull request #10684 from ethereum/fixIRWrappingExp ... Use wrapping arithmetic for exp in unchecked blocks.	2021-01-06 18:53:54 +01:00
Alex Beregszaszi	8edfa26f0a	Mark the empty version pragma as invalid	2021-01-04 19:28:36 +00:00
Leonardo Alt	b02722ebda	Add contract name to called function in cex	2021-01-04 10:03:16 +01:00
Djordje Mijovic	67c92b7f6e	Updating gas costs and cmdline tests.	2020-12-30 17:48:41 +01:00
Djordje Mijovic	ddb05769a5	[Sol->Yul] Implementing type name.	2020-12-30 17:19:03 +01:00
Leonardo Alt	78d55e6b4a	[SMTChecker] Support check/unchecked	2020-12-30 12:14:30 +01:00
Martin Blicha	be0a0f4d90	[SMTChecker] Added constraints for block properties	2020-12-29 22:17:44 +01:00
Leonardo Alt	9482e7de23	[SMTChecker] Fix calls to virtual/overriden functions	2020-12-29 11:25:20 +01:00
Martin Blicha	41d31fe4d4	updates to the tests	2020-12-28 20:05:52 +01:00
Martin Blicha	77dff222e9	disabling some tests because of nondeterminism in Spacer	2020-12-28 16:24:44 +01:00
Martin Blicha	745466b71f	updates to the tests	2020-12-28 14:32:53 +01:00
Djordje Mijovic	c41f996c7b	Adding more tests for array copying. ... Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>	2020-12-28 13:16:24 +01:00
chriseth	2ab83217e3	Use wrapping arithmetic for exp in unchecked blocks.	2020-12-22 16:49:55 +01:00
chriseth	e299d8ba64	Merge pull request #10677 from ethereum/dirtyMemoryBytesSol2Yul ... [Sol->Yul] Disable old codegen test viaYul and create new one that fits IR semantics	2020-12-22 16:22:38 +01:00
chriseth	04d83af1d2	Merge pull request #10492 from ethereum/arrayClearingDiffBaseSol2Yul ... [Sol->Yul] Fixing array clearing when copying from storage to storage.	2020-12-22 15:15:03 +01:00
Djordje Mijovic	a204596c3e	[Sol->Yul] Disable old codegen test viaYul and create new one that fits IR semantics. ... Co-authored-by: chriseth <chris@ethereum.org>	2020-12-22 15:11:07 +01:00
Martin Blicha	d90b9da4f0	[SMTChecker] Refactoring	2020-12-22 13:10:48 +01:00
chriseth	b965446182	Catch panic.	2020-12-22 11:08:44 +01:00
Đorđe Mijović	b78443ac75	Merge pull request #10577 from ethereum/deleteMappingSol2Yul ... [Sol->Yul] Skipping mapping types when deleting structs and arrays.	2020-12-21 20:08:51 +01:00
Leonardo	a48106ca1f	Merge pull request #10670 from blishko/smt-virtual-modifiers-fix ... [SMTChecker] Fix virtual modifier called statically	2020-12-21 18:05:02 +01:00
Djordje Mijovic	adb9d0c41a	[Sol->Yul] Fixing array clearing when copying from storage to storage.	2020-12-21 17:33:06 +01:00
Djordje Mijovic	8b6397e8fb	Adding more syntax and semantic tests.	2020-12-21 15:30:49 +01:00
Djordje Mijovic	7b2614576f	Activating some tests viaYul after implementing getters for bytes.	2020-12-21 14:46:13 +01:00
Djordje Mijovic	2d5a2c65a8	[Sol->Yul] Implementing getters for bytes and structs containing bytes member. ... Co-authored-by: chriseth <chris@ethereum.org>	2020-12-21 14:46:06 +01:00
Martin Blicha	87ef0e16f5	[SMTChecker] Fix virtual modifier called statically	2020-12-21 13:52:28 +01:00
Djordje Mijovic	9b8634f2a7	[Sol->Yul] Skipping mapping types when deleting structs and arrays.	2020-12-21 13:19:25 +01:00
chriseth	43baceb1ed	Test for recursion with modifiers.	2020-12-21 11:39:59 +01:00
Alex Beregszaszi	7e20a095a8	Merge pull request #10652 from ethereum/smt_constants_inplce ... [SMTChecker] Replace constants by their value in-place	2020-12-18 14:22:32 +00:00
chriseth	c4ade1753e	Merge pull request #10445 from ethereum/modifiers ... [Sol->Yul] Implement function modifiers.	2020-12-18 14:29:00 +01:00
Leonardo Alt	034d1ab90f	[SMTChecker] Replace constants by their value in-place	2020-12-18 14:22:28 +01:00
Alex Beregszaszi	b14a6a10cc	Report meaningful error if parsing a version pragma failed	2020-12-18 11:50:37 +00:00
Martin Blicha	7078e8f8f8	[SMTChecker] Fix analysis of overriding modifiers	2020-12-17 17:05:54 +01:00
chriseth	1fa371d426	Tests	2020-12-17 17:00:51 +01:00
chriseth	35908c602b	Modifiers for constructors.	2020-12-17 17:00:51 +01:00
chriseth	ccaa81fbe7	Implement function modifiers.	2020-12-17 17:00:51 +01:00
Leonardo Alt	50be39fc21	Add and update tests	2020-12-17 14:42:49 +01:00
Leonardo Alt	f5c96ea6da	Fix constant evaluation build	2020-12-16 17:59:00 +01:00
chriseth	3a23df6717	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-16 16:56:45 +01:00
chriseth	7338295fee	Merge pull request #10623 from ethereum/smt_const_expr ... [SMTChecker] Apply const eval to arithmetic binary expressions	2020-12-16 15:39:16 +01:00
Kamil Śliwak	34e21c929a	Fix a test for unicode direction override failing because of Windows line endings	2020-12-16 15:24:41 +01:00
Leonardo Alt	80e85b772b	[SMTChecker] Apply const eval to arithmetic binary expressions	2020-12-16 14:58:00 +01:00
chriseth	8f833f4e8f	Merge pull request #10618 from ethereum/develop ... Merge develop into breaking.	2020-12-16 12:34:41 +01:00
chriseth	5c40fb060c	Report illegal tokens in the Yul parser.	2020-12-16 12:20:07 +01:00
Leonardo Alt	59428b8f76	Fix SMTChecker tests on breaking	2020-12-15 19:49:57 +01:00
Christian Parpart	381c63ec99	Scanner: Generate error on inbalanced RLO/LRO/PDF override markers.	2020-12-15 18:40:51 +01:00
chriseth	53368eff9b	Merge pull request #10604 from ethereum/strict-address-payable ... [BREAKING] Strict address payable	2020-12-15 18:25:31 +01:00
chriseth	3c270ca7f7	Merge pull request #10608 from ethereum/develop ... Merge develop into breaking.	2020-12-15 15:24:53 +01:00
hrkrshnn	fdaede9b3e	Tests after disallowing some explicit payable conversions	2020-12-15 15:01:40 +01:00
chriseth	4e86390e40	Merge pull request #10590 from ethereum/deposit-test ... Include the eth2 deposit contract as an external test	2020-12-15 14:57:38 +01:00
chriseth	ffaf40950a	Merge pull request #10605 from ethereum/develop ... Merge develop into breaking.	2020-12-15 14:01:01 +01:00
chriseth	2a54079d41	Merge pull request #10575 from ethereum/calldataArraySlices ... Conversion of calldata array slices to memory	2020-12-15 12:21:33 +01:00
Martin Blicha	e2c27b8ea4	[SMTChecker] Fix internal error on constructor of a recursive struct	2020-12-15 09:53:52 +01:00
Djordje Mijovic	64f0120622	Change assertions to align to TypeChecker.	2020-12-15 09:21:50 +01:00
Djordje Mijovic	d479c98920	Adding tests for conversion of calldata slices to memory and storage and fixing syntax tests.	2020-12-15 09:21:47 +01:00
Martin Blicha	71f835b71b	[SMTChecker] Fixed internal error when increment/decrement is applied on a result of push().	2020-12-14 22:52:44 +01:00
Alex Beregszaszi	edbdff8619	Update tests	2020-12-14 19:32:31 +00:00
chriseth	271a17d908	Merge pull request #10496 from ethereum/address-payable ... [BREAKING] tx.origin, msg.sender and address(literal) are non-payable addresses	2020-12-14 20:16:52 +01:00
chriseth	9c3690c246	Some more tests for overflow.	2020-12-14 19:12:48 +01:00
hrkrshnn	7438c4dc16	Tests after making all explicit address conversions as non-payable	2020-12-14 18:46:01 +01:00
Martin Blicha	103fa3b7eb	[SMTChecker] Fix internal error on abstract modifier	2020-12-14 18:23:25 +01:00
Martin Blicha	27402781c4	[SMTChecker] Fixed crash on push to bytes on lhs of an assignment	2020-12-14 17:40:45 +01:00
hrkrshnn	88c99a7538	Tests/Docs: changing type of msg.sender and tx.origin into address ... And also making the type of address(literal) as non-payable address.	2020-12-14 16:55:48 +01:00
Martin Blicha	0be325dc0d	[SMTChecker] Fix handling of function calls where the function identifier is nested in a tuple.	2020-12-14 16:19:24 +01:00
chriseth	d257ab7141	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-14 16:05:12 +01:00
Alex Beregszaszi	34cab95446	Do not insert SPDX line if it is already present (in semantic tests)	2020-12-14 14:25:58 +00:00
chriseth	0dd2f1edbe	Update counter-examples.	2020-12-14 14:21:35 +01:00
Alex Beregszaszi	3a7a0e4256	Add test cases for the deposit contract	2020-12-14 13:11:57 +00:00
Alex Beregszaszi	b97a12c299	Initial import of syntaxTests/externalContracts/deposit_contract.sol ... Imported from https://github.com/axic/eth2-deposit-contract/tree/r2	2020-12-14 12:19:07 +00:00
Alex Beregszaszi	aa042ccb87	Disallow leading zeroes in sized-types ... Also avoid using boost::lexical_cast for parseSize.	2020-12-14 11:40:14 +00:00
Alex Beregszaszi	4bffd040e2	Add tests for weirdly sized types ... e.g. bytes00001	2020-12-14 11:40:11 +00:00
chriseth	28374447d2	Merge pull request #10582 from ethereum/addr-literal ... Fix crash with oversized address literals	2020-12-14 12:14:28 +01:00
chriseth	561280a5cc	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-14 11:33:40 +01:00
Alex Beregszaszi	33ff2b16ff	Fix crash with oversized address literals	2020-12-11 23:45:23 +00:00
Leonardo	db9aa36d6c	Merge pull request #10567 from blishko/unary-operators-fix ... [SMTChecker] Fix CHC analysis of increment/decrement	2020-12-11 18:52:12 +01:00
Leonardo	da9cede0fe	Merge pull request #10348 from ethereum/simplify-compiler ... Simplify abstraction of Compiler/CompilerContext/CompilerStack	2020-12-11 17:42:36 +01:00
Martin Blicha	8927015e5a	[SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine	2020-12-11 17:41:50 +01:00
Leonardo	7972d8eb98	Merge pull request #10578 from ethereum/ast-test ... Properly print sources in ASTJSONTest	2020-12-11 17:41:31 +01:00
Alex Beregszaszi	4a7f2ddc6d	Properly print sources in ASTJSONTest	2020-12-11 15:28:54 +00:00
Alex Beregszaszi	98d8174d31	Simplify Compiler/CompilerContext by removing extra layers of indirection	2020-12-11 14:43:51 +00:00
chriseth	baaf7c0db8	Implement address(...).code in the IR	2020-12-11 03:00:30 +00:00
Alex Beregszaszi	7b347b9ec2	Introduce address(...).code	2020-12-11 03:00:30 +00:00
Alex Beregszaszi	fa37e69c25	Improved error messages when converting to/from builtin functions	2020-12-10 22:38:15 +00:00
Alex Beregszaszi	ff7e45f417	Add test cases for assigning builtins/bound functions to function types	2020-12-10 22:18:52 +00:00
Đorđe Mijović	9e4f3bad06	Merge pull request #10569 from ethereum/byteArrayStorageStorage ... Fix copying byte arrays from storage to storage.	2020-12-10 22:52:50 +01:00
Alex Beregszaszi	bd641a5206	Enable more C++ compiler warnings	2020-12-10 21:03:58 +00:00
chriseth	7764ee8d86	Fix copying byte arrays from storage to storage.	2020-12-10 21:47:37 +01:00
Leonardo Alt	64f81fe82b	Fix SMT tests	2020-12-10 18:54:52 +01:00
chriseth	ef3bcbda97	Merge pull request #9549 from ethereum/yul-reserved ... [BREAKING] Disallow using reserved identifiers in Yul	2020-12-10 18:49:44 +01:00
Alex Beregszaszi	7cd05bf603	Introduce block.chainid	2020-12-10 17:07:54 +00:00
Alex Beregszaszi	c032ad3379	Update tests	2020-12-10 17:18:15 +01:00
chriseth	d0551b67d7	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-10 17:07:56 +01:00
chriseth	e15136c210	Merge pull request #10558 from ethereum/magictype-tests ... Adds more tests for state access (block/tx/msg)	2020-12-10 14:05:37 +01:00
chriseth	4861c9b8d1	Merge pull request #10554 from ethereum/emptyBytesPushSol2Yul ... [Sol->Yul] Implementing empty byte array push.	2020-12-10 12:19:07 +01:00
chriseth	482bda6887	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-10 12:15:52 +01:00
Mathias Baumann	37cc795034	Fix segfault for empty @return tags in modifiers	2020-12-10 11:54:40 +01:00
Alex Beregszaszi	f9d6abf69b	Add more tests for state access (block, msg, tx, etc.) ... Move some of them out of SolidityEndToEndTests. Additionally this ensures the deterministic values of the testing infrastructure.	2020-12-09 20:46:01 +00:00
Leonardo Alt	3c142e0e94	Move CHC counterexamples to primary location	2020-12-09 19:55:18 +01:00
Djordje Mijovic	ab74194ca3	[Sol->Yul] Implementing empty byte array push.	2020-12-09 19:31:35 +01:00
chriseth	3f748bbb94	Merge pull request #10336 from ethereum/enablecoderv2bydefault ... [BREAKING] Enable ABI coder v2 by default.	2020-12-09 18:05:07 +01:00
chriseth	1c99537b5a	Merge pull request #10550 from ethereum/chainIdView ... [BREAKING] Mark chainid as view.	2020-12-09 17:41:27 +01:00
chriseth	870fd24723	Merge pull request #9888 from ethereum/account-hash ... Support address().codehash	2020-12-09 17:40:56 +01:00
Daniel Kirchner	588535566f	Mark chainid as view.	2020-12-09 16:55:51 +01:00
Alex Beregszaszi	ad6739d0f6	Support address().codehash	2020-12-09 14:58:27 +00:00
chriseth	251f2a4d93	Fix bug in constant evaluator.	2020-12-09 15:50:53 +01:00
chriseth	dff7dcdc27	Update source location tests.	2020-12-09 15:25:15 +01:00
chriseth	3f5925e1c3	Update gas cost tests.	2020-12-09 15:25:15 +01:00
chriseth	72f1e4ea0b	Explicitly set coder to v1 for syntax tests.	2020-12-09 15:25:15 +01:00
chriseth	a5bd22795e	Force running abi coder v1 instead of v2.	2020-12-09 15:25:15 +01:00
chriseth	b18c76e34b	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-09 15:24:49 +01:00
Leonardo Alt	a961a76263	Do not run SMTChecker when file level functions/constants are present.	2020-12-09 12:18:55 +01:00
Martin Blicha	de34fe8aa3	[SMTChecker] Adding test witnessing that SMTChecker no longer crashes when producing CEX with arrays	2020-12-09 09:13:39 +01:00
chriseth	806453aca9	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-08 21:00:09 +01:00
chriseth	49d1f541a1	Merge pull request #10264 from ethereum/warn-conversion ... Enable -Wconversion	2020-12-08 20:37:12 +01:00
chriseth	672abc2276	Merge pull request #10530 from ethereum/changeConstructorOrder ... [Sol->Yul] Evaluate base arguments in derived to base order.	2020-12-08 20:32:48 +01:00
chriseth	e97ca0a777	Evaluate base arguments in derived to base order.	2020-12-08 20:27:06 +01:00
Alex Beregszaszi	7e88ba8da0	Enable the -Wconversion warning	2020-12-08 16:45:24 +00:00
chriseth	b045195c1e	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-08 17:42:31 +01:00
Martin Blicha	12aa654bad	added test	2020-12-08 13:05:16 +01:00
Djordje Mijovic	acb93f3a97	Disallowing usage of msg.data in receive() function.	2020-12-08 11:49:20 +01:00
Alex Beregszaszi	66ee3ec533	Remove the \b, \f, \v escape sequences from the Scanner	2020-12-07 21:10:03 +00:00
Martin Blicha	ff0c794674	[SMTChecker] Fixing conversion from StringLiteral to FixedBytes	2020-12-07 19:30:51 +01:00
Leonardo Alt	b7ac207391	[SMTChecker] Support return in CHC	2020-12-07 18:17:33 +01:00
chriseth	a3c5d37d02	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-07 17:13:48 +01:00
Alex Beregszaszi	a8197788d0	Replace the inconsistent use of u160/Address/h160 with h160 only	2020-12-07 16:44:59 +01:00
chriseth	b86c91d1a3	Make super unavailable in libraries.	2020-12-07 13:59:50 +01:00
chriseth	329b8f2a60	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-07 13:04:14 +01:00
Djordje Mijovic	2839a1b0bf	[Sol->Yul] Documenting difference in initialization order in case of inheritance. ... Co-authored-by: Leonardo <leo@ethereum.org> Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>	2020-12-04 16:32:56 +01:00
chriseth	4be9b409de	Remove unary plus.	2020-12-04 15:14:25 +01:00
chriseth	89919e47d3	New test.	2020-12-04 15:14:25 +01:00
Christian Parpart	c5d172c058	Reimplement constant evaluator.	2020-12-04 15:14:25 +01:00
chriseth	49bde69afa	Move computation of constants out of types.cpp	2020-12-04 15:14:25 +01:00
Leonardo Alt	7490ffbe13	Use nonlinear clauses instead of inlining for base constructors	2020-12-04 13:25:56 +01:00
chriseth	75266ea8d4	Merge pull request #10488 from ethereum/fixDocsRevertData ... Fix documentation about revert data.	2020-12-03 19:21:44 +01:00
chriseth	61fd76cb27	Fix documentation about revert data.	2020-12-03 18:47:16 +01:00
chriseth	d56a7bb89e	Merge pull request #10489 from ethereum/develop ... Merge develop into breaking.	2020-12-03 18:11:12 +01:00
hrkrshnn	9e5d7b9910	Test updates after disallowing Integer -> Contract conversion	2020-12-03 17:53:00 +01:00
Alex Beregszaszi	a9be2e4bb8	update tests	2020-12-03 17:15:45 +01:00
Alex Beregszaszi	6c0a3bd043	Ensure that builtins must be executed	2020-12-03 17:15:44 +01:00
Alex Beregszaszi	43353bb6ca	update tests	2020-12-03 17:15:43 +01:00
Alex Beregszaszi	3da2b67b67	simplify parser	2020-12-03 17:14:49 +01:00
hrkrshnn	40244c5469	Tests/Docs after stricter explicit conversion.	2020-12-03 16:51:05 +01:00
Leonardo	088b694f0b	Merge pull request #10207 from ethereum/smt_tests_asserts ... [SMTChecker] Add uncovered test and replace uncovered tests by asserts	2020-12-03 08:59:48 +01:00
Martin Blicha	2ee633f404	[SMTChecker] Added support for public getters through this.	2020-12-02 16:06:48 +01:00
chriseth	d50676ecb0	Merge pull request #10451 from ethereum/noTypeSuper ... No type super	2020-12-02 15:56:41 +01:00
chriseth	52c49aebe8	Disallow meta type on super.	2020-12-02 15:43:18 +01:00
chriseth	9a5902f9d7	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-02 12:28:02 +01:00
chriseth	c4e97b7624	Update tests.	2020-12-01 16:15:19 +01:00
chriseth	c193ce6c07	Rename SourceReferenceFormatterHuman.	2020-12-01 16:09:46 +01:00
Alex Beregszaszi	1dedba8538	Only use SourceReferenceFormatterHuman	2020-12-01 16:09:46 +01:00
chriseth	edfae1ed05	Merge pull request #10458 from ethereum/fixMergeProblems ... Fix tests after merge.	2020-12-01 16:08:51 +01:00
Alex Beregszaszi	d22434ee57	Change ABIEncoderV1 to not pad empty strings	2020-12-01 14:32:18 +00:00
chriseth	da91e590db	Fix tests after merge.	2020-12-01 15:30:50 +01:00
chriseth	390640f557	Merge pull request #10384 from ethereum/called_directly_feature ... Use annotation.calledDirectly to simplify IR codegen	2020-12-01 15:07:02 +01:00
chriseth	6d1454fce6	Disallow conversion to super.	2020-12-01 14:15:50 +01:00
Mathias Baumann	ea5b63914a	Add test to cover (L.f)() case	2020-12-01 12:02:29 +01:00
chriseth	6de7eaba95	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-01 10:50:13 +01:00
chriseth	388fcddd23	Merge pull request #10415 from ethereum/arrayClearingStorageSol2Yul ... [Sol->Yul] Fixing copying from storage to storage.	2020-12-01 09:43:47 +01:00
Djordje Mijovic	bd86588459	Adding more tests for array copying from storage to storage.	2020-12-01 08:50:36 +01:00
Djordje Mijovic	28e01202af	[Sol->Yul] Fixing coping from storage to storage.	2020-12-01 08:50:33 +01:00
Leonardo Alt	fa561dbd0e	Add uncovered test and replace uncovered tests by asserts	2020-11-30 18:46:47 +01:00
Martin Blicha	cd06d68cbe	[SMTChecker] Keeping better track of path condition through branches with return statement in the BMC engine.	2020-11-30 11:47:49 +01:00
Alex Beregszaszi	28e65bac46	Add unimplemented assert for modifiers in the IR ... Also improved relevant tests for modifiers to be more strict and detect if the modifier body was skipped.	2020-11-27 18:34:17 +00:00
ssi91	e7165f3a9c	pass a literal with correct length ... mark a test as Yul-based	2020-11-27 04:02:48 +07:00
chriseth	3e5396598b	Merge pull request #10410 from ethereum/ir-fixedbytes-bitnot ... Support BitNot on FixedBytes in IR	2020-11-26 14:42:52 +01:00
Alex Beregszaszi	cbae5ca324	Support BitNot on FixedBytes in IR	2020-11-26 13:20:02 +00:00
Djordje Mijovic	565d0cd4eb	Support copying of nested calldata arrays to memory.	2020-11-26 12:13:29 +01:00
chriseth	18de8a56c9	Merge remote-tracking branch 'origin/develop' into breaking	2020-11-26 11:48:53 +01:00
Djordje Mijovic	bae32ac402	[Sol->Yul] Implementing member access to arrays in calldata structs.	2020-11-26 11:46:31 +01:00
Đorđe Mijović	5f732cb3ca	Merge pull request #10402 from ethereum/ir-fix-library-call ... Properly terminate definitions using define() in IRGenerateForStatements	2020-11-26 10:07:27 +01:00
Alex Beregszaszi	8d9c332593	Properly terminate definitions using define() in IRGenerateForStatements ... The lack of termination can result in unparseable output.	2020-11-25 16:41:39 +00:00
Đorđe Mijović	7eb5fc31f8	Merge pull request #10394 from ethereum/viayul-tests ... Switch compileViaYul to also where appropriate	2020-11-25 16:46:30 +01:00
Alex Beregszaszi	159f50e189	Turn on semantic tests for the old codegen where possible ... These were marked IR-only, but they do pass on the old codegen too. Also add old codegen version of semantictests/revertStrings/function_entry_checks.	2020-11-25 14:33:39 +00:00
Djordje Mijovic	5077deb285	Fixing pragmas to abicoder v2.	2020-11-25 15:13:57 +01:00
Alex Beregszaszi	c4fd7e4003	Remove/update tests	2020-11-25 11:40:33 +00:00
Alex Beregszaszi	3bce2a2294	Remove the legacy AST JSON output	2020-11-25 11:40:33 +00:00
hrkrshnn	a834476de6	Tests/Docs after disallowing super, this and _ as declaration names	2020-11-25 11:14:13 +01:00
chriseth	f02bc817af	Merge pull request #10388 from ethereum/forwardRevertOnCreate ... [Sol->Yul] Forward failure for creation.	2020-11-25 10:39:54 +01:00
chriseth	ec49f4c905	Merge pull request #10393 from ethereum/getters ... Add more tests for getters	2020-11-25 10:09:38 +01:00
chriseth	bdc571cfb6	Merge pull request #10385 from ethereum/activateStructCopyingOldCodegen ... Support copying dynamically encoded structs from calldata to memory.	2020-11-25 10:07:13 +01:00
hrkrshnn	52c8fcc67b	Removed "compileToEwasm: also" option from 4 tests cases	2020-11-25 08:13:46 +01:00
chriseth	f01cd3f38f	Fix merge conflicts	2020-11-25 08:09:38 +01:00
Alex Beregszaszi	53b635a21f	Add more tests for getters	2020-11-24 22:37:42 +00:00
Djordje Mijovic	200227ab75	Support copying dynamically encoded structs from calldata to memory.	2020-11-24 20:36:17 +01:00
chriseth	cedb56ed81	Forward failure for creation.	2020-11-24 19:54:18 +01:00
Djordje Mijovic	26c43cfc66	[SMTChecker] Fix SMT logic error when doing compound assignment with string literlas.	2020-11-24 19:14:15 +01:00
chriseth	253889cbf1	Merge remote-tracking branch 'origin/develop' into breaking	2020-11-24 16:22:03 +01:00
chriseth	2d235bf7b0	Merge pull request #10341 from ethereum/optimizeAllocation ... Do not allocate memory objects if they will be assigned directly.	2020-11-24 16:05:46 +01:00
chriseth	79669ecd48	Use new abicoder pragma.	2020-11-24 14:57:45 +01:00
chriseth	dbb24484e9	Update test/libsolidity/semanticTests/memoryManagement/assembly_access.sol ... Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2020-11-24 14:39:37 +01:00
chriseth	409e92580f	Do not allocate memory objects if they will be assigned directly.	2020-11-24 14:11:01 +01:00
Djordje Mijovic	eea6513b5d	[Sol->Yul] Implementing copying dynamically encoded structs from calldata to memory ... Co-authored-by: Leonardo <leo@ethereum.org>	2020-11-23 23:22:34 +01:00
chriseth	ee657f5361	Merge pull request #10214 from ethereum/fallbackReturn ... Allow fallback function to return data.	2020-11-23 19:49:59 +01:00
chriseth	a0a02f2307	Merge remote-tracking branch 'origin/develop' into breaking	2020-11-23 19:28:08 +01:00
chriseth	91c88a5f6b	Merge pull request #10346 from ethereum/boundFunctions ... [Sol->Yul] Bound functions.	2020-11-23 19:09:20 +01:00
chriseth	f87edb6efc	Bound functions.	2020-11-23 18:58:23 +01:00
Martin Blicha	66125b79d6	[SMTChecker] Do not report warning when encountered a Type identifier. The operations are supported now.	2020-11-23 15:41:57 +01:00
chriseth	f313668ef1	Merge pull request #10211 from ethereum/copyArrayCalldata2MemSol2Yul ... [Sol->Yul] Copying arrays from calldata to memory	2020-11-23 15:02:18 +01:00
chriseth	19e9e8b550	Some more tests.	2020-11-23 15:00:00 +01:00
Djordje Mijovic	41ec7cc23e	Adding new tests and activating old tests.	2020-11-23 14:52:55 +01:00
Djordje Mijovic	2b52677a82	Fixing some calldata to storage tests.	2020-11-23 14:52:51 +01:00
chriseth	67ec5f6b17	Override semantics for fallback function.	2020-11-23 14:22:37 +01:00
chriseth	fda352094f	Allow fallback function to return data.	2020-11-23 14:22:37 +01:00
Martin Blicha	80d743426f	[SMTChecker] Added support for struct constructor.	2020-11-23 13:45:17 +01:00
Alexander Arlt	da36055449	[ewasm] Polyfill: calldataload & calldatacopy: Enable Tests.	2020-11-21 08:57:56 -05:00
Alex Beregszaszi	8228b5b0b8	Fix test failures due to merge conflict (from develop to breaking)	2020-11-20 18:21:21 +00:00
Leonardo Alt	e4339b0526	[SMTChecker] Support named arguments in function calls	2020-11-20 11:52:26 -01:00
chriseth	f1d28b1d17	Fix string literal assignment to storage.	2020-11-19 15:27:21 +01:00
chriseth	7f0cc433be	Fix mapping conversion.	2020-11-18 20:20:25 +01:00
chriseth	a7db4fa4a5	Merge remote-tracking branch 'origin/develop' into breaking	2020-11-18 20:05:02 +01:00
Kamil Śliwak	5560239cf5	Replace links to readthedocs.io with ones using the new domain	2020-11-18 15:20:34 +01:00
chriseth	1508b08f3e	Implement inline assembly access to constants.	2020-11-18 12:35:23 +01:00
chriseth	9f0a631948	Merge pull request #10208 from ethereum/offsetLengthCalldata ... Support .offset and .length for dynamic calldata arrays	2020-11-18 12:09:11 +01:00
chriseth	2665eaa4fa	Support .offset and .length for calldata bytes and string arrays.	2020-11-18 01:45:56 +01:00
Kamil Śliwak	ced140615a	Test for calling external library functions with mapping parameters (does not work via Yul yet)	2020-11-17 20:36:58 +01:00
Kamil Śliwak	dfa0a0cdff	IR codegen: Handle address() with library type argument and external library calls	2020-11-17 20:36:39 +01:00
chriseth	691f7e6eae	Fix merge conflicts.	2020-11-17 19:59:23 +01:00
chriseth	e8a278eefa	Merge remote-tracking branch 'origin/develop' into breaking	2020-11-17 18:51:57 +01:00
chriseth	049c7f7a8e	Disallow using modifiers not in the current contract or in base contracts.	2020-11-17 18:33:45 +01:00
chriseth	e64fd99fb5	Fix qualified modifier lookup.	2020-11-17 18:33:45 +01:00
Kamil Śliwak	4174f38b02	StandardCompiler: Include file names in link references	2020-11-17 17:51:04 +01:00
chriseth	74ce8d6979	Fix assignment to non-lvalue storage values.	2020-11-17 15:56:34 +01:00
chriseth	df53b53aa5	Merge pull request #10315 from ethereum/fixToStorageCopy ... [SolYul] Fix bug in array to storage copy routine.	2020-11-17 15:56:21 +01:00
chriseth	fffd0306f5	Fix bug in array to storage copy routine.	2020-11-17 14:56:44 +01:00
chriseth	bb97363abf	Merge pull request #9989 from ethereum/issue-9947 ... Natspec: Fix internal error when different return name was inherited	2020-11-17 13:54:03 +01:00
Mathias Baumann	559b27aaad	Natspec: Fix internal error when different return name was inherited	2020-11-17 11:56:32 +01:00
chriseth	adaf1ff7df	Merge pull request #10272 from ethereum/storageStorageCopyForStructs ... Storage storage copy for structs	2020-11-17 11:47:48 +01:00
Leonardo	65c2089b43	Merge pull request #10310 from blishko/issue-10306 ... [SMTChecker] Adding a dummy frame to the call stack for the implicit constructor	2020-11-17 09:34:49 -01:00
chriseth	98cc7a1ea9	Copying structs from storage to storage.	2020-11-17 11:06:25 +01:00
chriseth	d9fb17a85e	Copy value array from storage to storage.	2020-11-17 10:51:34 +01:00
chriseth	7ccb4fea2b	Merge pull request #10270 from ethereum/copyByteArrayFromStorageToStorage ... [SolYul] Copy byte arrays from storage to storage.	2020-11-17 00:30:30 +01:00
Martin Blicha	07427c798c	[SMTChecker] Adding a dummy frame to the call stack for the implicit constructor	2020-11-16 22:46:17 +01:00
Leonardo	81b3a13333	Merge pull request #10289 from ethereum/fix-standard-json-crash-on-linker-references-without-colon ... Fix standard JSON crash on linker references without a colon	2020-11-16 19:27:35 -01:00
chriseth	62893aa1a1	Copy byte arrays from storage to storage.	2020-11-16 19:06:33 +01:00
Kamil Śliwak	1bf700e088	Return a type error when an enum has more than 256 members	2020-11-16 18:58:19 +01:00
chriseth	5431afcc8c	Merge pull request #10287 from ethereum/refactorMoveTests3 ... Moving mostly array tests to semanticTests	2020-11-16 18:50:40 +01:00
Kamil Śliwak	b97c6c55ad	StandardCompiler: Don't assume that link reference always contains a colon	2020-11-16 17:41:54 +01:00
Kamil Śliwak	543f804226	StandardCompiler: Add helpers to streamline comparing link references in tests	2020-11-16 17:41:54 +01:00
Djordje Mijovic	1428a939a6	Moving some more array tests to semanticTests.	2020-11-13 12:32:39 +01:00
Djordje Mijovic	29d480d0ed	Moving some byte array pop tests to semanticTests.	2020-11-13 12:32:39 +01:00
Djordje Mijovic	31981bad12	Organizing array tests into more directories.	2020-11-13 12:32:39 +01:00
Djordje Mijovic	11033c9536	Moving some bytes and array tests to semanticTests	2020-11-13 12:32:39 +01:00
Djordje Mijovic	bdf05bf8a0	Moving try catch test to semantic tests.	2020-11-13 12:32:35 +01:00
Leonardo	f1846b57a2	Merge pull request #10244 from blishko/this-external-calls ... [SMTChecker] Analyzing external calls to `this`	2020-11-13 11:28:34 +00:00
Martin Blicha	5ca7a24896	[SMTChecker] Added support for precise modeling of external calls to this. ... Modeling external calls to this, since we can trust these calls. fixed problem with transaction data not being restored after trusted external call update to the tests additional tests changelog entry added tests for external getters of this	2020-11-13 11:49:09 +01:00
Alex Beregszaszi	301d7ea39e	Add viaIR option to CompilerStack ... It also sets the experimental flag in the metadata to true.	2020-11-12 22:34:31 +00:00
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
chriseth	4e6ae00f89	Merge pull request #10096 from ethereum/pragmaabicoder ... Introduce abicoder pragma.	2020-11-03 13:53:59 +01:00
chriseth	9305ab987e	Merge pull request #10185 from ethereum/refatorMoveTests ... Move some tests to semanticTests	2020-11-03 13:50:30 +01:00
chriseth	e27a1b786b	Wording in error messages.	2020-11-03 13:31:51 +01:00
chriseth	834da7be90	Introduce abicoder pragma.	2020-11-03 13:31:50 +01:00
chriseth	c16b535804	Validate external functions from calldata.	2020-11-03 13:28:08 +01:00
Djordje Mijovic	3f60223c41	Moving enum test to semanticTests	2020-11-03 13:13:21 +01:00
Djordje Mijovic	73fcd9b5f0	Moving some array tests to semanticTests	2020-11-03 11:34:22 +01:00
Djordje Mijovic	18a464f4f4	Moving some tests to semantic tests.	2020-11-03 11:00:52 +01:00
chriseth	22b31054b6	Merge pull request #10174 from ethereum/storeInternalFunctions ... Implement internal functions in storage.	2020-11-03 09:56:12 +01:00
Đorđe Mijović	e0529989da	Merge pull request #10180 from ethereum/convertDuringStoring ... [SolYul] Convert properly during storing.	2020-11-03 08:42:14 +01:00
chriseth	129b095b09	Implement internal functions in storage.	2020-11-02 23:10:03 +01:00
chriseth	49bd3f2af4	Convert properly during storing.	2020-11-02 21:15:34 +01:00
chriseth	b287a6e995	Disallow specifying call options multiple times.	2020-11-02 20:07:23 +01:00
Leonardo Alt	e38d0db683	[SMTChecker] Fix internal error when array.push() is used as LHS of assignment	2020-11-02 13:32:53 +00:00
Leonardo Alt	94e2506132	Fix inherited state vars for BMC	2020-11-02 11:42:39 +00:00
Martin Blicha	c1a57ffbfe	[SMTChecker] More precise creation of verification targets.	2020-10-30 19:11:28 +01:00
chriseth	ef503f180c	New test.	2020-10-29 18:53:15 +01:00
chriseth	6ec5612f35	Enable more tests.	2020-10-29 18:53:15 +01:00
chriseth	1066af3b98	Copy byte array to storage.	2020-10-29 18:53:15 +01:00
chriseth	ace810b078	Merge pull request #10137 from ethereum/fixedBytesOps ... [Sol->Yul] Bit operations for fixed bytes types.	2020-10-29 18:04:07 +01:00
chriseth	ce50f05fc1	Merge remote-tracking branch 'origin/develop' into HEAD	2020-10-29 16:44:47 +01:00
chriseth	3b8c038647	Empty storage option for isoltest.	2020-10-29 13:55:07 +01:00
chriseth	d00ef95a72	Refactor isoltest function call kind.	2020-10-28 19:04:24 +01:00
chriseth	e93a84ccd4	Merge remote-tracking branch 'origin/develop' into HEAD	2020-10-28 18:19:31 +01:00
chriseth	0c12b2e53a	Bit operations for fixed bytes types.	2020-10-28 18:04:54 +01:00
chriseth	fb40f29594	Merge pull request #10133 from ethereum/asm-error-codes ... Split error codes for EVM opcodes	2020-10-28 13:00:23 +01:00
Alex Beregszaszi	24d8c2ed90	Split error codes for EVM opcodes	2020-10-28 11:45:46 +00:00
Đorđe Mijović	1f50b86aad	Merge pull request #10073 from ethereum/smt_format_array_cex ... Format array cex	2020-10-28 12:39:19 +01:00
Leonardo Alt	25f75ce547	Remove nondet tests	2020-10-28 11:03:42 +00:00
chriseth	cc4b44058d	Merge pull request #10126 from ethereum/fixIceStructCalldataToStorageSol2Yul ... [Sol->Yul] Fixing ice when copying struct that contains nested array to storage	2020-10-28 11:46:22 +01:00
Leonardo	07c454949f	Merge pull request #10127 from ethereum/fixIceSmtBitwise ... [SMTChecker] Fix ICE when using >>>	2020-10-28 09:28:18 +00:00
Djordje Mijovic	28f92064b9	[Sol->Yul] Fixing ice when copying struct that contains nested array to storage	2020-10-28 09:28:40 +01:00
Djordje Mijovic	9cc37c3fa4	[SMTChecker] Fix ICE when using >>>	2020-10-28 09:25:14 +01:00
Leonardo Alt	4755cfe157	Fix assignment to contract member access	2020-10-26 14:39:02 +00:00
hrkrshnn	0e30fbbae1	Fix failing SMTChecker test on breaking	2020-10-26 14:01:40 +01:00
Leonardo Alt	d3d77e482c	Fix ICE on conditions with tuples of rationals	2020-10-23 14:47:53 +01:00
chriseth	20f39ab6e9	Merge pull request #10097 from ethereum/develop ... Merge develop into breaking.	2020-10-23 10:30:24 +02:00
chriseth	93642f9bfc	Enum panic test for pre-byzantium.	2020-10-22 19:25:55 +02:00
chriseth	6d3528b4a7	Update gas costs.	2020-10-22 19:25:55 +02:00
chriseth	60af9d24ff	Update tests.	2020-10-22 19:25:55 +02:00
chriseth	b559de11ee	Ignore return error data for pre-byzantium.	2020-10-22 19:25:55 +02:00
chriseth	bfc8e26007	Remove low-level log functions.	2020-10-22 17:50:14 +02:00
Martin Blicha	ade3b9951c	[SMTChecker] Added support for selector when expression's value is known at compile time	2020-10-22 14:18:52 +02:00
Leonardo Alt	b087fa9750	[SMTChecker] Fix ICE implicit conversion string literal -> byte	2020-10-21 22:03:01 +01:00
Martin Blicha	f0d81601db	[SMTChecker] Adding division by zero checks in the CHC engine	2020-10-21 14:48:33 +02:00
Mathias Baumann	a4dc110b38	Fix dependency tracking for abstract contracts for Yul codegen	2020-10-20 16:58:24 +02:00
Mathias Baumann	e991465336	Fix dependency tracking for abstract contracts	2020-10-20 16:58:24 +02:00
Leonardo Alt	cf35785328	Add unknown message to all verification targets	2020-10-19 20:54:13 +01:00
chriseth	6979952995	Merge remote-tracking branch 'origin/develop' into HEAD	2020-10-19 18:02:50 +02:00
chriseth	c9ef727136	New tests.	2020-10-19 16:58:59 +02:00
chriseth	e61fa59593	Update existing tests.	2020-10-19 16:58:59 +02:00
chriseth	527c073bb9	Checked arithmetic by default.	2020-10-19 16:58:37 +02:00
Daniel Kirchner	79d9a1ca81	Tests for abi.encode.	2020-10-16 20:24:43 +02:00
Daniel Kirchner	e06d4303fb	Semantic tests.	2020-10-16 19:40:41 +02:00
Daniel Kirchner	909ce9164a	Allow arrays of contract types as type expressions e.g. for abi.decode.	2020-10-16 19:40:41 +02:00
Daniel Kirchner	db4dd51739	Merge pull request #10055 from ethereum/userDefinedLibraryTypes ... Disallow invalid use of library names as type names.	2020-10-16 18:55:42 +02:00
Daniel Kirchner	3f14c904b0	Disallow invalid use of library names as type names.	2020-10-16 18:25:08 +02:00
Leonardo	a097f9f124	Merge pull request #10025 from ethereum/smt_crypto_functions ... [SMTChecker] Support crypto functions in CHC	2020-10-16 16:40:29 +01:00
Martin Blicha	8c351278ac	[SMTChecker] added test to check correct handling of the sign of the modulo operation	2020-10-16 16:17:32 +02:00
Martin Blicha	78c8fbc7ce	[SMTChecker] encoding division and modulo operations using slack variables	2020-10-16 16:06:31 +02:00
Leonardo Alt	54f76e081a	[SMTChecker] Support crypto functions in CHC	2020-10-16 14:57:13 +01:00
Djordje Mijovic	4a66723ff9	[Sol->Yul] Implementing resizing of dynamic byte arrays ... Co-authored-by: chriseth <chris@ethereum.org>	2020-10-15 22:05:35 +02:00
chriseth	c9ed1b9ae9	Merge pull request #10047 from ethereum/removeMemoryGuards ... Disable StackLimitEvader again until we have stronger correctness guarantees.	2020-10-15 18:56:33 +02:00
chriseth	00fb152316	Merge pull request #10048 from ethereum/develop ... Merge develop into breaking	2020-10-15 17:30:11 +02:00
chriseth	89bdad2096	Merge pull request #10043 from ethereum/emptyArrayCopy ... Fix empty array copy bug.	2020-10-15 17:07:54 +02:00
chriseth	38abadf502	Fix empty array copy bug.	2020-10-15 16:48:08 +02:00
Daniel Kirchner	82876fd00e	Disable StackLimitEvader again until we have stronger correctness guarantees.	2020-10-15 16:16:41 +02:00
chriseth	e17d6853a9	Merge pull request #9985 from ethereum/optimizeDeleteStructSol2Yul ... [Sol->Yul] Optimizing delete struct.	2020-10-15 16:03:06 +02:00
chriseth	837dd004c8	Enable some more Yul tests.	2020-10-14 17:43:19 +02:00
chriseth	979d3062bc	Merge pull request #10033 from ethereum/develop ... Merge develop into breaking	2020-10-14 14:12:20 +02:00
Djordje Mijovic	6f7947cfa5	[Sol->Yul] Optimizing delete struct. ... Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>	2020-10-14 13:35:15 +02:00
chriseth	92a2cddbfa	Merge pull request #10024 from ethereum/outofBoundsGetter ... Use revert for out-of-bounds array index access in getter.	2020-10-14 12:33:41 +02:00
chriseth	56d6855222	Merge pull request #9738 from ethereum/arrayCopyingSol2Yul ... [Sol->Yul] Implementing copying of arrays to storage	2020-10-14 12:22:09 +02:00
chriseth	8d241fece9	Merge pull request #9849 from ethereum/fixIce9817 ... Fixing ICE on returning struct with mapping from library	2020-10-14 00:05:19 +02:00
Djordje Mijovic	674855f684	[Sol->Yul] Adding new and activating old tests for copying of arrays to storage.	2020-10-13 20:31:11 +02:00
Leonardo Alt	88f783bb1e	Remove more tests because current Spacer crashes	2020-10-13 19:27:49 +01:00
Djordje Mijovic	1272c474ba	Fixing ICE when returning Struct from library	2020-10-13 20:00:11 +02:00
chriseth	5dc3a971cb	Use revert for out-of-bounds array index access in getter.	2020-10-13 18:57:41 +02:00
Leonardo Alt	b9b9c229b4	New tests	2020-10-13 17:49:04 +01:00
Leonardo Alt	47b268d509	Update tests	2020-10-13 17:49:04 +01:00
Leonardo Alt	aec456021d	Add tx constraints to CHC	2020-10-13 17:49:04 +01:00
chriseth	f6e57a0eec	Merge pull request #10023 from ethereum/develop ... Merge develop into breaking.	2020-10-13 18:18:53 +02:00
chriseth	fed6ea0125	Fix error message formatting in isoltest.	2020-10-13 17:20:19 +02:00