Leo Arias
|
7573133626
|
Fix the stage path
|
2019-08-15 02:14:21 +00:00 |
|
Leo Arias
|
47153430b2
|
Build cvc4 when packaging the snap
|
2019-08-15 00:49:21 +00:00 |
|
chriseth
|
d5744b3c1c
|
Merge pull request #7242 from ethereum/fixErasingMemoryStorage
Properly set storage and memory after erasing potentially destroyed keys
|
2019-08-13 19:53:23 +02:00 |
|
chriseth
|
e396dc7246
|
Properly set storage and memory after erasing potentially destroyed keys
|
2019-08-13 18:43:15 +02:00 |
|
chriseth
|
abed8119fc
|
Merge pull request #7205 from ethereum/cxx17
Defaulting to C++17 for building.
|
2019-08-13 18:15:26 +02:00 |
|
chriseth
|
823f06625a
|
Merge pull request #7230 from ethereum/callgraph_generator
Callgraph generator.
|
2019-08-13 18:04:56 +02:00 |
|
chriseth
|
0c2f8ddfae
|
Merge pull request #7231 from ethereum/extractMSize
[Yul] Remove ContainsMSize from side-effect-collector.
|
2019-08-13 18:03:51 +02:00 |
|
Christian Parpart
|
e91c6acbc3
|
Defaulting to C++17 for building.
|
2019-08-13 16:19:18 +02:00 |
|
Daniel Kirchner
|
bd105ad4b1
|
Experimental static Z3 PPA script.
|
2019-08-13 16:19:18 +02:00 |
|
chriseth
|
57125de9ef
|
Remove ContainsMSize from side-effect-collector.
|
2019-08-13 13:34:33 +02:00 |
|
chriseth
|
aae1d98724
|
Merge pull request #7227 from ethereum/fixdoclink
[Trivial] Fix link to Contract ABI in source code
|
2019-08-13 13:25:48 +02:00 |
|
chriseth
|
3068bca01e
|
Merge pull request #7228 from ethereum/build-dir-var
[Trivial] Test scripts: Make build dir a variable
|
2019-08-13 13:18:58 +02:00 |
|
mingchuan
|
53af4e082e
|
Callgraph generator.
|
2019-08-13 12:49:32 +02:00 |
|
Mathias Baumann
|
30373d5719
|
Test scripts: Make build dir a variable
|
2019-08-13 12:44:29 +02:00 |
|
Mathias Baumann
|
444395960f
|
Fix link to Contract ABI in source code
|
2019-08-13 12:43:04 +02:00 |
|
chriseth
|
98e3caa28a
|
Merge pull request #7220 from ethereum/z3CMakeFix
CMake: Properly disable z3, if z3 version cannot be determined.
|
2019-08-13 11:49:52 +02:00 |
|
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 |
|