Commit Graph

14359 Commits

Author SHA1 Message Date
Daniel Kirchner
05940ef64a
Merge pull request #7212 from ethereum/removeSharedZ3Docker
Remove the shared Z3 build from the testing Dockerfile.
2019-08-13 10:54:49 +02:00
chriseth
c82e46842a
Merge pull request #7226 from ethereum/release
Merge release back into develop.
2019-08-13 10:50:59 +02:00
chriseth
a6cbc3b857
Merge pull request #7225 from ethereum/setVersionTo0512
Set version to 0.5.12.
2019-08-13 10:50:28 +02:00
chriseth
445376ef7c Set version to 0.5.12. 2019-08-13 00:18:10 +02:00
chriseth
32c3da2c81
Merge pull request #7201 from ethereum/shadow-erased-7148
YulInterpreter: Call functions with the correct context
2019-08-12 23:58:38 +02:00
chriseth
871a97497f
Merge pull request #7224 from ethereum/docs-compiler-link
[DOCS] Change link in using compiler
2019-08-12 23:55:52 +02:00
chriseth
22be85921b
Merge pull request #7222 from ethereum/fixVersionPruning
Remove version in errors for release build.
2019-08-12 21:44:45 +02:00
Chris Chinchilla
ba9b14cbbd
Change link 2019-08-12 18:49:55 +02:00
chriseth
4596a761c4 Remove version in errors for release build. 2019-08-12 17:23:56 +02:00
Mathias Baumann
ccfcee5b80 YulInterpreter: Fix wrong context passed to called function 2019-08-12 17:12:53 +02:00
Daniel Kirchner
2d637a48b4 Proper cmake failure if z3 version cannot be determined. 2019-08-12 16:23:06 +02:00
chriseth
c082d0b4e8
Merge pull request #7219 from ethereum/develop
Merge develop into release.
2019-08-12 16:11:11 +02:00
Leonardo
cbac3a4208
Merge pull request #7107 from ethereum/smt_chc_constructor_interface
[SMTChecker] Add CHC constructor/interface/error blocks
2019-08-12 15:06:08 +02:00
chriseth
dcf2e49580
Merge pull request #7218 from ethereum/prepare0.511
Prepare changelog for release.
2019-08-12 14:57:33 +02:00
chriseth
755365396e Prepare changelog for release. 2019-08-12 14:49:35 +02:00
chriseth
d8c0c82a2c
Merge pull request #7217 from ethereum/buglistStructOffset
Buglist entry for calldata structs with dynamically encoded, but statically-sized members.
2019-08-12 14:43:08 +02:00
Leonardo
ffe906129f
Merge pull request #7210 from ethereum/smt_fix_type_mismatch
[SMTChecker] Support StringLiteral type
2019-08-12 14:32:43 +02:00
Daniel Kirchner
05cc866c42 Buglist entry for calldata structs with dynamically encoded, but statically-sized members. 2019-08-12 14:31:36 +02:00
Daniel Kirchner
0ca4a744e8
Merge pull request #7216 from ethereum/ppaRemoveCosmic
Remove ubuntu cosmic (EOL July 18, 2019) from release script.
2019-08-12 13:02:01 +02:00
Leonardo Alt
bef6228810 [SMTChecker] Create CHC constructor/interface/error blocks 2019-08-12 12:34:57 +02:00
Daniel Kirchner
2f48bd6fb9 Remove ubuntu cosmic (EOL July 18, 2019) from release script. 2019-08-12 11:36:48 +02:00
Leonardo
b285e08635
Merge pull request #7214 from ethereum/smt_relax_nonlinear_expecteation
[SMTChecker] Relax expectations for complex nonlinear tests
2019-08-12 10:44:39 +02:00
Leonardo Alt
955b97097c [SMTChecker] Relax expectations for complex nonlinear tests 2019-08-11 22:20:31 +02:00
Leonardo Alt
360f868836 [SMTChecker] Fix literal string type mismatch 2019-08-10 21:51:46 +02:00
Leonardo
f5f2bbb274
Merge pull request #7184 from ethereum/smt_fix_scanner
[SMTChecker] Fix ICE when reporting cex
2019-08-10 21:40:44 +02:00
Leonardo Alt
4214cd1354 [SMTChecker] Fix ICE when reporting cex concerning state vars from different source files 2019-08-10 20:56:52 +02:00
Daniel Kirchner
cc9278d38c Explicitly use the gcc openmp implementation for the fuzzing build. 2019-08-09 19:55:48 +02:00
Leonardo
67c855e93e
Merge pull request #7170 from ethereum/smt_fix_other_contract_state_var
[SMTChecker] Fix ICE when inlining functions from different source
2019-08-09 19:14:28 +02:00
Daniel Kirchner
9793c4db9d Remove the shared Z3 build from the testing Dockerfile. 2019-08-09 18:15:38 +02:00
Leonardo
dcfa70b1a8
Merge pull request #7208 from ethereum/smt_recursive_functions_return_vars
[SMTChecker] Set unknown for return vars of recursive functions
2019-08-09 18:08:40 +02:00
Leonardo Alt
7b22496b1f [SMTChecker] Fix ICE when inlining functions that use state vars and are in a different source 2019-08-09 17:50:52 +02:00
Leonardo Alt
11d8cf588e [SMTChecker] Set unknown values for return variables of recursive functions 2019-08-09 17:01:08 +02:00
Daniel Kirchner
682a3ece3b
Merge pull request #7209 from ethereum/asanGCCFix
Enable asan workaround in optimizer test for gcc as well.
2019-08-09 16:56:15 +02:00
Daniel Kirchner
77729023a8 Enable asan workaround in optimizer test for gcc as well. 2019-08-09 16:11:54 +02:00
chriseth
6956ea1e9e
Merge pull request #7203 from ethereum/buildEvmoneShared
Also build shared library of evmone for docker image.
2019-08-08 18:36:07 +02:00
chriseth
18ffe3b3ad
Merge pull request #7010 from ethereum/useevmone
Use evmone for testing.
2019-08-08 18:35:47 +02:00
chriseth
614ae036a2 Also build shared library of evmone. 2019-08-08 18:22:22 +02:00
chriseth
8b42d153c7
Merge pull request #7202 from ethereum/refactorIRLValue
Refactor IRLValue so that it does not require IRGenerationContext.
2019-08-08 18:10:14 +02:00
Bhargava Shastry
a20dc624d4 Selectively disable time sensitive check in the constant_optimization_early_exit unit test for address sanitizer builds. 2019-08-08 17:35:46 +02:00
chriseth
1258aabee7 Better error message if loading fails. 2019-08-08 17:35:46 +02:00
chriseth
f3f3cac864 Fix for ossfuzz. 2019-08-08 17:35:46 +02:00
chriseth
77212627fb Remove traces of aleth and IPC. 2019-08-08 17:35:46 +02:00
chriseth
c4638cc5cb Remove mention of IPC. 2019-08-08 17:35:46 +02:00
chriseth
ac43c3bd18 Construct VM with path. 2019-08-08 17:35:46 +02:00
chriseth
09eeb1a6b9 Discover path. 2019-08-08 17:35:46 +02:00
chriseth
f692cec11d Provide path to libevmone. 2019-08-08 17:35:46 +02:00
chriseth
13e2a6fe52 Removing obsolete but timing-sensitive test. 2019-08-08 17:35:46 +02:00
chriseth
22e9155ba4 Precompiles. 2019-08-08 17:35:46 +02:00
chriseth
b7d17c578d Count gas for transaction and code deposit. 2019-08-08 17:35:46 +02:00
chriseth
3dec3af638 Use evmone for testing. 2019-08-08 17:35:44 +02:00