chriseth
|
0613c69c4a
|
Merge pull request #6043 from ethereum/asm-jump-invalidlabel
Proper error message for missing variables in inline assembly
|
2019-02-20 14:32:40 +01:00 |
|
chriseth
|
fcd82025de
|
Merge pull request #6046 from ethereum/smt_division_tests
[SMTChecker] Move tests that contain division to boost tests
|
2019-02-20 14:29:15 +01:00 |
|
Leonardo Alt
|
123d0857c5
|
[SMTChecker] Move tests that contain division to boost tests
|
2019-02-20 12:17:03 +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 |
|
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
|
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 |
|
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
|
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 |
|
Erik Kundt
|
dacad629ef
|
Adds semantic tests to test framework and isoltest.
|
2019-02-15 13:27:15 +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 |
|
Mathias Baumann
|
10a9960eb3
|
Fix error msg hint for non-payable contracts
|
2019-02-14 11:39:19 +01:00 |
|
chriseth
|
c5879589af
|
Merge pull request #5998 from ethereum/codingStyleCheck
More coding style checks
|
2019-02-13 17:36:34 +01:00 |
|
chriseth
|
17ea467e5b
|
Fix style of "const".
|
2019-02-13 16:34:53 +01:00 |
|
Mathias Baumann
|
1e603c27ea
|
Add tests to increase TypeChecker.cpp coverage
|
2019-02-13 16:31:26 +01:00 |
|
Mathias Baumann
|
6a6cc27b71
|
Rename & move tests of group typeChecking to subfolder
|
2019-02-13 15:52:31 +01:00 |
|
Erik Kundt
|
190634e1f9
|
Implements infrastructure for semantic tests.
|
2019-02-13 13:05:58 +01:00 |
|
chriseth
|
0bd049c849
|
Adapet uses of AssemblyStack.
|
2019-02-13 12:23:07 +01:00 |
|
chriseth
|
9ab72f0188
|
Merge pull request #5971 from ethereum/overloadedEvents
More tests for overloaded events.
|
2019-02-12 12:00:02 +01:00 |
|
chriseth
|
091bbdb459
|
More tests for overloaded events.
|
2019-02-12 10:54:58 +01:00 |
|
chriseth
|
0b392fff7e
|
Merge pull request #5968 from ethereum/calldataArrays
Disallow calldata arrays with dynamically encoded base types in TypeChecker.
|
2019-02-11 18:08:10 +01:00 |
|
Daniel Kirchner
|
9e32aa7510
|
Disallow calldata arrays with dynamically encoded base types in TypeChecker.
|
2019-02-11 17:13:12 +01:00 |
|
chriseth
|
91d224dfb6
|
Merge pull request #5966 from ethereum/AnsiColorized
Adapts tests/ to use AnsiColorized (the generalized/moved version of FormattedScope, which in turn is removed in this PR)
|
2019-02-11 16:41:14 +01:00 |
|
chriseth
|
92cb6cb793
|
Merge pull request #5936 from ethereum/calldataStructsV2
ABIEncoderV2: Implement calldata structs without dynamically encoded members.
|
2019-02-11 16:18:27 +01:00 |
|
Christian Parpart
|
53f9be8a23
|
Adapts tests/ to use AnsiColorized (the generalized/moved version of FormattedScope, which in turn is removed in this PR)
|
2019-02-11 16:00:24 +01:00 |
|
Mathias Baumann
|
259d803387
|
Conditional Expression: Delay invalid type fatal error
Check the whole conditional first and then output errors for
both, the true and false expressions.
|
2019-02-11 15:47:19 +01:00 |
|
Mathias Baumann
|
08977af843
|
Rename & move test to move away from number prefix
|
2019-02-11 15:47:19 +01:00 |
|
Daniel Kirchner
|
0e4912a203
|
ABIEncoderV2: Implement calldata structs without dynamically encoded members.
|
2019-02-11 15:46:58 +01:00 |
|
chriseth
|
b5a2c66771
|
Merge pull request #5957 from ethereum/function-param-fix
Ensure function parameter names always matches parameter types length
|
2019-02-11 15:45:28 +01:00 |
|
Mathias Baumann
|
66b24225fb
|
Remove duplicate if-check
|
2019-02-11 14:56:57 +01:00 |
|
chriseth
|
49cd55d3a0
|
Merge pull request #5839 from ethereum/inplaceEncoding
Inplace and non-padded encoding for ABIEncoderV2.
|
2019-02-11 12:01:28 +01:00 |
|
Mathias Baumann
|
fe2429de9f
|
Packed Encoding: Disallow types in v2 that aren't allowed in v1
|
2019-02-11 11:37:48 +01:00 |
|
chriseth
|
227addfcef
|
Syntax tests.
|
2019-02-11 11:37:48 +01:00 |
|
chriseth
|
7684d886ae
|
Semantic tests.
|
2019-02-11 11:37:47 +01:00 |
|
Mathias Baumann
|
feae01f042
|
Add tests to increase coverage of TypeChecker
|
2019-02-11 11:23:56 +01:00 |
|
Mathias Baumann
|
d41ffd1dcf
|
Rename & move tests to get rid of old number prefix in name
|
2019-02-11 11:23:20 +01:00 |
|
Daniel Kirchner
|
9203363fe9
|
Merge pull request #5860 from ethereum/test-file-parser
Test file parser.
|
2019-02-07 19:02:13 +01:00 |
|
Mathias Baumann
|
ee28cb65a6
|
Add tests to increase coverage of TypeChecker
|
2019-02-06 20:45:30 +01:00 |
|
Erik Kundt
|
c9c4578023
|
Adds support for tuples in test file parser.
|
2019-02-06 17:25:40 +01:00 |
|
Erik Kundt
|
161b22bd13
|
Cleans up test file parser and its tests.
|
2019-02-06 17:22:40 +01:00 |
|
Erik Kundt
|
7fa167977b
|
Adds multi-line support for test file parser.
|
2019-02-06 17:22:40 +01:00 |
|
Erik Kundt
|
f90c6f57bb
|
Implements a test file parser.
|
2019-02-06 17:22:40 +01:00 |
|
chriseth
|
231cec56c6
|
Merge pull request #5926 from ethereum/inv-num-crash
Fix crash for too large struct array indicies
|
2019-02-06 14:11:25 +01:00 |
|
Mathias Baumann
|
9f431339ef
|
Fix crash for too large struct array indicies
|
2019-02-06 11:50:25 +01:00 |
|
Alex Beregszaszi
|
26de5684a2
|
Move bytecodeSansMetadata(bytes) helper to test/Metadata
|
2019-02-05 23:13:01 +00:00 |
|
Alex Beregszaszi
|
be22032141
|
Clean up some includes in tests
|
2019-02-05 22:58:43 +00:00 |
|
Alex Beregszaszi
|
3cdcd06b66
|
Add last test case for callbacks in libsolc
|
2019-02-05 20:26:47 +00:00 |
|
chriseth
|
263eaaa516
|
Merge pull request #5937 from ethereum/libsolc-callback-test
Add test cases for libsolc with callbacks
|
2019-02-05 21:11:44 +01:00 |
|
chriseth
|
438e19aa0f
|
Merge pull request #5931 from ethereum/fix-mapping-storage-check
Fix check that mappings can only have storage location
|
2019-02-05 21:03:20 +01:00 |
|
Alex Beregszaszi
|
257dbf1f6a
|
Add test cases for libsolc with callbacks
|
2019-02-05 19:34:56 +00:00 |
|
Alex Beregszaszi
|
e9a0d99218
|
Add optimiser test for triggering CopyMethod in ConstantOpimiser
|
2019-02-05 18:44:53 +00:00 |
|
Mathias Baumann
|
77f407d450
|
Fix check that mappings can only have storage location
|
2019-02-05 18:06:42 +01:00 |
|
Alex Beregszaszi
|
554511b68e
|
Introduce solidity_free in libsolc
|
2019-01-31 15:53:55 +00:00 |
|
chriseth
|
35483422f3
|
Pad code to multiple of 32 bytes.
|
2019-01-30 11:31:28 +01:00 |
|
Alex Beregszaszi
|
9aafa32825
|
Disallow empty import statements
|
2019-01-28 13:52:15 +00:00 |
|
chriseth
|
14b553897e
|
Tests.
|
2019-01-23 11:13:24 +01:00 |
|
Leonardo Alt
|
7f8ceaadab
|
[SMTChecker] Clear state knowledge after external function calls
|
2019-01-21 12:58:40 +01:00 |
|
chriseth
|
f8e9aed839
|
Merge pull request #5717 from ethereum/smt_typecast
[SMTChecker] Support basic typecast without truncation
|
2019-01-21 12:35:07 +01:00 |
|
Daniel Kirchner
|
610ef9f199
|
Disallow calldata structs.
|
2019-01-21 10:30:57 +01:00 |
|
chriseth
|
2ec997e697
|
Merge pull request #5775 from ethereum/codeAccess
Provide access to code of contract types.
|
2019-01-18 00:16:06 +01:00 |
|
chriseth
|
2a0d4f358c
|
Add test for content of creationCode and runtimeCode.
|
2019-01-17 20:36:48 +01:00 |
|
chriseth
|
fed56f33d5
|
Type is not reserved anymore.
|
2019-01-17 20:36:48 +01:00 |
|
chriseth
|
4669b06ab4
|
Warn if type(..).runtimeCode is used with assembly in the constructor.
|
2019-01-17 20:36:48 +01:00 |
|
chriseth
|
e6fee257e6
|
Code generation for access to contract code.
|
2019-01-17 20:36:48 +01:00 |
|
chriseth
|
2fcfb216b5
|
Syntax for meta type information.
|
2019-01-17 20:36:48 +01:00 |
|
chriseth
|
44237211d1
|
Tests.
|
2019-01-17 20:36:48 +01:00 |
|
Leonardo Alt
|
83e7233bb8
|
Change error message and add tests
|
2019-01-17 14:28:03 +01:00 |
|
Leonardo Alt
|
a10db051de
|
[SMTChecker] Support basic typecast
|
2019-01-16 13:00:54 +01:00 |
|
Daniel Kirchner
|
4c8f8e9491
|
Disallow mismatching types in switch cases and detect duplicates by value for number literals.
|
2019-01-15 16:32:21 +01:00 |
|
Daniel Kirchner
|
0dfd4a726e
|
Warn about unreachable code.
|
2019-01-10 10:36:50 +01:00 |
|
chriseth
|
ae08d7c375
|
Merge pull request #5681 from ethereum/limitOutput
Do not compile unless requested.
|
2018-12-19 17:02:28 +01:00 |
|
chriseth
|
4c7151e57f
|
Do not include empty JSON objects in output.
|
2018-12-19 14:59:29 +01:00 |
|
Christian Parpart
|
62fe57479e
|
make use of C++ = default constructor declarations as well as more non-static member initialization syntax.
|
2018-12-19 11:26:42 +01:00 |
|
Christian Parpart
|
d10bae245e
|
liblangutil: SourceLocation to default initialize data members (w/o the use of ctor)
See: http://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#c45-dont-define-a-default-constructor-that-only-initializes-data-members-use-in-class-member-initializers-instead
|
2018-12-19 11:21:45 +01:00 |
|
Alex Beregszaszi
|
bd2f2ecbbd
|
Move unsatisfied_version test from SolidityNameAndTypeResolution to SolidityParser
|
2018-12-18 15:02:59 +00:00 |
|
Alex Beregszaszi
|
ba15bc0a23
|
Fail if parsing failed in AnalysisFramework
Otherwise Compilerstack::analyze will throw an exception.
|
2018-12-18 15:02:37 +00:00 |
|
Alex Beregszaszi
|
c2ec6d71b4
|
Add version pragma parsing to Parser
|
2018-12-18 15:02:35 +00:00 |
|
Mathias Baumann
|
1b8570f829
|
Only generate sort/search code when interface functions exist
|
2018-12-17 21:24:37 +01:00 |
|
Leonardo Alt
|
9199718ec0
|
Clear all mapping knowledge after array variable assignment
|
2018-12-14 12:21:53 +01:00 |
|
Leonardo Alt
|
6a2809a582
|
[SMTChecker] Support to mapping
|
2018-12-14 12:21:53 +01:00 |
|
chriseth
|
17bf164afe
|
Merge pull request #4951 from ethereum/alethUpdates
Use current aleth release for testing.
|
2018-12-12 18:41:35 +01:00 |
|
Daniel Kirchner
|
123d33ad41
|
Add tolerance to gas meter tests.
|
2018-12-12 17:24:56 +01:00 |
|
chriseth
|
87237281bf
|
Merge pull request #5630 from ethereum/warn_functions_empty_body
Supress unused var and state mut warnings for functions with empty body
|
2018-12-12 17:00:50 +01:00 |
|
Leonardo Alt
|
508aae8a67
|
Disable state mutability warning for functions with empty body
|
2018-12-12 14:43:44 +01:00 |
|
Leonardo Alt
|
53537864a2
|
Disable unused var warning for functions with empty body
|
2018-12-12 14:43:44 +01:00 |
|