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 |
|
chriseth
|
afa24e1bf4
|
Merge pull request #6437 from ethereum/add-scoped-vars
Reference only those variables that are in scope.
|
2019-04-04 13:35:57 +02:00 |
|
Bhargava Shastry
|
762dd24784
|
Reference only those variables that are in scope.
|
2019-04-04 13:28:56 +02:00 |
|
chriseth
|
e75f99b2bd
|
Merge pull request #6398 from ethereum/yulInterpreter-maxSteps
yulInterpreter: Add timeout based on the number of interpreted statem…
|
2019-04-04 13:19:07 +02:00 |
|
chriseth
|
c0ce540e26
|
Run tests with both ABIV2 and Yul optimizer.
|
2019-04-04 13:18:30 +02:00 |
|
Bhargava Shastry
|
f15cedad7a
|
yulInterpreter: More fine-grained exception handling
|
2019-04-04 13:02:55 +02:00 |
|
chriseth
|
44fc658aa0
|
Merge pull request #6463 from ethereum/fixSSAMulti
Fix SSA for multi-assignments.
|
2019-04-04 12:32:23 +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 |
|
chriseth
|
d29ea5c4ed
|
Merge pull request #6425 from ethereum/test-requiring-constantinople
Add bitshift optimizer tests
|
2019-04-03 22:41:22 +02:00 |
|
Mathias Baumann
|
d46f29e128
|
Add bitshift optimizer tests
|
2019-04-03 22:38:31 +02:00 |
|
chriseth
|
5b871f61a2
|
Merge pull request #6429 from ethereum/testSettings
Add settings framework for interactive tests.
|
2019-04-03 22:35:39 +02:00 |
|
chriseth
|
1e1e657404
|
Merge pull request #6461 from ethereum/50-warn
[DOCS] Add 0.5.x warning
|
2019-04-03 22:25:06 +02:00 |
|
Daniel Kirchner
|
5ff1f85231
|
Adjust semantics tests.
|
2019-04-03 17:59:04 +02:00 |
|
Chris Ward
|
0b44389fc6
|
Add 0.5.x warning
|
2019-04-03 17:37:35 +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
|
8942c5acfb
|
Merge pull request #6394 from ethereum/yet-more-info
Log aleth output upon test failure
|
2019-04-03 13:17:27 +02:00 |
|
chriseth
|
f7fe57535a
|
Merge pull request #6453 from ethereum/use-deb-pkg
Use obsolete jsoncpp deb package instead of script where possible
|
2019-04-03 13:05:07 +02:00 |
|
Mathias Baumann
|
9633b285ab
|
Log aleth output upon failure
|
2019-04-03 12:43:15 +02:00 |
|
Mathias Baumann
|
ca259a886d
|
Use obsolete jsoncpp deb package instead of script where possible
|
2019-04-03 12:26:26 +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
|
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 |
|