2725 Commits

Author	SHA1	Message	Date
mingchuan	5b0bb0defb	Move lost command line test case to correct location	2019-04-08 20:39:58 +08:00
mingchuan	f705b09b21	Provide option to auto-correct cmdlineTests expectations	2019-04-08 20:39:49 +08:00
chriseth	1be3882ade	Test shadowing between variables inside and outside of functions.	2019-04-05 13:41:39 +02:00
chriseth	d20b3c9f9f	Function grouper is a requirement for the VarNameCleaner.	2019-04-05 13:41:38 +02:00
Mathias Baumann	a83e54cfd3	TestFramework: Use getBlockByNumber and eth_flush to get transaction confirmation	2019-04-04 16:39:15 +02:00
Mathias Baumann	58a3148ffb	TestFramework: also output failed request	2019-04-04 16:39:15 +02:00
chriseth	3df4936b6f	Merge pull request #6179 from ethereum/solidity-yul1 ... Solidity to Yul compiler	2019-04-04 16:33:39 +02:00
chriseth	50ded99b4d	Merge pull request #6470 from ethereum/throwInFuzzer ... Throw exception to allow fuzzer to report which file it failed on.	2019-04-04 16:18:57 +02:00
chriseth	141c6da534	Semantic tests for compilation via Yul.	2019-04-04 15:02:43 +02:00
chriseth	420a7dc3d6	Initial IR generator.	2019-04-04 15:02:42 +02:00
Daniel Kirchner	d0fda7ca7c	Merge pull request #6262 from ethereum/abiEncodeCalldataArray ... ABIEncoderV2: implement encoding of calldata arrays and structs.	2019-04-04 14:51:45 +02:00
chriseth	ef413bb0b3	Throw exception to allow fuzzer to report which file it failed on.	2019-04-04 14:05:38 +02:00
chriseth	3795569da6	Merge pull request #6448 from ethereum/forceYulOptimization ... Run tests with both ABIV2 and Yul optimizer.	2019-04-04 13:51:54 +02:00
Bhargava Shastry	762dd24784	Reference only those variables that are in scope.	2019-04-04 13:28:56 +02:00
chriseth	c0ce540e26	Run tests with both ABIV2 and Yul optimizer.	2019-04-04 13:18:30 +02:00
Daniel Kirchner	91a2a9a9c3	Implement ABI encoding of calldata arrays and structs.	2019-04-04 13:05:32 +02:00
Bhargava Shastry	f15cedad7a	yulInterpreter: More fine-grained exception handling	2019-04-04 13:02:55 +02:00
chriseth	887112b1b0	Fix SSA for multi-assignments.	2019-04-04 12:06:04 +02:00
chriseth	8c570f31c5	Merge pull request #6442 from ethereum/smt_unary_inc_dec ... [SMTChecker] Support unary inc/dec for array/mapping access	2019-04-04 11:45:13 +02:00
chriseth	ee2f566207	Merge pull request #5815 from ethereum/strict-abi-decoder ... Strict abi decoder (validate incoming data instead of cleaning it)	2019-04-04 11:13:44 +02:00
Mathias Baumann	d46f29e128	Add bitshift optimizer tests	2019-04-03 22:38:31 +02:00
Daniel Kirchner	5ff1f85231	Adjust semantics tests.	2019-04-03 17:59:04 +02:00
chriseth	e3d7a34c2c	Make yul a setting.	2019-04-03 14:58:20 +02:00
chriseth	aeb260cde1	Add settings framework for interactive tests.	2019-04-03 14:58:20 +02:00
chriseth	3282c72a21	Update tests.	2019-04-03 11:32:03 +02:00
Alex Beregszaszi	43008dd08e	Validate value types in decoder of ABIEncoderV2.	2019-04-03 11:32:02 +02:00
chriseth	1b7878cfde	Merge pull request #6445 from ethereum/circularStorageMemoryCopy ... Implemented copying recursive structs from storage to memory.	2019-04-03 10:20:23 +02:00
Leonardo Alt	aa9b9aa87e	[SMTChecker] Support unary inc/dec for array/mapping access	2019-04-02 16:53:19 +02:00
Daniel Kirchner	ab8dfed144	Implement copying recursive structs from storage to memory.	2019-04-02 16:01:44 +02:00
chriseth	7c880a26c0	Merge pull request #6431 from ethereum/external-tests-split ... Split up external tests	2019-04-02 14:39:00 +02:00
Erik Kundt	79e74b75d1	Splits up external tests into separate files.	2019-04-02 13:42:58 +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
chriseth	862ad28edd	Merge pull request #6433 from ethereum/fuzzhelp ... Run several instances of solfuzzer in parallel	2019-04-01 17:49:58 +02:00
Mathias Baumann	3216e5d846	Run several instances of solfuzzer in parallel	2019-04-01 17:18:15 +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
chriseth	e7340f2126	Merge pull request #6430 from ethereum/fuzzhelp ... Fix --help parameter for solfuzzer	2019-04-01 16:51:15 +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	45e3cce765	Force-activate ABIEncoderV2 in external tests.	2019-04-01 15:36:03 +02:00
Erik Kundt	c72686b343	Fixes forced optimizer settings in external tests.	2019-04-01 14:53:21 +02:00
Mathias Baumann	5c66ccc179	Optimize obsolete ANDs in combination with certain SHIFTs	2019-03-29 10:08:05 +01:00
Alex Beregszaszi	84fbf605aa	Replace shifts by larger than 255 with 0	2019-03-29 10:07:54 +01:00
chriseth	f9820adb5e	Merge pull request #6396 from ethereum/optSetForAsmStack ... Make optimiser settings available to assembly stack.	2019-03-28 19:03:23 +01:00
chriseth	84251e5a22	Merge pull request #6405 from ethereum/smt_compound_assignment ... [SMTChecker] Support arithmetic compound assignment operators.	2019-03-28 18:27:25 +01:00
chriseth	3264e9abf0	Make optimiser settings available to assembly stack.	2019-03-28 18:24:13 +01:00
Leonardo Alt	dadafed022	Short circuit tests	2019-03-28 16:08:30 +01:00
Leonardo Alt	a7e826a224	[SMTChecker] Implement short circuit	2019-03-28 16:08:30 +01:00
chriseth	a1d59dfb4c	Merge pull request #6371 from ethereum/smt_variable_usage_function_calls ... [SMTChecker] Merge SSA state vars properly	2019-03-28 15:54:31 +01:00
chriseth	30da62aa2c	Merge pull request #6408 from ethereum/includeCleanup ... Include cleanup	2019-03-28 15:31:07 +01:00