Commit Graph

12742 Commits

Author SHA1 Message Date
Alex Beregszaszi
687522a2f5 Move inline assembly tests from nameAndTypeResolution to inlineAssembly 2019-02-20 11:00:02 +00:00
chriseth
c5577145d3
Merge pull request #6034 from ethereum/fuzzcrash
Fix crash due to missing type info
2019-02-19 17:57:39 +01:00
Mathias Baumann
a63f7ca9df Fix crash due to missing type info 2019-02-19 17:28:44 +01:00
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