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 |
|
Leonardo Alt
|
c7e5468505
|
Arithmetic compound assignment operators tests
|
2019-03-28 15:27:52 +01:00 |
|
chriseth
|
2b0c653f57
|
Merge pull request #6241 from ethereum/yul-bc-codegen
Yul codegen for break & continue statements
|
2019-03-28 14:48:50 +01:00 |
|
chriseth
|
20ae3ad555
|
Remove "using namespace".
|
2019-03-28 14:32:48 +01:00 |
|
Leonardo Alt
|
2764d2f525
|
Tests that used to give false negatives
|
2019-03-28 14:32:47 +01:00 |
|
chriseth
|
529aca5cbd
|
Merge pull request #6407 from ethereum/changeNamespace
Remove "using namespace" from header and move Instruction to dev::eth.
|
2019-03-28 14:32:07 +01:00 |
|
Christian Parpart
|
b8c6274179
|
[yul] Implements EVM codegen for break/continue plus respective tests & ChangeLog entry.
|
2019-03-28 14:09:25 +01:00 |
|
chriseth
|
2308904f68
|
Remove "using namespace" from header and move Instruction to dev::eth.
|
2019-03-28 13:48:11 +01:00 |
|
chriseth
|
6d8e84c93e
|
Merge pull request #6315 from ethereum/yul-for-continue-tests
[Yul] RedundantAssignEliminator adoptions for continue/break AST nodes
|
2019-03-28 12:18:02 +01:00 |
|
chriseth
|
ff1e5c2298
|
Merge pull request #6372 from ethereum/update-external-tests
Update external tests
|
2019-03-28 11:26:38 +01:00 |
|
Erik Kundt
|
3e6de8904b
|
Reactivates external gnosis-safe tests.
|
2019-03-28 10:31:08 +01:00 |
|
Erik Kundt
|
7808af79ae
|
Modularize external test setup.
|
2019-03-28 10:31:03 +01:00 |
|
chriseth
|
91f96c299e
|
More logic about control flow with continue and about finalize. Remove BlockScope.
|
2019-03-27 22:16:31 +01:00 |
|
Bhargava Shastry
|
10c3b31fa4
|
yulInterpreter: Add timeout based on the number of interpreted statements.
|
2019-03-27 12:06:02 +01:00 |
|
Christian Parpart
|
a1ec49409d
|
Yul] RedundantAssignEliminator: Implements break/continue handling within ForLoop.
|
2019-03-26 17:36:43 +01:00 |
|
Bhargava Shastry
|
b3c3a1f9cd
|
Use visitor pattern for proto converter.
|
2019-03-26 16:39:44 +01:00 |
|
chriseth
|
72c0e44907
|
Merge pull request #6338 from ethereum/compilerstack-setsource
Introduce setSources in CompilerStack
|
2019-03-26 15:31:57 +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 |
|
Mathias Baumann
|
bfe3f378b2
|
Fix throw in error output
|
2019-03-26 11:32:08 +01:00 |
|
chriseth
|
d079cdbfaa
|
Merge pull request #6362 from ethereum/fixABIEncoderV2StorageRead
Fix abi encoder v2 storage read
|
2019-03-26 10:23:08 +01:00 |
|
Alex Beregszaszi
|
e211b5b1e1
|
Add warning that Yul is still experimental
|
2019-03-25 20:17:11 +00:00 |
|
Alex Beregszaszi
|
0432401e20
|
Emit warning when using the Yul optimiser
|
2019-03-25 18:38:06 +01:00 |
|
chriseth
|
6b9c44d5f9
|
Tests for arrays.
|
2019-03-25 18:28:44 +01:00 |
|
chriseth
|
3039456f48
|
Tests for encoder from storage bug.
|
2019-03-25 18:28:43 +01:00 |
|
Alex Beregszaszi
|
3ee8bb6814
|
Use setSource in tests
|
2019-03-25 15:11:08 +00:00 |
|
Mathias L. Baumann
|
dce27bb452
|
Merge pull request #6370 from ethereum/more-info-after-ci-fail
Provide more info when CI fails
|
2019-03-25 16:08:16 +01:00 |
|
Mathias Baumann
|
e478115d26
|
Provide more info when CI fails
|
2019-03-25 15:16:03 +01:00 |
|
Alex Beregszaszi
|
76c3c54c12
|
Merge pull request #6360 from ethereum/split-imports-test
Split imports tests to avoid resetting CompilerStack
|
2019-03-25 13:15:38 +00:00 |
|
chriseth
|
caddce6ef0
|
Detect duplicate cases based on integer value of case label.
|
2019-03-25 12:38:22 +01:00 |
|
Alex Beregszaszi
|
d9303d4cfb
|
Split imports tests to avoid resetting CompilerStack
|
2019-03-25 11:33:21 +00:00 |
|
chriseth
|
b17daee20e
|
Merge pull request #6358 from ethereum/fixLLLTests
Fix LLL tests.
|
2019-03-25 11:49:53 +01:00 |
|
chriseth
|
31fa51b1f8
|
Fix LLL tests.
|
2019-03-25 10:53:49 +01:00 |
|
Alex Beregszaszi
|
532d43e0c8
|
Exclude metadata in compiler test
In SolidityCompiler/does_not_include_creation_time_only_internal_functions.
|
2019-03-22 17:35:15 +00:00 |
|
Alex Beregszaszi
|
3bc2c35cc4
|
Support compiling Yul within StandardCompiler
|
2019-03-22 01:35:16 +00:00 |
|
Alex Beregszaszi
|
ed1ad2fc14
|
Merge pull request #6317 from ethereum/byte_optimization_bugfix
Fixes bug in byte optimization rule and adds tests.
|
2019-03-21 21:49:34 +00:00 |
|
Alex Beregszaszi
|
7d94d3af20
|
Merge pull request #6309 from ethereum/proto-add-str-hex-lit
yul proto: Add support for generating string and hex literals.
|
2019-03-21 21:47:58 +00:00 |
|
Alex Beregszaszi
|
cbbc2df506
|
Merge pull request #6351 from ethereum/smt_shortcircuit_test
[SMTChecker] Add buggy short circuit test
|
2019-03-21 21:24:51 +00:00 |
|
Leonardo Alt
|
2ae778bf0a
|
[SMTChecker] Add buggy short circuit test
|
2019-03-21 18:47:14 +01:00 |
|
chriseth
|
2de5554e4a
|
Fix MacOS commandline tests.
|
2019-03-21 18:19:05 +01:00 |
|
Bhargava Shastry
|
f7b5a27581
|
Fixes bug in byte optimization rule and adds tests.
|
2019-03-21 14:29:06 +01:00 |
|
Bhargava Shastry
|
d1d3dd8571
|
yul proto: Add support for generating string and hex literals.
|
2019-03-21 12:25:52 +01:00 |
|
chriseth
|
d381e26fc8
|
Rename "enabled" optimizer setting stage to "standard".
|
2019-03-21 11:04:40 +01:00 |
|
chriseth
|
51ae865b96
|
Merge pull request #6222 from ethereum/internal-error-maybe
Disallow internal function types as parameters for public/external library function
|
2019-03-21 09:18:23 +01:00 |
|
chriseth
|
ebb8c1758e
|
Merge pull request #6339 from ethereum/lll-test-fix
Fix LLL tests using the opimiser
|
2019-03-21 08:54:07 +01:00 |
|
Mathias Baumann
|
8e899a0d32
|
Disallow internal function types as parameters for public/external library function
|
2019-03-21 07:25:57 +01:00 |
|
Alex Beregszaszi
|
7ec3eaa40d
|
Fix LLL tests using the opimiser
|
2019-03-20 19:21:24 +00:00 |
|
Bhargava Shastry
|
22f5a82edc
|
yul proto: Add support for generating for and switch statements.
|
2019-03-20 18:50:27 +00:00 |
|
chriseth
|
064f73be0c
|
Merge pull request #6249 from ethereum/optimizerTests
Change optimizer tests so that they also always test the peephole optimizer.
|
2019-03-20 18:38:06 +01:00 |
|
chriseth
|
9aab2329ed
|
Merge pull request #6244 from ethereum/smt_modifiers
[SMTChecker] Support modifiers
|
2019-03-20 18:04:28 +01:00 |
|
chriseth
|
6ac0ee1751
|
Merge pull request #5946 from bshastry/yul_opt_ossfuzz
Adds an oss-fuzz harness to fuzz AssemblyStack API calls for parsing …
|
2019-03-20 16:26:56 +01:00 |
|
chriseth
|
d788a88873
|
Use "none" and "full" optimizer settings in the optimizer tests.
|
2019-03-20 16:11:37 +01:00 |
|
chriseth
|
2fd6661b09
|
Add tests for some optimizer rules.
|
2019-03-20 16:10:59 +01:00 |
|
chriseth
|
8468dca0bb
|
Merge pull request #6323 from ethereum/bug-637
Fix function calls with named arguments for overloaded functions
|
2019-03-20 16:07:09 +01: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
|
57f99247c8
|
Update tests.
|
2019-03-20 15:07:05 +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 |
|
Mathias Baumann
|
84b68006ba
|
Fix function calls with named arguments for overloaded functions
|
2019-03-20 14:54:41 +01:00 |
|
Leonardo Alt
|
9659f40c8d
|
[SMTChecker] Support modifiers
|
2019-03-20 11:32:20 +01:00 |
|
chriseth
|
4d89fc1644
|
Merge pull request #6320 from ethereum/callvalue_nonpayable
Inline Assembly: Issue error for callvalue in nonpayable function
|
2019-03-20 10:07:09 +01:00 |
|
Leonardo Alt
|
0386d39942
|
Add test with internal function
|
2019-03-19 20:45:27 +01:00 |
|
Leonardo Alt
|
9acec99c31
|
Issue error for callvalue in nonpayable function
|
2019-03-19 20:45:27 +01:00 |
|
chriseth
|
87ebb16890
|
Use ABI_CHECK for event data comparison.
|
2019-03-19 17:23:50 +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 |
|
Christian Parpart
|
82ced641e5
|
[Yul] Adds another test case for multiple continue statements within a for-loop
|
2019-03-18 12:43:20 +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 |
|
chriseth
|
500843f9c5
|
Merge pull request #6242 from ethereum/yul-bc-dataflow
Yul dataflow analysis for continue/break statements
|
2019-03-14 16:34:34 +01:00 |
|
Christian Parpart
|
57bcb8ba83
|
[yul] Ensures DataFlowAnalyzer works fine with break/continue statements just like without.
|
2019-03-14 16:18:45 +01:00 |
|
chriseth
|
85a0d6a334
|
Merge pull request #6118 from ethereum/useStackOpt
Use stack optimizations.
|
2019-03-14 15:58:47 +01:00 |
|
chriseth
|
a3fbbe2019
|
Merge pull request #6291 from ethereum/proto-bugfixes
Proto spec and translator bug fixes.
|
2019-03-14 15:54:29 +01:00 |
|