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,311 Commits 348 Branches 121 Tags
f1da0f7ae9b3d6ab60e3d9152952aea6e572dc0a
Commit Graph
14311 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Erik Kundt f1da0f7ae9 Prepares 0.6.0 changelog and documentation. 2019-08-14 16:15:59 +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
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