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
chriseth
ecab46c707
Finish word size transform.
2019-06-20 10:42:56 +02:00
chriseth
096e3fcd37
Merge pull request #6973 from ethereum/ci_proofs
...
Add CI job for optimization proofs
2019-06-20 10:15:57 +02:00
Leonardo Alt
51ba7f5f17
Add CI job for optimization proofs
2019-06-19 22:29:23 +02:00
chriseth
fc64de6d90
Merge pull request #6923 from ethereum/sol-yul-storage-array
...
[Sol->Yul] Implement .length for storage arrays
2019-06-19 19:13:06 +02:00
chriseth
d4a6844e64
Merge pull request #6970 from ethereum/ewasmBoilerplate
...
Some eWasm boilerplate code.
2019-06-19 19:12:48 +02:00
chriseth
d9d1c4a312
Merge pull request #6967 from ethereum/nameDisplacer
...
[Yul] Name displacer.
2019-06-19 18:56:54 +02:00
chriseth
fc6f47e453
Restrict whiskers parameters to regular characters.
2019-06-19 18:46:16 +02:00
chriseth
b704abdd75
Some eWasm boilerplate code.
2019-06-19 18:21:58 +02:00
Mathias Baumann
b03cb2bce6
YulUtilFuncs: Add missing/adjust existing documentation
2019-06-19 18:09:23 +02:00