141 Commits

Author	SHA1	Message	Date
chriseth	87a4ce2679	Merge pull request #6540 from ethereum/add-for-break-continue ... Generate break and continue statements inside for loop body.	2019-04-18 12:57:40 +02:00
Bhargava Shastry	6f673f5e81	Generate break and continue statements inside for loop body.	2019-04-17 13:02:47 +02:00
chriseth	669df0d1e5	Allow more filters and rename member.	2019-04-17 12:00:01 +02:00
Erik Kundt	827e13a2d7	Refactors passing of options in isoltest.	2019-04-17 11:36:14 +02:00
Erik Kundt	11087422d6	Adds --test | -t option to isoltest.	2019-04-17 11:36:14 +02:00
Daniel Kirchner	a4fbb06c2a	Merge pull request #6491 from ethereum/increase-maxSteps-for-opt-yul ... Increase upper bound for number of interpreted steps for optimized code	2019-04-12 12:34:47 +02:00
Bhargava Shastry	484c14af81	Increase upper bound for number of interpreted steps for optimized code	2019-04-10 12:57:54 +02:00
mingchuan	f1374066af	Add shortcuts for formatting error information	2019-04-10 18:44:45 +08:00
chriseth	ef413bb0b3	Throw exception to allow fuzzer to report which file it failed on.	2019-04-04 14:05:38 +02:00
Bhargava Shastry	762dd24784	Reference only those variables that are in scope.	2019-04-04 13:28:56 +02:00
Bhargava Shastry	f15cedad7a	yulInterpreter: More fine-grained exception handling	2019-04-04 13:02:55 +02:00
chriseth	aeb260cde1	Add settings framework for interactive tests.	2019-04-03 14:58:20 +02:00
Bhargava Shastry	0cc6e1cb08	Use default EVMVersion instead of a hard coded one	2019-04-02 11:40:59 +02:00
chriseth	e894e0b967	Merge pull request #6410 from ethereum/eliminate-dead-code ... Yul Optimizer: Remove dead code	2019-04-01 18:12:47 +02:00
Mathias Baumann	e20acf5d0a	Yul Optimizer: Remove dead code	2019-04-01 17:16:04 +02:00
Mathias Baumann	30820dda99	Support multiple input files with solfuzzer	2019-04-01 16:57:32 +02:00
Mathias Baumann	101ca5c120	Fix --help parameter for solfuzzer ... the `readStandardInput()` branch would be taken if "input-file" was not given and only "help", thus never reaching the check for "help"	2019-04-01 15:50:34 +02:00
chriseth	3264e9abf0	Make optimiser settings available to assembly stack.	2019-03-28 18:24:13 +01:00
chriseth	2308904f68	Remove "using namespace" from header and move Instruction to dev::eth.	2019-03-28 13:48:11 +01:00
Bhargava Shastry	10c3b31fa4	yulInterpreter: Add timeout based on the number of interpreted statements.	2019-03-27 12:06:02 +01:00
Bhargava Shastry	b3c3a1f9cd	Use visitor pattern for proto converter.	2019-03-26 16:39:44 +01:00
Bhargava Shastry	ef94d6d645	yul Interpreter: Move memory size limit to interpreter state.	2019-03-26 14:42:25 +01:00
Bhargava Shastry	a895ccba39	ossfuzz: Enable optimization in Assembly stack assembler call.	2019-03-26 13:42:51 +01:00
Bhargava Shastry	d1d3dd8571	yul proto: Add support for generating string and hex literals.	2019-03-21 12:25:52 +01:00
Bhargava Shastry	22f5a82edc	yul proto: Add support for generating for and switch statements.	2019-03-20 18:50:27 +00:00
Bhargava Shastry	6c1d0b62b5	Adds oss-fuzz harnesses to fuzz AssemblyStack API calls for parsing/optimizing StrictAssembly and generating EVM bytecode.	2019-03-20 16:06:45 +01:00
chriseth	8514c0bc60	Provide max iterations for stack compressor as parameter.	2019-03-20 15:07:05 +01:00
chriseth	38cbf8d230	Pass "optimize stack allocation" flag down to the stack compressor.	2019-03-20 15:03:27 +01:00
chriseth	304ef77b4a	Merge pull request #6300 from ethereum/extractedTestsEVMVersionRules ... Support EVM Version rules for extracted tests.	2019-03-18 15:29:04 +01:00
Daniel Kirchner	a178486436	Review suggestions.	2019-03-18 14:34:00 +01:00
chriseth	834c23fc38	Merge pull request #6289 from ethereum/strictasm_fuzzer_ascii_only ... Discard fuzz input containing non ASCII character(s).	2019-03-18 11:44:06 +01:00
Bhargava Shastry	725fc898fd	Discard fuzz input containing at least one character not in the following set: "isprint"able, newline, and horizontal ... Co-Authored-By: bshastry <bshastry@ethereum.org>	2019-03-18 10:36:43 +01:00
Daniel Kirchner	4a28e1eb43	Support EVM Version rules for extracted tests.	2019-03-15 17:23:20 +01:00
Bhargava Shastry	5e8ed426df	Add more binary operations to the yul proto spec.	2019-03-14 22:26:25 +01:00
Bhargava Shastry	5681086d2c	Proto spec and translator bug fixes.	2019-03-14 15:40:54 +01:00
chriseth	db379403fc	Fix assertion in yul interpreter.	2019-03-13 20:58:15 +01:00
Christian Parpart	05e2d362c8	[Yul] Adds break/continue statements and some general tests for for-loop syntax.	2019-03-11 15:05:05 +01:00
Bhargava Shastry	54d0d153fa	Reduce input file size for solc and constant optimizer fuzzers.	2019-03-06 11:35:22 +01:00
chriseth	4740dc62df	Merge pull request #6193 from ethereum/yul-opt-different-types-6181 ... YulOpt: Extend StructuralSimplifier to work with all types	2019-03-05 19:11:13 +01:00
Mathias Baumann	921d52bfcd	Move Literal to u256 conversions to extra functions ... That way we can reuse them at different places	2019-03-05 18:39:27 +01:00
Bhargava Shastry	a370551ea2	ossfuzz: Reduce test input size to less than equal to 600 bytes.	2019-03-05 16:55:55 +01:00
Bhargava Shastry	d9bcbe6ad5	LibProtobuf Mutator (LPM) based fuzzer for yul subset	2019-03-05 12:32:55 +01:00
chriseth	bbda89c428	Create a differential fuzzer using tracing facility from the yul interpreter.	2019-03-04 20:44:17 +01:00
chriseth	38831e885d	Merge pull request #5855 from ethereum/cp ... [Yul] Variable Name Canonicalization	2019-03-04 17:58:45 +01:00
Christian Parpart	609855546e	Yul: Adds optimizer pass to make variable names suffix-canonical.	2019-03-04 17:26:56 +01:00
chriseth	9a949c1bda	Set default EVM version to Petersburg.	2019-03-04 14:53:00 +01:00
Alex Beregszaszi	ecd246aeb6	Support petersburg in evmVersion	2019-03-04 14:10:41 +01:00
Bhargava Shastry	c48cc19fae	yulInterpreter: Fix u256 overflow in logMemory.	2019-02-28 16:42:50 +01:00
chriseth	5123a2afa7	Allow positional arguments for yulrun.	2019-02-27 11:44:09 +01:00
chriseth	514c9910aa	Fix implementation of signextend.	2019-02-26 17:56:32 +01:00