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
15,648 Commits 348 Branches 121 Tags
fbe5bb0cceba68660378065e1337e2c8a01b87a4
Commit Graph
3774 Commits
Author SHA1 Message Date
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
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 4976b3ec67 More work on eWasm polyfill. 2019-07-01 13:05:20 +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 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 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 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
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 c6f7f5b2b0 Enable EWasm output. 2019-06-25 19:07:38 +02:00
chriseth f5f1b2649c Adding forgotten test for load resolver. 2019-06-25 17:25:53 +02:00
chriseth f58bd5551e Test for sign bit chopping. 2019-06-25 13:00:02 +02:00
Leonardo Alt 48d6729164 [SMTChecker] Remove overflow check for assignments 2019-06-24 17:58:56 +02:00
Mathias Baumann 5f072d30df Enable yul for more end to end tests 2019-06-24 16:06:22 +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
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
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
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
Mathias Baumann 1dd63f416e [Sol->Yul] Implement index access for storage arrays 2019-06-20 16:14:51 +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
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 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 ecab46c707 Finish word size transform. 2019-06-20 10:42:56 +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 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
Mathias Baumann 910cb8d329 [Sol->Yul] Implement .length for storage arrays 2019-06-19 18:09:23 +02:00
chriseth 8edf9e4baf Merge pull request #6666 from vedant1811/issue-5405 
Group function definitions
 2019-06-19 18:03:40 +02:00
chriseth d7b366ff46 Name displacer. 2019-06-19 14:55:38 +02:00
chriseth 53f26d9719 Merge pull request #6963 from ethereum/runOptimizerOnAllDialects 
[Yul] Run optimizer on all dialects.
 2019-06-19 10:51:24 +02:00