Commit Graph

14095 Commits

Author SHA1 Message Date
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
chriseth
efd8d8fe5e
Merge pull request #6991 from ethereum/check_style-no-space-before-range-based-for-loop-colon
Adds a test to check_style.sh to check for spaces before colon (:) in range based for loops.
2019-06-24 17:42:06 +02:00
Christian Parpart
7b3aba81fb Adds a test to check_style.sh to check for spaces before colon (:) in range based for loops. 2019-06-24 17:32:58 +02:00
chriseth
2563178a0a
Merge pull request #6990 from ethereum/sol-yul-storage-array-index
Enable yul for more end to end tests
2019-06-24 16:30:33 +02:00
chriseth
3d5e2b40c5
Merge pull request #6985 from ethereum/smt_refactor_bmc
[SMTChecker] Collect assertions in EncodingContext
2019-06-24 16:09:09 +02:00
Mathias Baumann
5f072d30df Enable yul for more end to end tests 2019-06-24 16:06:22 +02:00
chriseth
c5cf3d53aa
Merge pull request #6975 from ethereum/moreSpecificDescription
More specific bug description.
2019-06-24 15:59:19 +02:00
chriseth
3c8b035b54
Merge pull request #6987 from ethereum/circlePrintTest
State what is being tested.
2019-06-24 15:58:54 +02:00
chriseth
970b4708ce
Merge pull request #6988 from ethereum/sortChangelog
Sort changelog.
2019-06-24 15:58:34 +02:00
Leonardo Alt
ed275fd760 [SMTChecker] Collect assertions in EncodingContext 2019-06-24 15:03:00 +02:00
Mathias Baumann
0e812b16c2 Minor indent fix 2019-06-24 14:51:04 +02:00
chriseth
1388ffaeee Sort changelog. 2019-06-24 14:41:58 +02:00
chriseth
3b0284817e
Merge pull request #6981 from ethereum/docs-purchase-contract
[DOCS] State default value of enum in example
2019-06-24 14:36:35 +02:00
Chris Chinchilla
30e843a217 State what default value of enum in example is
Fix formatting issue and add mention of the enum default type

Other files
2019-06-24 14:32:53 +02:00
chriseth
1231c358c4
Merge pull request #6986 from ethereum/docs-implicit-conv
[DOCS] Clarify implicit conversion
2019-06-24 14:14:13 +02:00
chriseth
a3e816e198
Merge pull request #6807 from ethereum/storageKnowledge
Knowledge about storage and memory.
2019-06-24 14:09:21 +02:00
chriseth
9c129a4087
Merge pull request #6984 from ethereum/yul-reindent
yul: adds reindent() function to reindent yul source code and makes us of it in IRGenerator
2019-06-24 12:54:40 +02:00
Christian Parpart
0fd1db533e yul: adds reindent() function to reindent yul source code and makes use of it in IRGenerator.
This function does count curly and round braces and reindents
accordingly the beginning of each line.

It does consider line-comments (// and ///) but not multiline comments (/* ... */).
2019-06-24 12:53:50 +02:00
chriseth
350631ae0d
Merge pull request #6940 from ethereum/sol-yul-storage-array-index
[Sol->Yul] Implement index access for storage arrays
2019-06-24 12:49:19 +02:00
Chris Chinchilla
215f41776c Clarify implicit conversion 2019-06-24 12:43:17 +02:00
chriseth
7f16e16183 State what is being tested. 2019-06-24 12:42:05 +02:00
chriseth
5329a84912
Merge pull request #6982 from rocky/error-recovery-spacing-typo
Add missing space in error recovery message.
2019-06-24 12:32:32 +02:00
chriseth
1bf4fc571c More specific bug description. 2019-06-24 12:31:39 +02:00
rocky
8b461be2b0 Add missing space in error recovery message.
Also add a space in the Test Title
2019-06-24 06:28:18 -04:00
chriseth
eb5b829803
Merge pull request #6610 from ethereum/circleci-re
CircleCI run performance improvements
2019-06-24 11:19:36 +02:00
Christian Parpart
b58170f890
Refactor & Speedups on CircleCI; split out out codecov into dedicated tests. 2019-06-21 20:26:10 +02:00
chriseth
2b979cba38 Also optimize memory. 2019-06-20 18:43:37 +02:00
chriseth
8572600401 Implement knowledge base. 2019-06-20 18:43:37 +02:00
chriseth
1f9d11c644 Knowledge about storage. 2019-06-20 18:43:37 +02:00
chriseth
4d3fa7a6cc
Merge pull request #6944 from ethereum/checkedArithmeticProofs
Proofs for the correctness of overflow checks in Sol->Yul code generation.
2019-06-20 16:30:33 +02:00
Mathias Baumann
1dd63f416e [Sol->Yul] Implement index access for storage arrays 2019-06-20 16:14:51 +02:00
Leonardo Alt
c3ccce9745 Fix run_proofs script to actually run proofs 2019-06-20 15:58:10 +02:00
Daniel Kirchner
c71fb76bb2 Proofs for the overflow and underflow conditions in checked arithmetic for Sol->Yul code generation. 2019-06-20 15:58:10 +02:00
Mathias Baumann
346c512cd7 [Sol->Yul] Implement _slot/_offset suffix for storage variables 2019-06-20 14:50:52 +02:00
chriseth
9bb7160c4c
Merge pull request #6958 from sifmelcara/fix-abiencoderv2-codegen
Fix incorrect abi encoding of storage array of data type that occupy multiple storage slots
2019-06-20 13:08:42 +02:00