501 Commits

Author	SHA1	Message	Date
hrkrshnn	543ccf5287	Added the basefee instruction in YulInterpreter	2021-08-09 16:18:08 +02:00
Leo Alt	08c065ee04	Add option divModWithSlacks	2021-08-06 15:50:25 +02:00
Leo Alt	685d7a8c99	Bundle all unproved targets in a single message and only show all if setting chooses that	2021-08-04 13:54:50 +02:00
Christian Parpart	6294aa871a	Simplify AsmParser::parse(.) usage	2021-08-03 15:43:17 +02:00
chriseth	ffc5cfd9a5	Remove scanner from compiler stack.	2021-08-03 15:43:17 +02:00
Leo Alt	6c8ecfa82c	Add option to choose solver	2021-07-27 17:14:21 +02:00
Daniel Kirchner	f3707f2ab0	Control flow graph for Yul.	2021-07-15 15:24:12 +02:00
chriseth	f75b55071e	Remove CharStream from SourceLocation.	2021-07-14 15:12:07 +02:00
chriseth	09578e7e22	Merge pull request #11550 from ethereum/runs-constant ... Constant for default --runs	2021-07-06 10:44:07 +02:00
Kamil Śliwak	a72857df03	CommonIO: Replace readStandardInput() with readUntilEnd() with a configurable stream	2021-07-02 14:58:30 +02:00
Kamil Śliwak	6ad6fa2382	Do not hard-code the default 'runs' value as 200 in code that fills out optimizer settings	2021-06-28 14:12:28 +02:00
Kamil Śliwak	65e23ff171	CommonIO: Make readFile() check if the file is not a directory and if not fail with a sensible exception rather than std::length_error	2021-06-25 16:04:58 +02:00
Daniel Kirchner	06a9199967	Change loading of VMs and error messages during test.	2021-05-12 14:48:37 +02:00
Daniel Kirchner	6104ac1cdf	Remove more imports of ranges namespace.	2021-05-07 15:42:17 +02:00
Djordje Mijovic	e404b6e7a6	Refactoring yul source locations.	2021-05-04 16:05:23 +02:00
chriseth	3548049c61	Merge pull request #10356 from ethereum/isoltest-add-enforce-ewasm ... [test] Add support for --enforce-compile-to-ewasm.	2021-04-27 17:51:33 +02:00
Alexander Arlt	da38149f57	[test] Add support for --enforce-compile-to-ewasm.	2021-04-26 20:31:03 -05:00
Alexander Arlt	481971cbcf	[isoltest] Add support for external sources.	2021-04-26 08:27:30 -05:00
chriseth	2969bc0f3e	Merge pull request #11302 from ethereum/drop-u160 ... Drop the util::u160 type	2021-04-26 15:12:20 +02:00
anurag4u80	c4cf412fed	Replaced boost remove_erase and remove_erase_if	2021-04-24 08:10:41 +05:30
Alex Beregszaszi	37be1b3ed9	Remove dependency on util::160 in yulInterpreter ... Instead apply explicit truncation or masking for readability.	2021-04-23 14:35:05 +01:00
hrkrshnn	1f5b874eaf	Optimizer context has parameter expectedExecutionsPerDeployment	2021-04-22 17:27:57 +02:00
Alex Beregszaszi	8fb7a18800	Small refactorings for isoltest	2021-04-22 01:04:34 +01:00
Leonardo	7bbf3a694b	Merge pull request #11261 from ethereum/smt_choose_target ... [SMTChecker] Add option to choose contracts to be analyzed	2021-04-21 13:11:33 +02:00
Leonardo Alt	dd1865873e	Choose contracts to be analyzed by the SMTChecker	2021-04-21 10:34:14 +02:00
Bhargava Shastry	69dd1771b7	Remove as many boost usages as possible in protoToYul.cpp	2021-04-20 18:46:19 +02:00
Bhargava Shastry	14d2170b46	Merge pull request #11238 from ethereum/yul-interpreter-storage-state ... Permit Yul interpreter vs Evmone storage comparison.	2021-04-19 12:22:59 +02:00
Bhargava Shastry	6941143613	Merge pull request #11216 from ethereum/fix-abiv2-fuzzer-bug ... Fix use of const ref in Abiv2 and other proto fuzzers.	2021-04-14 15:03:57 +02:00
Bhargava Shastry	15bf6af77a	Remove output parameters from function call since they are generated on the fly in the converter.	2021-04-14 13:53:37 +02:00
Bhargava Shastry	7c806217fb	Changes to yul proto mutator.	2021-04-14 13:53:37 +02:00
Bhargava Shastry	cf08c9b255	Correct use of emplace_back	2021-04-14 13:53:37 +02:00
Bhargava Shastry	1709b2924b	Changes to how function calls are generated.	2021-04-14 13:53:37 +02:00
Bhargava Shastry	b1392ac988	Fix use of const ref in Abiv2 and other proto fuzzers.	2021-04-13 19:38:43 +02:00
Bhargava Shastry	033ee0e2bc	Permit Yul interpreter vs Evmone storage comparison.	2021-04-12 10:39:23 +02:00
Bhargava Shastry	6f3095a199	Merge pull request #11141 from ethereum/compilation-framework-fuzzer ... Enable multi-source fuzzing.	2021-04-06 14:00:11 +02:00
anurag4u80	bbcdddeed9	Replaced keys, values and reverse with ranges	2021-03-31 23:33:04 +05:30
Bhargava Shastry	f3f1ccc34f	Fix false positive caused by early termination due to nested expressions.	2021-03-26 13:35:57 +01:00
Bhargava Shastry	f9182e9f88	Minor changes to Solidity compilation framework fuzzer.	2021-03-23 13:17:41 +01:00
Alex Beregszaszi	1c176cc1ee	isoltest: add --accept-updates option	2021-03-15 14:31:01 +00:00
Bhargava Shastry	8023fdb537	Extract state printing to a separate class.	2021-03-10 17:41:03 +01:00
Bhargava Shastry	24f42c5541	Filter false positives due to EVM errors. ... Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>	2021-03-10 17:41:03 +01:00
Bhargava Shastry	34c08ea2c6	EVMHost: Add tracing features needed for fuzzing.	2021-03-10 17:41:03 +01:00
Djordje Mijovic	aed3832b27	Implementing enforcing gas expectations in isoltest. ... Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>	2021-03-09 21:26:45 +01:00
Daniel Kirchner	a75424eec4	Drop support for evm15 and eip-615.	2021-03-09 15:56:03 +01:00
Daniel Kirchner	e99da7e015	Extract StackReuseCodegen tests.	2021-03-09 15:47:24 +01:00
Daniel Kirchner	acd3084076	Fuzzer for stack optimiser/code generator.	2021-03-04 17:35:56 +01:00
Bhargava Shastry	a34308e4cb	Proto yul converter: Provide a flag to filter stateful instructions.	2021-03-04 15:20:19 +01:00
Bhargava Shastry	069ac9c9a9	Merge pull request #10878 from ethereum/refactor-solProtoFuzzer ... Fuzzer: Refactor utility methods shared by proto fuzzers.	2021-03-01 19:56:10 +01:00
Bhargava Shastry	c9f1b55073	Merge pull request #10967 from ethereum/proto-mutator ... Proto mutator: Add control flow to basic blocks	2021-02-23 12:03:52 +01:00
Bhargava Shastry	758d159d87	yul proto mutator: Add control flow to block statements.	2021-02-22 15:10:41 +01:00