cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
14,046 Commits 348 Branches 121 Tags
168412dd8db6729d3f52cdbe3d8f2ea360e2d412
Commit Graph
14046 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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 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
v0.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