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,232 Commits 348 Branches 121 Tags
2f815c5c35e2f7f17441da316300e6fe1b09c78a
Commit Graph
14232 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Bhargava Shastry 2f815c5c35 While compiling abiv2 proto generated solidity test program, silently ignore stack too deep errors (exception), throw exception otherwise. 2019-08-06 11:06:09 +02:00
Bhargava Shastry bf16f2f75e Test low level calls with correct and incorrect encodings 2019-08-06 09:43:55 +02:00
chriseth 6ee97d7726 Merge pull request #7129 from ethereum/multiStageBuild 
Use Docker multi-stage build.
 2019-08-05 17:12:07 +02:00
chriseth 24074d8bac Merge pull request #7172 from ethereum/smt_fix_return_tuple 
[SMTChecker] CHC create function returned expressions
 2019-08-05 16:48:13 +02:00
chriseth 42290f912b Merge pull request #7052 from ethereum/isoltest-update-improvements 
[isoltest] Update improvements (support for missing types)
 2019-08-05 16:45:06 +02:00
chriseth 6fe2657b19 Merge pull request #6416 from ethereum/docs-style-checker 
[DOCS] Docs examples style checker
 2019-08-05 16:18:57 +02:00
Erik Kundt f914415fb2 [isoltest] Updates type retrieval from ABI and its formatting. 2019-08-05 16:15:07 +02:00
chriseth b6c9d0f933 Use multi-stage docker builds 
Decreases size and amount of layers.
 2019-08-05 15:50:00 +02:00
Erik Kundt 38285b33d7 [isoltest] Prints bytes result if expectations mismatch. 2019-08-05 15:11:43 +02:00
Erik Kundt 07051f41d2 [isoltest] Reworks (default) ABI Type construction. 2019-08-05 15:00:04 +02:00
Erik Kundt d9b98bf7af [isoltest] Cleans up BytesUtils. 2019-08-05 15:00:04 +02:00
Erik Kundt a7a8ba73f9 [isoltest] Moves error types to dedicated file. 2019-08-05 15:00:04 +02:00
Chris Chinchilla 85ec44826a Add style checker 
Rename files

Changes from review

Update test/docsCodeStyle.sh

Co-Authored-By: chriseth <chris@ethereum.org>
Update test/docsCodeStyle.sh

Co-Authored-By: chriseth <chris@ethereum.org>
Remove extraneous brackets
 2019-08-05 13:00:30 +02:00
Leonardo Alt 369f8cd97f [SMTChecker] CHC create function return variables 2019-08-05 12:36:51 +02:00
chriseth d8612dd96b Merge pull request #7175 from nimishbongale/develop 
Documentation fixes
 2019-08-05 12:36:01 +02:00
Nimish Bongale 561ddbcdab Update README.md 2019-08-05 12:32:38 +02:00
Leonardo 11632966c9 Merge pull request #7171 from ethereum/smt_fix_compound_bitwise 
[SMTChecker] Fix ICE compound bitwise op inside branch
 2019-08-05 12:15:01 +02:00
chriseth 9b375edfe3 Merge pull request #6787 from ethereum/sol2yul-ctor-code 
Improve constructor-code codegen (wrt. state variable initialization)
 2019-08-05 11:50:34 +02:00
Christian Parpart 235638b3fc Implements constructor code for state variables. 2019-08-05 11:23:01 +02:00
chriseth 29d47d5c3c Merge pull request #7154 from ethereum/smt_erase_only_required 
Erase storage pointer knowledge only when necessary
 2019-08-05 10:57:19 +02:00
Leonardo Alt d5fb8cf58a [SMTChecker] Fix ICE compound bitwise op inside branch 2019-08-02 20:02:39 +02:00
Leonardo Alt 7b5863e583 Do not erase knowledge about storage pointers when another pointer is assigned 2019-08-02 13:09:06 +02:00
Bhargava Shastry 967ee944a5 Merge pull request #7161 from ethereum/permit-zerolength-dyn-array-dimensions 
Dynamically sized array dimensions can be zero sized
 2019-08-02 12:34:10 +02:00
Bhargava Shastry e018d62a67 Dynamically sized array dimensions can be zero sized 2019-08-01 16:33:57 +02:00
chriseth 7421d85346 Merge pull request #7094 from ethereum/isoltest-arrow-optional 
[isoltest] Introduce shorthand declaration: make `->` optional.
 2019-08-01 15:42:42 +02:00
