cerc-io/solidity
15
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
12,739 Commits 348 Branches 121 Tags 100 MiB
d9e4a10d5a
Commit Graph

12739 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
d9e4a10d5a
Merge pull request #6000 from ethereum/fixECRecoverABIV2 
Fixed internal error related to ecrecover and ABIEncoderV2.
 2019-02-19 14:36:08 +01:00
chriseth
874648b924
Merge pull request #5999 from ethereum/smt_lazy_overflow 
[SMTChecker] Check for under/overflow in the end of the function
 2019-02-19 14:28:55 +01:00
chriseth
05541e5adb Fixed internal error related to ecrecover and ABIEncoderV2. 2019-02-19 14:17:03 +01:00
chriseth
8607690a30
Merge pull request #6029 from ethereum/fixDelegatecallV2 
Fix combination of delegatecall and ABIEncoderV2.
 2019-02-19 14:16:09 +01:00
chriseth
f74a13922b
Merge pull request #5955 from ethereum/docs-openbsd 
[DOCS] Add BSD build instructions
 2019-02-19 14:07:53 +01:00
chriseth
d5791fef41 Fix combination of delegatecall and ABIEncoderV2. 
We can set the flag to false for bare delegatecall, because we always
send a memory string and never a storage reference.
 2019-02-19 13:57:03 +01:00
chriseth
55c4131a03
Merge pull request #6030 from ethereum/fixABIEncoderV2Mapping 
Allow cleanup for mappings (do nothing).
 2019-02-19 13:56:21 +01:00
Chris Ward
ef9854d31f Add BSD dependencies 
Add BSD instructions

Remove z3 dependency from OpenBSD

Add disclaimer

Generalise build instructions

Update docs/installing-solidity.rst

Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>

Add extra version details
 2019-02-18 17:34:17 -07:00
Leonardo Alt
34470f3549 [SMTChecker] Only check for overflow/underflow in the end of the function 2019-02-18 23:55:58 +01:00
Alex Beregszaszi
2949bd14dd
Merge pull request #6028 from ethereum/warn-about-unused-struct-array-expr 
Detect custom type expressions that have no effect
 2019-02-18 21:12:04 +00:00
Mathias Baumann
e3d4155fa8 Detect custom type expressions that have no effect 2019-02-18 18:59:31 +01:00
chriseth
c690f679cb Allow cleanup for mappings (do nothing). 2019-02-18 18:50:22 +01:00
chriseth
968ca88690
Merge pull request #5872 from ethereum/semantic-tests-split 
Semantic test infrastructure
 2019-02-18 18:13:55 +01:00
chriseth
1b6d87c5bd
Merge pull request #5979 from ethereum/fix-context-for-hint 
Make sure "value" error hint is only displayed in the right context
 2019-02-18 17:35:31 +01:00
chriseth
e88765f936
Merge pull request #6022 from ethereum/fixFunctionScoping 
Properly detect name clashes with functions before their definition.
 2019-02-18 16:47:21 +01:00
Mathias Baumann
ee9394b4aa Move 'warnUnused' tests to subfolder 2019-02-18 16:42:58 +01:00
Mathias Baumann
093b9ced97 Make sure "value" error hint is only displayed in the right context 
Before, the hint would be shown for any "value" member, even a user-specified one.
 2019-02-18 16:29:57 +01:00
chriseth
d32670760c
Merge pull request #6026 from ethereum/calldataEncodedSizeWarning 
Remove misleading note in Type::calldataEncodedSize.
 2019-02-18 16:23:20 +01:00
Daniel Kirchner
d74198b3cc Remove misleading note in Type::calldataEncodedSize. 2019-02-18 16:18:40 +01:00
chriseth
ab04a1c41d
Merge pull request #6024 from ethereum/remove-escaped-decleration 
Remove unused and unimplemented declaration `escaped()`
 2019-02-18 15:46:13 +01:00
Mathias Baumann
37e78d5011 Remove unused and unimplemented declaration escaped() 2019-02-18 15:31:16 +01:00
chriseth
cb0ad2266c
Merge pull request #6008 from ethereum/smt_fix_abstract_assignment 
[SMTChecker] Assert type is not function when assigning
 2019-02-18 14:54:20 +01:00
