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 |
|
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 |
|
chriseth
|
c8f04b88bf
|
Merge pull request #7176 from ethereum/decodeMemoryLocation
Always copy dynamically-sized memory arrays during CompilerUtils::abiDecode
|
2019-08-07 15:42:14 +02:00 |
|
chriseth
|
d8dc090567
|
Merge pull request #7189 from ethereum/trailing-whitespace
New Error Reporter: Fix trailing whitespace
|
2019-08-07 15:36:29 +02:00 |
|
rocky
|
7fd7cc1e76
|
Produce AST even when there are parser errors
|
2019-08-07 15:25:53 +02:00 |
|
Mathias Baumann
|
bcc73a5225
|
New Error Reporter: Fix trailing whitespace
|
2019-08-07 14:12:31 +02:00 |
|
Erik Kundt
|
fe15db6537
|
[isoltest] Fixes exception handling while parsing literals.
|
2019-08-07 12:22:52 +02:00 |
|
Erik Kundt
|
e206ad6c24
|
[isoltest] Fixes hex (plus alignment) formatting.
|
2019-08-07 12:15:10 +02:00 |
|
Daniel Kirchner
|
4826210662
|
Merge pull request #7182 from ethereum/archlinuxDocker
Use up-to-date archlinux instead of a custom docker image for archlinux build.
|
2019-08-06 19:07:49 +02:00 |
|
Daniel Kirchner
|
efb34bdf22
|
Always copy dynamically-sized memory arrays during CompilerUtils::abiDecode.
|
2019-08-06 14:11:14 +02:00 |
|
Daniel Kirchner
|
6122faf9b4
|
Use up-to-date archlinux instead of a custom docker image for archlinux build.
|
2019-08-06 13:50:01 +02:00 |
|
Daniel Kirchner
|
4182033264
|
Merge pull request #7179 from ethereum/fix-gcc-9-errors
Fix gcc9 errors
|
2019-08-06 13:23:04 +02:00 |
|
Mathias Baumann
|
e4ad0e8e6d
|
Fix gcc9 errors
|
2019-08-06 12:12:09 +02:00 |
|
Bhargava Shastry
|
efa2648771
|
Merge pull request #7177 from ethereum/abiv2-test-decoding-of-invalid-encode
Test low level calls with correct and incorrect encodings
|
2019-08-06 12:06:13 +02:00 |
|