Commit Graph

13539 Commits

Author SHA1 Message Date
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
e9ffbefb05
Merge pull request #6413 from ethereum/ossfuzz-build-ci
Add CI to build ossfuzz fuzzer binaries
2019-04-03 11:03:30 +02:00
Mathias Baumann
4c24cce386 Replace tab with spaces in test.sh 2019-04-03 10:59:36 +02:00
Bhargava Shastry
0d2566fa71 Add CI to build ossfuzz fuzzer binaries 2019-04-03 10:27:05 +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
chriseth
bf4fa704db
Merge pull request #6434 from ethereum/fix_z3_docs
Fix Z3 version in docs
2019-04-02 18:02:30 +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
20216f3a86 Separates CircleCI jobs for external tests. 2019-04-02 13:43:03 +02:00
Erik Kundt
79e74b75d1 Splits up external tests into separate files. 2019-04-02 13:42:58 +02:00
chriseth
7b0f7eb1cc
Merge pull request #6440 from ethereum/use-default-constructor-for-evm-version
Use default EVMVersion instead of a hard coded one
2019-04-02 12:10:00 +02:00
Bhargava Shastry
0cc6e1cb08 Use default EVMVersion instead of a hard coded one 2019-04-02 11:40:59 +02:00
Leonardo Alt
c7c15a41cc Fiz Z3 version in docs 2019-04-01 21:22:38 +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
chriseth
2ecd056534
Merge pull request #6423 from ethereum/forceABIV2InExternalTests
Force-activate ABIEncoderV2 in external tests.
2019-04-01 16:44:52 +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
chriseth
8e07a2396f
Merge pull request #6428 from ethereum/external-tests-optimizer
Fixes forced optimizer settings in external tests
2019-04-01 15:35:36 +02:00
Erik Kundt
c72686b343 Fixes forced optimizer settings in external tests. 2019-04-01 14:53:21 +02:00
chriseth
6de376542c
Merge pull request #6422 from ethereum/ci-smaller-log-output
Decrease xml test log size
2019-04-01 14:42:38 +02:00
Mathias Baumann
bddef01fdd Decrease xml test log size 2019-04-01 12:38:29 +02:00
chriseth
a3a60b8eb9
Merge pull request #6414 from ethereum/chriseth-patch-1
Layout cleanup.
2019-04-01 09:50:36 +02:00
chriseth
91a54f9b4d
Merge pull request #6160 from ethereum/rulelist-reject
Optimize obsolete ANDs in combination with certain SHIFTs
2019-03-29 18:01:33 +01: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
af09cb3af2
Layout cleanup. 2019-03-28 23:43:27 +01:00
chriseth
65026a0a25
Merge pull request #6412 from iostat/remapping-doc-fix
[DOCS] use correct global remapping syntax in documentation
2019-03-28 23:38:47 +01:00
Ilya Ostrovskiy
7860918de5
use correct global remapping syntax in documentation 2019-03-28 15:01:41 -04: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
chriseth
bb899b4c26
Merge pull request #6382 from ethereum/smt_fix_short_circuit
[SMTChecker] Implement Boolean short-circuiting correctly
2019-03-28 17:35:11 +01:00
Leonardo Alt
8721952ded Changelog entry 2019-03-28 16:22:18 +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
Leonardo Alt
15269067b5 Support arithmetic compound assignment operators 2019-03-28 15:27:52 +01:00
Leonardo Alt
ecbf36f271 Refactor computing symbolic arithmetic operation 2019-03-28 15:27:36 +01:00
chriseth
2005e70fb9
Merge pull request #6409 from ethereum/namespaceFix
Fix namespace.
2019-03-28 15:24:18 +01:00
chriseth
e82dcd1f91 Fix namespace. 2019-03-28 14:55:50 +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