chriseth
b4cd2d6a93 Properly detect name clashes with functions before their definition. 2019-02-18 14:51:05 +01:00
chriseth
db7b38e3c4
Merge pull request #5978 from ethereum/fix-broken-hint 
Fix error msg hint for non-payable contracts
 2019-02-18 11:49:07 +01:00
Chris Chinchilla
2f0926c368
Merge pull request #5962 from ethereum/docs-modular-example 
[DOCS] Create modular example
 2019-02-16 15:11:59 -07:00
Alex Beregszaszi
4ec7bbc9bd
Merge pull request #6017 from elopio/snap/add-cvc 
Add cvc4 to the snap
 2019-02-15 23:19:02 +00:00
Leo Arias
ed81a9f80a Add cvc4 to the snap 2019-02-15 23:08:56 +00:00
Chris Ward
31bc2ec3d5 Add basic modular contract example 
Add link to libraries

Line breaks

Change send method to move

Update docs/examples/modular.rst

Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>

Update docs/examples/modular.rst

Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
 2019-02-15 13:55:38 -07:00
Erik Kundt
dacad629ef Adds semantic tests to test framework and isoltest. 2019-02-15 13:27:15 +01:00
Daniel Kirchner
0408130338
Merge pull request #6003 from ethereum/moreStyleChecks 
Even more style checks.
 2019-02-15 11:52:32 +01:00
Daniel Kirchner
690edc8bc9
Merge pull request #6002 from ethereum/arrayTypeStride 
Add stride helpers to ArrayType.
 2019-02-14 14:30:57 +01:00
Daniel Kirchner
ab060b3e3f
Merge pull request #6010 from ethereum/incr-type-checker-cov 
TypeChecker: Add test to increase coverage
 2019-02-14 14:29:34 +01:00
Mathias Baumann
419a12db03 TypeChecker: Add test to increase coverage 2019-02-14 13:41:33 +01:00
Leonardo Alt
22cdfb18d4 [SMTChecker] Assert type is not function when assigning 2019-02-14 13:32:56 +01:00
Daniel Kirchner
33318249ce
Merge pull request #6004 from ethereum/alethUpdate 
Update aleth version to 1.5.2.
 2019-02-14 13:31:47 +01:00
Daniel Kirchner
794e519af8 Update aleth version to 1.5.2. 2019-02-14 12:45:06 +01:00
Daniel Kirchner
8d7ccff1c0 Improve style of style check script. 2019-02-14 11:54:52 +01:00
Daniel Kirchner
809b9a95f9 Even more style checks. 2019-02-14 11:53:00 +01:00
Daniel Kirchner
8ca6715e18 More style checks. 2019-02-14 11:41:20 +01:00
Mathias Baumann
223dac3eca TypeChecker: Use cast instead of category() check 2019-02-14 11:39:51 +01:00
Mathias Baumann
10a9960eb3 Fix error msg hint for non-payable contracts 2019-02-14 11:39:19 +01:00
Daniel Kirchner
32190dac48 Add stride helpers to ArrayType. 2019-02-14 10:51:39 +01:00
chriseth
f003696d7e
Merge pull request #5994 from ethereum/error-to-assert 
Turn unreachable error into assert
 2019-02-13 17:54:01 +01:00
chriseth
b1df990a0f
Merge pull request #5990 from ethereum/provideAccessToAssmeblyAST 
Provide access to assembly ast
 2019-02-13 17:38:22 +01:00
chriseth
c5879589af
Merge pull request #5998 from ethereum/codingStyleCheck 
More coding style checks
 2019-02-13 17:36:34 +01:00
chriseth
17817dc0ef
Merge pull request #5995 from ethereum/incr-type-checker-cov 
Add tests to increase TypeChecker.cpp coverage
 2019-02-13 17:06:58 +01:00
chriseth
1a823f0bf8 Fix tabs/spaces. 2019-02-13 17:05:48 +01:00
Mathias Baumann
a70fee7316 Turn unreachable error into assert 
The exact conditions are already checked when iterating over the
possibleMembers where the function `canTakeArguments()` is called
for each member. The function does the identical check.
 2019-02-13 16:51:05 +01:00
chriseth
17ea467e5b Fix style of "const". 2019-02-13 16:34:53 +01:00
chriseth
dbb5438fed Add coding style check for "const" position and spaces/tabs. 2019-02-13 16:34:49 +01:00