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 |
|
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 |
|
chriseth
|
f4656c7321
|
Merge pull request #6996 from ethereum/prepareChangelog
Prepare changelog for 0.5.10 release.
|
2019-06-25 14:36:49 +02:00 |
|
chriseth
|
a03687ccfa
|
Prepare changelog for 0.5.10 release.
|
2019-06-25 14:28:22 +02:00 |
|
chriseth
|
930ce34953
|
Merge pull request #6998 from ethereum/fixSignChop
Fix sign chop
|
2019-06-25 14:23:45 +02:00 |
|
chriseth
|
04fe3c070d
|
Changelog and bug list entry.
|
2019-06-25 13:00:21 +02:00 |
|
chriseth
|
fe9aa59b8f
|
Fix conversion during storing.
|
2019-06-25 13:00:02 +02:00 |
|
chriseth
|
f58bd5551e
|
Test for sign bit chopping.
|
2019-06-25 13:00:02 +02:00 |
|
chriseth
|
9252906827
|
Merge pull request #6980 from ethereum/wip/own-clar
[DOCS] Clarify what owning contract means
|
2019-06-25 11:25:18 +02:00 |
|
Chris Chinchilla
|
85b6e7508c
|
Clarify what owning means
Updates from review
|
2019-06-25 08:59:40 +02:00 |
|
Leonardo Alt
|
48d6729164
|
[SMTChecker] Remove overflow check for assignments
|
2019-06-24 17:58:56 +02:00 |
|