chriseth 742b4271fd Merge pull request #7159 from ethereum/always_demand_tests 
Make sure a semantic test file always contains function calls
 2019-08-01 15:12:13 +02:00
chriseth 2a25d7461f Merge pull request #7123 from rocky/tolerate-pragma-mismatch 
A pragma version mismatch is not fatal if ...
 2019-08-01 14:48:24 +02:00
chriseth 6730a59f74 Merge pull request #7157 from ethereum/fix-7155 
FunctionType: Return correct stacksize for transfer/send
 2019-08-01 14:40:35 +02:00
Mathias Baumann c920b50ebe Make sure a semantic test file always contains function calls 
Because if not, the code isn't even compiled.
 2019-08-01 14:02:33 +02:00
Mathias Baumann e887c06f6b FunctionType: Return correct stacksize for transfer/send 2019-08-01 13:56:09 +02:00
chriseth 04f298fd0e Merge pull request #7132 from ethereum/smt_acc_solver 
[SMTChecker] EncodingContext config flag to accumulate assertions
 2019-08-01 13:04:37 +02:00
chriseth aa87a607fd Merge pull request #7152 from ethereum/smt_fix_pointer_cleanup 
[SMTChecker] Erase pointer knowledge properly inside loops
 2019-08-01 12:46:20 +02:00
Chris Chinchilla 32e6e35641 Merge pull request #7105 from ethereum/wip/docs-contributing 
[DOCS] Add details of team calls
 2019-07-31 12:26:28 +02:00
Chris Chinchillaandchriseth f4f8858e98 Add details of team calls 
Update docs/contributing.rst

Co-Authored-By: chriseth <chris@ethereum.org>
Update docs/contributing.rst

Co-Authored-By: chriseth <chris@ethereum.org>
 2019-07-31 11:58:30 +02:00
Leonardo Alt 44d7c6976a Erase pointer knowledge properly inside loops 2019-07-30 12:47:50 +02:00
Mathias L. Baumann 092e62f1c9 Merge pull request #7140 from ethereum/ci-binonic-gcc-7 
fix PPA comp. error and add ubuntu:bionic gcc-7 to CI to test for it.
 2019-07-30 11:16:41 +02:00
Mathias Baumann eb2f405466 [CI] Add ubuntu:bionic gcc-7 2019-07-30 09:27:43 +02:00
Mathias Baumann d9addbcf49 Fix error in g++7 with -O2 flag 2019-07-29 16:17:41 +02:00
Leonardo 00accd9daa Merge pull request #7141 from ethereum/smt_fix_json 
[SMTChecker] Reset SSA index to 0 instead of increasing in context reset
 2019-07-29 10:20:06 +02:00
Leonardo 0197a200cd Merge pull request #7142 from ethereum/smt_init_numbers 
[SMTChecker] Initialize all number types with 0
 2019-07-29 10:19:17 +02:00
Mathias L. Baumann 2fdc07c55e Merge pull request #7145 from ethereum/smt_fix_tuples 
[SMTChecker] Fix ICE when inlining function with tuple expression
 2019-07-29 10:14:19 +02:00
Leonardo Alt 847f574e22 [SMTChecker] Fix ICE when inlining function with tuple expression 2019-07-26 16:29:29 +02:00
Leonardo Alt cd5a5b3686 [SMTChecker] Initialize all number types with 0 2019-07-25 15:15:18 +02:00
Leonardo Alt 6bcbeb1d23 [SMTChecker] Reset SSA index to 0 instead of increasing in context reset 2019-07-25 14:16:34 +02:00
Leonardo 4f7fec6911 Merge pull request #7139 from cgrigis/patch-1 
Minor typo
 2019-07-25 11:41:36 +02:00
cgrigis 7047ff1c3c Minor typo 2019-07-25 10:58:45 +02:00
Christian Parpart 146993409a Merge pull request #7081 from ethereum/EndToEndTest-extractions-3 
Extracting more end-to-end tests.
 2019-07-23 14:04:45 +02:00
Christian Parpart b6446aa615 Extracting more end-to-end tests. 2019-07-22 16:31:46 +02:00
Christian Parpart a640ca6fe7 Merge pull request #7080 from ethereum/isoltest-string-parse-print-fix 
[isoltest] Fixes parsing and printing strings with *basic* escape sequences in it.
 2019-07-22 16:28:40 +02:00
Christian Parpart d54fbcbe64 Merge pull request #7099 from ethereum/release_ppa-script-branch-semantics 
Change the way release_ppa.sh treats branches.
 2019-07-22 16:27:50 +02:00