Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [SMTChecker] Clear state knowledge after external function calls | Leonardo Alt | 2019-01-21 | 4 | -1/+64 |
| | |||||
* | Merge pull request #5717 from ethereum/smt_typecast | chriseth | 2019-01-21 | 11 | -3/+135 |
|\ | | | | | [SMTChecker] Support basic typecast without truncation | ||||
| * | [SMTChecker] Support basic typecast | Leonardo Alt | 2019-01-16 | 11 | -3/+135 |
| | | |||||
* | | Disallow calldata structs. | Daniel Kirchner | 2019-01-21 | 4 | -4/+32 |
| | | |||||
* | | Merge pull request #5775 from ethereum/codeAccess | chriseth | 2019-01-18 | 24 | -4/+287 |
|\ \ | | | | | | | Provide access to code of contract types. | ||||
| * | | Add test for content of creationCode and runtimeCode. | chriseth | 2019-01-18 | 1 | -2/+45 |
| | | | |||||
| * | | Type is not reserved anymore. | chriseth | 2019-01-18 | 1 | -1/+0 |
| | | | |||||
| * | | Warn if type(..).runtimeCode is used with assembly in the constructor. | chriseth | 2019-01-18 | 1 | -0/+17 |
| | | | |||||
| * | | Code generation for access to contract code. | chriseth | 2019-01-18 | 1 | -1/+2 |
| | | | |||||
| * | | Syntax for meta type information. | chriseth | 2019-01-18 | 2 | -2/+2 |
| | | | |||||
| * | | Tests. | chriseth | 2019-01-18 | 19 | -0/+223 |
| |/ | |||||
* / | Change error message and add tests | Leonardo Alt | 2019-01-17 | 4 | -0/+34 |
|/ | |||||
* | Disallow mismatching types in switch cases and detect duplicates by value ↵ | Daniel Kirchner | 2019-01-15 | 1 | -1/+1 |
| | | | | for number literals. | ||||
* | Warn about unreachable code. | Daniel Kirchner | 2019-01-10 | 19 | -1/+120 |
| | |||||
* | Merge pull request #5681 from ethereum/limitOutput | chriseth | 2018-12-20 | 1 | -1/+3 |
|\ | | | | | Do not compile unless requested. | ||||
| * | Do not include empty JSON objects in output. | chriseth | 2018-12-19 | 1 | -1/+3 |
| | | |||||
* | | make use of C++ `= default` constructor declarations as well as more ↵ | Christian Parpart | 2018-12-19 | 4 | -7/+0 |
| | | | | | | | | non-static member initialization syntax. | ||||
* | | liblangutil: SourceLocation to default initialize data members (w/o the use ↵ | Christian Parpart | 2018-12-19 | 1 | -13/+13 |
|/ | | | | | | 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 | ||||
* | Move unsatisfied_version test from SolidityNameAndTypeResolution to ↵ | Alex Beregszaszi | 2018-12-18 | 2 | -12/+8 |
| | | | | SolidityParser | ||||
* | Fail if parsing failed in AnalysisFramework | Alex Beregszaszi | 2018-12-18 | 1 | -1/+1 |
| | | | | Otherwise Compilerstack::analyze will throw an exception. | ||||
* | Add version pragma parsing to Parser | Alex Beregszaszi | 2018-12-18 | 1 | -0/+9 |
| | |||||
* | Only generate sort/search code when interface functions exist | Mathias Baumann | 2018-12-18 | 2 | -5/+48 |
| | |||||
* | Clear all mapping knowledge after array variable assignment | Leonardo Alt | 2018-12-14 | 1 | -1/+4 |
| | |||||
* | [SMTChecker] Support to mapping | Leonardo Alt | 2018-12-14 | 16 | -0/+215 |
| | |||||
* | Merge pull request #4951 from ethereum/alethUpdates | chriseth | 2018-12-13 | 2 | -6/+9 |
|\ | | | | | Use current aleth release for testing. | ||||
| * | Add tolerance to gas meter tests. | Daniel Kirchner | 2018-12-13 | 1 | -5/+7 |
| | | |||||
| * | Test updates for recent versions of aleth. | Daniel Kirchner | 2018-12-11 | 1 | -1/+2 |
| | | |||||
* | | Merge pull request #5630 from ethereum/warn_functions_empty_body | chriseth | 2018-12-13 | 35 | -75/+0 |
|\ \ | | | | | | | Supress unused var and state mut warnings for functions with empty body | ||||
| * | | Disable state mutability warning for functions with empty body | Leonardo Alt | 2018-12-12 | 31 | -45/+0 |
| | | | |||||
| * | | Disable unused var warning for functions with empty body | Leonardo Alt | 2018-12-12 | 15 | -30/+0 |
| | | | |||||
* | | | Refactoring of the ControlFlowGraph and use for detecting all uninitialized ↵ | Daniel Kirchner | 2018-12-12 | 22 | -46/+122 |
|/ / | | | | | | | storage accesses. | ||||
* | | Merge pull request #5454 from ethereum/smt_math_functions | chriseth | 2018-12-12 | 6 | -18/+35 |
|\ \ | | | | | | | [SMTChecker] Abstract math functions | ||||
| * | | [SMTChecker] Use SymbolicFunctionVariable for uninterpreted functions | Leonardo Alt | 2018-12-11 | 6 | -18/+35 |
| |/ | |||||
* | | Merge pull request #4779 from ethereum/optimise-string-literals | chriseth | 2018-12-12 | 2 | -1/+90 |
|\ \ | |/ |/| | Decide better in storing string literals as data | ||||
| * | Tests for gas costs. | chriseth | 2018-12-11 | 2 | -1/+90 |
| | | |||||
* | | Add tests for implcit conversions from literals to fixed-point numbers. | Yi Huang | 2018-12-11 | 3 | -1/+18 |
|/ | |||||
* | Adds more detailed type errors and tests. | Erik Kundt | 2018-12-07 | 5 | -15/+21 |
| | |||||
* | Adds an additional message to failing type conversions. | Erik Kundt | 2018-12-07 | 5 | -10/+25 |
| | |||||
* | Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactor | chriseth | 2018-12-06 | 3 | -6/+3 |
|\ | | | | | [2/3] Refactor SourceReferenceFormatter (split-out data extraction & make use of new SourceLocation knowledge) | ||||
| * | liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and ↵ | Christian Parpart | 2018-12-06 | 3 | -6/+3 |
| | | | | | | | | making use of new SourceLocation's CharStream knowledge | ||||
* | | Merge pull request #5514 from corollari/develop | chriseth | 2018-12-06 | 2 | -1/+2 |
|\ \ | | | | | | | Remove unary + from the type system | ||||
| * | | Update test | Albert | 2018-12-06 | 1 | -1/+1 |
| | | | |||||
| * | | Fix #5470 | Albert | 2018-12-06 | 1 | -0/+1 |
| | | | | | | | | | | | | Remove unary + from the type system | ||||
* | | | Remove `w` parameter for toHex. | chriseth | 2018-12-06 | 1 | -3/+3 |
|/ / | |||||
* / | add a 'readable' format for large hex values | Kevin Kelley | 2018-12-06 | 6 | -10/+10 |
|/ | |||||
* | [SMTChecker] Loops are unrolled once | Leonardo Alt | 2018-12-04 | 17 | -8/+177 |
| | |||||
* | Improve yul error messages around number of arguments and variables. | chriseth | 2018-12-04 | 2 | -6/+3 |
| | |||||
* | Fix internal compiler error for unimplemented base contract function. | Anurag Dashputre | 2018-12-03 | 2 | -0/+20 |
| | |||||
* | Merge pull request #5557 from ↵ | chriseth | 2018-12-03 | 5 | -0/+33 |
|\ | | | | | | | | | ethereum/fixInterfaceImplementedByPublicStateVariable Public state variables are implementing external functions. | ||||
| * | Public state variables are implementing external functions. | chriseth | 2018-12-03 | 5 | -0/+33 |
| | | |||||
* | | Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoring | chriseth | 2018-12-01 | 5 | -89/+93 |
|\ \ | |/ |/| | [1/3] SourceLocation related refactoring. | ||||
| * | liblangutil: SourceLocation: Retricts == and != operator | Christian Parpart | 2018-12-01 | 1 | -1/+2 |
| | | |||||
| * | liblangutil: Scanner: remove superfluous sourceName field (it's in ↵ | Christian Parpart | 2018-12-01 | 1 | -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 Parpart | 2018-12-01 | 1 | -18/+21 |
| | | | | | | | | | | | | source, eliminating sourceName Also, adapted affecting code to those changes. | ||||
| * | liblangutil: extends CharStream to know about the respective (file-)name ↵ | Christian Parpart | 2018-11-29 | 5 | -71/+71 |
| | | | | | | | | (and adapt codebase to it) | ||||
* | | Test. | chriseth | 2018-11-30 | 2 | -0/+26 |
| | | |||||
* | | Merge pull request #5550 from ethereum/moveSomeTests | chriseth | 2018-11-30 | 11 | -0/+0 |
|\ \ | | | | | | | Move inline array tests. | ||||
| * | | Move inline array tests. | chriseth | 2018-11-30 | 11 | -0/+0 |
| | | | |||||
* | | | Merge pull request #5548 from ethereum/fixMemberAccess | chriseth | 2018-11-30 | 2 | -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. | chriseth | 2018-11-30 | 2 | -0/+27 |
| |/ / | |||||
* / / | Disallow inline arrays of mapping type. | chriseth | 2018-11-30 | 1 | -0/+8 |
|/ / | |||||
* | | Report deprecation error on functions sha3 and suicide also without call. | Leonardo Alt | 2018-11-29 | 7 | -2/+58 |
| | | |||||
* | | Fix ICE when function type struct parameter has field of non-existent type | Leonardo Alt | 2018-11-29 | 2 | -0/+19 |
| | | |||||
* | | Merge pull request #5526 from ethereum/fixGetterNewCoder | chriseth | 2018-11-29 | 4 | -0/+32 |
|\ \ | |/ |/| | Fix: Disallow structs in getters for old encoder. | ||||
| * | Tests. | chriseth | 2018-11-28 | 4 | -0/+32 |
| | | |||||
* | | Remove boost test checks from SMTCheckerJSONTest | Leonardo Alt | 2018-11-28 | 1 | -31/+56 |
|/ | |||||
* | Use yul parser in assembly stack. | chriseth | 2018-11-27 | 1 | -3/+6 |
| | |||||
* | Merge pull request #5382 from ethereum/libraryMappingPublic | chriseth | 2018-11-27 | 8 | -14/+88 |
|\ | | | | | Allow mapping arguments for public and external library functions. | ||||
| * | Allow mapping arguments for public and external library functions. | Daniel Kirchner | 2018-11-26 | 8 | -14/+88 |
| | | |||||
* | | Changelog entry and tests. | chriseth | 2018-11-26 | 2 | -0/+11 |
| | | |||||
* | | Tests. | Daniel Kirchner | 2018-11-26 | 9 | -0/+166 |
|/ | |||||
* | Merge pull request #5486 from ethereum/allowExternalPublicOverride | chriseth | 2018-11-26 | 4 | -1/+32 |
|\ | | | | | Allow external public override | ||||
| * | Changelog entry and tests. | chriseth | 2018-11-26 | 4 | -1/+32 |
| | | |||||
* | | Merge pull request #5494 from ethereum/scanner-error-handling | chriseth | 2018-11-26 | 8 | -11/+16 |
|\ \ | | | | | | | Improved Scanner error diagnostics. | ||||
| * | | Adapting tests to Scanner's lexical error diagnostics change. | Christian Parpart | 2018-11-24 | 8 | -30/+32 |
| | | | |||||
| * | | adapt to latest code changes | Lazaridis | 2018-11-24 | 8 | -23/+26 |
| | | | |||||
* | | | Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatter | chriseth | 2018-11-26 | 3 | -4/+4 |
|\ \ \ | |_|/ |/| | | Moving SourceReferenceFormatter into langutil namespace. | ||||
| * | | Moving SourceReferenceFormatter into langutil namespace. | Christian Parpart | 2018-11-24 | 3 | -4/+4 |
| |/ | |||||
* / | decouple TestCase class from test/libsolidity | Lazaridis | 2018-11-25 | 4 | -138/+2 |
|/ | |||||
* | Add SMTChecker tests for standard JSON | Leonardo Alt | 2018-11-23 | 8 | -1/+232 |
| | |||||
* | Merge pull request #5451 from ethereum/bound_function_tests | chriseth | 2018-11-23 | 4 | -0/+43 |
|\ | | | | | Add assert and tests for bound functions | ||||
| * | Add assert and tests for bound functions | Leonardo Alt | 2018-11-22 | 4 | -0/+43 |
| | | |||||
* | | Organize smt tests in subdirectories | Leonardo Alt | 2018-11-22 | 46 | -0/+0 |
| | | |||||
* | | Remove pragma ABIEncoderV2 from smt test | Leonardo Alt | 2018-11-22 | 1 | -6/+8 |
| | | |||||
* | | Drop numbering in front of the SMTChecker tests | Alex Beregszaszi | 2018-11-22 | 46 | -0/+0 |
| | | |||||
* | | Move most of SMTChecker tests from C++ to isoltest | Alex Beregszaszi | 2018-11-22 | 47 | -593/+489 |
|/ | | | | But keep divison in C++ because results differ between different solvers | ||||
* | Introduce namespace `langutil` in liblangutil directory. | Christian Parpart | 2018-11-22 | 18 | -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 Parpart | 2018-11-22 | 15 | -21/+21 |
| | |||||
* | Removing redundant virtual from override function declaration | mordax | 2018-11-21 | 2 | -6/+6 |
| | | | | | | Remove trailing whitespace Remove changelog change | ||||
* | [SMTChecker] Support bound function calls | Leonardo Alt | 2018-11-19 | 4 | -0/+78 |
| | |||||
* | [SMTChecker] Implement uninterpreted functions and use it for blockhash() | Leonardo Alt | 2018-11-15 | 1 | -2/+6 |
| | |||||
* | Do not perform cleanup on unsigned integers when loading from calldata. | chriseth | 2018-11-15 | 1 | -1/+1 |
| | |||||
* | Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback) | Alex Beregszaszi | 2018-11-13 | 1 | -140/+3 |
| | |||||
* | Ignore unimplemented functions for storage returns. | Daniel Kirchner | 2018-11-13 | 2 | -0/+8 |
| | |||||
* | Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall). | Kristofer Peterson | 2018-11-10 | 3 | -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/cleanupsha3 | chriseth | 2018-11-09 | 3 | -3/+3 |
|\ | | | | | Simplify sha3. | ||||
| * | Renamed SHA3.{h,cpp} files. | chriseth | 2018-10-18 | 3 | -3/+3 |
| | | |||||
* | | Merge pull request #5351 from ethereum/functionTypeConversion | chriseth | 2018-11-08 | 13 | -0/+128 |
|\ \ | | | | | | | Relax type equality requirement of function types during conversion in code generation. | ||||
| * | | Function type conversion test cases. | Daniel Kirchner | 2018-11-08 | 13 | -0/+128 |
| | | | |||||
* | | | Merge pull request #5348 from ethereum/boostRationalNegativeDenominatorFix | chriseth | 2018-11-08 | 1 | -0/+5 |
|\ \ \ | | | | | | | | | Fix negative denominator in ``boost::rational`` during exponentiation. | ||||
| * | | | Fix negative denominator in ``boost::rational`` during exponentiation. | Daniel Kirchner | 2018-11-06 | 1 | -0/+5 |
| |/ / | |||||
* / / | Eliminate `byte`-typedef and use `uint8_t` in all their places instead. | Christian Parpart | 2018-11-07 | 2 | -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 Kirchner | 2018-11-06 | 1 | -2/+0 |
| | | | | | | | | boost 1.68. | ||||
* | | Fixes crash while encoding too large arrays. | Erik Kundt | 2018-10-30 | 3 | -0/+26 |
| | | |||||
* | | Merge pull request #5283 from ethereum/smt_fixed_bytes | chriseth | 2018-10-25 | 3 | -8/+16 |
|\ \ | | | | | | | [SMTChecker] Support FixedBytes | ||||
| * | | Grouping of symbolic variables in the same file and support to FixedBytes | Leonardo Alt | 2018-10-25 | 3 | -8/+16 |
| | | | |||||
* | | | Merge pull request #5242 from ethereum/someChecks | chriseth | 2018-10-25 | 4 | -0/+44 |
|\ \ \ | |/ / |/| | | Some well-formedness checks for the Yul AST. | ||||
| * | | Added some tests. | chriseth | 2018-10-24 | 4 | -0/+44 |
| | | | |||||
* | | | Merge pull request #5272 from ethereum/smt_special_vars | chriseth | 2018-10-24 | 10 | -17/+128 |
|\ \ \ | | | | | | | | | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash | ||||
| * | | | Add gasleft constraint and use full member access name | Leonardo Alt | 2018-10-23 | 2 | -0/+14 |
| | | | | |||||
| * | | | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash | Leonardo Alt | 2018-10-19 | 9 | -17/+114 |
| |/ / | |||||
* / / | Refactor `solidity::Token` into an `enum class` with `TokenTraits` helper ↵ | Christian Parpart | 2018-10-22 | 1 | -3/+3 |
|/ / | | | | | | | namespace | ||||
* | | Merge pull request #5256 from ethereum/lvalueCleanup | chriseth | 2018-10-19 | 1 | -0/+18 |
|\ \ | | | | | | | Lvalue cleanup | ||||
| * | | Add a test for delete x.length | chriseth | 2018-10-18 | 1 | -0/+18 |
| |/ | |||||
* / | Added test for flipping signs on signed type edge case | mordax | 2018-10-16 | 1 | -0/+15 |
|/ | |||||
* | [SMTChecker] Inline calls to internal functions | Leonardo Alt | 2018-10-15 | 20 | -7/+264 |
| | |||||
* | Merge pull request #5208 from mestorlx/bug4156 | chriseth | 2018-10-15 | 3 | -0/+43 |
|\ | | | | | [WIP] Bad identifier suggestion in certain cases | ||||
| * | Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking ↵ | mestorlx | 2018-10-13 | 3 | -0/+43 |
| | | | | | | | | into account length of the identifier | ||||
* | | Fixes invalid function calls to literals inside tuple assignment's LHS. | Christian Parpart | 2018-10-15 | 2 | -0/+16 |
|/ | |||||
* | Add Yul optimizer test framework. | chriseth | 2018-10-11 | 1 | -1/+2 |
| | |||||
* | Adds syntax tests for array index access. | Erik Kundt | 2018-10-11 | 5 | -0/+31 |
| | |||||
* | Merge pull request #5195 from ethereum/unsigned-array-index | chriseth | 2018-10-11 | 4 | -0/+40 |
|\ | | | | | Do not crash on non-unsigned array index | ||||
| * | Fixes crash on non-unsigned array index. | Erik Kundt | 2018-10-11 | 4 | -0/+40 |
| | | |||||
* | | Improved error message for lookup in function types. | Martin Diz | 2018-10-10 | 5 | -0/+85 |
| | | |||||
* | | Merge pull request #5184 from ethereum/viewFunctionDocs | chriseth | 2018-10-10 | 1 | -0/+25 |
|\ \ | |/ |/| | Library view functions | ||||
| * | Documents library view functions and adds unit test. | Erik Kundt | 2018-10-10 | 1 | -0/+25 |
| | | |||||
* | | Merge pull request #5180 from ethereum/cpp-cleanup | chriseth | 2018-10-10 | 3 | -4/+2 |
|\ \ | | | | | | | Some C++ cleanup | ||||
| * | | Do not require ctype/stdio if not needed | Alex Beregszaszi | 2018-10-10 | 2 | -2/+0 |
| | | | |||||
| * | | Use nullptr instead of NULL where appropriate | Alex Beregszaszi | 2018-10-10 | 1 | -2/+2 |
| | | | |||||
* | | | Fixes large rational number literals being wrongly interpreted. | Christian Parpart | 2018-10-09 | 2 | -0/+18 |
| | | | | | | | | | | | | Fixes #5052. | ||||
* | | | provide general hex-literal error message, fixes #1802 | Lazaridis | 2018-10-09 | 1 | -4/+8 |
|/ / | | | | | | | dummy | ||||
* | | Fix ast json test for function kind. | chriseth | 2018-10-09 | 2 | -1/+2 |
| | | |||||
* | | Merge pull request #4734 from ethereum/astUpdate | chriseth | 2018-10-09 | 29 | -10/+571 |
|\ \ | |/ |/| | JSON AST: replace ``isConstructor`` by ``kind`` which also supports fallbacks | ||||
| * | Restore ``isConstructor`` in the legacy AST. | Daniel Kirchner | 2018-09-11 | 13 | -0/+13 |
| | | |||||
| * | Add new test cases. | Daniel Kirchner | 2018-09-11 | 9 | -0/+548 |
| | | |||||
| * | Replace ``isConstructor`` field in the JSON AST by a ``kind`` field. | Daniel Kirchner | 2018-09-11 | 20 | -20/+20 |
| | | |||||
* | | Fixes #5051 (introduced in #4684), effectively allowing underscores in ↵ | Christian Parpart | 2018-10-02 | 1 | -0/+1 |
| | | | | | | | | address literals. | ||||
* | | Merge pull request #4676 from jwasinger/extcodehash | Alex Beregszaszi | 2018-09-28 | 1 | -0/+13 |
|\ \ | | | | | | | Add support for EXTCODEHASH | ||||
| * | | Add test for extcodehash | Alex Beregszaszi | 2018-09-26 | 1 | -0/+13 |
| | | | |||||
* | | | Be more strict about values in the optimizer block in StandardJSON | Alex Beregszaszi | 2018-09-26 | 1 | -0/+65 |
|/ / | |||||
* | | Merge pull request #5061 from ethereum/fixedSizeArrayLength | chriseth | 2018-09-26 | 4 | -2/+32 |
|\ \ | | | | | | | Disallow fixed-size arrays with zero length | ||||
| * | | Moves length check to reference resolver. | Erik Kundt | 2018-09-22 | 5 | -8/+32 |
| | | | |||||
| * | | Disallows fixed-size multidim. arrays with zero-length. | Erik Kundt | 2018-09-22 | 1 | -0/+6 |
| | | | |||||
* | | | CREATE2 is part of Constantinople now | Alex Beregszaszi | 2018-09-26 | 1 | -5/+7 |
| | | | | | | | | | | | | Also add hasCreate2 to EVMVersion | ||||
* | | | Merge pull request #5003 from herrBez/cleanUpdated | chriseth | 2018-09-24 | 12 | -0/+106 |
|\ \ \ | | | | | | | | | Add syntax tests to fix #4627 | ||||
| * | | | Add syntax tests to augment the test coverage of | herrBez | 2018-09-21 | 12 | -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-crashes | Alex Beregszaszi | 2018-09-21 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | Add proper error reporting when invalid settings are provided in StandardJSON | ||||
| * | | | Add proper error reporting when invalid settings are provided in StandardJSON | Alex Beregszaszi | 2018-09-21 | 1 | -1/+1 |
| |/ / | |||||
* | | | Merge pull request #5030 from ethereum/payableConversion | chriseth | 2018-09-21 | 6 | -0/+40 |
|\ \ \ | | | | | | | | | Make non-payable default for conversion to address. | ||||
| * | | | Make non-payable default for conversion to address. | chriseth | 2018-09-20 | 6 | -0/+40 |
| |/ / | |||||
* / / | Disallow uppercase X in hex number literals | hydai | 2018-09-19 | 1 | -0/+5 |
|/ / | |||||
* | | fix some format typos | liangdzou | 2018-09-17 | 2 | -3/+3 |
| | | |||||
* | | Do not set to ref for explicit conversion and add assertion for array | liangdzou | 2018-09-14 | 7 | -0/+67 |
| | | | | | | | | type conversion. Also, add some test cases for #4901 and #4948. | ||||
* | | Merge pull request #4968 from ethereum/alethUpdateCompatible | chriseth | 2018-09-14 | 1 | -29/+20 |
|\ \ | | | | | | | Fix tests for newer versions of aleth. | ||||
| * | | Disable blockhash test for constantinople due to changes between aleth versions. | Daniel Kirchner | 2018-09-13 | 1 | -29/+20 |
| | | | |||||
* | | | Add ``stateMutability`` field to JSON AST for ``address`` types. | Daniel Kirchner | 2018-09-13 | 3 | -0/+1171 |
| | | | |||||
* | | | Add payable and non-payable state mutability to AddressType. | Daniel Kirchner | 2018-09-13 | 31 | -7/+263 |
|/ / | |||||
* | | Update test suite to use address payable. | Daniel Kirchner | 2018-09-12 | 8 | -8/+60 |
| | | |||||
* | | Accept ``address payable`` during parsing. | Daniel Kirchner | 2018-09-11 | 19 | -1/+224 |
|/ | |||||
* | Tests. | chriseth | 2018-09-10 | 1 | -0/+40 |
| | |||||
* | Tests. | chriseth | 2018-09-06 | 1 | -0/+98 |
| | |||||
* | This fixes several bugs with regards to line breaks and comments: | chriseth | 2018-09-06 | 1 | -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/issue4716 | chriseth | 2018-09-06 | 1 | -0/+8 |
|\ | | | | | Crash when array index value is too large | ||||
| * | Fix #4716: Crash when array index value is too large | bakaoh | 2018-09-05 | 1 | -0/+8 |
| | | |||||
* | | Merge pull request #4590 from ethereum/msgValueModifier | chriseth | 2018-09-05 | 7 | -1/+39 |
|\ \ | | | | | | | Warn if modifier uses msg.value in non-payable function | ||||
| * | | Fix endToEnd test | Leonardo Alt | 2018-09-04 | 1 | -0/+10 |
| | | | |||||
| * | | Turn warning into error. | chriseth | 2018-09-04 | 3 | -3/+3 |
| | | | |||||
| * | | Warns if modifier uses msg.value in non-payable function. | Erik Kundt | 2018-09-04 | 5 | -0/+28 |
| |/ | |||||
* | | Merge pull request #4895 from ethereum/abidecodesingle | chriseth | 2018-09-05 | 2 | -0/+12 |
|\ \ | | | | | | | Fix abi.decode returning single value. | ||||
| * | | Fix abi.decode returning single value. | chriseth | 2018-09-05 | 2 | -0/+12 |
| | | | |||||
* | | | Merge pull request #4866 from bakaoh/issue4743 | chriseth | 2018-09-05 | 38 | -45/+45 |
|\ \ \ | |/ / |/| | | Fix#4743: Incorrect source location for nameless parameters | ||||
| * | | Update test to correct source location for nameless parameters | bakaoh | 2018-08-31 | 38 | -45/+45 |
| |/ | |||||
* | | Merge pull request #4888 from ↵ | chriseth | 2018-09-04 | 5 | -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 tests | Leonardo Alt | 2018-09-04 | 5 | -0/+58 |
| |/ | |||||
* | | Add another end-to-end test. | Daniel Kirchner | 2018-09-04 | 1 | -0/+127 |
| | | |||||
* | | Add return data to bare calls. | Daniel Kirchner | 2018-09-04 | 10 | -92/+212 |
| | | |||||
* | | Remove trailing whitespace for all files in the repository. | Daniel Kirchner | 2018-09-04 | 1 | -2/+2 |
|/ | |||||
* | Dynamic type as mapping key returns error instead of assertion fail | Leonardo Alt | 2018-08-16 | 6 | -0/+34 |
| | |||||
* | Merge pull request #4822 from ethereum/addressStaticCall | chriseth | 2018-08-16 | 3 | -1/+120 |
|\ | | | | | Add ``staticcall`` to ``address``. | ||||
| * | Add syntax test for ``address.staticcall.value``. | Daniel Kirchner | 2018-08-15 | 1 | -0/+15 |
| | | |||||
| * | Add view pure checker tests for ``address.staticcall(...)``. | Daniel Kirchner | 2018-08-15 | 1 | -1/+20 |
| | | |||||
| * | Add ``staticcall`` to ``address``. | Daniel Kirchner | 2018-08-15 | 2 | -0/+85 |
| | | |||||
* | | Review suggestions | Leonardo Alt | 2018-08-15 | 3 | -3/+3 |
| | | |||||
* | | Add end to end tests | Leonardo Alt | 2018-08-15 | 1 | -0/+203 |
| | | |||||
* | | Disallow indexed reference types in events when using ABIEncoderV2 | Leonardo Alt | 2018-08-15 | 6 | -0/+41 |
|/ | |||||
* | Merge pull request #4390 from ethereum/abidecode | chriseth | 2018-08-15 | 9 | -0/+264 |
|\ | | | | | Add abi.decode | ||||
| * | Add abi.decode(bytes data, (...)) | chriseth | 2018-08-15 | 9 | -0/+264 |
| | | |||||
* | | Fixes #4718: High CPU usage when using large variable names | bakaoh | 2018-08-15 | 2 | -0/+14 |
|/ | |||||
* | Merge pull request #4738 from ethereum/dataloc_merged | chriseth | 2018-08-15 | 69 | -100/+292 |
|\ | | | | | Enforce data location. | ||||
| * | Update tests. | chriseth | 2018-08-15 | 62 | -113/+179 |
| | | |||||
| * | New test cases. | mingchuan | 2018-08-15 | 20 | -0/+126 |
| | | |||||
| * | Update tests | Chase McDermott | 2018-08-15 | 6 | -36/+36 |
| | | |||||
* | | Merge pull request #4542 from aarlt/constructor_natspec | chriseth | 2018-08-15 | 1 | -0/+125 |
|\ \ | |/ |/| | Fix: natspec annotations on constructors | ||||
| * | Fix: natspec annotations on constructors | Alexander Arlt | 2018-08-09 | 1 | -0/+125 |
| | | | | | | | | - natspec annotations on constructore where ignored. | ||||
* | | Merge pull request #4765 from ethereum/fixes-issue-4673 | chriseth | 2018-08-14 | 1 | -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 Parpart | 2018-08-14 | 1 | -0/+4 |
| | | | | | | | | | | | | Fixes #4673. | ||||
* | | | Add implicit convertibility to function pointer with higher state mutability | Jesse Busman | 2018-08-14 | 4 | -0/+178 |
| | | | |||||
* | | | Merge pull request #4782 from ethereum/encodePackedArrayOfStructs | chriseth | 2018-08-14 | 2 | -0/+19 |
|\ \ \ | | | | | | | | | Encode packed array of structs | ||||
| * | | | Tests. | chriseth | 2018-08-10 | 2 | -0/+19 |
| |/ / | |||||
* | | | Adds support for structs in interfaces. | Christian Parpart | 2018-08-14 | 2 | -3/+62 |
| | | | | | | | | | | | | Closes #4733. | ||||
* | | | Replace safety stop by invalid | Leonardo Alt | 2018-08-14 | 2 | -5/+5 |
| | | | |||||
* | | | Merge pull request #4799 from ethereum/semanticsTestsGasEtAl | chriseth | 2018-08-14 | 1 | -0/+93 |
|\ \ \ | | | | | | | | | Semantics tests for ``gasleft()``, ``blockhash()`` ``tx.gasprice`` and ``block.gaslimit`` | ||||
| * | | | Fix tests for constantinople (expect zero for the time being). | Daniel Kirchner | 2018-08-14 | 1 | -9/+22 |
| | | | | |||||
| * | | | Add missing tests for ``gasleft()``, ``blockhash()`` ``tx.gasprice`` and ↵ | Daniel Kirchner | 2018-08-14 | 1 | -0/+80 |
| | | | | | | | | | | | | | | | | ``block.gaslimit``. | ||||
* | | | | Merge pull request #4777 from ethereum/typeConversionMemory | chriseth | 2018-08-14 | 3 | -2/+7 |
|\ \ \ \ | |/ / / |/| | | | Defaul data location for type conversions is memory. | ||||
| * | | | Defaul data location for type conversions is memory. | chriseth | 2018-08-13 | 3 | -2/+7 |
| | | | | |||||
* | | | | Merge pull request #4798 from ethereum/mappingArgumentsAndReturns | chriseth | 2018-08-13 | 33 | -5/+428 |
|\ \ \ \ | | | | | | | | | | | Mapping arguments and returns | ||||
| * | | | | Add tests for mappings in function types. | Daniel Kirchner | 2018-08-13 | 4 | -0/+20 |
| | | | | | |||||
| * | | | | Allow mappings of arrays as arguments and return values of internal functions. | Daniel Kirchner | 2018-08-13 | 12 | -0/+100 |
| | | | | | |||||
| * | | | | Consider mappings return values in control flow analysis. | Daniel Kirchner | 2018-08-13 | 4 | -0/+20 |
| | | | | | |||||
| * | | | | Allow mapping arguments and return values in all internal functions. | Daniel Kirchner | 2018-08-13 | 4 | -9/+56 |
| | | | | | |||||
| * | | | | Allow mapping arguments and return values in internal library functions. | Daniel Kirchner | 2018-08-13 | 13 | -0/+236 |
| |/ / / | |||||
* | | | | Merge pull request #4696 from ethereum/byteLiteralConversion | chriseth | 2018-08-13 | 18 | -74/+257 |
|\ \ \ \ | |/ / / |/| | | | Disallow ambiguous implicit and explicit conversions from number literals to bytesXX | ||||
| * | | | Disallow ambiguous conversions between number literals and bytesXX types. | Daniel Kirchner | 2018-08-13 | 18 | -74/+257 |
| |/ / | |||||
* / / | Disallow remappings with empty prefix. | Daniel Kirchner | 2018-08-11 | 1 | -5/+9 |
|/ / | |||||
* | | Rename FunctionKind SHA3 to KECCAK256 (as the instruction was renamed in ↵ | Alex Beregszaszi | 2018-08-09 | 1 | -4/+4 |
| | | | | | | | | libevmasm) | ||||
* | | Merge pull request #4772 from ethereum/asm-json | Alex Beregszaszi | 2018-08-09 | 1 | -1/+29 |
|\ \ | |/ |/| | Add tests for the assembler object (and avoid misusing string{} for u256) | ||||
| * | Test for legacyAssembly in StandardCompiler | Alex Beregszaszi | 2018-08-09 | 1 | -1/+29 |
| | | |||||
* | | Merge pull request #4684 from ethereum/underscores_in_numeric_literals | chriseth | 2018-08-09 | 8 | -0/+158 |
|\ \ | |/ |/| | [BREAKING] Underscores in numeric literals | ||||
| * | Cleanup & polish numbers-with-underscores parsing, also improving tests. | Christian Parpart | 2018-08-08 | 8 | -135/+111 |
| | | |||||
| * | Add stricter hex underscore rules | Balajiganapathi S | 2018-08-08 | 2 | -1/+17 |
| | | |||||
| * | Allow underscores in numbers. | Balajiganapathi S | 2018-08-08 | 1 | -0/+166 |
| | | |||||
* | | Merge pull request #4769 from ethereum/inlineasm-overloading-resolution | Alex Beregszaszi | 2018-08-09 | 1 | -0/+11 |
|\ \ | | | | | | | Provide nicer error message when referencing overloaded references | ||||
| * | | Provide nicer error message when referencing overloaded references | Alex Beregszaszi | 2018-08-08 | 1 | -0/+11 |
| | | | |||||
* | | | Merge pull request #4753 from mattaereal/boost-to-string-patch | Alex Beregszaszi | 2018-08-08 | 1 | -3/+2 |
|\ \ \ | |/ / |/| | | Replace boost:lexical_cast<std::string> for std::to_string. | ||||
| * | | Removing std:: from std::to_string and include for boost/lexical_cast | Matías Aereal Aeón | 2018-08-08 | 1 | -3/+2 |
| | | | |||||
* | | | Remove experimental 0.5.0 pragma | Alex Beregszaszi | 2018-08-08 | 1 | -2/+1 |
| | | | |||||
* | | | Merge pull request #4740 from ethereum/enforceNumberOfReturnValues | chriseth | 2018-08-08 | 9 | -28/+87 |
|\ \ \ | | | | | | | | | Disallow empty return in function with return arguments. | ||||
| * | | | Add back lost test case to a more reasonable location. | Daniel Kirchner | 2018-08-08 | 1 | -0/+3 |
| | | | | |||||
| * | | | Update and extend tests for return expressions. | Daniel Kirchner | 2018-08-08 | 8 | -28/+84 |
| | |/ | |/| | |||||
* / | | Remove remaining instances of ``fillRight`` left over from tuple wildcards ↵ | Daniel Kirchner | 2018-08-08 | 3 | -20/+11 |
|/ / | | | | | | | assignments. | ||||
* | | Merge pull request #4731 from ethereum/interface-enum | chriseth | 2018-08-07 | 7 | -1/+92 |
|\ \ | | | | | | | Allow enums in interfaces | ||||
| * | | Add endToEnd test for referencing enums | Alex Beregszaszi | 2018-08-07 | 1 | -0/+44 |
| | | | |||||
| * | | Add more syntax tests for enums and interfaces/libraries | Alex Beregszaszi | 2018-08-07 | 5 | -0/+48 |
| | | | |||||
| * | | Allow enums in interfaces | Alex Beregszaszi | 2018-08-07 | 1 | -1/+0 |
| | | | |||||
* | | | Merge pull request #4720 from ethereum/abi-rational-type-identifier | Alex Beregszaszi | 2018-08-07 | 2 | -0/+39 |
|\ \ \ | | | | | | | | | Fix type identifiers for RationalNumberType (on negative numbers) | ||||
| * | | | Add test for abi.encode (negative) literals | Alex Beregszaszi | 2018-08-07 | 1 | -0/+36 |
| | | | | |||||
| * | | | Fix type identifiers for RationalNumberType | Alex Beregszaszi | 2018-08-07 | 1 | -0/+3 |
| |/ / | |||||
* | | | Merge pull request #4729 from ethereum/slot-on-non-storage | Alex Beregszaszi | 2018-08-07 | 1 | -0/+9 |
|\ \ \ | |/ / |/| | | Properly handle invalid references used together with _slot and _offset. | ||||
| * | | More precise error message if using non-variables with _slot/_offset | Alex Beregszaszi | 2018-08-07 | 1 | -1/+1 |
| | | | |||||
| * | | Properly handle invalid references used together with _slot and _offset. | Alex Beregszaszi | 2018-08-07 | 1 | -0/+9 |
| | | | |||||
* | | | Merge pull request #4695 from ethereum/test-natspec | chriseth | 2018-08-07 | 1 | -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 tests | Alex Beregszaszi | 2018-08-06 | 1 | -25/+26 |
| | | | |||||
* | | | Do not crash on using _slot and _offset suffixes on their own | Alex Beregszaszi | 2018-08-07 | 2 | -0/+18 |
| | | | |||||
* | | | Merge pull request #4694 from ethereum/test-abijson | chriseth | 2018-08-07 | 1 | -31/+31 |
|\ \ \ | | | | | | | | | Be explicit about which contract to test for in ABIJSON tests | ||||
| * | | | Be explicit about which contract to test for in ABIJSON tests | Alex Beregszaszi | 2018-08-06 | 1 | -31/+31 |
| |/ / | |||||
* | | | Merge pull request #4663 from ethereum/dropConstantAST | chriseth | 2018-08-07 | 20 | -48/+0 |
|\ \ \ | | | | | | | | | [BREAKING] Drop constant field from JSON AST | ||||
| * | | | Update tests. | Daniel Kirchner | 2018-08-06 | 20 | -48/+0 |
| | | | | |||||
* | | | | Tests for deriving types for empty string. | chriseth | 2018-08-06 | 1 | -0/+38 |
| | | | | |||||
* | | | | Merge pull request #4689 from ethereum/cleanup-050-tests | chriseth | 2018-08-06 | 23 | -106/+11 |
|\ \ \ \ | |_|/ / |/| | | | Cleanup 0.5.0 test cases |