5307 Commits

Author	SHA1	Message	Date
Leonardo Alt	46653b2d43	Fix ICE when bitwise operator on fixed bytes	2020-07-15 19:32:15 +02:00
chriseth	dca85a286d	Merge pull request #9398 from ethereum/eip615 ... Prefix EIP-615 opcodes with EIP615 in Instructions	2020-07-14 19:18:02 +02:00
Alex Beregszaszi	eab12ecf77	Nicer error message for private payable functions	2020-07-14 14:38:12 +01:00
chriseth	526e7b878b	Merge pull request #9403 from ethereum/string-tests ... Add more tests for strings with unicode (escapes)	2020-07-14 13:49:06 +02:00
chriseth	f93932c259	Merge pull request #9406 from ethereum/fixSegfault ... Fix segfault in oversized objects check in combination with var.	2020-07-14 13:30:33 +02:00
Daniel Kirchner	874f4d5447	Merge pull request #9407 from ethereum/refactorStorageSizeUpperBound ... Refactor storageSizeUpperBound.	2020-07-14 12:17:45 +02:00
Daniel Kirchner	9c62ea182d	Fix segfault in oversized objects check in combination with var.	2020-07-14 11:23:39 +02:00
chriseth	f28bede34a	Refactor storageSizeUpperBound.	2020-07-14 10:45:02 +02:00
Harikrishnan Mulackal	f73b25bb78	Removed specialized errors related to constant state mutability	2020-07-14 12:42:47 +05:30
Alex Beregszaszi	950612cf42	Add more tests for strings with unicode (escapes)	2020-07-13 20:43:30 +01:00
Alex Beregszaszi	6a1ad7e59c	Fix formatting hex strings in isoltest update	2020-07-13 19:06:16 +01:00
Alex Beregszaszi	870ea98c21	Prefix EIP-615 opcodes with EIP615 in Instructions	2020-07-13 17:34:19 +01:00
chriseth	289fc7a9d0	Merge pull request #9371 from ethereum/refactorInterpreter ... Refactor yul interpreter.	2020-07-13 18:27:47 +02:00
Daniel Kirchner	41710acbca	More semantic tests.	2020-07-13 18:07:11 +02:00
Daniel Kirchner	c3e13b6733	Promote gwei to a proper keyword.	2020-07-13 18:07:11 +02:00
Daniel Kirchner	38c6ecbbe2	Remove finney and szabo denominations.	2020-07-13 18:07:10 +02:00
chriseth	cf189a3285	Merge pull request #9285 from ethereum/no_dot_in_asm ... [BREAKING] Change _slot and _offset to use dot in inline assembly	2020-07-13 17:46:39 +02:00
Daniel Kirchner	def0ebbb3e	Free variables directly after visiting RHS of Variable Declarations during EVMCodeTransform.	2020-07-13 17:36:15 +02:00
chriseth	414e3bd6fe	Merge pull request #9387 from ethereum/swapDup ... Remove swap after dup.	2020-07-13 17:27:43 +02:00
chriseth	12f390a60a	Merge pull request #9326 from ethereum/eventOverwriting ... [BREAKING] Disallow multiple events with same name and types.	2020-07-13 15:44:35 +02:00
chriseth	080f33a72c	Remove swap after dup.	2020-07-13 15:05:01 +02:00
chriseth	1d666335f8	Merge pull request #9367 from ethereum/wasm-dialect ... Add ctz and popcnt to WasmDialect	2020-07-13 15:02:34 +02:00
chriseth	fc2e9ec2ff	Use .slot and .offest to access storage items.	2020-07-13 14:59:22 +02:00
chriseth	8eee3ed3a2	Merge pull request #9388 from ethereum/develop ... Merge develop into breaking.	2020-07-13 14:55:21 +02:00
Djordje Mijovic	a72b0deea6	Disabling -Wsign-conversion for yul_proto_diff_custom_mutate_ossfuzz target	2020-07-13 14:01:53 +02:00
Alex Beregszaszi	8df4baac42	Implement ctz/popcnt in yulInterpreter	2020-07-13 11:18:10 +01:00
chriseth	c90d3a3558	Merge pull request #9384 from ethereum/yul-err-typo ... Fix missing quote in error message for invalid Yul types	2020-07-13 11:28:55 +02:00
chriseth	b3566ad0d5	Merge pull request #9082 from ethereum/conversionWarnings ... Adding `-Wsign-conversion` flag and fixing errors	2020-07-13 11:28:09 +02:00
chriseth	ab2f64f442	Disallow multiple events with same name and types.	2020-07-13 11:24:37 +02:00
Daniel Kirchner	c8f25142a7	Add nooptions label to smt checks.	2020-07-11 20:17:12 +02:00
Alex Beregszaszi	20dd66f398	Fix missing quote in error message for invalid Yul types	2020-07-10 21:06:09 +01:00
Daniel Kirchner	65ed93d99f	Merge pull request #9366 from ethereum/wasm-clz ... Fix yulInterpreter to correctly handle i32.clz	2020-07-10 20:36:24 +02:00
Alex Beregszaszi	f5ae9c5761	Fix yulInterpreter to correctly handle i32.clz	2020-07-10 15:38:25 +01:00
a3d4	efc5ee207d	Fix internal compiler error caused by oversized objects	2020-07-10 11:39:07 +02:00
Djordje Mijovic	3781ee6349	Removing -Wsign-conversion flag for ossfuzz targets	2020-07-09 17:22:52 +02:00
Djordje Mijovic	547590b972	Fixing additional signedness errors after adding -Wsign-conversion flag ... Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2020-07-09 17:22:45 +02:00
Mathias Baumann	6b37f1c025	Remove visiblity of libraries in inherited contracts.	2020-07-09 16:38:29 +02:00
chriseth	82b66c7687	Merge pull request #9372 from a3d4/improve-error-coverage-cmdlinetests ... Cover cmdlineTests.sh errors	2020-07-09 16:17:00 +02:00
chriseth	9ef050af9a	Merge pull request #9373 from ethereum/develop ... Merge develop into breaking.	2020-07-09 16:15:43 +02:00
chriseth	2b94ced65f	Merge pull request #8305 from ethereum/fix-7947 ... yul proto fuzzer: Use custom mutation routines	2020-07-09 15:40:16 +02:00
chriseth	8b52985744	Merge pull request #9357 from ethereum/fix-9356 ... Disable more than one reference to a variable on the LHS of a tuple a…	2020-07-09 15:27:04 +02:00
chriseth	3cf5ed9514	Use plain strings for comparison.	2020-07-09 15:00:13 +02:00
chriseth	ec2393d3b6	Refactor interpreter.	2020-07-09 15:00:13 +02:00
a3d4	a068583bec	Cover cmdlineTests.sh errors	2020-07-09 14:39:05 +02:00
Bhargava Shastry	7272129354	yul fuzzer: Add framework for yul optimizer custom mutation routines ... Co-authored-by: Leonardo <leo@ethereum.org>	2020-07-09 13:32:07 +02:00
chriseth	f3e100a000	Merge pull request #9359 from ethereum/doNotRunAllTests ... Do not run tests that do not need options multiple times.	2020-07-08 22:19:46 +02:00
chriseth	59f4989966	Optimize combination of byte and shl.	2020-07-08 20:26:46 +02:00
chriseth	ecc4bf2464	Merge pull request #9354 from ethereum/improveTestSpeed ... Improve testing speed by only enabling the Yul optimizer if needed.	2020-07-08 19:54:32 +02:00
chriseth	8eb459c825	Disallow dot in inline assembly identifiers.	2020-07-08 19:29:58 +02:00
chriseth	d4ecd33247	Propagate function call argument types across function call options.	2020-07-08 17:59:02 +01:00
chriseth	83337c850e	Do not run tests that do not need options multiple times.	2020-07-08 18:47:14 +02:00
chriseth	0c7e4cf16b	Merge pull request #9340 from ethereum/compileTimeSha ... Evaluate keccak256 of string literals at compile-time.	2020-07-08 18:42:38 +02:00
chriseth	19ec9ecbfd	Merge pull request #9347 from ethereum/moretests ... Add create & delete array tests for yul	2020-07-08 18:09:57 +02:00
chriseth	0a0f578d7c	Evaluate keccak256 of string literals at compile-time.	2020-07-08 16:14:14 +02:00
Bhargava Shastry	48ac4b2954	Disable more than one reference to a variable on the LHS of a tuple assignment	2020-07-08 13:16:07 +02:00
Mathias Baumann	f9d6fa71fd	Add create & delete array tests for yul	2020-07-08 13:10:33 +02:00
chriseth	5ebf2b84ef	Improve testing speed by only enabling the Yul optimizer if needed.	2020-07-08 10:51:42 +02:00
chriseth	64b6524bdb	Merge remote-tracking branch 'origin/develop' into breaking	2020-07-08 09:37:14 +02:00
Kamil Śliwak	b23f7d8790	[yul-phaser] Temporarily disable very slow tests for the classic algorithm	2020-07-07 17:14:57 +02:00
chriseth	41e1e34211	Merge pull request #9180 from ethereum/noVisibilityForConstructor ... [BREAKING] No visibility for constructor	2020-07-07 16:26:41 +02:00
Alex Beregszaszi	0bd6fb027b	Update tests	2020-07-07 13:13:58 +01:00
chriseth	ec8be81258	Merge pull request #9243 from ethereum/jumpTypesForYul ... Jump types for yul functions.	2020-07-07 12:21:14 +02:00
chriseth	552d353430	New tests.	2020-07-07 12:16:18 +02:00
chriseth	5959d442cb	Make visibility optional, but it has to be consistent.	2020-07-07 12:16:18 +02:00
chriseth	9743390a53	Update tests.	2020-07-07 12:16:18 +02:00
Alex Beregszaszi	beb4b1d563	Fix tests on breaking	2020-07-07 10:17:58 +01:00
chriseth	d72aae20aa	Merge pull request #9321 from ethereum/multiYulAssign ... Disallow the same yul variable occurring multiple times on the LHS of an assignment.	2020-07-07 11:07:05 +02:00
chriseth	2e9933b0de	Merge pull request #9320 from ethereum/tests_for_memory_in_external.sol ... Tests for memory in external functions.	2020-07-07 11:05:50 +02:00
Daniel Kirchner	70615a73a4	Disallow the same yul variable occurring multiple times on the LHS of an assignment.	2020-07-07 10:52:47 +02:00
chriseth	e48d3e5847	Fix wording of error message.	2020-07-06 19:22:52 +02:00
chriseth	982a269b2b	Merge pull request #9325 from ethereum/develop ... Merge develop into breaking.	2020-07-06 19:11:02 +02:00
chriseth	a09a791999	Merge pull request #9313 from ethereum/doesnt ... [Trivial] Replace "doesn't" with "does not" in error message	2020-07-06 18:21:02 +02:00
chriseth	4d2b9cd38f	Jump types for yul functions.	2020-07-06 18:12:54 +02:00
chriseth	9009335b3f	Merge pull request #9319 from ethereum/noCalldataForConstructor ... Constructors cannot have calldata parameters.	2020-07-06 17:58:23 +02:00
chriseth	c0adf2bb4c	Tests for memory in external functions.	2020-07-06 17:08:24 +02:00
chriseth	f372ba6fea	Constructors cannot have calldata parameters.	2020-07-06 16:52:51 +02:00
Alex Beregszaszi	60d4b1e8cc	Rename drop to i64.drop in WasmDialect ... Also properly implement support for both i32.drop and i64.drop in BinaryTransform, TextTransform, and YulInterpreter	2020-07-06 15:47:17 +01:00
chriseth	375cb09341	Merge pull request #9316 from ethereum/yul-cleanup-evm ... Tiny cleanups to EVMDialect in Yul	2020-07-06 16:14:24 +02:00
chriseth	083ef2d685	Merge pull request #9311 from a3d4/improve-large-variable-size-warning ... Add variable name to the "Variable covers ...." warning	2020-07-06 15:31:33 +02:00
chriseth	ab68406006	Merge remote-tracking branch 'origin/develop' into breaking	2020-07-06 15:25:25 +02:00
a3d4	5e4aeaa460	Add variable name to the "Variable covers a large part of storage ...." message	2020-07-06 13:49:09 +02:00
Mathias Baumann	8cdf14f1b3	Replace "doesn't" with "does not" in error message	2020-07-06 13:44:33 +02:00
Alex Beregszaszi	f0d256bfdb	Add test case for jumpi in inline assembly	2020-07-06 10:41:35 +01:00
Daniel Kirchner	b9b24daa8a	Merge pull request #9295 from ethereum/requireFLIR ... Require for loop init rewriter for SSA.	2020-07-04 17:51:57 +02:00
chriseth	711ed588d7	Require for loop init rewriter for SSA. ... Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>	2020-07-03 19:24:31 +02:00
Alex Beregszaszi	0ac039e4ea	Merge pull request #9305 from ethereum/yul-dot-tests ... Add Yul syntax tests for dots in identifiers	2020-07-03 18:18:58 +01:00
Alex Beregszaszi	889131321a	Merge pull request #9298 from ethereum/yul-evm-version-tests ... Use different error code for various EVM features in Yul	2020-07-03 17:05:01 +01:00
a3d4	46bcac58eb	Merge pull request #9187 from a3d4/fix-storagesizeestimate ... Fixed recursive check in structureSizeEstimate	2020-07-03 17:35:11 +02:00
Alex Beregszaszi	8b53f85e28	Add Yul syntax tests for dots in identifiers	2020-07-03 15:41:09 +01:00
a3d4	1c7a0dcbea	Add warnings for oversized subtypes	2020-07-03 15:18:02 +02:00
Alex Beregszaszi	9a94b89c48	Update and add new tests for features of different EVM version	2020-07-03 14:08:09 +01:00
Daniel Kirchner	c0ee566049	Merge pull request #9293 from ethereum/yul-restrict-linkersymbol-to-object-dialect ... [Yul] Restrict `linkersymbol` to object dialect and add missing changelog entries	2020-07-03 11:37:21 +02:00
chriseth	3d96e2b11a	Merge pull request #9257 from ethereum/yul-in-memory-struct-creation ... Yul: Implement memory struct allocation	2020-07-02 17:03:46 +02:00
Mathias Baumann	50373ac1b0	Yul: Implement memory struct allocation	2020-07-02 16:37:20 +02:00
Kamil Śliwak	356b9a7904	Restrict linkersymbol builtin to object dialect of Yul	2020-07-02 14:41:40 +02:00
a3d4	c2e1273ff4	Fixed recursive check in structureSizeEstimate	2020-07-02 04:14:58 +02:00
Leonardo Alt	5517e817d5	Do not trust code of external functions	2020-07-01 18:20:46 +02:00
Leonardo Alt	5160f89c1b	[SMTChecker] Support to external calls to unknown code	2020-07-01 18:20:33 +02:00
chriseth	1ec1166a27	Merge pull request #9277 from a3d4/improve-docstringparser-error-coverage ... Add a missing DocStringParser error to tests	2020-07-01 18:17:09 +02:00
chriseth	3d602b3190	Merge pull request #9271 from ethereum/sloadKnowledge ... [Yul Optimizer] Make DataFlowAnalyzer aware of storage / memory slot after sload / mload	2020-07-01 13:46:10 +02:00
chriseth	e0b1d8b9bd	Make DataFlowAnalyzer aware of storage / memory slot after sload / mload.	2020-07-01 13:45:25 +02:00
chriseth	ea46636ad2	Merge pull request #9281 from ethereum/fix-6772 ... Fuzzer: Add a specialized StackTooDeepError Exception that is caught …	2020-07-01 11:47:35 +02:00
Bhargava Shastry	1a0391bceb	Fuzzer: Add a specialized StackTooDeepError Exception that is caught in the fuzzing harness	2020-07-01 11:08:20 +02:00
a3d4	acd42a08c1	Add a missing DocStringParser error to tests.	2020-07-01 04:42:37 +02:00
Bhargava Shastry	b82590322c	yul proto fuzzer: Remove assertion that no errors/warnings while parsing yul code	2020-06-30 21:46:38 +02:00
chriseth	3e3f9a472f	Merge remote-tracking branch 'origin/develop' into breaking	2020-06-30 18:56:51 +02:00
Bhargava Shastry	d0ea1f97fd	Yul interpreter: Return selfbalance constant for the expression ... balance(address()) and balance constant otherwise.	2020-06-30 16:59:13 +02:00
chriseth	76943023bd	Merge pull request #9267 from ethereum/issue-8911-split ... NatSpec: Implement default inheritance.	2020-06-30 15:16:14 +02:00
Mathias Baumann	c50f0ae00e	NatSpec: Implement default inheritance.	2020-06-30 14:45:13 +02:00
Harikrishnan Mulackal	eeadb5a6b5	Tests, Docs and Changelog	2020-06-30 16:53:41 +05:30
chriseth	49e3217933	Merge pull request #9230 from ethereum/issue-8716 ... Add unit denomination ``gwei``	2020-06-30 12:36:10 +02:00
Mathias Baumann	fe33891531	Natspec: Add warning when using @author with functions	2020-06-29 18:10:36 +02:00
chriseth	a1309e4c5f	Merge pull request #9011 from ethereum/natspec-event ... NatSpec for events	2020-06-29 17:14:00 +02:00
Kamil Śliwak	3f3f8adcb8	CommandLineInterface: In error message about options disallowed in assembly mode only include the names of actually used options	2020-06-29 15:23:13 +02:00
Harikrishnan Mulackal	4146ff9fcf	NatSpec for events	2020-06-26 15:06:43 +05:30
Mathias Baumann	02328f3bbb	Add unit denomination `gwei`	2020-06-24 18:24:56 +02:00
Kamil Śliwak	a331d4449d	Add linkersymbol() builtin to Yul EVM dialect	2020-06-24 15:06:52 +02:00
Kamil Śliwak	1b09b4f950	Allow Yul literals longer than 32-bytes when used as literal arguments for builtins	2020-06-24 15:05:38 +02:00
chriseth	af0cd4ab98	Merge pull request #9252 from ethereum/develop ... Merge develop into breaking.	2020-06-23 18:28:24 +02:00
Bhargava Shastry	0397266351	Implement multi source semantic tests ... Co-authored-by: chriseth <chris@ethereum.org> Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2020-06-23 17:29:16 +02:00
chriseth	e419e904d3	Merge pull request #9215 from a3d4/fix-grammar-pragma-version ... Fix pragma solidity version in antlr grammar	2020-06-23 12:34:29 +02:00
a3d4	25ebff3a38	Fix pragma solidity version in antlr grammar	2020-06-23 02:25:21 +02:00
chriseth	d67734df6f	Fix error IDs.	2020-06-22 18:56:32 +02:00
chriseth	1441b97131	Merge remote-tracking branch 'origin/develop' into breaking	2020-06-22 18:40:20 +02:00
chriseth	98e5923e3a	Do now disallow assigning to external parameters.	2020-06-22 18:36:32 +02:00
a3d4	1d2ae7d82a	Added error codes to SyntaxTest expectations (changed code)	2020-06-22 16:53:03 +02:00
a3d4	e04cedafc5	Added error codes to SyntaxTest expectations (updated tests)	2020-06-22 16:51:47 +02:00
chriseth	cd2cc76f20	Modules are pure.	2020-06-18 18:28:04 +02:00
chriseth	b00014c51d	Fix source location of yul multi-assignemnt.	2020-06-18 14:31:53 +02:00
chriseth	76468f19fe	Check if using for refers to a library earlier.	2020-06-17 17:45:40 +02:00
chriseth	71cb7551f4	Merge pull request #9208 from ethereum/develop ... Merge develop into breaking.	2020-06-16 16:11:41 +02:00
Kamil Śliwak	50b426e37b	Update the expected output of command-line tests after wasm changes	2020-06-16 15:36:47 +02:00
chriseth	8e23899886	Merge pull request #9188 from ethereum/refactorNameAndType ... Refactor name and type resolution in preparation for free functions.	2020-06-16 14:26:52 +02:00
a3d4	5d63fa09e9	Fix false ////- and /***-natspec	2020-06-16 11:15:04 +02:00
chriseth	4b3ae0b206	Merge pull request #9075 from ethereum/commandline-invalid-asm-mode-options ... Disallow invalid command-line option combinations in assembly mode	2020-06-15 17:33:12 +02:00
chriseth	cc23794575	Merge pull request #8858 from ethereum/fix-8857 ... Add more tests for yul cleanup codegen	2020-06-15 17:18:50 +02:00
Kamil Śliwak	4bd078ed7e	CommandLineInterface: Disallow --output-dir, --gas and --combined-json in assembly mode	2020-06-15 17:12:51 +02:00
Kamil Śliwak	0d7b3ae503	CommandLineInterface: Disallow --yul-dialect and --machine when not in assembly mode	2020-06-15 17:12:51 +02:00
chriseth	8155ad2187	Merge remote-tracking branch 'origin/develop' into breaking	2020-06-15 17:11:41 +02:00
Mathias Baumann	d54e7f50ed	Natspec: Output "type" and "version" in documenation	2020-06-15 14:53:34 +02:00
chriseth	b4c6fdb1ed	Merge pull request #8749 from aarlt/structured-docs-variables-aarlt-breaking ... [BREAKING] Allow NatSpec comments for state variables.	2020-06-15 14:47:29 +02:00
Leonardo Alt	3c4e286390	[SMTChecker] Replace wrap mod by slack vars	2020-06-12 14:57:21 +02:00
chriseth	07c1167136	Refactor name and type resolution.	2020-06-12 12:18:02 +02:00
Bhargava Shastry	9264135bef	Add tests to validate clearing dirty bits via inline assembly operations	2020-06-12 11:32:15 +02:00
chriseth	0689cda19a	Merge pull request #9116 from ethereum/solYulCleanupFromStorageReference ... New test for getters.	2020-06-11 14:08:10 +02:00
chriseth	012ba9537b	Merge pull request #9184 from ethereum/fixUsingForStorage ... Fix using for with explicit reference types.	2020-06-11 14:00:28 +02:00
chriseth	c42373dce4	Merge pull request #9142 from ethereum/wasm-support-for-i32-in-generated-code ... Add support for types in Wasm AST and code generation	2020-06-11 13:59:44 +02:00
chriseth	5c71b3fbb0	Merge pull request #9173 from ethereum/fixBoundCalldata ... Fix bound functions with calldata parameters.	2020-06-11 13:31:30 +02:00
chriseth	549c90612c	Fix using for with explicit reference types.	2020-06-11 13:04:41 +02:00
Daniel Kirchner	73cd009b89	Fix struct allocation in Sol->Yul.	2020-06-11 12:16:45 +02:00
chriseth	d4e3491f35	Merge pull request #9177 from ethereum/fixYulStructMemberAccess ... [Sol -> Yul] Fix struct member access for memory and implement for calldata.	2020-06-11 09:41:04 +02:00
Kamil Śliwak	e67f5072df	Add support for generating code with i32 variables in text and binary wasm	2020-06-11 02:44:23 +02:00
Leonardo	d7f29a33b9	Merge pull request #9096 from ethereum/conversionWarningsLibSol ... Adding fixes for signedness warnings in libsolidity	2020-06-11 01:06:32 +02:00
Daniel Kirchner	90b66a7362	Fix struct member access for memory and implement for calldata.	2020-06-10 20:01:30 +02:00
chriseth	baabe65a84	Fix bound functions with calldata parameters.	2020-06-10 17:37:59 +02:00
chriseth	2410f0ed5a	Merge pull request #9135 from ethereum/fixReturnParameterLocation ... Fixing ICE on calling externally a function that returns calldata pointers	2020-06-10 16:44:38 +02:00
Djordje Mijovic	e73fe17277	Fixing ICE on calling externally a function that returns calldata pointers ... Co-authored-by: chriseth <chris@ethereum.org>	2020-06-10 14:41:45 +02:00
a3d4	51e64fe0b1	Add error IDs to console output	2020-06-10 13:27:25 +02:00
a3d4	b17915a6ba	Add error IDs to JSON	2020-06-10 13:26:51 +02:00
chriseth	6b3171c38b	Merge remote-tracking branch 'origin/develop' into breaking	2020-06-10 11:30:50 +02:00
Djordje Mijovic	c6e4943089	Adding fixes for signedness warnings in libsolidity ... Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2020-06-10 10:41:55 +02:00
chriseth	81f54a170b	Cleanup from storage.	2020-06-09 14:57:04 +02:00
Harikrishnan Mulackal	d8263d331e	Ignore warnings for yulOptimizer tests	2020-06-09 13:03:57 +02:00
Harikrishnan Mulackal	73e634924e	Warn on YUL switch statement with only default statement	2020-06-09 12:32:53 +02:00
chriseth	2724ce9511	Index access to fixed bytes and byte arrays.	2020-06-09 10:50:28 +02:00
Leonardo	1e8e0ebd13	Merge pull request #9140 from ethereum/wasm-binary-fix-memory-immediate-alignment ... Fix wrong alignment for Wasm store/load with 8-, 16- and 32-bit arguments	2020-06-09 10:42:21 +02:00
Leonardo Alt	f49e2424b2	[SMTChecker] Erase knowledge when array variable is pushed	2020-06-08 10:23:06 +02:00
Kamil Śliwak	fe0a0802b2	wasm/BinaryTransform: Fix wrong alignment for .load/.store with arguments smaller than 64-bits	2020-06-06 00:00:46 +02:00
Kamil Śliwak	976a0f9395	wasm/BinaryTransform: Don't add an empty local entry in binary wasm if there are no locals	2020-06-05 21:03:06 +02:00
Leonardo	d243f5baac	Merge pull request #9045 from ethereum/smt_fix_tuple ... [SMTChecker] Fix internal error in tuples of tuples.	2020-06-05 14:21:32 +02:00
Leonardo	731e6466a0	Merge pull request #9067 from ethereum/smt_fix_fp_again ... [SMTChecker] Fix BMC targets with FP	2020-06-05 12:39:28 +02:00
Daniel Kirchner	0fed2518fc	Merge pull request #9115 from ethereum/moreTestsForGetters ... More tests for getters.	2020-06-05 12:34:47 +02:00
Leonardo Alt	87ceb72b82	[SMTChecker] Fix internal error in tuples of tuples.	2020-06-05 12:20:47 +02:00
Djordje Mijovic	9b3d1c11ff	yul-phaser: A few more tweaks to ensure that signedness conversions do not cause warnings ... - Don't cast booleans to int when the result gets assigned to an unsigned type. Relace them with ifs. - Use unsigned initializer for a variable declared in a lambda capture. - Unsigned abs() of a difference of unsigned values.	2020-06-04 17:18:07 +02:00
Djordje Mijovic	a49a127627	yul-phaser: Use ptrdiff_t for iterator arithmetic	2020-06-04 17:17:40 +02:00
chriseth	f97b376f7e	Merge pull request #9040 from ethereum/yulproto-remove-pc ... ossfuzz: Remove PC from yul proto specification	2020-06-04 10:19:26 +02:00
chriseth	259292c884	Merge pull request #9118 from ethereum/develop ... Merge develop into breaking.	2020-06-04 10:18:46 +02:00
chriseth	010a2246c7	More tests for getters.	2020-06-03 21:47:24 +02:00
chriseth	6b5f83cdfa	Merge pull request #9058 from ethereum/memberAccessSolYul ... [Sol->Yul] Member access for structs.	2020-06-03 21:19:49 +02:00
chriseth	f38e3a3574	Merge pull request #9056 from ethereum/solYulGetters ... [Sol->Yul] Implement getters.	2020-06-03 19:08:15 +02:00
chriseth	59fc88ca17	Merge pull request #9092 from ethereum/libEvmasmConversionWarnings ... Fixing signedness conversion warnings in libevmasm	2020-06-03 18:46:49 +02:00
chriseth	5024985708	Merge pull request #9074 from ethereum/commandline-fix-wasm-crash-if-no-dialect ... Fix ICE when selecting assembly variant with no Ewasm translation	2020-06-03 14:24:41 +02:00
chriseth	d12db7ec52	Merge pull request #8994 from ethereum/fixInvertedBinaryOp ... Fix type inversion for shift and exp operators.	2020-06-03 14:11:16 +02:00
chriseth	1f49edd29d	Merge pull request #9039 from ethereum/yul-remove-pc-instr ... [Yul] remove PC instruction	2020-06-03 14:10:35 +02:00
Mathias Baumann	6f8b5fe53b	Disallow override with non-public state variables	2020-06-03 14:03:26 +02:00
chriseth	c8b9d24eba	Merge pull request #9106 from ethereum/develop ... Merge develop into breaking.	2020-06-03 13:51:28 +02:00
chriseth	a6c773bd96	Fix type inversion for shift and exp operators.	2020-06-03 13:46:26 +02:00
Djordje Mijovic	e4e3f49844	Fixing signedness conversion warnings in libevmasm ... Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>	2020-06-03 13:25:43 +02:00
Christian Parpart	9820df58ab	Remove Yul instruction PC and adapt tests accordingly.	2020-06-03 12:49:23 +02:00
Christian Parpart	c708a1bec2	AsmAnalysis: Fixes a superfluous whitespace in an error string	2020-06-03 12:23:06 +02:00
chriseth	849b16babb	Merge pull request #9095 from ethereum/conversionWarningsLibSolUtil ... Adding fixes for signedness warnings in libsolutil	2020-06-03 11:10:54 +02:00
chriseth	ebf5a8702f	Merge pull request #9078 from a3d4/fix-tabs-in-formatter ... Fix tabs in SolcReferenceFormatterHuman	2020-06-03 11:07:39 +02:00
chriseth	e7f3c042b6	Struct member access for storage and memory.	2020-06-03 10:37:39 +02:00
Djordje Mijovic	4b6c322279	Fixing various signedness warnings	2020-06-03 10:37:18 +02:00
chriseth	37e8d78cff	[Sol->Yul] Implement getters.	2020-06-03 10:33:37 +02:00
a3d4	41d8420718	Fix tabs in SolcReferenceFormatterHuman	2020-06-02 21:43:51 +02:00
Leonardo	96ce4abe0e	Merge pull request #9069 from ethereum/smt_try ... [SMTChecker] Fix internal error on try/catch	2020-06-02 21:09:49 +02:00
chriseth	8ab8d5b1b0	Do not try compiling via yul if explicitly forbidden.	2020-06-02 19:55:33 +02:00
Djordje Mijovic	b4454c4925	Adding fixes for signedness warnings in libsolutil	2020-06-02 19:01:29 +02:00
chriseth	c07254f5ac	Merge pull request #9055 from ethereum/issue-8881 ... Output error when forward referencing constants in inline assembly	2020-06-02 17:10:56 +02:00
chriseth	837e29fff8	Merge pull request #9084 from ethereum/remove-dead-code-from-execution-framework ... Remove dead code from SolidityExecutionFramework::compileContract()	2020-06-02 17:00:27 +02:00
chriseth	e9212149f5	Merge pull request #9098 from ethereum/conversionWarningsYulInterpreter ... Adding fixes for signedness warnings in test/tools/yulInterpreter	2020-06-02 16:55:40 +02:00
Leonardo Alt	10162016ae	[SMTChecker] Fix internal error on try/catch	2020-06-02 16:51:53 +02:00
chriseth	9c92562e28	Merge pull request #9059 from ssi91/refactor-interactive-tests ... Refactor interactive tests	2020-06-02 16:50:31 +02:00
Djordje Mijovic	1ee6c49028	Adding fixes for signedness warnings in test/tools/yulInterpreter	2020-06-02 16:35:41 +02:00
ssi91	79407c87fb	remove extra definition of printIndented ... add CommonBaseTestCase class and inherit some of TestCase classes from it. Since that, remove print source extra definitions create the base defifnition for printUpdatedExpectations and remove extra definitions of the method make CommonBaseTestCase c-tor explicit include AnsiColorized.h and sort includes implement a common result checker move the common implementations into TastCase	2020-06-02 21:15:00 +07:00
Leonardo	97cb091ada	Merge pull request #9068 from ethereum/smt_fix_state_var_init_call ... [SMTChecker] Relax assertion about callstack	2020-06-02 15:53:14 +02:00
Mathias Baumann	bdc2c63327	Output error when forward referencing constants in inline assembly	2020-06-02 14:37:54 +02:00
Leonardo Alt	ede39fc2da	[SMTChecker] Relax assertion about callstack	2020-06-02 12:50:51 +02:00
Kamil Śliwak	9bb9b6345c	SolidityExecutionFramework: Fix indentation ... - This code can never be reached because CompilerStack.compile() called above does the same analysis and fails if it's not successful.	2020-06-01 18:25:02 +02:00
Kamil Śliwak	df7b82bf31	SolidityExecutionFramework: Remove dead code for handling errors from parsing and analysis ... - This code can never be reached because CompilerStack.compile() called above does the same analysis and fails if it's not successful.	2020-06-01 18:24:31 +02:00
Kamil Śliwak	311f025eb5	SolidityExecutionFramework: Fix compileContract() to print Yul errors from the correct source	2020-06-01 18:17:50 +02:00
Kamil Śliwak	ef133aa670	CommandLineInterface: Display an error instead of crashing when assembly variant has no Ewasm translation	2020-05-30 03:09:42 +02:00
Leonardo Alt	2128ff9f13	Fix ICE on push for member access	2020-05-29 19:13:27 +02:00
Leonardo Alt	e5d25692a5	[SMTChecker] Fix BMC targets with FP	2020-05-29 18:13:13 +02:00
chriseth	0b216f5771	Merge pull request #9050 from ethereum/smt_fix_nonvalue_asgn ... [SMTChecker] Fix ICE on index access assignment inside single branches	2020-05-28 16:25:46 +02:00
chriseth	65d8b6cf75	Merge pull request #9033 from a3d4/partfix-5819-add-errorid-to-error-class ... Add unique ID to Error class	2020-05-28 16:24:47 +02:00
Leonardo	1051cea91c	Merge pull request #9052 from ethereum/smt_add_test_delete_m_d_array ... [SMTChecker] Add test that deletes arrays	2020-05-28 16:14:55 +02:00
Leonardo Alt	9b0146be42	Add test	2020-05-28 15:56:47 +02:00
Leonardo Alt	ec766958ea	Add test	2020-05-28 13:14:21 +02:00
Leonardo Alt	13f32268da	[SMTChecker] Add test that shows that deleting arrays takes the index into account	2020-05-28 13:08:16 +02:00
chriseth	f608e50bad	Merge pull request #9029 from ethereum/fewerInternalSourceRefs ... Do not set source locations for small internal assembly routines.	2020-05-28 11:14:20 +02:00
chriseth	ee8307ceed	Merge pull request #9044 from ethereum/issue-9028 ... Fix failure to find overload resolution when overrides are involved	2020-05-28 10:33:01 +02:00
Bhargava Shastry	61431d2c59	ossfuzz: Remove PC from yul proto specification	2020-05-28 10:09:38 +02:00
a3d4	be83c54d79	Throw TestParserError instead of Error in tests	2020-05-28 02:26:17 +02:00
Leonardo Alt	9e9f0c52e1	[SMTChecker] Support to bitwise	2020-05-27 20:59:00 +02:00
Mathias Baumann	a846c18e67	Fix failure to find overload resolution when overrides are involved	2020-05-27 18:31:56 +02:00
chriseth	eb923af09c	Do not set source locations for small internal assembly routines.	2020-05-27 18:26:46 +02:00
chriseth	894478ff8c	Merge pull request #9038 from ethereum/develop ... Merge develop into breaking.	2020-05-27 15:24:27 +02:00
chriseth	a06ac0f39f	Merge pull request #8958 from ethereum/evm-version-dependent-rules ... [yul] Add support for EVM version-dependent rules.	2020-05-27 12:52:51 +02:00
chriseth	afa873fe9f	Merge pull request #8913 from ethereum/yul-remove-pc-instr ... Mark EVM instruction `pc()` as deprecated when used in inline assembly.	2020-05-27 12:10:32 +02:00
Christian Parpart	b7fa5d5040	Mark EVM instruction pc() as deprecated when used in inline assembly.	2020-05-27 12:07:23 +02:00
Alexander Arlt	a7b89065ca	[yul] Add support for EVM version-dependent rules.	2020-05-27 11:57:08 +02:00
chriseth	1bf706085d	Merge pull request #9030 from ethereum/issue-8923 ... Fix ICE when trying to decode too large static arrays	2020-05-27 11:45:39 +02:00
chriseth	0aa3fb5026	Merge pull request #9014 from ethereum/sol-yul-abidecode ... [Sol - Yul] Add support for ABIDecode.	2020-05-27 11:44:13 +02:00
chriseth	f066050ec0	Merge pull request #9024 from ethereum/namableTypes ... Disallow non-namable types for inline arrays.	2020-05-27 09:21:07 +02:00
Kamil Śliwak	f574d8ec3a	Don't assume that an expression cannot be associated with a function declaration	2020-05-27 00:05:18 +02:00
Alexander Arlt	118cb13476	[Sol - Yul] Add support for ABIDecode.	2020-05-26 13:30:37 -05:00
Mathias Baumann	884e7cbffc	Fix ICE when trying to decode too large static arrays	2020-05-26 19:36:18 +02:00
Alexander Arlt	cb5bfc7436	Update natspec comments on state variables. ... - changing some warnings to errors	2020-05-26 11:18:24 -05:00
chriseth	d0b6de580f	Disallow non-namable types for inline arrays.	2020-05-26 18:17:35 +02:00
chriseth	50b200a5d5	Merge pull request #8797 from ethereum/sol-yul-populating-internal-dispatch-on-demand ... [Sol->Yul] Populating internal dispatch on demand	2020-05-26 18:17:05 +02:00
Mathias Baumann	b3cafe4583	Fix ICE by avoiding copyForLocation() on ArraySliceType	2020-05-26 17:27:46 +02:00
Kamil Śliwak	1a2e441bc5	Generate internal dispatch only for functions that might actually get called via pointers ... - This also adds support for internal library calls as a side-effect since they'll now be pulled into the internal dispatch automatically.	2020-05-26 17:01:50 +02:00
chriseth	c5dbcc9853	Merge pull request #9018 from ethereum/fixLeave ... Fix implementation of leave.	2020-05-26 11:35:47 +02:00
chriseth	33450619b1	Checks for uninitialized access to calldata variables.	2020-05-26 10:51:13 +02:00
chriseth	fb40a8abb8	Test updates.	2020-05-26 10:51:13 +02:00
chriseth	99194b1450	New tests.	2020-05-26 10:51:13 +02:00
chriseth	bd64e537cb	Fix implementation of leave.	2020-05-26 10:24:01 +02:00
Djordje Mijovic	4c3e78d046	Disallowing shifts by signed types	2020-05-26 10:18:21 +02:00
chriseth	69a028b49c	Merge remote-tracking branch 'origin/develop' into breaking	2020-05-26 10:11:23 +02:00
chriseth	370350da07	Merge pull request #9008 from ethereum/smt_add_test ... [SMTChecker] Add test that has an unused mapping	2020-05-25 17:04:54 +02:00
chriseth	6d64095ccf	Merge pull request #8987 from ethereum/sol-yul-bound-functions ... [Sol->Yul] Bound functions	2020-05-25 16:53:33 +02:00
chriseth	8e31c345a8	Merge pull request #8978 from ethereum/disturbance_stack ... Add proper unipmlemented errors for array copying	2020-05-25 15:34:45 +02:00
Mathias Baumann	7f3d437ffe	Fix caret position for errors with utf source	2020-05-25 14:27:03 +02:00
Mathias Baumann	d45bb2aa07	Add proper unipmlemented errors for array copying	2020-05-25 10:48:42 +02:00
Leonardo Alt	0fda5fe077	[SMTChecker] Add test that has an unused mapping	2020-05-25 10:24:48 +02:00
a3d4	a499ef16fa	Fix spelling errors	2020-05-25 02:54:37 +02:00
Kamil Śliwak	4a2ce57bed	Add support for bound function calls in IR generator	2020-05-20 21:10:20 +02:00
chriseth	74b9b094c0	Merge remote-tracking branch 'origin/develop' into HEAD	2020-05-20 17:22:47 +02:00
chriseth	32bec6b374	Merge pull request #8800 from ethereum/natspec-bugfix ... [BREAKING] NatSpec bugfix	2020-05-20 17:21:15 +02:00
chriseth	ed0f2d463f	Merge pull request #8453 from imapp-pl/configurable-code-size-metric ... Configurable CodeSize metric	2020-05-20 17:15:41 +02:00
hrkrshnn	37257548d0	Fixed bug when two empty NatSpec comments led to scanning past EOL	2020-05-20 20:26:02 +05:30
Kamil Śliwak	1fa689e951	[yul-phaser] ProgramCache::calculateTotalCachedCodeSize(): Replace default weights with ones that better correlate with memory usage	2020-05-20 16:47:23 +02:00
Kamil Śliwak	b776021870	[yul-phaser] Command-line options for altering weights used by CodeSize metric	2020-05-20 16:47:23 +02:00
Kamil Śliwak	40dfac7683	[yul-phaser] Require specifying weights for Program::codeSize()	2020-05-20 16:47:23 +02:00
Kamil Śliwak	d199fc537b	Add configurable weights to CodeSize metric	2020-05-20 16:47:23 +02:00
Leonardo	56b5f1bb12	Merge pull request #8976 from ethereum/libsmtutil ... libsmtutil	2020-05-20 16:14:37 +02:00
hrkrshnn	4a001d568e	Removed null members from JSON output	2020-05-20 16:56:33 +05:30
chriseth	84092edc5d	Merge pull request #8914 from random-internet-cat/down-with-unique-ptr ... Down with unique_ptr!	2020-05-20 13:22:06 +02:00
Leonardo Alt	45eba27424	Rename namespace	2020-05-20 12:55:18 +02:00
Leonardo Alt	802d66244d	Do not link unnecessarily	2020-05-20 12:55:18 +02:00
Leonardo Alt	087605ea02	Create libsmtutil	2020-05-20 12:55:18 +02:00
chriseth	30278c4b88	Merge pull request #8985 from ethereum/fixWasmLoops ... Fix webassembly loops by adding explicit break at the end.	2020-05-20 11:08:24 +02:00
chriseth	3c71412a47	Merge pull request #8988 from ethereum/isoltest_default_formatting ... [isoltest] Improve parameter formatting.	2020-05-20 08:05:33 +02:00
Alexander Arlt	410986e00f	[isoltest] Improve parameter formatting.	2020-05-19 19:13:39 -05:00
chriseth	4e9f6c3508	Fix webassembly loops by adding explicit break at the end.	2020-05-19 22:16:16 +02:00
chriseth	22d5caa979	Merge pull request #8532 from aarlt/structured-docs-variables-aarlt ... Allow NatSpec comments for state variables	2020-05-19 19:26:35 +02:00
chriseth	d422a406ba	Merge pull request #8983 from ethereum/develop ... Merge develop into breaking.	2020-05-19 18:05:28 +02:00
Kamil Śliwak	16e80b7bcd	Test case for internal dispatch with functions that have arguments that take up multiple slots	2020-05-19 18:02:14 +02:00
Alexander Arlt	af8bb5fb60	Allow natspec comments on state variables.	2020-05-19 11:01:52 -05:00
Erik Kundt	7d37ed4531	Adds structured docs for variable declarations. ... - adds natspec generation for state variables. - exports structured docs for state variables to JSON.	2020-05-19 11:01:52 -05:00
Djordje Mijovic	bd64b971b9	Fixing tests on breaking branch.	2020-05-19 17:42:19 +02:00
chriseth	f70ff0dfaa	Merge pull request #8977 from ethereum/mapping-type-error ... Error when Mapping type in (non-local) storage is assigned to	2020-05-19 16:52:54 +02:00
Harikrishnan Mulackal	774edd4670	Error when Mapping type in (non-local) storage is assigned to	2020-05-19 19:12:38 +05:30
chriseth	3b27b4347c	Merge pull request #8916 from ethereum/smt_array_push_pop ... [SMTChecker] Support array push/pop	2020-05-19 15:41:10 +02:00
chriseth	3211e22045	Merge pull request #8979 from ethereum/doc-json ... [Trival] Test: Output JSON AST as array when it involves multiple sources	2020-05-19 15:29:24 +02:00
chriseth	3275243c89	Merge pull request #8898 from mijovic/sol2YulByteArrayPush ... [Sol->Yul] Implementing ByteArray push() and pop()	2020-05-19 15:28:01 +02:00
Djordje Mijovic	d235d0c166	[Sol->Yul] Implementing Byte array push() and pop()	2020-05-19 14:47:00 +02:00
Mathias Baumann	5a7217b90e	Test: Output JSON AST as array when it involves multiple sources	2020-05-19 14:26:08 +02:00
Leonardo Alt	1ab6ad79d8	Update test expectation	2020-05-18 16:59:31 +02:00
Leonardo Alt	2435ab938c	Add verification target for empty pop	2020-05-18 16:35:56 +02:00
Leonardo Alt	d4d26c02e4	Assume that push will not overflow	2020-05-18 16:35:56 +02:00
Jason Cobb	63ad1092cd	Add comment to filenames in boostTest.cpp	2020-05-18 10:24:38 -04:00
chriseth	f92a4f1965	Provide runtime object in Yul mode.	2020-05-18 13:48:23 +02:00
Harikrishnan Mulackal	4a291f8551	Changelog and test	2020-05-18 12:36:01 +05:30
Leonardo Alt	07bb1952a7	Test updates	2020-05-14 23:32:30 +02:00
Leonardo Alt	a0c605aa85	[SMTChecker] Support array length	2020-05-14 23:32:29 +02:00
chriseth	2d1e7d9504	Merge pull request #8931 from random-internet-cat/lazy-init ... Add LazyInit	2020-05-14 18:54:19 +02:00
chriseth	7ef114db9a	Merge pull request #8841 from ethereum/sol_yul_ripemd160_ecrecover ... [Sol - Yul] Add support for ripemd160 & ecrecover.	2020-05-14 18:43:55 +02:00
Alexander Arlt	91e9d54c71	[Sol - Yul] Add support for ripemd160 & ecrecover.	2020-05-14 10:44:39 -05:00
Jason Cobb	a093962115	Add tests	2020-05-14 11:27:56 -04:00
chriseth	993a7941b1	Merge remote-tracking branch 'origin/develop' into breaking	2020-05-14 17:24:40 +02:00
Jason Cobb	26406e40d0	Add empty LazyInit test suite	2020-05-14 10:49:31 -04:00
Jason Cobb	24dfa89ee7	Use LazyInit for cached contract compilations	2020-05-14 10:36:58 -04:00
chriseth	b71a3f1f1d	Merge pull request #8939 from ethereum/updateZ3 ... Update z3 to version 4.8.8.	2020-05-14 16:36:49 +02:00
chriseth	1b86f27002	Merge pull request #8935 from ethereum/moveScopesIntoResolver ... Move scopes into resolver.	2020-05-14 14:20:58 +02:00
Daniel Kirchner	0303902173	Update smt test expectations.	2020-05-14 14:12:01 +02:00
chriseth	e751a1c23d	Move scopes into resolver.	2020-05-14 13:16:47 +02:00
chriseth	257bc6a416	Merge remote-tracking branch 'origin/develop' into breaking	2020-05-14 13:04:46 +02:00
Djordje Mijovic	472fb21ee0	[Sol->Yul] Enabling new bytes(n)	2020-05-14 12:55:14 +02:00
chriseth	6308ca4a22	Binary transform for br and br_if.	2020-05-14 11:30:19 +02:00
chriseth	504b8d29c9	Merge pull request #8907 from ethereum/licenseIdentifier ... Check for SPDX license identifiers.	2020-05-14 01:21:24 +02:00
Alex Beregszaszi	c9745ea101	EVMHost: enable support for Berlin	2020-05-13 22:56:11 +01:00
Alex Beregszaszi	7353804252	EVMHost: simplify code using new evmc features	2020-05-13 22:56:11 +01:00
Alex Beregszaszi	098cfd333f	Update EVMC to 7.2.0	2020-05-13 22:29:35 +01: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	7da453014d	Fix source location of yul variable declarations without value.	2020-05-12 17:45:19 +02:00
chriseth	efd2f63c2c	Merge pull request #8706 from ethereum/solProtoSkeleton ... ossfuzz: Add sol proto fuzzer skeleton	2020-05-12 17:15:23 +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
Bhargava Shastry	596ac018f5	Fuzzer: Add test harness for solidity inheritance protobuf fuzzer ... Co-Authored-By: Leonardo <leo@ethereum.org>	2020-05-11 23:56:27 +02:00
Bhargava Shastry	00946f3ea0	ossfuzz: Add sol proto fuzzer skeleton ... Co-Authored-By: Leonardo <leo@ethereum.org>	2020-05-11 23:56:27 +02:00
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	f1e0aa7a56	Merge pull request #8763 from ethereum/bareCall ... IR code generation for call.	2020-05-11 16:06:54 +02:00
chriseth	3312150d7f	Merge pull request #8878 from ethereum/selecting-yul-optimisation-steps-in-strict-assembly-mode ... Selecting Yul optimisation steps in strict assembly mode	2020-05-11 16:05:57 +02:00
chriseth	c0bf529236	Support bare calls.	2020-05-11 15:11:46 +02:00
chriseth	4c13ce24f0	Merge pull request #8887 from ethereum/boost-fs ... Remove boost::filesystem where it is not needed	2020-05-11 15:09:54 +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
Alex Beregszaszi	c31a93b3f2	Remove boost::filesystem where it is not needed ... A two uses in CommonIO remain for the compiler (plus testing/tools use it extensively)	2020-05-11 11:19:11 +01: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
Kamil Śliwak	6a58227830	CommandLineInterface: Make --yul-optimizations work in strict assembly mode	2020-05-08 22:29:57 +02:00
Kamil Śliwak	f56fd5bde8	cmdlineTests.sh: Allow using input.yul instead of input.sol in command-line tests	2020-05-08 22:05:04 +02:00
Harikrishnan Mulackal	4e58c672bb	Merge pull request #8855 from ethereum/update-external-repos ... Updated external test repos	2020-05-08 22:51:48 +05:30
Harikrishnan Mulackal	704b334cf6	Updated external test repos	2020-05-08 21:39:02 +05:30
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
chriseth	4058ce8fe5	Merge pull request #8870 from ethereum/fix-conflicting-symbols-in-yulopti-and-optimiser-suite ... Fix conflicting symbols in yulopti and OptimiserSuite	2020-05-07 17:40:17 +02:00
Kamil Śliwak	156bfadad3	yulopti: Fix conflict between 'l' in yulopti and OptimiserSuite and make future conflicts less likely ... - OptimizerSuite uses letters so switching to punctuation marks in yulopti should help.	2020-05-07 17:27:24 +02:00
Kamil Śliwak	d3d1520870	yulopti: Add an error message to assetion triggered when an optimizer step abbreviation conflicts with yulopti controls	2020-05-07 17:21:39 +02:00
Kamil Śliwak	3e9fa7e388	yulopti: Print errors to stderr rather than stdout	2020-05-07 17:16:50 +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
chriseth	4c1e821e01	Merge pull request #8845 from ethereum/solYulCleanup ... [Sol->Yul] Cleanup for checked arithmetic and comparisons.	2020-05-05 17:58:36 +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	7b48c120b5	Always enforce via yul for isoltest runs.	2020-05-05 14:08:59 +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	3738cff6e6	Test updates.	2020-05-04 15:00:50 +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
chriseth	cc3992452f	Merge pull request #8791 from random-internet-cat/fix-8406 ... Fix broken assertion in ContractCompiler	2020-04-28 19:46:30 +02:00
Jason Cobb	8973732b74	Compare categories instead of types in ContractCompiler(740)	2020-04-28 13:13:45 -04:00
yoni206	4327434d07	Adding bit-vector NOT operation to the opcodes.	2020-04-28 09:43:31 -07:00
chriseth	55e34407d3	Merge pull request #8726 from ethereum/fix-8724 ... Yul proto spec: Add multiple variable declaration statement	2020-04-28 13:13:07 +02:00
chriseth	1fe55370f4	Merge remote-tracking branch 'origin/develop' into HEAD	2020-04-28 13:02:06 +02:00
hrkrshnn	a58b5b2bbe	Changed repo to upstream; branches to latest	2020-04-28 16:03:52 +05:30
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
Alex Beregszaszi	99aa821410	Merge pull request #8720 from ethereum/irSha256 ... IR generation for sha256.	2020-04-27 13:44:26 +01:00
chriseth	3828adbbbd	Merge pull request #8761 from ethereum/conditonalStrings ... Conditional strings for Whiskers.	2020-04-27 14:07:30 +02:00
Bhargava Shastry	5113af1df0	Update test/tools/ossfuzz/protoToYul.h ... Co-Authored-By: Leonardo <leo@ethereum.org>	2020-04-27 14:01:11 +02:00
Bhargava Shastry	62e5ccec90	Minor code factoring to clarify for init scope extension	2020-04-27 14:01:11 +02:00
Bhargava Shastry	7280ed716a	Yul proto spec: Add multiple variable declaration statement	2020-04-27 14:01:11 +02:00
chriseth	5b92dedeed	Merge pull request #8753 from a3d4/fix-sourcereferenceformathuman-leftpad ... Fix leftpad in SourceReferenceFormatterHuman	2020-04-27 11:22:14 +02:00
chriseth	dda883b585	IR generation for sha256.	2020-04-27 11:10:20 +02:00
chriseth	aa8107f45a	Conditional strings for Whiskers.	2020-04-27 11:07:56 +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	35cc64e33d	Add --yul-optimizations option to the command-line interface	2020-04-24 17:30:56 +02:00
Kamil Śliwak	c41a832f65	Move the default optimisation steps from OptimiserSuite to OptimiserSettings ... - Now it's a mandatory parameter in OptimiserSuite::run()	2020-04-24 17:30:56 +02:00
chriseth	dd7aebe7f1	Merge pull request #8769 from ethereum/fix-cmdlinetests-not-removing-tmp-all-files ... Fix cmdlineTests.sh not removing all tmp.XXXXXX files	2020-04-24 15:35:17 +02:00
Kamil Śliwak	172b6c245f	cmdlineTests.sh: Fix the script not removing all temporary files it creates in /tmp ... - The script was leaving hundreds of loose `tmp.XXXXXX` and `tmp.XXXXXX.bak` files in `/tmp` after each run - There's a trap handler that removes them but it's being registered multiple times in a loop and only the last one actually runs when the script exits. It's still useful because it removes the remaining files from the most recent iteration but on its own it's not enough to clean up everything.	2020-04-24 15:09:26 +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
a3d4	8717c073a6	Fix leftpad in SourceReferenceFormatterHuman	2020-04-24 00:34:24 +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
chriseth	d136e7dc95	Rules for optimizing idempotency for bitwise operations.	2020-04-23 14:21:00 +02:00
chriseth	ed2a42610b	Merge pull request #8730 from ethereum/reduceMultipleConsecutiveLines ... Yul formatting: Reduce multiple consecutive empty lines to a single one.	2020-04-23 14:11:09 +02:00
chriseth	d25b16ed55	Merge pull request #8737 from ethereum/yulProtoDisallowEmpty ... Disallow statements containing empty blocks e.g., empty if, for etc.	2020-04-23 14:10:36 +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	0c5aa36e46	Merge pull request #8516 from imapp-pl/yul-phaser-crossover-operators ... [yul-phaser] Crossover operators	2020-04-23 13:50:39 +02:00
chriseth	f82f167290	Yul formatting: Reduce multiple consecutive empty lines to a single one.	2020-04-23 13:49:12 +02:00
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
Bhargava Shastry	f78414b333	Disallow statements containing empty blocks e.g., empty if, for, function definition	2020-04-23 10:07:36 +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
Leonardo Alt	606153ba71	Add optimizer rules for repeated and	2020-04-22 10:20:59 +02:00
chriseth	6900544f0d	Merge pull request #8651 from a3d4/modify-evmone-version ... Update evmone version to v0.4 in docs and scripts	2020-04-20 16:49:10 +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
Kamil Śliwak	d9e2735361	[yul-phaser] Add options for selecting crossover operator used by the algorithms	2020-04-20 15:30:10 +02:00
Kamil Śliwak	1ada2a52fb	[yul-phaser] Mutations: Add two-point and uniform crossover operators	2020-04-20 15:30:10 +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	00a53c95e3	Merge pull request #8694 from ethereum/out-of-tree-build-dir ... Out-of-tree SOLIDITY_BUILD_DIR	2020-04-20 15:15:52 +02:00
Bhargava Shastry	ea5b64ca9e	Fuzzer: Permit linking of libraries in compilation framework	2020-04-20 14:28:38 +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	3e65bcfd7f	Allow SOLIDITY_BUILD_DIR outside of REPO_ROOT in scripts that respect this variable	2020-04-17 19:09:22 +02:00
Kamil Śliwak	3180e6c5a2	cmdlineTests.sh: Fix missing details in some error messages ... - As far as I know $STDERR is not a standard shell variable and it's not defined in the file either.	2020-04-17 15:45:17 +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	95349b3634	Merge pull request #8672 from ethereum/fixYulEmptyTupleAssign ... Fix tuple assignments for empty tuples in Yul IR.	2020-04-15 12:36:46 +02:00
chriseth	aff1e93caa	Merge pull request #8571 from aarlt/clang-tidy-apply-modernize-pass-by-value ... clang-tidy: Apply modernize-pass-by-value.	2020-04-15 12:06:25 +02:00
chriseth	703b6efb55	Merge pull request #8515 from imapp-pl/yul-phaser-classic-genetic-algorithm ... [yul-phaser] Classic genetic algorithm	2020-04-15 12:01:51 +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
Alexander Arlt	aac7a1e434	Apply modernize-pass-by-value.	2020-04-14 10:32:13 -05:00
a3d4	760ae7f584	Update evmone version to v0.4 in docs and scripts	2020-04-14 14:34:47 +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	a7a1feb1b8	Merge pull request #8626 from ethereum/immutable-functioncallgraph ... Prepare literalArguments for immutable builtin functions	2020-04-09 15:46:02 +02:00
Mathias Baumann	5203503583	Allow for per-parameter literalValues builtin functions	2020-04-08 16:41:38 +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
chriseth	baefab78d8	Merge pull request #8628 from ethereum/fiximmutableastexport ... Export immutability.	2020-04-07 18:37:09 +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	823a119117	Merge pull request #8570 from aarlt/clang-tidy-apply-modernize-use-emplace ... clang-tidy: Apply modernize-use-emplace.	2020-04-07 17:28:50 +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
Kamil Śliwak	0efea99fa5	[yul-phaser] Phaser: Allow selecting the classic algorithm on the command line	2020-04-06 19:06:08 +02:00
Kamil Śliwak	f6783c60b2	[yul-phaser] GeneticAlgorithms: Add ClassicGeneticAlgorithm	2020-04-06 19:06:08 +02:00
Kamil Śliwak	8c86a4983d	[yul-phaser] Population: Add combine()	2020-04-06 19:06:08 +02:00
Kamil Śliwak	ef8d0888af	[yul-phaser] Population: Add symmetricCrossoverWithRemainder()	2020-04-06 19:06:08 +02:00
Kamil Śliwak	59011fcde6	[yul-phaser] Mutations: Add mutationSequence()	2020-04-06 19:06:08 +02:00
Kamil Śliwak	0837a62d5c	[yul-phaser] Mutations: Add symmetricRandomPointCrossover()	2020-04-06 19:06:08 +02:00
Kamil Śliwak	b6f8ecf755	[yul-phaser] Selections+PairSelections: Add RandomSubset and PairsFromRandomSubset	2020-04-06 19:06:08 +02:00
Kamil Śliwak	7381068dcc	[yul-phaser] Make the Population constructor that takes individuals public and use it to speed up some operations	2020-04-06 19:06:08 +02:00
Kamil Śliwak	2750bb9b90	[yul-phaser] TestHelpers: Generic operator << for printing tuples in boost tests	2020-04-06 19:06:08 +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	84d7bac4f6	Format immutable references similarly to link references.	2020-04-06 11:21:53 +02:00
Daniel Kirchner	81652686be	Debug information for immutable references.	2020-04-06 10:56:42 +02:00
hrkrshnn	7e2cb9b57c	Removed virtual from a library function in gnosis test	2020-04-03 15:49:50 +05:30
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
Alexander Arlt	90bb1d8a7c	Apply modernize-use-emplace.	2020-04-02 17:35:48 -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
chriseth	3224785381	Merge pull request #8569 from aarlt/clang-tidy-apply-modernize-use-nullptr ... clang-tidy: Apply modernize-use-nullptr.	2020-04-02 10:38:54 +02:00
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
Alexander Arlt	616fd8df1e	Apply modernize-use-nullptr.	2020-04-01 12:46:19 -05: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	ff23f165f0	Merge pull request #8452 from imapp-pl/yul-phaser-more-output ... [yul-phaser] More output	2020-03-25 16:43:05 +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
Kamil Śliwak	3f524ccfe5	[yul-phaser] Population: Print individuals in a more compact way	2020-03-25 10:21:18 +01:00
Kamil Śliwak	10e8d3616c	[yul-phaser] AlgorithmRunner: Print total time when showing only the top chromosome	2020-03-25 10:21:18 +01:00
Kamil Śliwak	cd16a6e178	[yul-phaser] Add --show-cache-stats option	2020-03-25 10:21:18 +01:00
Kamil Śliwak	3e35decf2b	[yul-phaser] ProgramCache: Add ability to gather cache stats	2020-03-25 10:21:18 +01:00
Kamil Śliwak	47c3b558f2	[yul-phaser] AlgorithmRunner: Print elapsed time after each round	2020-03-25 10:21:18 +01:00
Kamil Śliwak	c875b3d944	[yul-phaser] Add --show-only-top-chromosome and --hide-round options	2020-03-25 10:21:18 +01:00
Kamil Śliwak	ec10a3d378	[yul-phaser] Add --show-initial-population option	2020-03-25 10:21:18 +01:00
Kamil Śliwak	d6b96063f8	[yul-phaser] AlgorithmRunner: Make all tests use population from AlgorithmRunnerFixture	2020-03-25 10:21:18 +01:00
Kamil Śliwak	a97aeb0e6e	[yul-phaser] AlgorithmRunner: A stronger test for run() output	2020-03-25 10:21:18 +01:00
a3d4	339f3ca32c	Fix #8427: Promoted typeError to fatalTypeError in ReferencesResolver::endVisit(UserDefinedTypeName).	2020-03-25 02:51:34 +01:00
chriseth	28c0bc5929	Merge pull request #8451 from imapp-pl/yul-phaser-program-cache ... [yul-phaser] Program cache	2020-03-24 23:02:53 +01:00
chriseth	0029b8bbbf	Merge pull request #8472 from ethereum/immutableCodegen ... Immutable codegen	2020-03-24 22:34:13 +01:00
Kamil Śliwak	98db50ccac	[yul-phaser] Add --program-cache option	2020-03-24 17:39:24 +01:00
Kamil Śliwak	3b49fbb8a5	[yul-phaser] Add ProgramCacheFactory class	2020-03-24 17:39:24 +01:00
Kamil Śliwak	e2ff9698d3	[yul-phaser] AlgorithmRunner: Add support for ProgramCache	2020-03-24 17:39:24 +01:00
Kamil Śliwak	259f738f17	[yul-phaser] ProgramBasedMetric: Add the ability to use ProgramCache	2020-03-24 17:39:24 +01:00
Kamil Śliwak	8b443627e2	[yul-phaser] Add ProgramCache class	2020-03-24 17:39:24 +01:00
chriseth	f89e154693	Merge pull request #8514 from imapp-pl/yul-phaser-prefix-option ... [yul-phaser] --prefix option	2020-03-24 17:35:45 +01:00
chriseth	6b97f9a4b5	Merge pull request #8513 from imapp-pl/yul-phaser-parsing-yul-objects ... [yul-phaser] Parsing Yul objects	2020-03-24 17:33:13 +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	83cbfbb7bf	Merge pull request #8400 from ethereum/fix-8395 ... [solc] Standard compiler interface to permit exception leaks and use it in fuzzer	2020-03-24 16:20:41 +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
Kamil Śliwak	a66ceb11c6	[yul-phaser] Add --prefix option	2020-03-23 16:31:35 +01:00
Kamil Śliwak	29186f9951	[yul-phaser] Program: Switch from using parseCode() to parseObject()	2020-03-23 16:31:19 +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
Bhargava Shastry	9544df34d7	solc fuzzers: Use compiler stack for fuzzing	2020-03-20 10:50:26 +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	b5e11e7203	Merge pull request #8449 from imapp-pl/yul-phaser-multi-program-support ... [yul-phaser] Multi-program support	2020-03-19 17:07:34 +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
a3d4	3b9e926559	Moved "step" from settings to expectations.	2020-03-19 13:59:05 +01:00
chriseth	b02a42400b	Merge pull request #8502 from mijovic/testDocsPragma ... [docs] Compile examples with minimal compiler version	2020-03-18 19:45:53 +01:00
Erik Kundt	50c22f0800	Adds script which compiles docs example with minimum compiler version.	2020-03-18 19:27:38 +01:00
Alexander Arlt	23d00b5ca3	Extracted 292 tests from SolidityEndToEndTest.cpp	2020-03-18 11:56:43 -05:00
Kamil Śliwak	d86652cb96	[yul-phaser] Add --metric-aggregator option	2020-03-18 16:28:16 +01:00
Kamil Śliwak	bc46323bed	[yul-phaser] Phaser: Accepting multiple input programs ... - Use average of metric values for individual programs as the overall metric.	2020-03-18 16:28:16 +01:00
Kamil Śliwak	01050940fd	[yul-phaser] Add --relative-metric-scale option	2020-03-18 16:28:16 +01:00
Kamil Śliwak	8e64c5c6f0	[yul-phaser] Add --metric option	2020-03-18 16:28:16 +01:00
Kamil Śliwak	e4a360947b	[yul-phaser] Add FitnessMetricCombination and derived classes for average, sum, min and max	2020-03-18 16:28:16 +01:00
Kamil Śliwak	0e03839e62	[yul-phaser] Add RelativeProgramSize metric	2020-03-18 16:28:15 +01:00
Kamil Śliwak	7edbbe4edd	[yul-phaser] Make FitnessMetric::evaluate() non-const	2020-03-18 16:28:15 +01:00
Kamil Śliwak	0913fd1aac	[yul-phaser] Extract ProgramBasedMetric base class from ProgramSize	2020-03-18 16:28:15 +01:00
Kamil Śliwak	bdc4d1ccd1	[yul-phaser] ProgramSize metric: Refactor repeating parts of test code ... - Also replace test fixture constructor with direct member initialisation	2020-03-18 16:28:15 +01:00
chriseth	1c25104741	Merge pull request #8423 from imapp-pl/yul-phaser-population-and-algorithm-options ... [yul-phaser] Population and algorithm options	2020-03-18 16:05:38 +01:00
chriseth	906a3bb28d	Merge pull request #8442 from a3d4/fix-8244-refactor-testcase-classes ... Refactor TestCase classes	2020-03-18 15:39:09 +01:00
Kamil Śliwak	a2821db1dd	[yul-phaser] Phaser: Tests for factories	2020-03-18 13:30:58 +01:00
Kamil Śliwak	18f0d6eb94	[yul-phaser] AlgorithmRunner: Duplicate chromosome randomisation	2020-03-18 13:30:58 +01:00
Kamil Śliwak	1b5960111d	[yul-phaser] AlgorithmRunner: Population autosave	2020-03-18 13:30:58 +01:00
Kamil Śliwak	ff99d25bc3	[yul-phaser] Common: Add readLinesFromFile()	2020-03-18 13:30:58 +01:00
Kamil Śliwak	5e814acc3c	[yul-phaser] TestHelpers: Add TemporaryDirectory class	2020-03-18 13:30:58 +01:00
a3d4	a5ae51fa6e	Unified dialect selection in libyul/SyntaxTest and YulOptimizerTest.	2020-03-16 23:22:57 +01: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
Kamil Śliwak	8ca0d90aae	[yul-phaser] Returning an ErrorList from Program::load() if program has errors and printing them in Phaser	2020-03-16 20:32:59 +01:00
chriseth	d45e6aa24c	Merge pull request #8421 from imapp-pl/yul-phaser-refactor-main ... [yul-phaser] Refactoring in main	2020-03-16 16:31:26 +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
Kamil Śliwak	deaf1d0c6f	[yul-phaser] Add serializeChoice() and deserializeChoice()	2020-03-13 11:21:23 +01:00
Kamil Śliwak	0c3de9ef99	[yul-phaser] Add Common module	2020-03-13 11:21:23 +01:00
Kamil Śliwak	099299c5e7	[yul-phaser] Rename Common to Helpers in tests (update references)	2020-03-13 11:21:23 +01:00
Kamil Śliwak	d01dab7b7c	[yul-phaser] Rename Common to Helpers in tests (file move) ... - I want to add Common.h in the non-test code and it's getting confusing. I think it's better to have them named differently.	2020-03-13 11:21:23 +01:00
Kamil Śliwak	2110bf10cf	[yul-phaser] AlgorithmRunner: Create a structure to store runner's options	2020-03-13 11:21:23 +01:00
Kamil Śliwak	b8244f6a43	[yul-phaser] Extract the code that controls execution of algorithm rounds from GeneticAlgorithm into AlgorithmRunner	2020-03-13 11:21:23 +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
chriseth	f8f18f2e55	Merge pull request #8480 from a3d4/fix-8418-astutils-compiler-error ... Replaced "assert" with "if"	2020-03-12 15:19:54 +01:00
chriseth	47b72032c6	Merge pull request #8328 from imapp-pl/yul-phaser-gewep-algorithm ... [yul-phaser] GEWEP algorithm	2020-03-12 14:54:33 +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	07ab4c80c4	Merge pull request #8323 from ethereum/smt_split_3 ... [SMTChecker] CHC support to internal function calls	2020-03-11 18:37:45 +01:00
Leonardo Alt	07368c2e1e	Add support to internal function calls	2020-03-11 16:29:07 +01:00
Djordje Mijovic	37878cf8d2	Adding support for ipfs large files.	2020-03-11 13:55:46 +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
Leonardo Alt	1b17815808	SMTChecker docs test may issue a warning	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
chriseth	f6c0a8978d	Merge pull request #8428 from ethereum/assemblyControlFlow ... Control flow analysis for inline assembly.	2020-03-09 18:27:00 +01:00
Leonardo	3896aa75cc	Merge pull request #8426 from ethereum/fix-7948 ... ossfuzz: Update README.md with steps to build fuzzers via docker	2020-03-09 16:41:10 +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
Kamil Śliwak	763bdb1d51	[yul-phaser] Change the design of crossover operators so that they produce a single chromosome rather than a pair	2020-03-09 13:21:48 +01:00
Kamil Śliwak	fc4fedb214	[yul-phaser] Add GenerationalElitistWithExclusivePools algorithm	2020-03-09 13:21:48 +01:00
cameel	7e80ac861f	[yul-phaser] Population: Add mutate() and crossover() methods	2020-03-09 13:21:48 +01:00
Kamil Śliwak	92b54d83a3	[yul-phaser] Common: Add geneSubstitution() mutation	2020-03-09 13:21:48 +01:00
Kamil Śliwak	c941eaf5d6	[yul-phaser] Add randomPointCrossover() and fixedPointCrossover() operators	2020-03-09 13:21:48 +01:00
cameel	3fdb4ca607	[yul-phaser] Add geneRandomisation(), geneDeletion(), geneAddition and alternativeMutations()	2020-03-09 13:21:48 +01:00
Kamil Śliwak	643a5f2035	[yul-phaser] Common: Add wholeChromosomeReplacement() mutation and countDifferences()	2020-03-09 13:21:48 +01:00
Kamil Śliwak	f9f2bdb5f7	[yul-phaser] Add RandomPairSelection and PairMosaicSelection classes	2020-03-09 13:21:48 +01:00
chriseth	37e01a19c0	Fix scoping following try/catch.	2020-03-09 13:14:13 +01:00
chriseth	4a4c1a7ba7	Merge pull request #8402 from ethereum/fix-8401 ... Update solidity fuzzing dictionary with >0.6.0 keywords	2020-03-09 11:38:18 +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
Bhargava Shastry	2153a1ef1d	Update test/tools/ossfuzz/README.md ... Address review comments	2020-03-09 10:38:19 +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
Bhargava Shastry	7483c6f13e	ossfuzz: Update README.md with steps to build fuzzers via docker	2020-03-05 10:43:31 +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
Bhargava Shastry	ed02aae1d9	Update solidity fuzzing dictionary with >0.6.0 keywords	2020-02-28 15:46:21 +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
chriseth	426c4a2e38	Merge pull request #8327 from imapp-pl/yul-phaser-random-algorithm ... [yul-phaser] Random algorithm	2020-02-26 14:44:24 +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	bb09787bd0	Merge pull request #8378 from mijovic/yulSourceLocations ... Adding source location support to AssemblyStack	2020-02-25 22:34:57 +01:00
Djordje Mijovic	ec083c4878	Adding source location support to AssemblyStack and thus debugging Yul sources	2020-02-25 22:19:03 +01:00
chriseth	c5a0a434e2	Merge pull request #8374 from ethereum/writeAccessToSlot ... Allow access to ``_slot`` for local storage pointer variables.	2020-02-25 22:11:13 +01:00
chriseth	40cae442d5	Fix re-printing value expectations.	2020-02-25 22:10:35 +01:00
Kamil Śliwak	e1b8b64f05	[yul-phaser] Population: Remove no longer used methods for running algorithm steps ... - They have been superseded by objects from GeneticAlgorithms.h	2020-02-25 16:06:16 +01:00
cameel	67fbafab8f	[yul-phaser] Add RandomAlgorithm	2020-02-25 16:06:16 +01:00
cameel	4665b7a7e4	[yul-phaser] Population: Add select() method	2020-02-25 15:25:16 +01:00
cameel	83b8ab8012	[yul-phaser] Add RangeSelection, MosaicSelection and RandomSelection classes	2020-02-25 15:25:16 +01:00
cameel	11bdf358df	[yul-phaser] Base class for genetic algorithms	2020-02-25 15:25:16 +01:00
Kamil Śliwak	26bae6b459	[yul-phaser] Common: Add countSubstringOccurrences()	2020-02-25 15:25:16 +01:00
chriseth	45041e5d3a	Allow access to `_slot` for local storage pointer variables.	2020-02-25 14:28:04 +01:00
Djordje Mijovic	8524e3f48d	Standard-JSON-Interface: Fix a bug (#8371) related to empty filenames and imports.	2020-02-25 01:07:36 +01:00
Leonardo	44bcff42f5	Merge pull request #8161 from ethereum/yulTypeChecking ... Yul type checking	2020-02-24 16:05:04 -03:00
Djordje Mijovic	c891597204	Adding ssa type check and test for that one	2020-02-24 15:05:19 +01:00
Djordje Mijovic	2efda4129b	Adding test for multi return values including bool in evmTyped dialect. Calling zeroLiteralForType from inliner	2020-02-24 15:05:19 +01:00
chriseth	bddbcbe6a4	Use bool type in word size transform.	2020-02-24 15:05:19 +01:00
chriseth	a52305d3bd	Use bool type in conditional simplifier and for loop condition into body.	2020-02-24 15:05:19 +01:00
Djordje Mijovic	a52c9af5b9	Adding vardecl optimization for boolean types	2020-02-24 15:05:19 +01:00
chriseth	b9b36cd89e	Properly assign types in ExpressionSplitter.	2020-02-24 15:05:19 +01:00
chriseth	2ee748b7f5	Add tests	2020-02-24 15:05:19 +01:00
chriseth	9140bc52c4	Tests for invalid types.	2020-02-24 15:05:18 +01:00
chriseth	6eec968365	Test updates.	2020-02-24 15:05:18 +01:00
chriseth	449a8533ce	Merge pull request #8340 from mijovic/value-keyword-wei ... TestFileParser: Adding keyword wei for expressing function call value	2020-02-24 15:01:15 +01:00
Djordje Mijovic	dd9009eba6	TestFileParser: Adding new keyword wei for expressing function value	2020-02-21 11:39:37 +01:00
cameel	2291cf78ac	[yul-phaser] Population: Add constructors to Individual to simplify initialization	2020-02-19 17:26:34 +01:00
cameel	cef01c961a	[yul-phaser] Population: Keep the individuals always sorted	2020-02-19 17:26:34 +01:00
cameel	76842ac3fd	[yul-phaser] Population: Evaluate fitness immediately when an individual is added or modified ... - This removes the explicit evaluation phase. - Fitness is no longer optional in Individual	2020-02-19 17:26:34 +01:00
cameel	66fdc1c374	[yul-phaser] Population: Store fitness metric rather than program directly ... - In the console app use ProgramSize metric when creating the population.	2020-02-19 17:03:35 +01:00
Kamil Śliwak	930a9918a6	[yul-phaser] ProgramSize: Add an option to repeat the optimisation sequence several times	2020-02-19 16:36:14 +01:00
Kamil Śliwak	751caf0ed3	[yul-phaser] Common: Add ChromosomeLengthMetric	2020-02-19 16:36:14 +01:00
cameel	2238919c76	[yul-phaser] Add ProgramSize metric	2020-02-19 16:36:14 +01:00
cameel	096129fbc4	[yul-phaser] Base class for fitness metrics	2020-02-19 16:36:14 +01:00
chriseth	357c936243	Merge pull request #8325 from imapp-pl/yul-phaser-population-tweaks ... [yul-phaser] Miscellaneous Population tweaks and improvements	2020-02-19 12:35:10 +01:00
chriseth	8f2c5fc081	Merge pull request #8287 from a3d4/cmdlinetests-mingw ... Adapted cmdlineTests.sh for MinGW	2020-02-19 11:50:24 +01:00
a3d4	4a29726f76	Adjusted solc path and fixed remapping tests in cmdlineTests.sh under mingw64.	2020-02-19 06:05:11 +01:00
cameel	d9c5e2dc9f	[yul-phaser] Population: Add operator+()	2020-02-18 19:40:37 +01:00
Kamil Śliwak	ecb30c670f	[yul-phaser] Population: Make ordering of individuals with same fitness deterministic and prioritise shorter chromosomes ... - Before this change the order of chromosomes with the same fitness in a population depended on the initial order set when the population was first created. Now it only depends on the individual. - The length comparison is not strictly necessary (lexicographical order covers that) but it makes the intention clear and the comparison slightly faster when chromosomes have different lengths.	2020-02-18 19:40:37 +01:00
Kamil Śliwak	40a6669538	[yul-phaser] Population: Extract a function for comparing fitness of individuals ... - Mostly for readability and convenience. This significantly shortens calls to sort(). - I could define it as Individual::operator< instead but it would be inconsistent with operator== because it does not compare the chromosomes, only fitness. It could result in an unintuitive situation where (a <= b <= a) does not necessarily imply (a == b).	2020-02-18 19:40:37 +01:00
Kamil Śliwak	823e715902	[yul-phaser] Population+Chromosome: Better tests for makeRandom()	2020-02-18 19:40:37 +01:00
Kamil Śliwak	806891f494	[yul-phaser] Population: Customizable chromosome length in makeRandom()	2020-02-18 19:40:37 +01:00
Kamil Śliwak	e771f00971	[yul-phaser] Population: Extract Program construction in tests into a fixture	2020-02-18 19:38:55 +01:00
Kamil Śliwak	d22c59aa0e	[yul-phaser] Chromosome: Add a constructor that reads steps from an abbreviation string	2020-02-18 19:38:55 +01:00
Kamil Śliwak	38f79a1761	[yul-phaser] Common: Add chromosomeLengths()	2020-02-18 19:38:55 +01:00
Kamil Śliwak	837ea96da7	[yul-phaser] Move stripWhitespace() from Program tests to Common	2020-02-18 19:38:55 +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
chriseth	64f9dc351e	Merge pull request #8337 from mijovic/assembly-multifile ... Assembly: Added missing source field to legacy assembly json output	2020-02-18 12:47:19 +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
Jason Cobb	6db0d50094	Don't use identifiers starting with an underscore followed by an uppercase letter	2020-02-17 12:44:39 -05:00
chriseth	2d1c4b770f	Merge pull request #8321 from ethereum/removeStackFromAsmAnalysis ... Remove stack counting from Asm Analysis.	2020-02-17 14:32:17 +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
Kamil Śliwak	f29d3655f7	[yul-phaser] SimulationRNG: Add bernoulliTrial()	2020-02-16 02:18:21 +01:00
Kamil Śliwak	a8fa332a9c	[yul-phaser] SimulationRNG: Rewrite uniformInt() and binomialInt() tests to rely on variance and expected value	2020-02-16 02:18:21 +01:00
Kamil Śliwak	db140a667a	[yul-phaser] SimulationRNG: Use a single, shared and seedable generator	2020-02-16 02:18:21 +01:00
Kamil Śliwak	342a4e5dee	[yul-phaser] Rename Random to SimulationRNG (fix references)	2020-02-16 02:18:21 +01:00
Kamil Śliwak	0d28d5a287	[yul-phaser] Rename Random to SimulationRNG (file move)	2020-02-16 02:18:21 +01:00
Kamil Śliwak	b01766c4db	[yul-phaser] Gather functions from Random into SimulationRNG class	2020-02-16 02:18:21 +01:00
Kamil Śliwak	4ee9174454	[yul-phaser] Chromosome: Make randomOptimisationStep() public ... - And add tests now that it's public.	2020-02-16 02:18:21 +01:00
Kamil Śliwak	46d69d0941	[yul-phaser] Common: Add enumerateOptimisationSteps()	2020-02-16 02:18:21 +01:00
Kamil Śliwak	957ca00588	[yul-phaser] Common: Add mean() and meanSquaredError()	2020-02-15 22:21:20 +01:00
Kamil Śliwak	94538efc0e	[yul-phaser] Add a file for small utilities used in yul-phaser's tests	2020-02-15 22:21:20 +01:00
Kamil Śliwak	40b086774a	[yul-phaser] Random: Fix tests allocating more counters than necessary ... - The tests weren't broken, just less efficient.	2020-02-15 22:21:20 +01:00
Erik Kundt	017d33cfbe	Fix typos in filenames within docstring syntax tests.	2020-02-14 15:53:39 +01:00
Erik Kundt	1d2e1c4f0a	Adds command line test for structured doc errors.	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	e786650bef	Merge pull request #8274 from ethereum/structRecursionMapping ... Move mapping key checks to ReferencesResolver and make errors fatal.	2020-02-12 11:19:07 +01:00
chriseth	0e100e7e7e	Merge pull request #8267 from ghallak/prune-unnecessary-funcs ... [Yul] Prune functions that call each other but are otherwise unreferenced	2020-02-12 11:09:27 +01:00
Gaith Hallak	24d6702986	[Yul] Prune functions that call each other but are otherwise unreferenced	2020-02-11 20:39:32 +03:00
Mathias Baumann	80bd0f47cc	Unify optimize yul code in CompilerContext/ContractCompiler	2020-02-11 13:55:47 +01:00
Mathias Baumann	1a3998648c	Run yul optimizer on user code without refs	2020-02-11 13:55:47 +01:00
Daniel Kirchner	9c3151748e	Move mapping key checks to ReferencesResolver and make them fatal.	2020-02-11 13:35:23 +01:00
Bhargava Shastry	79f1917422	yul proto fuzzer: Refactor dataoffset/size specification	2020-02-11 13:58:36 +05:30
chriseth	d033c2f767	Merge pull request #8178 from ethereum/internal_revert_strings ... Internal reverts with reason in debug mode	2020-02-10 17:35:41 +01:00
chriseth	db2eece7fc	Merge pull request #8273 from ethereum/fix-8271 ... yul proto fuzzer: Support boolean literal generation	2020-02-10 17:35:09 +01:00
Bhargava Shastry	59e7206c8f	yul proto fuzzer: Support boolean literal generation	2020-02-10 20:48:29 +05:30
Leonardo Alt	36928c7a35	Add reason string for internal reverts	2020-02-10 11:57:20 -03:00
a3d4	e3d6a3e44e	Updated expectations.	2020-02-09 17:29:13 +01:00
chriseth	92c9b078b4	Use correct instance of EVMDialectTyped.	2020-02-06 19:46:37 +01:00
chriseth	4ae97f4563	Make dialect option lowercase.	2020-02-06 19:46:37 +01:00
chriseth	f0ebb26f29	Merge pull request #8223 from imapp-pl/yul-phaser-program-reuse ... [yul-phaser] Program reuse	2020-02-06 13:29:44 +01:00
Daniel Kirchner	e07274a96f	Disallow libraries as mapping keys.	2020-02-06 09:09:43 +01:00
cameel	e4c7b73897	[yul-phaser] Store already loaded program in Population and make copies when computing fitness ... - Until now the source code was being parsed during every fitness computation. Now the parsed program is reused and only the optimisation steps are applied each time.	2020-02-06 09:01:10 +01:00
cameel	57fb64d467	[yul-phaser] Make Program copyable by doing a deep copy of the AST in the copy constructor	2020-02-06 09:01:10 +01:00
cameel	33cf4e4769	[yul-phaser] Tests for Population class	2020-02-05 18:13:30 +01:00
cameel	ccaff1b08e	[yul-phaser] Tests for random number generators	2020-02-05 18:13:30 +01:00
cameel	24d63a93cf	[yul-phaser] Tests for Program class	2020-02-05 18:13:30 +01:00
cameel	bee62cdd9e	[yul-phaser] Tests for Chromosome class	2020-02-05 18:13:30 +01:00
cameel	f8e397b487	[yul-phaser] Create test suite for Chromosome	2020-02-05 18:13:30 +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
Mathias Baumann	ef07fc3066	Fix formatting	2020-02-05 13:22:15 +01:00
chriseth	0b9c842656	Fix abstract without contract.	2020-02-05 12:14:14 +01:00
chriseth	527c011c2e	Update tests.	2020-02-04 22:51:33 +01:00
chriseth	48933df18d	Add some missing wasm functions.	2020-02-04 22:44:08 +01:00
chriseth	a7624ffc45	Implement i32 builtins for the interpreter.	2020-02-04 22:44:08 +01:00
chriseth	7cca036f4c	Merge pull request #8224 from a3d4/refactor-sourcelocation ... Replaced SourceLocation::isEmpty() with isValid() and hasText().	2020-02-04 22:23:51 +01:00
alex	3416c029cf	Relaxed assert in AsmJsonImporter::createAsmNode.	2020-02-04 20:37:51 +01:00
chriseth	cafad3770d	Update tests.	2020-02-04 18:27:01 +01:00
chriseth	9f0cef97c2	Specify default type for word size transform externally.	2020-02-04 18:13:37 +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
alex	211227f50b	Modified SourceLocation::hasText() to allow empty source.	2020-02-04 04:19:28 +01:00
cameel	5fbc4d4afa	[yulopti] Automate printing of the usage banner ... - This now displays internal step names rather than human-readable ones but the internal ones are readable enough and it's not something worth creating another map. - Options in the banner are now aligned in columns and thus easier to read.	2020-02-03 12:22:47 +01:00
cameel	4129c27495	[yulopti] Replace hard-coded step list with OptimiserSuite's maps	2020-02-03 12:22:47 +01:00
alex	e4b18e85e6	Replaced SourceLocation::isEmpty() with isValid() and hasText(). ... The function SourceLocation::isEmpty() had somewhat dual role. Sometimes it indicates that the SourceLocation is invalid. Sometimes it means that there is no corresponding source text. Hence the proposal is to replace it with two functions, isValid() and hasText(). I also removed Scanner::sourceAt(). (Do we have a rule of thumb to remove unused code?) Since hasText() checks that start and end are valid indices for source, I adjusted a couple of tests to avoid empty source strings.	2020-02-03 08:04:21 +01:00
chriseth	2098dbade9	Merge pull request #7834 from ethereum/docstring-ast-node ... [natspec] Introduce AST node for structured documentation	2020-01-30 19:04:52 +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	2afcfec77b	Merge pull request #8220 from ethereum/remove-var-name-cleaner-from-optimiser-suite-step-list ... Remove var name cleaner from optimiser suite step list	2020-01-30 17:58:43 +01:00
cameel	ed5210490d	[yulopti] Run disambiguator after VarNameCleaner ... - This is a trivial change and it makes it safe to use in combination with other step.	2020-01-30 17:35:27 +01:00
chriseth	d41e1db74a	Adjust and add commandline tests for yul.	2020-01-29 19:10:53 +01:00
chriseth	d3b53ee394	Make bool type optional for bool literals.	2020-01-29 19:01:28 +01:00
chriseth	a66782537a	Use old yul dialect only in tests.	2020-01-29 19:01:28 +01:00
chriseth	d07dd55096	Update wasm tests.	2020-01-29 17:25:25 +01:00
chriseth	23667ce12d	Update Yul optimizer tests.	2020-01-29 17:25:25 +01:00
chriseth	e7b95de315	Tests for default type parsing.	2020-01-29 17:25:25 +01:00
chriseth	fbe5bb0cce	Parse default dialect and omit when printing.	2020-01-29 17:25:25 +01:00
chriseth	e41155cf48	Merge pull request #8062 from imapp-pl/polyfill-part-2 ... Arithmetic functions implementation for EVM->EWasm translator.	2020-01-29 17:22:27 +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	a788ba14f3	Merge pull request #8173 from ethereum/fix-7859 ... yul proto fuzzer: Add EVM version field	2020-01-28 22:14:25 +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
rodiazet	f1004e712c	[WASM] Add div, sdiv, mod, smod, exp, lt, sar, addmod, mulmod, signextend	2020-01-28 13:32:43 +01:00
Mathias Baumann	1027f6f78f	Extract some semantic tests	2020-01-28 11:59:44 +01:00
Bhargava Shastry	8cbe1d4b1d	yul proto fuzzer: Make function call generation optional	2020-01-24 12:31:43 +05:30
Bhargava Shastry	a335fed189	yul proto fuzzer: Add EVM version field	2020-01-24 12:31:20 +05:30
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
chriseth	679f729f2f	Implement create2 for evmhost.	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