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,296 Commits 348 Branches 121 Tags
ba9b14cbbd2c3a423bbe0b5337f547224a8dcdbd
Commit Graph
14296 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Chris Chinchilla ba9b14cbbd Change link 2019-08-12 18:49:55 +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
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
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
chriseth 7401fbabd9 Add evmc. 2019-08-08 17:34:51 +02:00
chriseth 74f16ef186 Refactor IRLValue so that it does not require IRGenerationContext. 2019-08-08 17:27:35 +02:00
chriseth 9955c51769 Merge pull request #7077 from ethereum/sol-yul-delete-fixed-storage 
[Sol->Yul] Implement delete for fixed-sized storage arrays
 2019-08-08 16:47:16 +02:00
chriseth 16efcfdbb3 Merge pull request #7178 from ethereum/calldataSizeTest 
Split calldataEncodedSize.
 2019-08-08 16:20:52 +02:00
mingchuan 15631a7fbe Split calldataEncodedSize into calldataEncodedSize, calldataEncodedTailSize and calldataHeadSize and fix all usages. 2019-08-08 15:52:21 +02:00
Mathias Baumann e072885031 [Sol->Yul] Implement delete for fixed-sized storage arrays 2019-08-07 18:28:52 +02:00
chriseth d44f680a51 Merge pull request #7091 from ethereum/isoltest-value-format-fix 
[isoltest] Fix (aligned) hex parsing and formatting
 2019-08-07 17:55:37 +02:00
Daniel Kirchner 8fead31da1 Merge pull request #7192 from ethereum/staticZ3Docker 
Add static z3 build from deps PPA to testing docker image.
 2019-08-07 17:34:22 +02:00
Erik Kundt 5ca991ac81 [isoltest] Allows odd-sized hex literals. 2019-08-07 17:19:27 +02:00
Daniel Kirchner 311578800a Add static z3 build from deps PPA to testing docker image. 2019-08-07 16:50:47 +02:00
chriseth 6166dc8e8f Merge pull request #6856 from rocky/recoveringParser1-ast 
Produce AST even when there are parser errors
 2019-08-07 15:56:45 +02:00
chriseth 0c2ea573b8 Merge pull request #7186 from ethereum/abi-docu-enhancement 
ABI documentation clarifications
 2019-08-07 15:56:01 +02:00
Mathias Baumann 7234e59e07 ABI documentation clarifications 2019-08-07 15:53:53 +02:00