aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity
Commit message (Collapse)AuthorAgeFilesLines
* Eliminate `byte`-typedef and use `uint8_t` in all their places instead.Christian Parpart2018-11-072-152/+152
| | | | | | | | | | | This change is made to (easily) be forward compatible with future C++ standards, in order to allow compiling the code with newer standards at some point in the future. * Removed the `using byte = uint8_t;` line from Common.h * Mechanically change all uses of `byte` to `uint8_t`. Tested with GCC 7.3 in C++11/14/17 modes :-)
* Remove uses of boost::rational with negative denominator, which breaks with ↵Daniel Kirchner2018-11-061-2/+0
| | | | boost 1.68.
* Fixes crash while encoding too large arrays.Erik Kundt2018-10-303-0/+26
|
* Merge pull request #5283 from ethereum/smt_fixed_byteschriseth2018-10-253-8/+16
|\ | | | | [SMTChecker] Support FixedBytes
| * Grouping of symbolic variables in the same file and support to FixedBytesLeonardo Alt2018-10-253-8/+16
| |
* | Merge pull request #5242 from ethereum/someCheckschriseth2018-10-254-0/+44
|\ \ | |/ |/| Some well-formedness checks for the Yul AST.
| * Added some tests.chriseth2018-10-244-0/+44
| |
* | Merge pull request #5272 from ethereum/smt_special_varschriseth2018-10-2410-17/+128
|\ \ | | | | | | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash
| * | Add gasleft constraint and use full member access nameLeonardo Alt2018-10-232-0/+14
| | |
| * | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhashLeonardo Alt2018-10-199-17/+114
| |/
* / Refactor `solidity::Token` into an `enum class` with `TokenTraits` helper ↵Christian Parpart2018-10-221-3/+3
|/ | | | namespace
* Merge pull request #5256 from ethereum/lvalueCleanupchriseth2018-10-191-0/+18
|\ | | | | Lvalue cleanup
| * Add a test for delete x.lengthchriseth2018-10-181-0/+18
| |
* | Added test for flipping signs on signed type edge casemordax2018-10-161-0/+15
|/
* [SMTChecker] Inline calls to internal functionsLeonardo Alt2018-10-1520-7/+264
|
* Merge pull request #5208 from mestorlx/bug4156chriseth2018-10-153-0/+43
|\ | | | | [WIP] Bad identifier suggestion in certain cases
| * Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking ↵mestorlx2018-10-133-0/+43
| | | | | | | | into account length of the identifier
* | Fixes invalid function calls to literals inside tuple assignment's LHS.Christian Parpart2018-10-152-0/+16
|/
* Add Yul optimizer test framework.chriseth2018-10-111-1/+2
|
* Adds syntax tests for array index access.Erik Kundt2018-10-115-0/+31
|
* Merge pull request #5195 from ethereum/unsigned-array-indexchriseth2018-10-114-0/+40
|\ | | | | Do not crash on non-unsigned array index
| * Fixes crash on non-unsigned array index.Erik Kundt2018-10-114-0/+40
| |
* | Improved error message for lookup in function types.Martin Diz2018-10-105-0/+85
| |
* | Merge pull request #5184 from ethereum/viewFunctionDocschriseth2018-10-101-0/+25
|\ \ | |/ |/| Library view functions
| * Documents library view functions and adds unit test.Erik Kundt2018-10-101-0/+25
| |
* | Merge pull request #5180 from ethereum/cpp-cleanupchriseth2018-10-103-4/+2
|\ \ | | | | | | Some C++ cleanup
| * | Do not require ctype/stdio if not neededAlex Beregszaszi2018-10-102-2/+0
| | |
| * | Use nullptr instead of NULL where appropriateAlex Beregszaszi2018-10-101-2/+2
| | |
* | | Fixes large rational number literals being wrongly interpreted.Christian Parpart2018-10-092-0/+18
| | | | | | | | | | | | Fixes #5052.
* | | provide general hex-literal error message, fixes #1802Lazaridis2018-10-091-4/+8
|/ / | | | | | | dummy
* | Fix ast json test for function kind.chriseth2018-10-092-1/+2
| |
* | Merge pull request #4734 from ethereum/astUpdatechriseth2018-10-0929-10/+571
|\ \ | |/ |/| JSON AST: replace ``isConstructor`` by ``kind`` which also supports fallbacks
| * Restore ``isConstructor`` in the legacy AST.Daniel Kirchner2018-09-1113-0/+13
| |
| * Add new test cases.Daniel Kirchner2018-09-119-0/+548
| |
| * Replace ``isConstructor`` field in the JSON AST by a ``kind`` field.Daniel Kirchner2018-09-1120-20/+20
| |
* | Fixes #5051 (introduced in #4684), effectively allowing underscores in ↵Christian Parpart2018-10-021-0/+1
| | | | | | | | address literals.
* | Merge pull request #4676 from jwasinger/extcodehashAlex Beregszaszi2018-09-281-0/+13
|\ \ | | | | | | Add support for EXTCODEHASH
| * | Add test for extcodehashAlex Beregszaszi2018-09-261-0/+13
| | |
* | | Be more strict about values in the optimizer block in StandardJSONAlex Beregszaszi2018-09-261-0/+65
|/ /
* | Merge pull request #5061 from ethereum/fixedSizeArrayLengthchriseth2018-09-264-2/+32
|\ \ | | | | | | Disallow fixed-size arrays with zero length
| * | Moves length check to reference resolver.Erik Kundt2018-09-225-8/+32
| | |
| * | Disallows fixed-size multidim. arrays with zero-length.Erik Kundt2018-09-221-0/+6
| | |
* | | CREATE2 is part of Constantinople nowAlex Beregszaszi2018-09-261-5/+7
| | | | | | | | | | | | Also add hasCreate2 to EVMVersion
* | | Merge pull request #5003 from herrBez/cleanUpdatedchriseth2018-09-2412-0/+106
|\ \ \ | | | | | | | | Add syntax tests to fix #4627
| * | | Add syntax tests to augment the test coverage ofherrBez2018-09-2112-0/+106
| |/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | libsolidity/parsing/Scanner.cpp and libsolidity/parsing/Scanner.h Fix #4627 and PR #5003. - Add multiline comment test - Add upper case hex literal test - Add test for unicode escapes - Add test for strings with escaped newlines - Add test for string escapes - Add test for strings that do not terminate before end of file - Add test for unterminated blocks
* | | Merge pull request #5050 from ethereum/standard-json-crashesAlex Beregszaszi2018-09-211-1/+1
|\ \ \ | | | | | | | | Add proper error reporting when invalid settings are provided in StandardJSON
| * | | Add proper error reporting when invalid settings are provided in StandardJSONAlex Beregszaszi2018-09-211-1/+1
| |/ /
* | | Merge pull request #5030 from ethereum/payableConversionchriseth2018-09-216-0/+40
|\ \ \ | | | | | | | | Make non-payable default for conversion to address.
| * | | Make non-payable default for conversion to address.chriseth2018-09-206-0/+40
| |/ /
* / / Disallow uppercase X in hex number literalshydai2018-09-191-0/+5
|/ /
* | fix some format typosliangdzou2018-09-172-3/+3
| |
* | Do not set to ref for explicit conversion and add assertion for arrayliangdzou2018-09-147-0/+67
| | | | | | | | type conversion. Also, add some test cases for #4901 and #4948.
* | Merge pull request #4968 from ethereum/alethUpdateCompatiblechriseth2018-09-141-29/+20
|\ \ | | | | | | Fix tests for newer versions of aleth.
| * | Disable blockhash test for constantinople due to changes between aleth versions.Daniel Kirchner2018-09-131-29/+20
| | |
* | | Add ``stateMutability`` field to JSON AST for ``address`` types.Daniel Kirchner2018-09-133-0/+1171
| | |
* | | Add payable and non-payable state mutability to AddressType.Daniel Kirchner2018-09-1331-7/+263
|/ /
* | Update test suite to use address payable.Daniel Kirchner2018-09-128-8/+60
| |
* | Accept ``address payable`` during parsing.Daniel Kirchner2018-09-1119-1/+224
|/
* Tests.chriseth2018-09-101-0/+40
|
* Tests.chriseth2018-09-061-0/+98
|
* This fixes several bugs with regards to line breaks and comments:chriseth2018-09-061-0/+8
| | | | | | | | | | | - any unicode line break (line feed, vertical tab, form feed, carriage return, NEL, LS and PS) is considered to terminate a single-line comment. The line break itself is considered to be the next token after the comment, leading to a parser error if it is not an ascii character (i.e. for NEL, LS and PS). - unterminated multiline comments are considered illegal tokens - '/** /' is considered an unterminated multiline comment (previously, whitespace was allowed before the last '/'
* Merge pull request #4872 from bakaoh/issue4716chriseth2018-09-061-0/+8
|\ | | | | Crash when array index value is too large
| * Fix #4716: Crash when array index value is too largebakaoh2018-09-051-0/+8
| |
* | Merge pull request #4590 from ethereum/msgValueModifierchriseth2018-09-057-1/+39
|\ \ | | | | | | Warn if modifier uses msg.value in non-payable function
| * | Fix endToEnd testLeonardo Alt2018-09-041-0/+10
| | |
| * | Turn warning into error.chriseth2018-09-043-3/+3
| | |
| * | Warns if modifier uses msg.value in non-payable function.Erik Kundt2018-09-045-0/+28
| |/
* | Merge pull request #4895 from ethereum/abidecodesinglechriseth2018-09-052-0/+12
|\ \ | | | | | | Fix abi.decode returning single value.
| * | Fix abi.decode returning single value.chriseth2018-09-052-0/+12
| | |
* | | Merge pull request #4866 from bakaoh/issue4743chriseth2018-09-0538-45/+45
|\ \ \ | |/ / |/| | Fix#4743: Incorrect source location for nameless parameters
| * | Update test to correct source location for nameless parametersbakaoh2018-08-3138-45/+45
| |/
* | Merge pull request #4888 from ↵chriseth2018-09-045-0/+58
|\ \ | | | | | | | | | | | | ethereum/disallow_single_statement_vardecl_if_while_for Disallow single statement var decl in if/while/for without blocks
| * | Changed error message and added testsLeonardo Alt2018-09-045-0/+58
| |/
* | Add another end-to-end test.Daniel Kirchner2018-09-041-0/+127
| |
* | Add return data to bare calls.Daniel Kirchner2018-09-0410-92/+212
| |
* | Remove trailing whitespace for all files in the repository.Daniel Kirchner2018-09-041-2/+2
|/
* Dynamic type as mapping key returns error instead of assertion failLeonardo Alt2018-08-166-0/+34
|
* Merge pull request #4822 from ethereum/addressStaticCallchriseth2018-08-163-1/+120
|\ | | | | Add ``staticcall`` to ``address``.
| * Add syntax test for ``address.staticcall.value``.Daniel Kirchner2018-08-151-0/+15
| |
| * Add view pure checker tests for ``address.staticcall(...)``.Daniel Kirchner2018-08-151-1/+20
| |
| * Add ``staticcall`` to ``address``.Daniel Kirchner2018-08-152-0/+85
| |
* | Review suggestionsLeonardo Alt2018-08-153-3/+3
| |
* | Add end to end testsLeonardo Alt2018-08-151-0/+203
| |
* | Disallow indexed reference types in events when using ABIEncoderV2Leonardo Alt2018-08-156-0/+41
|/
* Merge pull request #4390 from ethereum/abidecodechriseth2018-08-159-0/+264
|\ | | | | Add abi.decode
| * Add abi.decode(bytes data, (...))chriseth2018-08-159-0/+264
| |
* | Fixes #4718: High CPU usage when using large variable namesbakaoh2018-08-152-0/+14
|/
* Merge pull request #4738 from ethereum/dataloc_mergedchriseth2018-08-1569-100/+292
|\ | | | | Enforce data location.
| * Update tests.chriseth2018-08-1562-113/+179
| |
| * New test cases.mingchuan2018-08-1520-0/+126
| |
| * Update testsChase McDermott2018-08-156-36/+36
| |
* | Merge pull request #4542 from aarlt/constructor_natspecchriseth2018-08-151-0/+125
|\ \ | |/ |/| Fix: natspec annotations on constructors
| * Fix: natspec annotations on constructorsAlexander Arlt2018-08-091-0/+125
| | | | | | | | - natspec annotations on constructore where ignored.
* | Merge pull request #4765 from ethereum/fixes-issue-4673chriseth2018-08-141-0/+4
|\ \ | | | | | | [WIP] Fixes issue where computing storage size for a number would take too long (or even cause a crash).
| * | Fixes issue where computing storage size for a number would take too long.Christian Parpart2018-08-141-0/+4
| | | | | | | | | | | | Fixes #4673.
* | | Add implicit convertibility to function pointer with higher state mutabilityJesse Busman2018-08-144-0/+178
| | |
* | | Merge pull request #4782 from ethereum/encodePackedArrayOfStructschriseth2018-08-142-0/+19
|\ \ \ | | | | | | | | Encode packed array of structs
| * | | Tests.chriseth2018-08-102-0/+19
| |/ /
* | | Adds support for structs in interfaces.Christian Parpart2018-08-142-3/+62
| | | | | | | | | | | | Closes #4733.
* | | Replace safety stop by invalidLeonardo Alt2018-08-142-5/+5
| | |
* | | Merge pull request #4799 from ethereum/semanticsTestsGasEtAlchriseth2018-08-141-0/+93
|\ \ \ | | | | | | | | Semantics tests for ``gasleft()``, ``blockhash()`` ``tx.gasprice`` and ``block.gaslimit``
| * | | Fix tests for constantinople (expect zero for the time being).Daniel Kirchner2018-08-141-9/+22
| | | |
| * | | Add missing tests for ``gasleft()``, ``blockhash()`` ``tx.gasprice`` and ↵Daniel Kirchner2018-08-141-0/+80
| | | | | | | | | | | | | | | | ``block.gaslimit``.
* | | | Merge pull request #4777 from ethereum/typeConversionMemorychriseth2018-08-143-2/+7
|\ \ \ \ | |/ / / |/| | | Defaul data location for type conversions is memory.
| * | | Defaul data location for type conversions is memory.chriseth2018-08-133-2/+7
| | | |
* | | | Merge pull request #4798 from ethereum/mappingArgumentsAndReturnschriseth2018-08-1333-5/+428
|\ \ \ \ | | | | | | | | | | Mapping arguments and returns
| * | | | Add tests for mappings in function types.Daniel Kirchner2018-08-134-0/+20
| | | | |
| * | | | Allow mappings of arrays as arguments and return values of internal functions.Daniel Kirchner2018-08-1312-0/+100
| | | | |
| * | | | Consider mappings return values in control flow analysis.Daniel Kirchner2018-08-134-0/+20
| | | | |
| * | | | Allow mapping arguments and return values in all internal functions.Daniel Kirchner2018-08-134-9/+56
| | | | |
| * | | | Allow mapping arguments and return values in internal library functions.Daniel Kirchner2018-08-1313-0/+236
| |/ / /
* | | | Merge pull request #4696 from ethereum/byteLiteralConversionchriseth2018-08-1318-74/+257
|\ \ \ \ | |/ / / |/| | | Disallow ambiguous implicit and explicit conversions from number literals to bytesXX
| * | | Disallow ambiguous conversions between number literals and bytesXX types.Daniel Kirchner2018-08-1318-74/+257
| |/ /
* / / Disallow remappings with empty prefix.Daniel Kirchner2018-08-111-5/+9
|/ /
* | Rename FunctionKind SHA3 to KECCAK256 (as the instruction was renamed in ↵Alex Beregszaszi2018-08-091-4/+4
| | | | | | | | libevmasm)
* | Merge pull request #4772 from ethereum/asm-jsonAlex Beregszaszi2018-08-091-1/+29
|\ \ | |/ |/| Add tests for the assembler object (and avoid misusing string{} for u256)
| * Test for legacyAssembly in StandardCompilerAlex Beregszaszi2018-08-091-1/+29
| |
* | Merge pull request #4684 from ethereum/underscores_in_numeric_literalschriseth2018-08-098-0/+158
|\ \ | |/ |/| [BREAKING] Underscores in numeric literals
| * Cleanup & polish numbers-with-underscores parsing, also improving tests.Christian Parpart2018-08-088-135/+111
| |
| * Add stricter hex underscore rulesBalajiganapathi S2018-08-082-1/+17
| |
| * Allow underscores in numbers.Balajiganapathi S2018-08-081-0/+166
| |
* | Merge pull request #4769 from ethereum/inlineasm-overloading-resolutionAlex Beregszaszi2018-08-091-0/+11
|\ \ | | | | | | Provide nicer error message when referencing overloaded references
| * | Provide nicer error message when referencing overloaded referencesAlex Beregszaszi2018-08-081-0/+11
| | |
* | | Merge pull request #4753 from mattaereal/boost-to-string-patchAlex Beregszaszi2018-08-081-3/+2
|\ \ \ | |/ / |/| | Replace boost:lexical_cast<std::string> for std::to_string.
| * | Removing std:: from std::to_string and include for boost/lexical_castMatías Aereal Aeón2018-08-081-3/+2
| | |
* | | Remove experimental 0.5.0 pragmaAlex Beregszaszi2018-08-081-2/+1
| | |
* | | Merge pull request #4740 from ethereum/enforceNumberOfReturnValueschriseth2018-08-089-28/+87
|\ \ \ | | | | | | | | Disallow empty return in function with return arguments.
| * | | Add back lost test case to a more reasonable location.Daniel Kirchner2018-08-081-0/+3
| | | |
| * | | Update and extend tests for return expressions.Daniel Kirchner2018-08-088-28/+84
| | |/ | |/|
* / | Remove remaining instances of ``fillRight`` left over from tuple wildcards ↵Daniel Kirchner2018-08-083-20/+11
|/ / | | | | | | assignments.
* | Merge pull request #4731 from ethereum/interface-enumchriseth2018-08-077-1/+92
|\ \ | | | | | | Allow enums in interfaces
| * | Add endToEnd test for referencing enumsAlex Beregszaszi2018-08-071-0/+44
| | |
| * | Add more syntax tests for enums and interfaces/librariesAlex Beregszaszi2018-08-075-0/+48
| | |
| * | Allow enums in interfacesAlex Beregszaszi2018-08-071-1/+0
| | |
* | | Merge pull request #4720 from ethereum/abi-rational-type-identifierAlex Beregszaszi2018-08-072-0/+39
|\ \ \ | | | | | | | | Fix type identifiers for RationalNumberType (on negative numbers)
| * | | Add test for abi.encode (negative) literalsAlex Beregszaszi2018-08-071-0/+36
| | | |
| * | | Fix type identifiers for RationalNumberTypeAlex Beregszaszi2018-08-071-0/+3
| |/ /
* | | Merge pull request #4729 from ethereum/slot-on-non-storageAlex Beregszaszi2018-08-071-0/+9
|\ \ \ | |/ / |/| | Properly handle invalid references used together with _slot and _offset.
| * | More precise error message if using non-variables with _slot/_offsetAlex Beregszaszi2018-08-071-1/+1
| | |
| * | Properly handle invalid references used together with _slot and _offset.Alex Beregszaszi2018-08-071-0/+9
| | |
* | | Merge pull request #4695 from ethereum/test-natspecchriseth2018-08-071-25/+26
|\ \ \ | |/ / |/| | Be explicit about which contract to test for in the Natspec tests
| * | Be explicit about which contract to test for in the Natspec testsAlex Beregszaszi2018-08-061-25/+26
| | |
* | | Do not crash on using _slot and _offset suffixes on their ownAlex Beregszaszi2018-08-072-0/+18
| | |
* | | Merge pull request #4694 from ethereum/test-abijsonchriseth2018-08-071-31/+31
|\ \ \ | | | | | | | | Be explicit about which contract to test for in ABIJSON tests
| * | | Be explicit about which contract to test for in ABIJSON testsAlex Beregszaszi2018-08-061-31/+31
| |/ /
* | | Merge pull request #4663 from ethereum/dropConstantASTchriseth2018-08-0720-48/+0
|\ \ \ | | | | | | | | [BREAKING] Drop constant field from JSON AST
| * | | Update tests.Daniel Kirchner2018-08-0620-48/+0
| | | |
* | | | Tests for deriving types for empty string.chriseth2018-08-061-0/+38
| | | |
* | | | Merge pull request #4689 from ethereum/cleanup-050-testschriseth2018-08-0623-106/+11
|\ \ \ \ | |_|/ / |/| | | Cleanup 0.5.0 test cases
| * | | Cleanup 0.5.0 test casesAlex Beregszaszi2018-08-0623-106/+11
| | | |
* | | | Merge pull request #4671 from ethereum/mappingTupleAssignmentchriseth2018-08-068-12/+144
|\ \ \ \ | |/ / / |/| | | Disallow assignments to mappings within tuple assignments; allow for local variables.
| * | | Additional semantics test cases.Daniel Kirchner2018-08-031-0/+45
| | | |
| * | | Allow assignments to local variables of mapping types.Daniel Kirchner2018-08-035-4/+57
| | | |
| * | | Disallow assignments to mappings within tuple assignments.Daniel Kirchner2018-08-034-12/+46
| | | |
* | | | Merge pull request #4644 from ethereum/event_struct_errorchriseth2018-08-068-0/+28
|\ \ \ \ | | | | | | | | | | Disallow structs in events without ABIEncoderV2
| * | | | Disallow structs in events without ABIEncoderV2Leonardo Alt2018-08-038-0/+28
| |/ / /
* | | | Merge pull request #4681 from ethereum/var-suggestion-crashchriseth2018-08-061-0/+12
|\ \ \ \ | |_|/ / |/| | | Fix declaration suggestion for var with different number of components
| * | | Fix declaration suggestion for var with different number of componentsAlex Beregszaszi2018-08-041-0/+12
| |/ /
* | | Merge pull request #4677 from ethereum/jsonAstTestExtractionchriseth2018-08-0655-469/+5011
|\ \ \ | | | | | | | | JSON AST test extraction
| * | | Extract AST JSON tests.Daniel Kirchner2018-08-0454-470/+4753
| | | |
| * | | Infrastructure for extracting JSON AST tests.Daniel Kirchner2018-08-042-0/+259
| |/ /
* | | Merge pull request #4412 from ethereum/v050-reference-resolver-errorTypeForLooseChristian Parpart2018-08-0416-206/+26
|\ \ \ | |/ / |/| | [BREAKING] permanently set errorTypeForLoose from Warning to SyntaxError
| * | Drops tests for inline assembly jumps and function access as both isn't ↵Christian Parpart2018-08-021-46/+0
| | | | | | | | | | | | possible anymore.
| * | Drop swap_peephole_optimization test from EndToEndTestsChristian Parpart2018-08-021-44/+0
| | | | | | | | | | | | Already covered by libevmasm/Optimiser: peephole_noncommutative_swap1, peephole_commutative_swap1 and peephole_swap_comparison
| * | Update tests to remove support for loose assemblyChristian Parpart2018-08-029-75/+21
| | |
| * | Disallow loos assembly in Solidity by permanently setting it to SyntaxError ↵Christian Parpart2018-08-0212-47/+11
| |/ | | | | | | (from Warning)
* / Turn warning about uninitialized storage returns into an error.Daniel Kirchner2018-08-0321-178/+178
|/
* Merge pull request #4646 from ethereum/smt_model_secondary_locationAlex Beregszaszi2018-08-021-1/+1
|\ | | | | SMT model is sorted and printed as secondary location
| * SMT model variables are sorted and printed as secondary source locationLeonardo Alt2018-08-021-1/+1
| |
* | Merge pull request #4399 from ethereum/contractWhitespaceAlex Beregszaszi2018-08-029-14/+14
|\ \ | |/ |/| Remove trailing whitespace in all contract files.
| * Remove trailing whitespace in all contract files.Daniel Kirchner2018-08-029-14/+14
| |
* | Add additional test cases.Daniel Kirchner2018-08-012-0/+10
| |
* | Do not exclude public state variables when looking for conflicting declarations.Daniel Kirchner2018-08-014-0/+27
|/
* Merge pull request #4378 from ethereum/noBaseWithoutArgumentsAlex Beregszaszi2018-08-012-1/+10
|\ | | | | [BREAKING] Disallow calling base constructors without arguments.
| * Correctly determine whether base constructor is called without parentheses.chriseth2018-08-011-0/+9
| |
| * Disallow calling base constructors without arguments.chriseth2018-08-011-1/+1
| |
* | Adds positive/negative tests for checking error on cyclic dependency checker ↵Christian Parpart2018-08-014-0/+791
|/ | | | exhaustion
* Fix tests regarding contract type conversion.chriseth2018-08-012-2/+3
|
* Disallow conversion between unrelated contract types.chriseth2018-08-0111-8/+72
|
* Merge pull request #4507 from ethereum/v050-var-keyword-trace-removalsAlex Beregszaszi2018-08-015-0/+40
|\ | | | | Ensures an empty use of var keyword is caught with the proper non-fatal error message
| * Ensures an empty use of var keyword is caught with the proper error message.Christian Parpart2018-08-015-0/+40
| |
* | Merge pull request #4625 from ethereum/pragma-cleanupAlex Beregszaszi2018-07-316-20/+12
|\ \ | | | | | | Remove unnecessary or stray version pragmas
| * | Replace stray solidity pragma with progamatically inserting it in ↵Alex Beregszaszi2018-07-311-4/+2
| | | | | | | | | | | | SolidityOptimizer test
| * | Remove unnecesary version pragma from some syntax testsAlex Beregszaszi2018-07-315-16/+10
| | |
* | | Fix crash when FunctionType has undeclared type as parameterLeonardo Alt2018-07-317-11/+36
|/ /
* | Merge pull request #4556 from ethereum/library-data-locationsAlex Beregszaszi2018-07-266-0/+22
|\ \ | | | | | | Add tests for data locations within libraries
| * | Add tests for data locations within librariesAlex Beregszaszi2018-07-256-0/+22
| | |
* | | Merge pull request #4561 from ethereum/scanner-testsAlex Beregszaszi2018-07-261-1/+18
|\ \ \ | | | | | | | | Add comprehensive tests for the scanner
| * | | Scanner tests for all shiftsAlex Beregszaszi2018-07-251-1/+10
| | | |
| * | | Scanner tests for all escapesAlex Beregszaszi2018-07-251-0/+8
| |/ /
* | | Merge pull request #4562 from ethereum/parser-testsAlex Beregszaszi2018-07-2512-0/+61
|\ \ \ | | | | | | | | Add comprehensive tests for the parser
| * | | Add syntax tests for import statementsAlex Beregszaszi2018-07-255-0/+15
| | | |
| * | | Add syntax test for illegal pragma keyAlex Beregszaszi2018-07-251-0/+4
| | | |
| * | | Add syntax test for location specifier redeclarationsAlex Beregszaszi2018-07-253-0/+23
| | | |
| * | | Add syntax test for empty emit statementAlex Beregszaszi2018-07-251-0/+7
| | | |
| * | | Add syntax tests for assembly block type (evmasm)Alex Beregszaszi2018-07-252-0/+12
| |/ /
* | | Add more tests for inlineasm/AsmAnalyzerAlex Beregszaszi2018-07-255-0/+60
| | |
* | | Add more comprehensive tests for embedded inline assembly LValue/RValue accessAlex Beregszaszi2018-07-257-0/+74
|/ /
* | Add comprehensive syntax tests for indexed accessAlex Beregszaszi2018-07-256-0/+46
| |
* | Add syntax tests for unknown / invalid pragmaAlex Beregszaszi2018-07-252-0/+6
| |
* | Merge pull request #4527 from ethereum/mappingEnforceStorageAlex Beregszaszi2018-07-249-10/+37
|\ \ | | | | | | Enforces explicit data location for mappings
| * | Enforces data location of local mappings to storage.Erik Kundt2018-07-249-10/+37
| | |
* | | Disallow functions without implementation to use modifiers. This was already ↵Christian Parpart2018-07-242-3/+3
| |/ |/| | | | | the case in the experimental 0.5.0 mode.
* | Merge pull request #4439 from ethereum/address_memberschriseth2018-07-1925-144/+45
|\ \ | | | | | | [BREAKING] Enforce address members not accessible by contract instance
| * | Changes in ExpressionCompilerLeonardo Alt2018-07-191-0/+6
| | |
| * | Removing tests that are not useful anymoreLeonardo Alt2018-07-183-43/+0
| | |
| * | Add suggestion to error messageLeonardo Alt2018-07-1712-12/+12
| | |
| * | Address members not accessible by contract instanceLeonardo Alt2018-07-1724-104/+42
| | |
* | | Adds warning if function is shadowing a contract.Erik Kundt2018-07-182-5/+10
| | |
* | | Adjusts syntax tests to new constructor syntax.Erik Kundt2018-07-1829-116/+3
| |/ |/|
* | Adds comment about reasoning behind syntax test.Erik Kundt2018-07-181-3/+5
| |
* | Removes obsolete syntax tests.Erik Kundt2018-07-182-10/+0
| |
* | Suggests external for fallback and interface functions.chriseth2018-07-187-6/+16
| |
* | Adjusts tests to expect type errors on default visibility.Erik Kundt2018-07-187-18/+7
|/
* Add missing period in the end of error messagesLeonardo Alt2018-07-1633-33/+33
|
* Merge pull request #4481 from ethereum/disallow-throwchriseth2018-07-164-26/+9
|\ | | | | [BREAKING] Deprecate the throw statement
| * Replace throw with revert() in end-to-end testsAlex Beregszaszi2018-07-161-8/+8
| |
| * Deprecate the throw statementAlex Beregszaszi2018-07-163-18/+1
| |
* | Fixes end-to-end tests.Erik Kundt2018-07-163-15/+15
| |
* | Specifies visibility in syntax test.Erik Kundt2018-07-161-3/+3
| |
* | Specifies visibility in unit tests.Erik Kundt2018-07-167-127/+127
|/
* Merge pull request #4500 from ethereum/v050-interface-functions-must-be-externalchriseth2018-07-1610-15/+11
|\ | | | | [BREAKING] interface functions must be external
| * enforce interface-functions to be external-declaredChristian Parpart2018-07-1610-15/+11
| | | | | | | | | | | | | | | | - libsolidity: Enforce interface-functions must be external-declared. - Changelog adapted to reflect changes wrt. functions in interfaces. - test: Adjustments according to prior interface-function changes. - tests: Adapting SolidityEndToEndTest to interface-function change. - docs: Adapted documentation to interface-function change.
* | Added default data locations to parameters for end to end tests.Chase McDermott2018-07-168-199/+199
|/
* Merge pull request #4501 from ethereum/recursiveStructsWithFixedArrayschriseth2018-07-1312-0/+139
|\ | | | | Consider fixed-size arrays when checking for recursive structs.
| * Add test cases.Daniel Kirchner2018-07-1312-0/+139
| |
* | Update tests.Daniel Kirchner2018-07-1322-103/+177
|/
* Merge pull request #4437 from ethereum/report-empty-var-declschriseth2018-07-133-0/+22
|\ | | | | [BREAKING] Report empty var tuple decls
| * Generates a syntax error when declaring a variable declaration's LHS has no ↵Christian Parpart2018-07-123-0/+22
| | | | | | | | named components
* | Merge pull request #4478 from ethereum/requireStorageLocationchriseth2018-07-1313-50/+35
|\ \ | |/ |/| Turn missing storage locations into an error.
| * Update test wrt requiring storage locations.Daniel Kirchner2018-07-1213-50/+35
| |
* | Merge pull request #4428 from ethereum/enforce_staticcall_viewchriseth2018-07-121-1/+37
|\ \ | | | | | | [BREAKING] Enforce STATICCALL for view and pure
| * | Use STATICCALL for view and pureLeonardo Alt2018-07-111-1/+37
| | |
* | | Merge pull request #4083 from ethereum/variable_stack_slotchriseth2018-07-121-2/+316
|\ \ \ | |_|/ |/| | [BREAKING] Allocate local variables according to their scope
| * | Change test from public to externalLeonardo Alt2018-07-111-1/+1
| | |
| * | Added assertion and tests suggestionsLeonardo Alt2018-07-111-5/+13
| | |
| * | Add more tests and assertionsLeonardo Alt2018-07-111-1/+153
| | |
| * | Added tests and review suggestionsLeonardo Alt2018-07-111-0/+154
| | |
* | | Added default data locations to parameters for syntax tests.Chase McDermott2018-07-1238-83/+83
| | |
* | | Merge pull request #4443 from ethereum/double_var_decl_fixchriseth2018-07-123-0/+34
|\ \ \ | | | | | | | | Fix crash when declaring the same var twice in the same scope
| * | | Fix crash for double variable declaration in the same scope.Leonardo Alt2018-07-113-0/+34
| |/ /
* | | Merge pull request #4480 from ethereum/fixZeroWithExponentchriseth2018-07-122-23/+29
|\ \ \ | | | | | | | | Fix literals with exponents with mantissa of zero.
| * | | Split test case into failing and succeeding case.Daniel Kirchner2018-07-112-24/+29
| | | |
| * | | Fix literals with exponents with mantissa of zero.Daniel Kirchner2018-07-111-0/+1
| | | |
* | | | Merge pull request #4404 from ethereum/v050-var-keyword-suggestChristian Parpart2018-07-111-0/+23
|\ \ \ \ | |/ / / |/| | | [WIP] v0.5.0 var keyword type suggestion
| * | | semantics: Suggest auto-deduced type when user declares variable with `var` ↵Christian Parpart2018-07-111-0/+23
| | | | | | | | | | | | | | | | keyword.
* | | | Merge pull request #4454 from ethereum/constructorArgCountchriseth2018-07-114-12/+3
|\ \ \ \ | |_|_|/ |/| | | [BREAKING] Wrong argument count in constructor call
| * | | Cleans up syntax test.Erik Kundt2018-07-111-4/+1
| | | |
| * | | Improves error with suggestion to remove parantheses.Erik Kundt2018-07-113-3/+6
| | | |
| * | | Updates Changelog, syntax test and simplifies type checker.Erik Kundt2018-07-111-7/+1
| | | |