chriseth
|
127bcfc69d
|
Take user function side-effects into account for unused pruner.
|
2019-09-02 17:41:51 +02:00 |
|
chriseth
|
1c5845e3f2
|
Side-effects of user-defined functions.
|
2019-09-02 17:41:51 +02:00 |
|
chriseth
|
c499758cd8
|
Merge pull request #7326 from ethereum/develop
Merge develop into 0.6.0 branch.
|
2019-09-02 16:11:20 +02:00 |
|
Bhargava Shastry
|
bcf0c1810c
|
Yul proto fuzzer: Do not reuse variable names
|
2019-09-02 15:23:10 +02:00 |
|
chriseth
|
9a6357ab09
|
Merge pull request #7188 from ethereum/abiv2-use-bytes-string-longer-than-32-bytes
Abiv2 use bytes string longer than 32 bytes
|
2019-09-02 15:05:43 +02:00 |
|
chriseth
|
bdf29277a2
|
Change interpreter memory to be non-contiguous.
|
2019-09-02 13:51:47 +02:00 |
|
Bhargava Shastry
|
46a133e848
|
Generate bytes and string literals that are longer than 32 bytes
|
2019-09-02 12:43:47 +02:00 |
|
Daniel Kirchner
|
467d420f7e
|
ABI and AST tests.
|
2019-09-02 12:23:21 +02:00 |
|
chriseth
|
a988b64597
|
Merge pull request #7312 from ethereum/fixInterpreterScopes
Fix handling of scopes in Yul Interpreter.
|
2019-09-02 12:05:33 +02:00 |
|
Daniel Kirchner
|
2b938d703c
|
Allow global enum definitions.
|
2019-09-02 11:52:51 +02:00 |
|
Bhargava Shastry
|
3963d0ca02
|
Create bytes/string values of shorter than 32 bytes and adjust invalid encoding length accordingly
|
2019-09-02 11:30:38 +02:00 |
|
Daniel Kirchner
|
fae0e10d26
|
Import tests.
|
2019-09-02 11:17:57 +02:00 |
|
Daniel Kirchner
|
872d21f527
|
Allow global struct definitions.
|
2019-09-02 11:17:42 +02:00 |
|
chriseth
|
01e0a12c3b
|
Fix handling of scopes in Yul Interpreter.
|
2019-09-02 10:41:26 +02:00 |
|
chriseth
|
e86b5cf14e
|
Replace byte(A, X) by zero if A >= 32
|
2019-08-29 15:35:34 +02:00 |
|
Leonardo Alt
|
214e5c6369
|
[SMTChecker] Fix index access type type error
|
2019-08-27 16:39:19 +02:00 |
|
Mathias Baumann
|
24716404f8
|
Parse override keyword
|
2019-08-26 17:34:21 +02:00 |
|
Alex Beregszaszi
|
5749a5d7c9
|
Introduce istanbul and berlin versions
|
2019-08-26 13:15:01 +01:00 |
|
Bhargava Shastry
|
922790730c
|
Do not create duplicate case statements
|
2019-08-26 12:44:06 +02:00 |
|
Bhargava Shastry
|
86c981d9fa
|
proto fuzzer: Use a yul optimizer dictionary
|
2019-08-26 12:44:06 +02:00 |
|
Erik K
|
d47863ef35
|
Merge pull request #7300 from ethereum/fix-docCheck
Fix deprecated option style for docCheck
|
2019-08-26 12:23:03 +02:00 |
|
Mathias L. Baumann
|
e1bb4b9f81
|
Merge pull request #7280 from ethereum/isoltest-empty-revert
[isoltest] Support empty revert message
|
2019-08-26 11:45:36 +02:00 |
|
Mathias Baumann
|
7f6bb543a9
|
Fix deprecated option style for docCheck
solhint was updated and now warns about deprecated option values
|
2019-08-26 11:23:29 +02:00 |
|
Erik Kundt
|
755dae5d66
|
[isoltest] Supports empty revert message.
|
2019-08-26 11:06:30 +02:00 |
|
Mathias L. Baumann
|
502bf01be2
|
Merge pull request #7278 from ethereum/develop
Merge develop into develop_060
|
2019-08-26 10:26:48 +02:00 |
|
Leonardo Alt
|
c27235b2f5
|
[SMTChecker] Adapt division test for Z3 only
|
2019-08-23 17:33:29 +02:00 |
|
Mathias Baumann
|
0e3ff25b4e
|
Make sure json output array order is consistent
The source of the "contractDependencies" value was an std::map, thus
order was more or less random.
|
2019-08-19 17:42:03 +02:00 |
|
Daniel Kirchner
|
4354ef2ef4
|
Add update suggestion.
|
2019-08-19 14:58:05 +02:00 |
|
Daniel Kirchner
|
20b23e124b
|
Add test case.
|
2019-08-19 14:56:04 +02:00 |
|
Daniel Kirchner
|
9f6fff2120
|
Replace casting of external functions to address by a member named "address".
|
2019-08-19 14:56:04 +02:00 |
|
Daniel Kirchner
|
aa2167b208
|
Extract some import tests.
|
2019-08-19 14:45:26 +02:00 |
|
Daniel Kirchner
|
6ed219ebe8
|
Support multiple sources for syntax tests.
|
2019-08-19 14:45:26 +02:00 |
|
Daniel Kirchner
|
4a65c5ebaa
|
Compile succeeding syntax tests.
|
2019-08-16 17:14:49 +02:00 |
|
chriseth
|
3c4f558242
|
Tests
|
2019-08-15 16:30:05 +02:00 |
|
Leonardo Alt
|
1a70a46f9b
|
[CHC] Add function blocks and check asserts
|
2019-08-15 12:25:15 +02:00 |
|
chriseth
|
2508cbc1eb
|
Merge pull request #7095 from ethereum/isoltest-failure-reason
[isoltest] Support FAILURE with reason
|
2019-08-15 11:37:56 +02:00 |
|
Erik Kundt
|
6c73bc5bac
|
[isoltest] Refactors parameter formatting.
|
2019-08-14 21:28:43 +02:00 |
|
Erik Kundt
|
18157f5a49
|
[isoltest] Splits smoke test into separate files.
|
2019-08-14 21:28:43 +02:00 |
|
Erik Kundt
|
30483acc42
|
[isoltest] Support FAILURE with reason.
|
2019-08-14 21:28:43 +02:00 |
|
Daniel Kirchner
|
b0a5666b43
|
Better error messages when writing to expressions that cannot be written to.
|
2019-08-14 17:59:48 +02:00 |
|
chriseth
|
7d30fbdef0
|
Extract side effects into their own struct.
|
2019-08-14 15:06:10 +02:00 |
|
chriseth
|
e396dc7246
|
Properly set storage and memory after erasing potentially destroyed keys
|
2019-08-13 18:43:15 +02:00 |
|
Mathias Baumann
|
30373d5719
|
Test scripts: Make build dir a variable
|
2019-08-13 12:44:29 +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
|
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 |
|
Leonardo
|
ffe906129f
|
Merge pull request #7210 from ethereum/smt_fix_type_mismatch
[SMTChecker] Support StringLiteral type
|
2019-08-12 14:32:43 +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 Alt
|
4214cd1354
|
[SMTChecker] Fix ICE when reporting cex concerning state vars from different source files
|
2019-08-10 20:56:52 +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 |
|
Daniel Kirchner
|
77729023a8
|
Enable asan workaround in optimizer test for gcc as well.
|
2019-08-09 16:11:54 +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
|
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
|
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 |
|
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 |
|
Erik Kundt
|
5ca991ac81
|
[isoltest] Allows odd-sized hex literals.
|
2019-08-07 17:19:27 +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
|
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 |
|
rocky
|
7fd7cc1e76
|
Produce AST even when there are parser errors
|
2019-08-07 15:25:53 +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
|
efb34bdf22
|
Always copy dynamically-sized memory arrays during CompilerUtils::abiDecode.
|
2019-08-06 14:11:14 +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 |
|
Leonardo
|
cd563e526a
|
Merge pull request #7122 from sifmelcara/expression-inliner-avoid-dup-expr
[Yul] ExpressionInliner: avoid duplicating expressions
|
2019-08-06 11:08:38 +02:00 |
|
Bhargava Shastry
|
2f815c5c35
|
While compiling abiv2 proto generated solidity test program, silently ignore stack too deep errors (exception), throw exception otherwise.
|
2019-08-06 11:06:09 +02:00 |
|
Bhargava Shastry
|
bf16f2f75e
|
Test low level calls with correct and incorrect encodings
|
2019-08-06 09:43:55 +02:00 |
|
chriseth
|
24074d8bac
|
Merge pull request #7172 from ethereum/smt_fix_return_tuple
[SMTChecker] CHC create function returned expressions
|
2019-08-05 16:48:13 +02:00 |
|
chriseth
|
42290f912b
|
Merge pull request #7052 from ethereum/isoltest-update-improvements
[isoltest] Update improvements (support for missing types)
|
2019-08-05 16:45:06 +02:00 |
|
chriseth
|
6fe2657b19
|
Merge pull request #6416 from ethereum/docs-style-checker
[DOCS] Docs examples style checker
|
2019-08-05 16:18:57 +02:00 |
|
Erik Kundt
|
f914415fb2
|
[isoltest] Updates type retrieval from ABI and its formatting.
|
2019-08-05 16:15:07 +02:00 |
|
Erik Kundt
|
38285b33d7
|
[isoltest] Prints bytes result if expectations mismatch.
|
2019-08-05 15:11:43 +02:00 |
|
Erik Kundt
|
07051f41d2
|
[isoltest] Reworks (default) ABI Type construction.
|
2019-08-05 15:00:04 +02:00 |
|
Erik Kundt
|
d9b98bf7af
|
[isoltest] Cleans up BytesUtils.
|
2019-08-05 15:00:04 +02:00 |
|
Erik Kundt
|
a7a8ba73f9
|
[isoltest] Moves error types to dedicated file.
|
2019-08-05 15:00:04 +02:00 |
|
Chris Chinchilla
|
85ec44826a
|
Add style checker
Rename files
Changes from review
Update test/docsCodeStyle.sh
Co-Authored-By: chriseth <chris@ethereum.org>
Update test/docsCodeStyle.sh
Co-Authored-By: chriseth <chris@ethereum.org>
Remove extraneous brackets
|
2019-08-05 13:00:30 +02:00 |
|
Leonardo Alt
|
369f8cd97f
|
[SMTChecker] CHC create function return variables
|
2019-08-05 12:36:51 +02:00 |
|
Leonardo
|
11632966c9
|
Merge pull request #7171 from ethereum/smt_fix_compound_bitwise
[SMTChecker] Fix ICE compound bitwise op inside branch
|
2019-08-05 12:15:01 +02:00 |
|
chriseth
|
9b375edfe3
|
Merge pull request #6787 from ethereum/sol2yul-ctor-code
Improve constructor-code codegen (wrt. state variable initialization)
|
2019-08-05 11:50:34 +02:00 |
|
mingchuan
|
46387eaea2
|
[Yul] ExpressionInliner: avoid duplicating high cost expressions
|
2019-08-05 11:48:32 +02:00 |
|
Christian Parpart
|
235638b3fc
|
Implements constructor code for state variables.
|
2019-08-05 11:23:01 +02:00 |
|
Leonardo Alt
|
d5fb8cf58a
|
[SMTChecker] Fix ICE compound bitwise op inside branch
|
2019-08-02 20:02:39 +02:00 |
|
Leonardo Alt
|
7b5863e583
|
Do not erase knowledge about storage pointers when another pointer is assigned
|
2019-08-02 13:09:06 +02:00 |
|
Bhargava Shastry
|
e018d62a67
|
Dynamically sized array dimensions can be zero sized
|
2019-08-01 16:33:57 +02:00 |
|
chriseth
|
7421d85346
|
Merge pull request #7094 from ethereum/isoltest-arrow-optional
[isoltest] Introduce shorthand declaration: make `->` optional.
|
2019-08-01 15:42:42 +02:00 |
|
chriseth
|
742b4271fd
|
Merge pull request #7159 from ethereum/always_demand_tests
Make sure a semantic test file always contains function calls
|
2019-08-01 15:12:13 +02:00 |
|
chriseth
|
2a25d7461f
|
Merge pull request #7123 from rocky/tolerate-pragma-mismatch
A pragma version mismatch is not fatal if ...
|
2019-08-01 14:48:24 +02:00 |
|
chriseth
|
6730a59f74
|
Merge pull request #7157 from ethereum/fix-7155
FunctionType: Return correct stacksize for transfer/send
|
2019-08-01 14:40:35 +02:00 |
|
Mathias Baumann
|
c920b50ebe
|
Make sure a semantic test file always contains function calls
Because if not, the code isn't even compiled.
|
2019-08-01 14:02:33 +02:00 |
|
Mathias Baumann
|
e887c06f6b
|
FunctionType: Return correct stacksize for transfer/send
|
2019-08-01 13:56:09 +02:00 |
|
Leonardo Alt
|
44d7c6976a
|
Erase pointer knowledge properly inside loops
|
2019-07-30 12:47:50 +02:00 |
|
Leonardo
|
00accd9daa
|
Merge pull request #7141 from ethereum/smt_fix_json
[SMTChecker] Reset SSA index to 0 instead of increasing in context reset
|
2019-07-29 10:20:06 +02:00 |
|
Leonardo Alt
|
847f574e22
|
[SMTChecker] Fix ICE when inlining function with tuple expression
|
2019-07-26 16:29:29 +02:00 |
|
Leonardo Alt
|
6bcbeb1d23
|
[SMTChecker] Reset SSA index to 0 instead of increasing in context reset
|
2019-07-25 14:16:34 +02:00 |
|
Christian Parpart
|
b6446aa615
|
Extracting more end-to-end tests.
|
2019-07-22 16:31:46 +02:00 |
|
Erik Kundt
|
41fb6f4ff8
|
isoltest: Removes additional whitespaces from output.
|
2019-07-22 13:43:20 +02:00 |
|
Erik Kundt
|
8c51a089d7
|
isoltest: Makes -> declaration optional.
|
2019-07-22 13:25:11 +02:00 |
|
Christian Parpart
|
58d8243921
|
isoltest: Fixes parsing and printing strings with *basic* escape sequences in it.
We explicitly did not implement a fully conformant ANSI escape sequence
parser but only what is needed for now.
|
2019-07-22 11:32:17 +02:00 |
|
Leonardo
|
508cf66da2
|
Merge pull request #7062 from ethereum/smt_chc_checker
[SMTChecker] Add skeleton for CHC
|
2019-07-19 15:41:43 +02:00 |
|
Leonardo Alt
|
03cc124f32
|
Add CHC skeleton
|
2019-07-19 11:52:05 +02:00 |
|
chriseth
|
8ba00cd7dd
|
Merge pull request #7126 from ethereum/addComprMSizeTest
Add another test related to stack compressor and msize.
|
2019-07-18 20:12:11 +02:00 |
|
chriseth
|
a30be56c27
|
Additional type info for ABI.
|
2019-07-18 16:54:11 +02:00 |
|
chriseth
|
0c0b5a09cd
|
Add another test related to stack compressor and msize.
|
2019-07-18 16:40:46 +02:00 |
|
rocky
|
f9b631f410
|
A pragma version mismatch is not fatal if ...
error recovery is desired.
Fixes #7085
|
2019-07-17 19:01:01 -04:00 |
|
chriseth
|
15cba9163e
|
Merge pull request #7106 from ethereum/fixMSizeOpt
Do not overwrite allowMSizeOptimization
|
2019-07-17 18:17:40 +02:00 |
|
Bhargava Shastry
|
90d421352a
|
Add bool type and array of bool and dynamic byte types
|
2019-07-17 14:24:43 +02:00 |
|
Bhargava Shastry
|
00bca77cca
|
Updated evmc to version tracked by evmone v0.1.0
|
2019-07-17 14:24:27 +02:00 |
|
Christian Parpart
|
810a0de1aa
|
Add evmc and host interface implementation. Modify fuzzer harness to make use of evmc host/vm.
|
2019-07-17 10:55:33 +02:00 |
|
chriseth
|
4fa7800458
|
Merge pull request #7109 from ethereum/ossfuzz-ci-update
Update fuzzing deps in docker image and ossfuzz CMakeLists.txt
|
2019-07-17 10:51:28 +02:00 |
|
chriseth
|
35ca6ef5ed
|
Merge pull request #7079 from ethereum/moreWorkOnEWasmExternals
Add eWasm externals.
|
2019-07-16 14:51:43 +02:00 |
|
chriseth
|
a0a0a34a21
|
Do not overwrite allowMSizeOptimization
|
2019-07-16 10:13:18 +02:00 |
|
chriseth
|
147f736f10
|
Merge pull request #7092 from ethereum/isoltest-parser-linenumbers
[isoltest] Add source location to parser errors
|
2019-07-16 10:09:15 +02:00 |
|
Bhargava Shastry
|
5aa571e56f
|
Update fuzzing deps in docker image and ossfuzz CMakeLists.txt
|
2019-07-16 09:10:02 +02:00 |
|
Erik Kundt
|
2a1473fd30
|
Adds line numbers to parser errors in isoltest.
|
2019-07-15 14:16:07 +02:00 |
|
Erik Kundt
|
e269a0ff70
|
Adds constructor calls with ether value to isoltest.
|
2019-07-13 12:42:25 +02:00 |
|
chriseth
|
6c31a5f3dd
|
Improve formatting.
|
2019-07-11 17:37:23 +02:00 |
|
chriseth
|
e3433aa4eb
|
Add eWasm externals.
|
2019-07-11 17:37:23 +02:00 |
|
chriseth
|
869d69d293
|
Supply full object to stack compressor and Optimizer Suite.
|
2019-07-10 18:49:42 +02:00 |
|
chriseth
|
2a5280faa0
|
Check availability of data objects already in analysis phase.
|
2019-07-10 18:49:42 +02:00 |
|
chriseth
|
f3bdc79187
|
Merge pull request #7075 from ethereum/sol-yul-getter
[Sol->Yul] Implement keccak & getter functions
|
2019-07-10 14:11:27 +02:00 |
|
Mathias Baumann
|
d264e3e0ba
|
[Sol->Yul] Implement getter functions
|
2019-07-10 13:42:39 +02:00 |
|
Mathias Baumann
|
37f04976a2
|
[Sol->Yul] Implement keccak256
|
2019-07-09 18:25:07 +02:00 |
|
Bhargava Shastry
|
3b33ff1454
|
Adjust call to suffixedVariableNameList post refactoring in ABIv2 proto fuzzer and slim down dependencies.
|
2019-07-09 18:18:40 +02:00 |
|
chriseth
|
15eb8fec50
|
Merge pull request #7015 from ethereum/sol-yul-arrays
[Sol->Yul] Implement uint256[] memory arrays
|
2019-07-09 17:34:46 +02:00 |
|
Mathias Baumann
|
0f24fcea17
|
[Sol->Yul] Implement uint256[] memory arrays
|
2019-07-09 15:36:02 +02:00 |
|
chriseth
|
859dbaa2a3
|
Merge pull request #7053 from djudjuu/moveSuffixHelper
move SuffixHelper to StringUtils
|
2019-07-09 14:32:05 +02:00 |
|
djudjuu
|
cafa01cbf6
|
moved SuffixHelper to StringUtils
|
2019-07-09 13:50:07 +02:00 |
|
chriseth
|
479b843067
|
Merge pull request #7048 from ethereum/soltest-refactoring
[isoltest] Types and formatting refactoring
|
2019-07-09 12:50:15 +02:00 |
|
chriseth
|
45cedc09fe
|
Merge pull request #6880 from ethereum/abiv2proto
Abiv2proto
|
2019-07-09 12:20:34 +02:00 |
|
chriseth
|
8d006d2017
|
Merge pull request #7068 from ethereum/asmConstNoValue
Cope with constants without value in inline assembly.
|
2019-07-09 12:13:56 +02:00 |
|
chriseth
|
9cb9021c36
|
Cope with constants without value in inline assembly.
|
2019-07-09 11:12:13 +02:00 |
|
Bhargava Shastry
|
5bc1a68b40
|
ABIv2 proto fuzzer implementation for a limited set of value and non-value types (arrays included).
|
2019-07-09 10:50:43 +02:00 |
|
chriseth
|
04bad01ab1
|
Merge pull request #7063 from ethereum/EndToEndTest-extractions-2
Extracting more end-to-end tests.
|
2019-07-08 16:15:22 +02:00 |
|
Christian Parpart
|
a9a56bc6dd
|
Extracting more end-to-end tests.
|
2019-07-08 16:04:52 +02:00 |
|
chriseth
|
2700cb0b43
|
Fix commandline tests.
|
2019-07-08 14:28:54 +02:00 |
|
chriseth
|
25928767b7
|
Merge pull request #7058 from ethereum/smt_reset_context
[SMTChecker] Clear encoding context before engine starts
|
2019-07-08 12:36:50 +02:00 |
|