Leonardo Alt
|
123d0857c5
|
[SMTChecker] Move tests that contain division to boost tests
|
2019-02-20 12:17:03 +01:00 |
|
chriseth
|
c8fb2c1ba3
|
Merge pull request #6039 from xwvvvvwx/docs_contract_type_conversions
correct documentation around contract type conversion
|
2019-02-20 12:04:58 +01:00 |
|
Alex Beregszaszi
|
687522a2f5
|
Move inline assembly tests from nameAndTypeResolution to inlineAssembly
|
2019-02-20 11:00:02 +00:00 |
|
Alex Beregszaszi
|
52496ea719
|
Proper error message for missing variables in inline assembly
|
2019-02-20 10:36:55 +00:00 |
|
David Terry
|
3a452181a0
|
correct documentation around contract type conversion
|
2019-02-19 18:26:09 +01: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 |
|