aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #5630 from ethereum/warn_functions_empty_bodychriseth2018-12-1335-75/+0
|\ | | | | Supress unused var and state mut warnings for functions with empty body
| * Disable state mutability warning for functions with empty bodyLeonardo Alt2018-12-1231-45/+0
| |
| * Disable unused var warning for functions with empty bodyLeonardo Alt2018-12-1215-30/+0
| |
* | Refactoring of the ControlFlowGraph and use for detecting all uninitialized ↵Daniel Kirchner2018-12-1222-46/+122
|/ | | | storage accesses.
* Merge pull request #5454 from ethereum/smt_math_functionschriseth2018-12-126-18/+35
|\ | | | | [SMTChecker] Abstract math functions
| * [SMTChecker] Use SymbolicFunctionVariable for uninterpreted functionsLeonardo Alt2018-12-116-18/+35
| |
* | Merge pull request #4779 from ethereum/optimise-string-literalschriseth2018-12-122-1/+90
|\ \ | |/ |/| Decide better in storing string literals as data
| * Tests for gas costs.chriseth2018-12-112-1/+90
| |
* | Add tests for implcit conversions from literals to fixed-point numbers.Yi Huang2018-12-113-1/+18
|/
* Adds more detailed type errors and tests.Erik Kundt2018-12-075-15/+21
|
* Adds an additional message to failing type conversions.Erik Kundt2018-12-075-10/+25
|
* Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactorchriseth2018-12-063-6/+3
|\ | | | | [2/3] Refactor SourceReferenceFormatter (split-out data extraction & make use of new SourceLocation knowledge)
| * liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and ↵Christian Parpart2018-12-063-6/+3
| | | | | | | | making use of new SourceLocation's CharStream knowledge
* | Merge pull request #5514 from corollari/developchriseth2018-12-062-1/+2
|\ \ | | | | | | Remove unary + from the type system
| * | Update testAlbert2018-12-061-1/+1
| | |
| * | Fix #5470Albert2018-12-061-0/+1
| | | | | | | | | | | | Remove unary + from the type system
* | | Remove `w` parameter for toHex.chriseth2018-12-061-3/+3
|/ /
* / add a 'readable' format for large hex valuesKevin Kelley2018-12-066-10/+10
|/
* [SMTChecker] Loops are unrolled onceLeonardo Alt2018-12-0417-8/+177
|
* Improve yul error messages around number of arguments and variables.chriseth2018-12-042-6/+3
|
* Fix internal compiler error for unimplemented base contract function.Anurag Dashputre2018-12-032-0/+20
|
* Merge pull request #5557 from ↵chriseth2018-12-035-0/+33
|\ | | | | | | | | ethereum/fixInterfaceImplementedByPublicStateVariable Public state variables are implementing external functions.
| * Public state variables are implementing external functions.chriseth2018-12-035-0/+33
| |
* | Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoringchriseth2018-12-015-89/+93
|\ \ | |/ |/| [1/3] SourceLocation related refactoring.
| * liblangutil: SourceLocation: Retricts == and != operatorChristian Parpart2018-12-011-1/+2
| |
| * liblangutil: Scanner: remove superfluous sourceName field (it's in ↵Christian Parpart2018-12-011-14/+14
| | | | | | | | | | | | | | CharStream already) Also, ParserBase::sourceName() was dead code. Eliminating it should increase test coverage (how sneaky) :-)
| * liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream ↵Christian Parpart2018-12-011-18/+21
| | | | | | | | | | | | source, eliminating sourceName Also, adapted affecting code to those changes.
| * liblangutil: extends CharStream to know about the respective (file-)name ↵Christian Parpart2018-11-295-71/+71
| | | | | | | | (and adapt codebase to it)
* | Test.chriseth2018-11-302-0/+26
| |
* | Merge pull request #5550 from ethereum/moveSomeTestschriseth2018-11-3011-0/+0
|\ \ | | | | | | Move inline array tests.
| * | Move inline array tests.chriseth2018-11-3011-0/+0
| | |
* | | Merge pull request #5548 from ethereum/fixMemberAccesschriseth2018-11-302-0/+27
|\ \ \ | | | | | | | | Fix bug related to state variables of function type accessed via base contract.
| * | | Fix bug related to state variables of function type accessed via base contract.chriseth2018-11-302-0/+27
| |/ /
* / / Disallow inline arrays of mapping type.chriseth2018-11-301-0/+8
|/ /
* | Report deprecation error on functions sha3 and suicide also without call.Leonardo Alt2018-11-297-2/+58
| |
* | Fix ICE when function type struct parameter has field of non-existent typeLeonardo Alt2018-11-292-0/+19
| |
* | Merge pull request #5526 from ethereum/fixGetterNewCoderchriseth2018-11-294-0/+32
|\ \ | |/ |/| Fix: Disallow structs in getters for old encoder.
| * Tests.chriseth2018-11-284-0/+32
| |
* | Remove boost test checks from SMTCheckerJSONTestLeonardo Alt2018-11-281-31/+56
|/
* Use yul parser in assembly stack.chriseth2018-11-271-3/+6
|
* Merge pull request #5382 from ethereum/libraryMappingPublicchriseth2018-11-278-14/+88
|\ | | | | Allow mapping arguments for public and external library functions.
| * Allow mapping arguments for public and external library functions.Daniel Kirchner2018-11-268-14/+88
| |
* | Changelog entry and tests.chriseth2018-11-262-0/+11
| |
* | Tests.Daniel Kirchner2018-11-269-0/+166
|/
* Merge pull request #5486 from ethereum/allowExternalPublicOverridechriseth2018-11-264-1/+32
|\ | | | | Allow external public override
| * Changelog entry and tests.chriseth2018-11-264-1/+32
| |
* | Merge pull request #5494 from ethereum/scanner-error-handlingchriseth2018-11-268-11/+16
|\ \ | | | | | | Improved Scanner error diagnostics.
| * | Adapting tests to Scanner's lexical error diagnostics change.Christian Parpart2018-11-248-30/+32
| | |
| * | adapt to latest code changesLazaridis2018-11-248-23/+26
| | |
* | | Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatterchriseth2018-11-263-4/+4
|\ \ \ | |_|/ |/| | Moving SourceReferenceFormatter into langutil namespace.
| * | Moving SourceReferenceFormatter into langutil namespace.Christian Parpart2018-11-243-4/+4
| |/
* / decouple TestCase class from test/libsolidityLazaridis2018-11-254-138/+2
|/
* Add SMTChecker tests for standard JSONLeonardo Alt2018-11-238-1/+232
|
* Merge pull request #5451 from ethereum/bound_function_testschriseth2018-11-234-0/+43
|\ | | | | Add assert and tests for bound functions
| * Add assert and tests for bound functionsLeonardo Alt2018-11-224-0/+43
| |
* | Organize smt tests in subdirectoriesLeonardo Alt2018-11-2246-0/+0
| |
* | Remove pragma ABIEncoderV2 from smt testLeonardo Alt2018-11-221-6/+8
| |
* | Drop numbering in front of the SMTChecker testsAlex Beregszaszi2018-11-2246-0/+0
| |
* | Move most of SMTChecker tests from C++ to isoltestAlex Beregszaszi2018-11-2247-593/+489
|/ | | | But keep divison in C++ because results differ between different solvers
* Introduce namespace `langutil` in liblangutil directory.Christian Parpart2018-11-2218-9/+25
| | | | | | | Also: - Use {}-style list initialisation for SourceLocation construction - Introduce new system includes - Changes the API of the Scanner to take source as value (with move) as opposed to as a reference
* Isolating files shared between Yul- and Solidity language frontend.Christian Parpart2018-11-2215-21/+21
|
* Removing redundant virtual from override function declarationmordax2018-11-212-6/+6
| | | | | | Remove trailing whitespace Remove changelog change
* [SMTChecker] Support bound function callsLeonardo Alt2018-11-194-0/+78
|
* [SMTChecker] Implement uninterpreted functions and use it for blockhash()Leonardo Alt2018-11-151-2/+6
|
* Do not perform cleanup on unsigned integers when loading from calldata.chriseth2018-11-151-1/+1
|
* Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback)Alex Beregszaszi2018-11-131-140/+3
|
* Ignore unimplemented functions for storage returns.Daniel Kirchner2018-11-132-0/+8
|
* Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall).Kristofer Peterson2018-11-103-1/+11
| | | | | | Visit method now cleanly determines if node represents a function call, struct construction or type conversion. Type checking, validation and error message logic is moved to separate methods.
* Merge pull request #5265 from ethereum/cleanupsha3chriseth2018-11-093-3/+3
|\ | | | | Simplify sha3.
| * Renamed SHA3.{h,cpp} files.chriseth2018-10-183-3/+3
| |
* | Merge pull request #5351 from ethereum/functionTypeConversionchriseth2018-11-0813-0/+128
|\ \ | | | | | | Relax type equality requirement of function types during conversion in code generation.
| * | Function type conversion test cases.Daniel Kirchner2018-11-0813-0/+128
| | |
* | | Merge pull request #5348 from ethereum/boostRationalNegativeDenominatorFixchriseth2018-11-081-0/+5
|\ \ \ | | | | | | | | Fix negative denominator in ``boost::rational`` during exponentiation.
| * | | Fix negative denominator in ``boost::rational`` during exponentiation.Daniel Kirchner2018-11-061-0/+5
| |/ /
* / / 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
| |