cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
14,323 Commits 348 Branches 121 Tags
d5744b3c1cb0d119b1d384ae71ba762ceff42e4e
Commit Graph
14323 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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.
v0.5.11 		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