2927 Commits

Author	SHA1	Message	Date
chriseth	504b8d29c9	Merge pull request #8907 from ethereum/licenseIdentifier ... Check for SPDX license identifiers.	2020-05-14 01:21:24 +02:00
chriseth	1700bdc4ad	Merge pull request #8925 from ethereum/abiEncodeCalldataSlice ... Allow abi encoding array slices without casting.	2020-05-13 18:55:16 +02:00
Daniel Kirchner	97296d8622	Allow ABI encoding for array slices without explicit casts.	2020-05-13 18:20:07 +02:00
Alexander Arlt	af44c05f1a	Add new test.	2020-05-13 18:16:59 +02:00
Alexander Arlt	52b9a92ff8	Update existing tests.	2020-05-13 18:16:59 +02:00
chriseth	3872a1f000	Add support for SPDX license identifiers.	2020-05-13 18:16:59 +02:00
Mathias Baumann	820fdd9bf7	Escape backslashes when formatting	2020-05-13 17:08:37 +02:00
chriseth	e9446475bb	Merge pull request #8924 from ethereum/arraySliceBug ... Fix array slice bug.	2020-05-13 16:06:28 +02:00
Daniel Kirchner	6f04664cfa	Disallow array slicing for arrays with dyanmically encoded base types.	2020-05-13 15:52:22 +02:00
chriseth	aca700497c	Merge pull request #8903 from ethereum/exponentiation-bug ... Fix exponentiation bug	2020-05-13 15:49:23 +02:00
Harikrishnan Mulackal	47e9a13e8a	Fix exponentiation bug	2020-05-13 13:53:06 +05:30
chriseth	b2122d479f	Merge pull request #8915 from a3d4/partfix-5819-remove-erroroccurred-flag ... Remove a dedicated error flag from DeclarationTypeChecker and other classes	2020-05-12 20:18:33 +02:00
a3d4	02d1f8c41a	Remove a dedicated error flag from DeclarationTypeChecker	2020-05-12 18:13:17 +02:00
chriseth	0be56a0abf	Merge remote-tracking branch 'origin/develop' into breaking	2020-05-12 17:48:53 +02:00
chriseth	901b421bb8	Merge pull request #8910 from ethereum/natspec-return-bug ... Bug that ignored return tag when no other devdoc tags were present	2020-05-12 16:47:07 +02:00
Harikrishnan Mulackal	095e17f7f9	Bug that ignored return tag when no other devdoc tags were present	2020-05-12 20:05:22 +05:30
Harikrishnan Mulackal	c29d76f8f2	Test for function with value setting	2020-05-12 15:21:13 +05:30
Daniel Kirchner	c2f5a66a79	Implement .creationCode for Sol->Yul.	2020-05-11 18:51:51 +02:00
Daniel Kirchner	3fbde6e782	Merge pull request #8856 from ethereum/implicitConstructorCallvalueCheck ... Implicit constructor callvalue check	2020-05-11 18:50:36 +02:00
Daniel Kirchner	79b217dfb3	Callvalue checks for implicit constructors.	2020-05-11 16:14:34 +02:00
chriseth	5566cd9f74	Merge pull request #8843 from ethereum/deprecate-now ... [BREAKING] Deprecate keyword now	2020-05-11 16:09:21 +02:00
chriseth	c0bf529236	Support bare calls.	2020-05-11 15:11:46 +02:00
chriseth	0248303c15	Merge pull request #8872 from ethereum/int-min-max ... implemented type(X).min and type(X).max for all integer types	2020-05-11 15:08:19 +02:00
Harikrishnan Mulackal	e4e200f29f	Changelog and tests	2020-05-11 15:29:05 +05:30
Harikrishnan Mulackal	e54c4eecfc	implemented type(X).min and type(X).max for all integer types	2020-05-11 14:51:13 +05:30
Djordje Mijovic	591a5fff07	isoltest: WhiskersError and YulException treated differently when enforcing viaYul	2020-05-11 09:37:04 +02:00
chriseth	a0e291bd06	Implement Yul IR generation for abi.encode*	2020-05-07 19:39:15 +02:00
chriseth	d0b82fe854	Merge pull request #8869 from ethereum/useSlotes ... Use vector of slots.	2020-05-07 19:03:59 +02:00
chriseth	f38cf85482	Use vector of slots.	2020-05-07 17:54:04 +02:00
Mathias Baumann	eb4926cb48	run addMissingFunctions only once	2020-05-07 17:06:11 +02:00
chriseth	3212cb6caa	Merge pull request #8859 from ethereum/noRuntimeForImmutable ... trigger error when runtimeCode is called on contracts with immutables	2020-05-07 16:08:27 +02:00
chriseth	f42dc70c9f	Merge pull request #8863 from ethereum/nonReversedEncoder ... Introduce non-reversed version of tupleEncoder.	2020-05-07 15:47:32 +02:00
Mathias Baumann	50e59f1008	trigger error when runtimeCode is called on contracts with immutables	2020-05-07 15:10:04 +02:00
chriseth	e986fde0c1	Introduce non-reversed version of tupleEncoder.	2020-05-07 15:08:09 +02:00
a3d4	5e9502bfae	Fix ABI internal compiler error caused by an internal constructor	2020-05-07 05:49:49 +02:00
Alex Beregszaszi	327c75bc1b	IR generation for shifts	2020-05-06 19:14:23 +02:00
Christian Parpart	3a93080ca9	Merge pull request #8821 from ethereum/remove-flag ... Remove obsolete flag --optimize-yul from scripts	2020-05-06 16:20:23 +02:00
chriseth	76275cf34a	Merge pull request #8824 from ethereum/solYulDirtyMemory ... Fix accessing memory reference types in yul codegen and clean up on memory reads.	2020-05-06 16:17:19 +02:00
Daniel Kirchner	234ffcf278	Merge pull request #8718 from ethereum/irConstants ... IR generation for constants.	2020-05-06 16:05:17 +02:00
Mathias Baumann	02c5f1f748	Remove --optimize-yul flag for soltest	2020-05-06 11:49:40 +02:00
Daniel Kirchner	c25a3eba14	Fix accessing memory reference types in yul codegen and clean up on memory reads.	2020-05-06 11:34:11 +02:00
Harikrishnan Mulackal	92cf61d4f9	fixed compilation tests and upgraded ext. tests branch	2020-05-05 21:11:15 +05:30
Harikrishnan Mulackal	a207613f17	Docs, changelog and tests	2020-05-05 21:11:15 +05:30
Daniel Kirchner	b580106c80	Yul parser hack and more yul tests.	2020-05-05 17:23:41 +02:00
chriseth	02c20698c9	IR generation for constants.	2020-05-05 17:07:55 +02:00
Daniel Kirchner	28d25afab1	Cleanup tests for Sol->Yul arithmetic and comparison.	2020-05-05 13:38:31 +02:00
Harikrishnan Mulackal	dd7d63925a	Merge pull request #8806 from ethereum/natspec-constructor ... [BREAKING] Natspec constructor and functions have consistent userdoc	2020-05-05 15:47:34 +05:30
Djordje Mijovic	e8f6f63e77	[Sol2Yul] Adding support for builtin revert(string)	2020-05-05 07:05:39 +02:00
Djordje Mijovic	8b7f87eed5	[isoltest] Enforcing compileViaYul to be set if test can pass via yul	2020-05-05 00:38:13 +02:00
chriseth	ecbf216354	Merge remote-tracking branch 'origin/develop' into breaking	2020-05-04 18:46:45 +02:00
chriseth	1aef9c7d20	Merge pull request #8777 from ethereum/sol_yul_simplefunctions ... [Sol - Yul] Add some built-in functions.	2020-05-04 16:07:10 +02:00
chriseth	51ccb1519f	Yul codegen for immutables.	2020-05-04 15:00:50 +02:00
Mathias Baumann	debcc8c056	Add setimmutable and loadimmutable to dialect.	2020-05-04 15:00:50 +02:00
hrkrshnn	aa65e9423c	Uniform output in functions and constructor NatSpec	2020-05-04 12:39:43 +05:30
Alexander Arlt	a9f4d14010	[Sol - Yul] Add support for send(..) & transfer(..)	2020-05-01 08:32:51 -05:00
Alexander Arlt	151e637336	[Sol - Yul] Add some built-in functions. ... - simplifications for GasLeft, Selfdestruct and BlockHash. - add support for addmod & mulmod.	2020-04-30 14:10:09 -05:00
chriseth	602b29cba7	Merge pull request #8796 from a3d4/fix-8760-typechecker-compiler-error ... [Type Checker] Fix internal error when applying unary operators to tuples with empty components	2020-04-29 10:14:15 +02:00
a3d4	3bd15655cb	Type Checker: Fix internal error when applying unary operators to tuples with empty components	2020-04-29 02:18:48 +02:00
Jason Cobb	8973732b74	Compare categories instead of types in ContractCompiler(740)	2020-04-28 13:13:45 -04:00
chriseth	1fe55370f4	Merge remote-tracking branch 'origin/develop' into HEAD	2020-04-28 13:02:06 +02:00
hrkrshnn	bd0b06e8db	Tests, Docs and Changelog	2020-04-28 16:03:52 +05:30
Djordje Mijovic	f3f729549d	[Sol->Yul] Enabling creation function call	2020-04-27 16:15:57 +02:00
chriseth	dda883b585	IR generation for sha256.	2020-04-27 11:10:20 +02:00
chriseth	61b1369fc2	Merge pull request #8701 from ethereum/solc-yul-chromosome ... solc option for selecting yul optimisations	2020-04-27 10:44:14 +02:00
Alexander Arlt	66edaf43f4	[Sol - Yul] Add support for built-in logN().	2020-04-25 11:10:28 -05:00
Alexander Arlt	2fa26f4e92	[Sol - Yul] Add support for built-in selfdestruct(..).	2020-04-24 17:03:41 -05:00
Kamil Śliwak	c8b612536f	Add yulDetails.optimizerSteps to the standard JSON interface	2020-04-24 17:30:56 +02:00
Kamil Śliwak	d3da878200	Enable internal library calls	2020-04-24 15:00:51 +02:00
Kamil Śliwak	56a85d6cb3	IRGeneratorForStatements: Handle internal calls to functions from specific base contracts as static calls rather than calls via pointers	2020-04-24 15:00:16 +02:00
chriseth	2b39f3b988	Merge pull request #8766 from ethereum/sol_yul_gasleft ... [Sol - Yul] Add support for built-in gasleft().	2020-04-24 14:24:01 +02:00
Leonardo Alt	059d0bdebb	Revert "Use Spacer option to improve performance of constant arrays" ... This reverts commit 92059fa848.	2020-04-24 11:55:58 +02:00
Alexander Arlt	aafa4583df	[Sol - Yul] Add support for built-in gasleft().	2020-04-23 17:14:03 -05:00
Kamil Śliwak	e65a5a562e	IRGenerationContext::internalDispatch(): Fix code generated when the function called via pointer does not return anything	2020-04-23 21:16:41 +02:00
hrkrshnn	48ff9fd4d6	Tests, Changelog and updated grammar	2020-04-23 17:27:37 +05:30
hrkrshnn	e2e32d372f	virtual modifiers (in Abstract contracts) allow empty bodies	2020-04-23 17:26:59 +05:30
chriseth	35eae96a7f	Move helper up and avoid trailing spaces.	2020-04-23 13:16:26 +02:00
chriseth	16ed53ddd0	Merge pull request #8591 from mijovic/sol2YulConstructorParams ... [Sol2Yul] Adding support for constructors with parameters (inheritance)	2020-04-23 12:56:54 +02:00
chriseth	a371910674	Merge pull request #8642 from ethereum/interfaceid ... Add support for interfaceId.	2020-04-23 12:24:49 +02:00
chriseth	5a160be128	Merge pull request #8754 from ethereum/smt_improve_array_performance ... Use Spacer option to improve performance of constant arrays	2020-04-23 12:19:04 +02:00
chriseth	18ee96ac91	Merge pull request #8752 from a3d4/fix-8711-typechecker-compiler-error ... Type Checker: Fix internal error when assigning to empty tuples	2020-04-23 12:01:00 +02:00
Leonardo Alt	92059fa848	Use Spacer option to improve performance of constant arrays	2020-04-23 10:45:02 +02:00
a3d4	c4bc77874b	Disallow empty tuples on the left hand side	2020-04-23 07:02:04 +02:00
a3d4	9538024c81	Fix #8711, #8277	2020-04-23 05:57:35 +02:00
Leonardo Alt	cfe3686116	Fix internal error when using array slices	2020-04-22 23:20:10 +02:00
chriseth	6728e3ef94	Merge remote-tracking branch 'origin/develop' into breaking	2020-04-22 17:21:32 +02:00
Djordje Mijovic	5329da93fb	[Sol2Yul] Adding support for constructors with parameters in case of inheritance	2020-04-22 14:47:08 +02:00
chriseth	4908101ad7	Yul IR generation for member access to type types.	2020-04-22 11:25:27 +02:00
chriseth	1d8e742296	Merge pull request #8684 from ethereum/yulForSelector ... Yul codegen for `.selector`.	2020-04-20 16:32:11 +02:00
chriseth	41ef13129b	Merge pull request #8678 from ethereum/smt_remove_redundant_constraints ... [SMTChecker] Remove redundant CHC constraints	2020-04-20 15:44:59 +02:00
chriseth	55483445e9	Merge pull request #8663 from ethereum/ir-function-generation-queue ... [Sol->Yul] IR function generation queue (refactor)	2020-04-20 15:17:53 +02:00
chriseth	c24c4f85e4	Merge pull request #8665 from ethereum/recursiveStructRefactoring ... Recursive struct refactoring and a bunch of ICE fixes.	2020-04-20 13:24:19 +02:00
Kamil Śliwak	c7947c1af6	Implement lazy function generation using function generation queue	2020-04-17 13:28:07 +02:00
Alexander Arlt	3754a86ab2	Add support for interfaceID.	2020-04-16 12:17:40 -05:00
Daniel Kirchner	150497c12a	Stricter bounds for memory arrays.	2020-04-16 17:51:18 +02:00
Daniel Kirchner	f6d1cee06b	Ensure that public callable parameters are valid for calldata.	2020-04-16 17:23:20 +02:00
Daniel Kirchner	6093982606	Review suggestions.	2020-04-16 16:42:12 +02:00
Daniel Kirchner	3a5a4c6505	Another ICE test.	2020-04-16 16:42:12 +02:00
Daniel Kirchner	6f06154eb5	Move direct struct recursion check to detect recursion in global structs.	2020-04-16 16:42:12 +02:00
Daniel Kirchner	b744a56801	Refactoring of errors and fixes for various ICEs.	2020-04-16 16:42:12 +02:00
Daniel Kirchner	df1809f8da	Annotate struct definitions with a recursive flag.	2020-04-16 16:42:12 +02:00
chriseth	f271dfa2e2	Yul codegen for .selector.	2020-04-16 13:42:58 +02:00
chriseth	06adbc2c59	Implement bit operations.	2020-04-16 00:33:45 +02:00
Leonardo Alt	bca43586c6	[SMTChecker] Remove redundant CHC constraints	2020-04-15 18:11:39 +02:00
Daniel Kirchner	b86c927505	Disallow virtual and override for constructors.	2020-04-15 13:58:37 +02:00
Daniel Kirchner	0c5c93f3c2	Fix tuple assignments for empty tuples in Yul IR.	2020-04-15 11:10:52 +02:00
Christian Parpart	d00d3c45b1	[Sol2Yul] Implements codegen part for try/catch statements.	2020-04-14 18:42:37 +02:00
Daniel Kirchner	c47714f0ba	Update ASTJSON tests that fail to compile.	2020-04-14 10:59:28 +02:00
Daniel Kirchner	3af43fd350	Extract typing.	2020-04-14 10:59:28 +02:00
chriseth	748afe0edd	Merge pull request #8630 from ethereum/encoding-bug-functionCallOption ... TypeChecker error when encoding functions with call options; tests	2020-04-08 16:33:24 +02:00
chriseth	9fab9df18c	Merge pull request #8607 from a3d4/fix-nested-tuples ... Fixed nested tuples on the right-hand side.	2020-04-08 12:29:52 +02:00
a3d4	aba0b2957c	Fix tuple assignments with multi-slot components.	2020-04-07 18:39:25 +02:00
hrkrshnn	229587672f	TypeChecker error when encoding functions with call options; tests	2020-04-07 21:11:46 +05:30
chriseth	236eff8416	Export immutability.	2020-04-07 17:30:54 +02:00
chriseth	51883958ab	Merge remote-tracking branch 'origin/develop' into breaking	2020-04-07 11:14:28 +02:00
Leonardo Alt	e3ec22124e	[SMTChecker] Fix ICE in CHC internal calls	2020-04-07 01:09:03 +02:00
chriseth	806c835647	Merge pull request #8568 from aarlt/clang-tidy-apply-modernize-use-override ... clang-tidy: Apply modernize-use-override.	2020-04-06 16:09:02 +02:00
Daniel Kirchner	d68c526eaa	Disallow external function pointers as immutables.	2020-04-03 11:56:51 +02:00
hrkrshnn	042ccd24ab	Added error message for virtual (library) functions; test case	2020-04-03 15:09:57 +05:30
Alexander Arlt	cae6e7769f	Apply modernize-use-override.	2020-04-02 18:00:44 -05:00
chriseth	d7a39c86ce	Accessors for immutable variables.	2020-04-02 19:09:54 +02:00
chriseth	216fca5b70	Merge pull request #8578 from ethereum/interface-function-modifier-error ... Added error for interface functions that have modifiers; test case	2020-04-02 18:05:32 +02:00
hrkrshnn	ef2bef9ddc	Added error for interface function with modifiers; test case	2020-04-02 20:30:43 +05:30
Leonardo Alt	39ff0deb05	Zero initialize memory arrays	2020-04-02 15:55:18 +02:00
Mathias Baumann	ac7b31e559	Validate immutable variables	2020-04-02 13:52:27 +02:00
chriseth	a2b427dc0b	Merge pull request #8567 from ethereum/storage-pointer-checker ... Removed redundant storage declaration check; test coverages	2020-04-02 13:46:51 +02:00
hrkrshnn	8e6567e399	New folder localStorageVariable for new testcases; added two new tests	2020-04-02 16:34:45 +05:30
hrkrshnn	aec0ae8ec1	Extended test-coverage for storage declaration	2020-04-02 15:45:04 +05:30
hrkrshnn	79387b2ada	Removed redundant declaration check; changed relevant test cases	2020-04-02 12:27:38 +05:30
Daniel Kirchner	77ea896b68	Properly handle assignments of immutables at declaration.	2020-04-02 08:35:22 +02:00
Daniel Kirchner	fe9f8d520c	Restrict size for dynamic memory array creation.	2020-04-01 17:25:09 +02:00
Alexander Arlt	3e649eb8e1	Disallow access to functions from inline assembly.	2020-04-01 10:34:55 +02:00
chriseth	b83d82ab75	Merge pull request #8550 from a3d4/fix-8450-typechecker-compiler-error ... Fix a couple of internal compiler errors when assigning nested tuples	2020-03-31 22:21:58 +02:00
a3d4	c002cae691	Fix #8450. Prevented internal compiler errors when assigning nested tuples.	2020-03-31 03:25:26 +02:00
Djordje Mijovic	89d5ecdd24	[Sol2Yul] Adding support for constructor with parameters	2020-03-27 01:19:11 +01:00
chriseth	173f234860	Refactor: Replace inheritance hierarchy by most derived contract.	2020-03-26 18:27:39 +01:00
chriseth	165f7bf60f	Move files.	2020-03-26 17:47:36 +01:00
Alexander Arlt	67e9776418	Extract 45 tests from SolidityEndToEndTest.cpp	2020-03-26 17:39:12 +01:00
chriseth	1897138916	Merge pull request #8522 from a3d4/fix-8427-ast-types-compiler-error ... Promoted typeError to fatalTypeError in ReferencesResolver	2020-03-25 11:23:00 +01:00
a3d4	339f3ca32c	Fix #8427: Promoted typeError to fatalTypeError in ReferencesResolver::endVisit(UserDefinedTypeName).	2020-03-25 02:51:34 +01:00
Daniel Kirchner	e255c15227	Tests.	2020-03-24 16:45:31 +01:00
Daniel Kirchner	04d8ad2ae1	Legacy codegeneration for immutable state variables.	2020-03-24 16:45:25 +01:00
chriseth	7d68f9f6c3	Merge remote-tracking branch 'origin/develop' into breaking	2020-03-24 13:35:41 +01:00
Leonardo Alt	42b143098e	Add natspec test with too many return tags	2020-03-24 13:04:07 +01:00
Daniel Kirchner	fe659ceb41	Anything outside storage is always a pointer.	2020-03-23 15:34:10 +01:00
Leonardo Alt	0fcb1427c9	Fix Yul codegen when dynamic array is used as rhs of assignment	2020-03-20 17:52:51 +01:00
chriseth	d55bbd4aa5	Merge pull request #8508 from a3d4/again-refactor-testcase-classes ... More refactoring of TestCase classes	2020-03-19 23:05:32 +01:00
chriseth	f25157a5f8	Sort tests.	2020-03-19 14:42:25 +01:00
chriseth	8834b1acaf	Merge pull request #8464 from aarlt/end-to-end-verified ... [test] Extraction of 292 tests from SolidityEndToEndTest.cpp	2020-03-19 14:42:04 +01:00
a3d4	f4d9f6772f	Unified use of settings. Removed a couple of unused functions.	2020-03-19 14:02:39 +01:00
Alexander Arlt	23d00b5ca3	Extracted 292 tests from SolidityEndToEndTest.cpp	2020-03-18 11:56:43 -05:00
a3d4	bb38ce1759	Decoupled error checking and report printing in CommonSyntaxTest.	2020-03-16 23:22:56 +01:00
a3d4	66783c30ce	Introduced TestCaseReader.	2020-03-16 23:14:33 +01:00
chriseth	4e4a3da920	Merge pull request #8481 from aarlt/add-show-metadata ... Add --show-metadata to enable metadata output.	2020-03-16 14:25:42 +01:00
Djordje Mijovic	96d278b101	[Sol->Yul] Adding slicing for call data arrays	2020-03-13 13:40:38 +01:00
Alexander Arlt	9d67edb163	Add --show-metadata to enable metadata output.	2020-03-12 13:39:29 -05:00
chriseth	fa148f2483	Parsing of immutable state variable.	2020-03-12 17:11:24 +01:00
a3d4	a86c511713	Replaced "assert" with "if" (incorrect contract code is not supposed to trigger asserts).	2020-03-12 14:03:27 +01:00
Daniel Kirchner	bdd8045db5	Merge pull request #8183 from ethereum/functionOptionsYulIR ... [YulIR] Function call options for Yul IR	2020-03-12 10:49:51 +01:00
Leonardo Alt	89ce2dbfe9	The identifier var should be fine in Yul	2020-03-11 18:45:08 +01:00
chriseth	9d92c9fbf1	Merge remote-tracking branch 'origin/develop' into HEAD	2020-03-11 18:44:06 +01:00
Leonardo Alt	07368c2e1e	Add support to internal function calls	2020-03-11 16:29:07 +01:00
chriseth	5dd30777d2	Test.	2020-03-10 22:44:06 +01:00
Leonardo Alt	bcefda747c	Do not run smtCheckerTestsJSON if no solver available	2020-03-10 15:41:49 +01:00
Christian Parpart	bb29a7e497	Merge pull request #8460 from ethereum/yulutil-convert-array ... YulUtilFunctions: convertionFunction() to also handle array string/memory casts	2020-03-10 14:00:34 +01:00
Christian Parpart	5d7a370248	YulUtilFunctions: convertionFunction() to also handle array string/memory casts.	2020-03-10 11:21:12 +01:00
chriseth	8d2a9bf773	Merge pull request #8458 from a3d4/partfix-8244-introduced-testcase-shouldrun ... Partial Fix #8244: Introduced TestCase::shouldRun().	2020-03-09 18:35:12 +01:00
Daniel Kirchner	809e3503ba	Control flow analysis for inline assembly.	2020-03-09 16:23:10 +01:00
a3d4	29b770c434	Introduced TestCase::shouldRun().	2020-03-09 15:52:20 +01:00
chriseth	b7c001eb7f	Merge pull request #8416 from ethereum/reuseYulCalldataTailAccess ... Fix yul calldata tail access functions and reuse them for old codegen.	2020-03-09 15:10:48 +01:00
chriseth	37e01a19c0	Fix scoping following try/catch.	2020-03-09 13:14:13 +01:00
Christian Parpart	988bd6780b	Merge pull request #8414 from ethereum/sol2yul-func-type-conversion ... [Sol2Yul] Implements function-to-function cast.	2020-03-09 11:31:44 +01:00
Christian Parpart	e210026e74	[Sol2Yul] Implements function-to-function cast.	2020-03-09 10:40:57 +01:00
chriseth	a328e940b5	Merge pull request #8429 from ethereum/astJsonImportYulBlock ... Fix yul ast import for blocks, switches and string literals.	2020-03-08 17:06:05 +01:00
Daniel Kirchner	e58a1de57f	Merge pull request #8431 from mijovic/sol2YulSelectorAddress ... Adding sol->yul for f.selector and f.address	2020-03-06 22:48:38 +01:00
Djordje Mijovic	092827b7ad	Adding sol->yul for f.selector and f.address	2020-03-06 21:43:14 +01:00
Daniel Kirchner	2df5ca0774	Merge pull request #8385 from ethereum/immutable ... Immutable state variables (1)	2020-03-06 14:20:13 +01:00
Daniel Kirchner	7f38cbb91d	Fix calling unimplemented base function.	2020-03-06 10:51:16 +01:00
Daniel Kirchner	420f57aec3	Fix yul ast import for blocks, switches and string literals.	2020-03-05 14:09:13 +01:00
Daniel Kirchner	b10f12a395	Merge pull request #8413 from mijovic/depratateValueCalls ... Deprecated warning for .value() and .gas() on function and constructr…	2020-03-04 14:43:06 +01:00
Daniel Kirchner	919888ddbc	Use yul function for calldata tail access, fix checks and add additional revert reason.	2020-03-04 14:39:36 +01:00
Christian Parpart	a3bc752e53	Merge pull request #8415 from ethereum/tests-ExecutionFramework-reset ... [test] Fixes ExecutionFramework providing different contract addresse…	2020-03-04 14:17:11 +01:00
Djordje Mijovic	58c6b90705	Deprecated warning for .value() and .gas() on function and constructror calls	2020-03-04 12:51:49 +01:00
Christian Parpart	495abee769	[test] Fixes ExecutionFramework providing different contract addresses when running test cases for both, old and new yul codegen.	2020-03-03 16:36:12 +01:00
Leonardo	32ca1a5e26	Merge pull request #8311 from ethereum/smt_split_2 ... [SMTChecker] Change CHC encoding from explicit CFG to function forests	2020-03-03 13:16:14 +01:00
Leonardo Alt	3bee348525	Change CHC encoding to functions forest instead of explicit CFG	2020-03-03 12:12:26 +01:00
Leonardo Alt	96a230af50	[SMTChecker] Fix ICEs with tuples	2020-03-03 11:35:58 +01:00
chriseth	f10c6500b2	Immutable is not reserved anymore.	2020-03-02 14:20:17 +01:00
chriseth	06ad5b3200	Merge remote-tracking branch 'origin/develop' into HEAD	2020-02-27 15:06:36 +01:00
Erik Kundt	d1b6a4a649	Fixes raw bytes warning in semantic test framework.	2020-02-26 21:37:52 +01:00
Leonardo	6930e0c2e0	Merge pull request #8384 from ethereum/fixRePrintingValue ... Fix re-printing value expectations.	2020-02-26 09:57:30 +01:00
chriseth	40cae442d5	Fix re-printing value expectations.	2020-02-25 22:10:35 +01:00
chriseth	45041e5d3a	Allow access to `_slot` for local storage pointer variables.	2020-02-25 14:28:04 +01:00
Djordje Mijovic	dd9009eba6	TestFileParser: Adding new keyword wei for expressing function value	2020-02-21 11:39:37 +01:00
chriseth	c2e22d4cab	Merge pull request #8221 from ethereum/structured-docs-error-locations ... [parser] Source locations for structured documentation errors	2020-02-18 14:57:28 +01:00
Djordje Mijovic	18dea6b69c	Assembly: Added missing source field to legacy assembly json output to complete the source reference	2020-02-18 10:22:34 +01:00
chriseth	c50631d4e2	Update tests.	2020-02-17 12:58:06 +01:00
chriseth	29e5cd89be	Remove stack counting from Asm Analysis.	2020-02-17 12:58:05 +01:00
Erik Kundt	017d33cfbe	Fix typos in filenames within docstring syntax tests.	2020-02-14 15:53:39 +01:00
Erik Kundt	85fc0b597b	Adjusts tests to source locations for structured documentation errors.	2020-02-14 15:53:39 +01:00
chriseth	99f88742d6	Merge pull request #8263 from ethereum/functionSelectorPure ... Mark function selectors accessed via declaration as pure.	2020-02-14 12:34:39 +01:00
Daniel Kirchner	9f094d59b9	Mark function selector accesses as pure for pure expressions and mark function accesses via contract name as pure.	2020-02-14 12:33:33 +01:00
Christian Parpart	c92fe69a60	Finishes external call implementation.	2020-02-14 11:59:04 +01:00
Leonardo Alt	3800391a1a	[Yul] Support conditionals	2020-02-13 17:02:15 -04:00
Mathias L. Baumann	c635377450	Merge pull request #8313 from ethereum/checkFunctionsExistInIsoltest ... Make type error fatal to prevent assert failure at later point	2020-02-13 16:08:13 +01:00
Mathias Baumann	8911b58a6d	Make type error fatal to prevent assert failure at later point	2020-02-13 15:16:28 +01:00
Daniel Kirchner	7af581df1f	Merge pull request #8309 from ethereum/checkFunctionsExistInIsoltest ... Check that functions exist in isoltest.	2020-02-13 14:29:58 +01:00
chriseth	9aed40ab19	Check that functions exist in isoltest.	2020-02-13 13:22:53 +01:00
chriseth	1ea66fd1f8	Merge pull request #8301 from ethereum/fixPostTypeChecker ... PostTypeChecker: ConstStateVarCircularReferenceChecker on function type state variables.	2020-02-12 18:40:19 +01:00
Daniel Kirchner	45f80e9895	Move assertion in PostTypeChecker's ConstStateVarCircularReferenceChecker to account for function type variables	2020-02-12 17:42:27 +01:00
Alexander Arlt	d0eeca8014	Fix CompilerStack::loadMissingSources() ... - FatalError Exception was not caught - fixes #8102	2020-02-12 11:22:11 -05:00
Daniel Kirchner	df0873d138	Implement calldata arrays for Yul IR	2020-02-12 14:00:29 +01:00
Daniel Kirchner	3c9f18b749	Use IRVariable's in IR code generation and implement tuples.	2020-02-12 12:36:14 +01:00
Daniel Kirchner	9c3151748e	Move mapping key checks to ReferencesResolver and make them fatal.	2020-02-11 13:35:23 +01:00
Leonardo Alt	36928c7a35	Add reason string for internal reverts	2020-02-10 11:57:20 -03:00
Daniel Kirchner	e07274a96f	Disallow libraries as mapping keys.	2020-02-06 09:09:43 +01:00
chriseth	5de3379d82	Merge pull request #8238 from ethereum/yul-syntax-tests ... Implement yul syntax tests	2020-02-05 15:15:41 +01:00
Mathias Baumann	fc10e701fc	Implement yul syntax tests	2020-02-05 14:58:34 +01:00
chriseth	0b9c842656	Fix abstract without contract.	2020-02-05 12:14:14 +01:00
Daniel Kirchner	d882b6fa83	Allow tests to be marked ABIEncoderV1Only.	2020-02-04 17:22:03 +01:00
Daniel Kirchner	af9fc8b634	Mapping getters for Yul IR.	2020-02-04 17:22:03 +01:00
Daniel Kirchner	d3cbfb0c5c	Allow user-defined types as mapping keys in parser and restrict to contracts during type checking.	2020-02-04 17:22:03 +01:00
Erik Kundt	4a179056ed	Adds JSON import / export for structured documentation.	2020-01-30 18:26:01 +01:00
Erik Kundt	ec27c2e507	Introduce AST node for structured documentation.	2020-01-30 18:25:56 +01:00
chriseth	457cdecf6f	Merge pull request #8135 from ethereum/fix-get-options-7112 ... TestFramework: Merge Options.h into Common.h	2020-01-29 16:05:55 +01:00
Mathias L. Baumann	5130a2b0ae	Merge pull request #8063 from ethereum/yulvisit-7656 ... Use yul::AstWalker for assembly reference resolving	2020-01-29 14:56:19 +01:00
Mathias Baumann	00e4d13975	TestFramework: Merge Options.h into Common.h	2020-01-29 12:27:05 +01:00
chriseth	35820398c2	Merge pull request #8179 from pinkiebell/codegen ... libsolidity/codegen: Use calldatacopy to cheaply zero memory..	2020-01-28 18:07:30 +01:00
Mathias Baumann	b8e2baf5f4	Use yul::AstWalker to resolve assembly symbols	2020-01-28 17:57:48 +01:00
Mathias Baumann	2f1f8e25c1	TestFramework: Remove headers from Options.h	2020-01-28 17:29:22 +01:00
Mathias Baumann	1027f6f78f	Extract some semantic tests	2020-01-28 11:59:44 +01:00
chriseth	790c6d2cae	Tests for salted create.	2020-01-23 21:20:01 +01:00
chriseth	2fa586beac	Test that uses function call options on overloaded function.	2020-01-23 21:20:01 +01:00
Mathias Baumann	a3f23d3158	Implement new with CREATE2 and function call options.	2020-01-23 21:20:01 +01:00
pinkiebell	bb6fb675e0	libsolidity/codegen: Use calldatacopy to cheaply zero memory instead of ... codecopy. Motiviation: Zero'ing memory is commonplace in contracts, but with the upcoming Layer-2 EVM translation layers and other on-chain verification mechanisms, using `codecopy` becomes a `costly` operation in those sandboxes. Using `calldatacopy` achieves the same thing, gas costs are also the same as codecopy, and is significantly cheaper in the `sandbox` situation.	2020-01-22 17:56:56 +01:00
Jason Cobb	595f569e97	Update tests for interface inheritance	2020-01-22 09:40:40 -05:00
Jason Cobb	573a054d5d	Prohibit interfaces inheriting from non-interfaces	2020-01-22 09:40:40 -05:00
chriseth	1b19524036	Merge pull request #8150 from ethereum/isoltest-alignment-output ... [isoltest] Proper output of alignment in obtained test results	2020-01-20 12:38:12 +01:00
Alex Beregszaszi	004f01a388	Add test case for gas metering of exp(n, 0)	2020-01-17 14:24:55 +01:00
Daniel Kirchner	ee5ff4df4e	Clean up visibility via contract name and fix ICE on calling unimplemented base function.	2020-01-16 19:13:04 +01:00
Erik Kundt	ae67cbde7d	Fixes missing alignment output in isoltest.	2020-01-15 18:18:16 +01:00
chriseth	ed87b08911	Merge pull request #8066 from ethereum/removeAsmFlavour ... Remove asm flavour	2020-01-15 14:21:54 +01:00
Nicolás Venturo	9649c92e12	Fix error message suggestion for receive	2020-01-14 23:24:27 +01:00
chriseth	0f014144c8	Test for true/false in inline assembly.	2020-01-14 17:16:09 +01:00
chriseth	123ea0a250	Remove asm flavour.	2020-01-14 17:16:09 +01:00
djudjuu	e8556fa1b2	Ast-Import from standard-json	2020-01-14 17:15:53 +01:00
chriseth	4d681fb16d	Merge remote-tracking branch 'origin/develop' into HEAD	2020-01-14 16:43:48 +01:00
Mathias Baumann	adc4774d4a	ASTJSON: Export evm version	2020-01-14 12:51:21 +01:00
Erik Kundt	7fec5f9548	Fixes unused variables that break osx build.	2020-01-11 23:11:04 +01:00
Erik Kundt	729b47e641	Updates semantic tests to 0.7.0.	2020-01-11 23:11:00 +01:00
Daniel Kirchner	9535c0f520	Introduce FunctionKind::Declaration and allow accessing function signatures via contract name.	2020-01-09 15:40:41 +01:00