Mathias L. Baumann
|
3b2ebba472
|
Merge pull request #7040 from ethereum/smt_context_vars
[SMTChecker] SymbolicVariables use EncodingContext to declare SMT vars
|
2019-07-04 09:46:28 +02:00 |
|
Mathias Baumann
|
08b9da0df5
|
Make Whiskers fail early when called with int
|
2019-07-04 09:31:24 +02:00 |
|
Mathias Baumann
|
3e51d14c6d
|
Fix missing int -> string conversion
|
2019-07-04 09:31:24 +02:00 |
|
chriseth
|
7e329769a0
|
Unescape newlines for test expectations.
|
2019-07-04 08:44:35 +02:00 |
|
Leonardo Alt
|
934e00d235
|
[SMTChecker] SymbolicVariables use EncodingContext to declare SMT vars
|
2019-07-03 16:05:56 +02:00 |
|
chriseth
|
b837705259
|
Merge pull request #7018 from ethereum/compile_only_requested
Compile only requested sources and contracts
|
2019-07-03 14:11:42 +02:00 |
|
chriseth
|
9514561e4a
|
Merge pull request #7037 from ethereum/viewPureBase
Fix view/pure checker for access to base.
|
2019-07-03 14:05:49 +02:00 |
|
Leonardo Alt
|
b8d4400588
|
Make it work on Mac OS
|
2019-07-03 11:26:28 +02:00 |
|
chriseth
|
2b91022b25
|
Fix view/pure checker for access to base.
|
2019-07-03 11:19:57 +02:00 |
|
chriseth
|
c3c8bc09d7
|
Merge pull request #7034 from ethereum/automatedABIJsonTests
Automated ABI Json tests.
|
2019-07-03 10:21:25 +02:00 |
|
Leonardo Alt
|
358368cd0c
|
Tests for output selection
|
2019-07-03 09:58:55 +02:00 |
|
chriseth
|
a4ef435c07
|
Automated ABI Json tests.
|
2019-07-02 18:11:49 +02:00 |
|
chriseth
|
776fec1913
|
Make json output a bit prettier.
|
2019-07-02 18:07:05 +02:00 |
|
chriseth
|
60525dbf52
|
Merge pull request #7026 from ethereum/asmConstants
Support direct constants in inline assembly.
|
2019-07-02 14:21:24 +02:00 |
|
chriseth
|
817852c650
|
Merge pull request #7030 from ethereum/smt_move_solver
[SMTChecker] Move solver from SMTEncoder to BMC
|
2019-07-02 14:08:55 +02:00 |
|
chriseth
|
e542e46163
|
Merge pull request #7022 from ethereum/smt_create_expr
[SMTChecker] Always create symbolic expression
|
2019-07-02 14:07:24 +02:00 |
|
chriseth
|
fb3eb54203
|
Merge pull request #7032 from ethereum/pull-11
Failed-checksum addresses are an error
|
2019-07-02 14:03:57 +02:00 |
|
chriseth
|
cdd137e3d1
|
Support constant numbers in inline assembly.
|
2019-07-02 14:01:05 +02:00 |
|
chriseth
|
ca10b59b25
|
Merge pull request #7020 from ethereum/smt_fix_callstack_message
[SMTChecker] Fix wrong assertion in callstack message
|
2019-07-02 13:47:49 +02:00 |
|
chriseth
|
06d01d1573
|
Merge pull request #7019 from ethereum/smt_fix_require
[SMTChecker] Fix require with message
|
2019-07-02 13:13:50 +02:00 |
|
William Entriken
|
b6cb079157
|
Failed-checksum addresses are an error
|
2019-07-02 13:10:28 +02:00 |
|
Leonardo Alt
|
b0818bd002
|
[SMTChecker] Move solver pointer from SMTEncoder to BMC
|
2019-07-02 12:06:52 +02:00 |
|
Leonardo Alt
|
6f8fd309a2
|
Compile only requested sources and contracts
|
2019-07-01 18:52:21 +02:00 |
|
Leonardo Alt
|
fb3c85633b
|
Always create symbolic expression
|
2019-07-01 16:25:33 +02:00 |
|
chriseth
|
7de18b37c2
|
Merge pull request #7027 from ethereum/chriseth-patch-2
Fix link.
|
2019-07-01 16:19:26 +02:00 |
|
Leonardo Alt
|
75663dc91e
|
[SMTChecker] Fix require with message
|
2019-07-01 16:17:06 +02:00 |
|
Leonardo Alt
|
6606a13ed2
|
[SMTChecker] Remove unsound assertion (too strong)
|
2019-07-01 16:16:39 +02:00 |
|
chriseth
|
82c92eccbc
|
Fix link.
|
2019-07-01 16:03:12 +02:00 |
|
chriseth
|
22776cddcd
|
Merge pull request #7025 from ethereum/EndToEndTest-extractions-1
Extracting some Solidity end-to-end tests.
|
2019-07-01 15:54:09 +02:00 |
|
Leonardo
|
ccc7e30961
|
Merge pull request #7001 from ethereum/smt_refactor_files
[SMTChecker] Split SMTChecker file into different components
|
2019-07-01 15:50:22 +02:00 |
|
Christian Parpart
|
62f6e4bad3
|
Extracting some Solidity end-to-end tests.
|
2019-07-01 15:37:46 +02:00 |
|
Leonardo Alt
|
3cb4ed83c1
|
[SMTChecker] Split SMTChecker into SMTEncoder and BMC
|
2019-07-01 15:05:03 +02:00 |
|
chriseth
|
b8dbf7d2a8
|
Merge pull request #7016 from ethereum/propertiesOfWasmBuiltins
Properties of wasm builtins
|
2019-07-01 14:36:29 +02:00 |
|
chriseth
|
4976b3ec67
|
More work on eWasm polyfill.
|
2019-07-01 13:05:20 +02:00 |
|
chriseth
|
d9db193249
|
Provide meta-information about eWasm builtins.
|
2019-07-01 13:01:18 +02:00 |
|
chriseth
|
2ee272acf3
|
Merge pull request #7002 from ethereum/wasmSwitch
Wasm switch
|
2019-06-27 20:51:39 +02:00 |
|
chriseth
|
8c65a2383f
|
Merge pull request #7014 from ethereum/constantOptDirtyScratch
Add test for constant optimization with dirty scratch space.
|
2019-06-27 16:17:31 +02:00 |
|
chriseth
|
f5a9b06289
|
Merge pull request #7006 from ethereum/docs-min-compiler
[DOCS] Add minimum compiler versions
|
2019-06-27 15:55:38 +02:00 |
|
Chris Chinchilla
|
bbc471fef8
|
Add minimum compiler versions
|
2019-06-27 15:45:15 +02:00 |
|
chriseth
|
3be21800ac
|
Merge pull request #6683 from ethereum/updateSwarm
Update swarm hash.
|
2019-06-27 13:18:29 +02:00 |
|
chriseth
|
e2bfb1a663
|
Translation of switch statement for wasm backend.
|
2019-06-27 13:02:35 +02:00 |
|
chriseth
|
53f37f487f
|
Merge pull request #6994 from ethereum/smt_refactor_targets
[SMTChecker] Delay all checks
|
2019-06-27 12:56:34 +02:00 |
|
chriseth
|
321e714911
|
Merge pull request #7009 from ethereum/docs-fix-style
[DOCS] Fix style issues in control structures
|
2019-06-27 12:52:18 +02:00 |
|
chriseth
|
89f0e1e6da
|
Use updated swarm hash.
|
2019-06-27 12:49:06 +02:00 |
|
chriseth
|
aa11ad7d0a
|
Update swarm hash.
|
2019-06-27 12:48:51 +02:00 |
|
chriseth
|
8d18003808
|
Merge pull request #6716 from ethereum/wasmTranslation
[Yul] EVM to Wasm translation
|
2019-06-27 12:31:35 +02:00 |
|
chriseth
|
3597de35b7
|
Merge pull request #7013 from fulldecent/patch-12
Update value-types.rst
|
2019-06-27 12:19:23 +02:00 |
|
chriseth
|
55bf1b547e
|
Add test for constant optimization with dirty scratch space.
|
2019-06-27 12:15:49 +02:00 |
|
Leonardo Alt
|
a28b84fdc3
|
[SMTChecker] Add a more general VerificationTarget
|
2019-06-27 10:31:50 +02:00 |
|
William Entriken
|
49c79c1894
|
Update value-types.rst
|
2019-06-26 20:04:02 -04:00 |
|