Commit Graph
14036 Commits
Author SHA1 Message Date
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
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
chriseth 848959fff0 Merge pull request #6929 from ethereum/solYulBinaryOps
[Sol -> Yul] Checked signed arithmetic and modulo.
2019-06-20 13:02:30 +02:00
Daniel Kirchner fcd3410f26 Implement checked mod for sol->yul code generation. 2019-06-20 12:30:32 +02:00
Daniel Kirchner a5b9f634ef Implement signed multiplication for sol->yul code generation. 2019-06-20 12:30:30 +02:00
Daniel Kirchner e4c884ae13 Unify style of checked integer division for sol->yul code generation. 2019-06-20 12:18:18 +02:00
Daniel Kirchner 5f6af8b374 Implement signed subtraction for sol->yul code generation. 2019-06-20 12:16:56 +02:00
Daniel Kirchner 88988af561 Implement signed addition for sol->yul code generation. 2019-06-20 11:42:50 +02:00
chriseth dcb430c09f Merge pull request #6968 from ethereum/completeWordSizeTransform
[Yul] More work on word size transform
2019-06-20 11:38:57 +02:00
chriseth 5b92640ab5 Merge pull request #6972 from ethereum/restrictWhiskersTemplateParams
Restrict whiskers parameters to regular characters.
2019-06-20 11:23:02 +02:00
chriseth 8019b26a78 Merge pull request #6949 from ethereum/docs-ass-review
[DOCS] Review conventions section in assembly doc
2019-06-20 10:48:25 +02:00