Commit Graph

14088 Commits

Author SHA1 Message Date
Erik Kundt
d06be2c53f Restructures alignment and bytes utils in isoltest. 2019-07-04 19:15:43 +02:00
Erik Kundt
de34f7712d Separates types and conversion functions in soltest. 2019-07-04 14:11:07 +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
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
Chris Chinchilla
168412dd8d
Fix style issues in control structures 2019-06-26 17:09:50 +02:00
chriseth
f05805c955
Merge pull request #7003 from ethereum/missingTestKnowledge
Adding forgotten test for load resolver.
2019-06-26 13:08:55 +02:00
chriseth
b4a0a79398
Merge pull request #6993 from ethereum/smt_false_positives
[SMTChecker] Remove overflow check for assignments
2019-06-26 13:06:31 +02:00
chriseth
8cd197e572 Support "datasize" and "dataoffset" with literals in eWasm. 2019-06-25 19:07:38 +02:00
chriseth
edf62e4d2b Changelog entry. 2019-06-25 19:07:38 +02:00
chriseth
c6f7f5b2b0 Enable EWasm output. 2019-06-25 19:07:38 +02:00
chriseth
67f11104c1 EVM to eWasm translator. 2019-06-25 19:06:18 +02:00
chriseth
1cc8475309
Merge pull request #7005 from ethereum/release
Merge release back into develop.
2019-06-25 19:05:22 +02:00
chriseth
a6f79ed843
Merge pull request #7004 from ethereum/nextVersion
Set version to 0.5.11.
2019-06-25 19:04:59 +02:00
chriseth
461b566603 Set version to 0.5.11. 2019-06-25 19:03:51 +02:00
chriseth
f5f1b2649c Adding forgotten test for load resolver. 2019-06-25 17:25:53 +02:00
chriseth
5a6ea5b197
Merge pull request #6999 from ethereum/develop
Merge develop into release for 0.5.10
2019-06-25 16:03:50 +02:00