Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #4911 from ethereum/addressPayable | Daniel Kirchner | 2018-09-13 | 8 | -39/+154 |
|\ | | | | | Payable and non-payable address type. | ||||
| * | Add ``stateMutability`` field to JSON AST for ``address`` types. | Daniel Kirchner | 2018-09-13 | 1 | -2/+7 |
| | | |||||
| * | Add payable and non-payable state mutability to AddressType. | Daniel Kirchner | 2018-09-13 | 7 | -37/+147 |
| | | |||||
* | | give more information (at most 35 chars before and after) for too long lines | liangdzou | 2018-09-13 | 1 | -2/+8 |
|/ | | | | | | | | | | | | | | | | | | | | | | | | add tests for giving more informations for too long lines add edge tests for giving more informations for too long lines avoid printing out tailing white space update test case after avoiding printing out trailing whitespace update test case for removing the pre-release warning from reference refactor the code to if-else flavor rename folder to cmdlineErrorReports under test rename folder to cmdlineErrorReports under test ignore whitespace for reference files avoiding to modify the file stderr_path by call sed without -i option print ' ...' instead of ' ... ' at the end of a line | ||||
* | Accept ``address payable`` during parsing. | Daniel Kirchner | 2018-09-11 | 4 | -11/+59 |
| | |||||
* | Always perform cleanup for EXP. | chriseth | 2018-09-10 | 1 | -1/+3 |
| | |||||
* | This fixes several bugs with regards to line breaks and comments: | chriseth | 2018-09-06 | 2 | -28/+58 |
| | | | | | | | | | | | - 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 '/' | ||||
* | Refactor handling of whitespace. | chriseth | 2018-09-06 | 1 | -5/+0 |
| | |||||
* | More consistently use parse*() functions without argument in the parser. | Daniel Kirchner | 2018-09-06 | 2 | -46/+64 |
| | |||||
* | Merge pull request #4872 from bakaoh/issue4716 | chriseth | 2018-09-06 | 1 | -4/+5 |
|\ | | | | | Crash when array index value is too large | ||||
| * | Fix #4716: Crash when array index value is too large | bakaoh | 2018-09-05 | 1 | -4/+5 |
| | | |||||
* | | Split IntegerType into IntegerType and AddressType. | Daniel Kirchner | 2018-09-05 | 10 | -100/+171 |
| | | |||||
* | | Merge pull request #4590 from ethereum/msgValueModifier | chriseth | 2018-09-05 | 5 | -65/+102 |
|\ \ | | | | | | | Warn if modifier uses msg.value in non-payable function | ||||
| * | | Turn warning into error. | chriseth | 2018-09-04 | 1 | -5/+7 |
| | | | |||||
| * | | Warns if modifier uses msg.value in non-payable function. | Erik Kundt | 2018-09-04 | 5 | -65/+100 |
| | | | |||||
* | | | Merge pull request #4895 from ethereum/abidecodesingle | chriseth | 2018-09-05 | 3 | -21/+25 |
|\ \ \ | | | | | | | | | Fix abi.decode returning single value. | ||||
| * | | | Fix abi.decode returning single value. | chriseth | 2018-09-05 | 3 | -21/+25 |
| | | | | |||||
* | | | | Merge pull request #4866 from bakaoh/issue4743 | chriseth | 2018-09-05 | 1 | -4/+5 |
|\ \ \ \ | | | | | | | | | | | Fix#4743: Incorrect source location for nameless parameters | ||||
| * | | | | Fix#4743: Incorrect source location for nameless parameters | bakaoh | 2018-08-28 | 1 | -4/+5 |
| | |_|/ | |/| | | |||||
* | | | | Merge pull request #4897 from ethereum/trailingWhitespaceDetection | chriseth | 2018-09-05 | 1 | -1/+1 |
|\ \ \ \ | |_|/ / |/| | | | Trailing whitespace detection script and circleci job. | ||||
| * | | | Remove trailing whitespace. | Daniel Kirchner | 2018-09-04 | 1 | -1/+1 |
| | | | | |||||
* | | | | Merge pull request #4888 from ↵ | chriseth | 2018-09-04 | 2 | -2/+25 |
|\ \ \ \ | |/ / / |/| | | | | | | | | | | | ethereum/disallow_single_statement_vardecl_if_while_for Disallow single statement var decl in if/while/for without blocks | ||||
| * | | | Review suggestions | Leonardo Alt | 2018-09-04 | 2 | -11/+11 |
| | | | | |||||
| * | | | Changed error message and added tests | Leonardo Alt | 2018-09-04 | 1 | -1/+1 |
| | | | | |||||
| * | | | Disallow single statement var decl in if/while/for without blocks | Leonardo Alt | 2018-09-04 | 2 | -2/+25 |
| | | | | |||||
* | | | | Add return data to bare calls. | Daniel Kirchner | 2018-09-04 | 2 | -27/+57 |
| | | | | |||||
* | | | | Remove trailing whitespace for all files in the repository. | Daniel Kirchner | 2018-09-04 | 2 | -8/+8 |
| | | | | |||||
* | | | | Merge pull request #4837 from chase1745/default-to-unspecified | chriseth | 2018-09-04 | 6 | -12/+12 |
|\ \ \ \ | |_|_|/ |/| | | | Rename `Location::Default` to `Location::Unspecified` | ||||
| * | | | Rename Location::Default to Location::Unspecified. | Chase McDermott | 2018-08-18 | 6 | -12/+12 |
| | |/ | |/| | |||||
* | | | Merge pull request #4851 from anurag-git/anurag_issue_4824 | chriseth | 2018-09-03 | 3 | -9/+3 |
|\ \ \ | |_|/ |/| | | Removed unused "FunctionType::Kind::CallCode" | ||||
| * | | Removed unused "FunctionType::Kind::CallCode" from Types.h and all its usage | Anurag Dashputre | 2018-08-23 | 3 | -9/+3 |
| |/ | |||||
* | | Merge branch 'develop' into anurag_issue_3667 | Anurag Dashputre | 2018-08-23 | 20 | -287/+689 |
|\| | |||||
| * | Merge pull request #4629 from ethereum/mapping_dynamic_key | chriseth | 2018-08-16 | 1 | -1/+15 |
| |\ | | | | | | | Dynamic type as mapping key returns error instead of assertion fail | ||||
| | * | Dynamic type as mapping key returns error instead of assertion fail | Leonardo Alt | 2018-08-16 | 1 | -1/+15 |
| | | | |||||
| * | | Merge pull request #4825 from ethereum/expressionCompBareCall | chriseth | 2018-08-16 | 2 | -5/+16 |
| |\ \ | | | | | | | | | More safeguards for (library) function types. | ||||
| | * | | More safeguards for (library) function types. | chriseth | 2018-08-15 | 2 | -5/+16 |
| | | | | |||||
| * | | | fix a typo: declaratoion => declaration | liangdzou | 2018-08-16 | 1 | -1/+1 |
| | |/ | |/| | |||||
| * | | Merge pull request #4822 from ethereum/addressStaticCall | chriseth | 2018-08-16 | 4 | -8/+27 |
| |\ \ | | | | | | | | | Add ``staticcall`` to ``address``. | ||||
| | * | | Add ``staticcall`` to ``address``. | Daniel Kirchner | 2018-08-15 | 4 | -8/+27 |
| | |/ | |||||
| * | | Review suggestions | Leonardo Alt | 2018-08-15 | 1 | -3/+3 |
| | | | |||||
| * | | Disallow indexed reference types in events when using ABIEncoderV2 | Leonardo Alt | 2018-08-15 | 1 | -0/+10 |
| |/ | |||||
| * | Merge pull request #4390 from ethereum/abidecode | chriseth | 2018-08-15 | 6 | -6/+115 |
| |\ | | | | | | | Add abi.decode | ||||
| | * | Add abi.decode(bytes data, (...)) | chriseth | 2018-08-15 | 6 | -6/+115 |
| | | | |||||
| * | | Fixes #4718: High CPU usage when using large variable names | bakaoh | 2018-08-15 | 1 | -2/+5 |
| |/ | |||||
| * | Merge pull request #4738 from ethereum/dataloc_merged | chriseth | 2018-08-15 | 6 | -131/+220 |
| |\ | | | | | | | Enforce data location. | ||||
| | * | Refactor data location check. | Chase McDermott | 2018-08-15 | 6 | -131/+220 |
| | | | |||||
| * | | Merge pull request #4542 from aarlt/constructor_natspec | chriseth | 2018-08-15 | 4 | -27/+91 |
| |\ \ | | |/ | |/| | Fix: natspec annotations on constructors | ||||
| | * | Fix: natspec annotations on constructors | Alexander Arlt | 2018-08-09 | 4 | -27/+91 |
| | | | | | | | | | | | | - natspec annotations on constructore where ignored. | ||||
| * | | Merge pull request #4765 from ethereum/fixes-issue-4673 | chriseth | 2018-08-14 | 2 | -2/+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 | 2 | -2/+4 |
| | | | | | | | | | | | | | | | | Fixes #4673. | ||||
| * | | | Add implicit convertibility to function pointer with higher state mutability | Jesse Busman | 2018-08-14 | 2 | -21/+65 |
| | | | | |||||
| * | | | Merge pull request #4782 from ethereum/encodePackedArrayOfStructs | chriseth | 2018-08-14 | 1 | -10/+10 |
| |\ \ \ | | | | | | | | | | | Encode packed array of structs | ||||
| | * | | | Disallow packed encoding of arrays of structs. | chriseth | 2018-08-10 | 1 | -10/+10 |
| | |/ / | |||||
| * | | | Adds support for structs in interfaces. | Christian Parpart | 2018-08-14 | 2 | -4/+9 |
| | | | | | | | | | | | | | | | | Closes #4733. | ||||
| * | | | Merge pull request #4777 from ethereum/typeConversionMemory | chriseth | 2018-08-14 | 1 | -3/+6 |
| |\ \ \ | | | | | | | | | | | Defaul data location for type conversions is memory. | ||||
| | * | | | Defaul data location for type conversions is memory. | chriseth | 2018-08-13 | 1 | -3/+6 |
| | | | | | |||||
| * | | | | Merge pull request #4798 from ethereum/mappingArgumentsAndReturns | chriseth | 2018-08-13 | 2 | -2/+8 |
| |\ \ \ \ | | | | | | | | | | | | | Mapping arguments and returns | ||||
| | * | | | | Allow mappings of arrays as arguments and return values of internal functions. | Daniel Kirchner | 2018-08-13 | 1 | -4/+1 |
| | | | | | | |||||
| | * | | | | Consider mappings return values in control flow analysis. | Daniel Kirchner | 2018-08-13 | 1 | -1/+4 |
| | | | | | | |||||
| | * | | | | Allow mapping arguments and return values in all internal functions. | Daniel Kirchner | 2018-08-13 | 1 | -1/+0 |
| | | | | | | |||||
| | * | | | | Allow mapping arguments and return values in internal library functions. | Daniel Kirchner | 2018-08-13 | 1 | -1/+8 |
| | |/ / / | |||||
| * | | | | Merge pull request #4696 from ethereum/byteLiteralConversion | chriseth | 2018-08-13 | 3 | -40/+46 |
| |\ \ \ \ | | |/ / / | |/| | | | 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 | 3 | -40/+46 |
| | |/ / | |||||
| * / / | Disallow remappings with empty prefix. | Daniel Kirchner | 2018-08-11 | 3 | -25/+42 |
| |/ / | |||||
* | | | Removed the default cases related to assertion to detect the problem at ↵ | Anurag Dashputre | 2018-08-23 | 1 | -6/+0 |
| | | | | | | | | | | | | compile-time instead of run-time | ||||
* | | | Default case removed to detect errors at comoile time rather than run time | Anurag Dashputre | 2018-08-17 | 1 | -1/+0 |
|/ / | |||||
* | | Merge pull request #4790 from ethereum/fixCalldata | chriseth | 2018-08-10 | 1 | -1/+1 |
|\ \ | | | | | | | Fix data location of external reference parameters. | ||||
| * | | Fix data location of external reference parameters. | chriseth | 2018-08-09 | 1 | -1/+1 |
| | | | |||||
* | | | Merge pull request #4767 from ethereum/cvc4Build | Daniel Kirchner | 2018-08-09 | 2 | -12/+16 |
|\ \ \ | |/ / |/| | | Add workarounds for building against CVC4 on ArchLinux. | ||||
| * | | Do not force GMP to be present as dependency of CVC4, but also allow CLN ↵ | Daniel Kirchner | 2018-08-09 | 1 | -11/+4 |
| | | | | | | | | | | | | instead. | ||||
| * | | Add workarounds for building against CVC4 on ArchLinux. | Daniel Kirchner | 2018-08-09 | 2 | -1/+12 |
| | | | |||||
* | | | Rename FunctionKind SHA3 to KECCAK256 (as the instruction was renamed in ↵ | Alex Beregszaszi | 2018-08-09 | 5 | -11/+11 |
| |/ |/| | | | | | libevmasm) | ||||
* | | Merge pull request #4684 from ethereum/underscores_in_numeric_literals | chriseth | 2018-08-09 | 4 | -14/+90 |
|\ \ | |/ |/| | [BREAKING] Underscores in numeric literals | ||||
| * | Cleanup & polish numbers-with-underscores parsing, also improving tests. | Christian Parpart | 2018-08-08 | 3 | -64/+66 |
| | | |||||
| * | Add stricter hex underscore rules | Balajiganapathi S | 2018-08-08 | 4 | -17/+67 |
| | | |||||
| * | Allow underscores in numbers. | Balajiganapathi S | 2018-08-08 | 1 | -2/+26 |
| | | |||||
* | | Merge pull request #4665 from mattaereal/cmake-patch-solver | Alex Beregszaszi | 2018-08-09 | 1 | -1/+2 |
|\ \ | | | | | | | cmake option added to make solvers optional | ||||
| * | | cmake flags to make solvers optional. Implementation of #4651 | Matías Aereal Aeón | 2018-08-08 | 1 | -1/+2 |
| | | | |||||
* | | | Merge pull request #4770 from ethereum/throw-codegen | Alex Beregszaszi | 2018-08-09 | 1 | -4/+2 |
|\ \ \ | | | | | | | | | Remove code generation for Throw statement | ||||
| * | | | Remove code generation for Throw statement | Alex Beregszaszi | 2018-08-09 | 1 | -4/+2 |
| | | | | | | | | | | | | | | | | It is disallowed in the type system. | ||||
* | | | | Merge pull request #4769 from ethereum/inlineasm-overloading-resolution | Alex Beregszaszi | 2018-08-09 | 1 | -0/+3 |
|\ \ \ \ | |/ / / |/| | | | Provide nicer error message when referencing overloaded references | ||||
| * | | | Provide nicer error message when referencing overloaded references | Alex Beregszaszi | 2018-08-08 | 1 | -0/+3 |
| | | | | |||||
* | | | | Merge pull request #4753 from mattaereal/boost-to-string-patch | Alex Beregszaszi | 2018-08-08 | 7 | -22/+22 |
|\ \ \ \ | | | | | | | | | | | 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 | 6 | -21/+21 |
| | | | | | |||||
| * | | | | Replace boost:lexical_cast<std::string> for std::to_string. | Matías Aereal Aeón | 2018-08-08 | 3 | -10/+10 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #4761 from ethereum/libsolc-exceptions | Alex Beregszaszi | 2018-08-08 | 2 | -4/+4 |
|\ \ \ \ | |_|/ / |/| | | | Mark libsolc external C functions as noexcept | ||||
| * | | | Mark StandardCompiler::compile as noexcept | Alex Beregszaszi | 2018-08-08 | 2 | -4/+4 |
| | |/ | |/| | | | | | | | It has a generic catch statement and shouldn't leak out exceptions. | ||||
* | | | Remove experimental 0.5.0 pragma | Alex Beregszaszi | 2018-08-08 | 1 | -3/+0 |
| | | | |||||
* | | | Merge pull request #4740 from ethereum/enforceNumberOfReturnValues | chriseth | 2018-08-08 | 1 | -1/+5 |
|\ \ \ | | | | | | | | | Disallow empty return in function with return arguments. | ||||
| * | | | Disallow empty return expressions in functions with non-empty return parameters. | Daniel Kirchner | 2018-08-08 | 1 | -1/+5 |
| | | | | |||||
* | | | | Merge pull request #4748 from ethereum/validate-identifier | chriseth | 2018-08-08 | 2 | -1/+12 |
|\ \ \ \ | | | | | | | | | | | Assert that type identifier contains only valid characters | ||||
| * | | | | Assert that type identifier contains only valid characters | Alex Beregszaszi | 2018-08-08 | 2 | -1/+12 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #4745 from ethereum/nameResolverNoEarlyExit | chriseth | 2018-08-08 | 1 | -3/+0 |
|\ \ \ \ | | | | | | | | | | | Do not stop after the first error in reference resolution. | ||||
| * | | | | Do not stop after the first error in reference resolution. | chriseth | 2018-08-08 | 1 | -3/+0 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #4736 from ethereum/removeFillRight | Alex Beregszaszi | 2018-08-08 | 3 | -21/+14 |
|\ \ \ \ | |_|/ / |/| | | | Remove remaining instances of ``fillRight``. | ||||
| * | | | Remove remaining instances of ``fillRight`` left over from tuple wildcards ↵ | Daniel Kirchner | 2018-08-08 | 3 | -21/+14 |
| |/ / | | | | | | | | | | assignments. | ||||
* | | | Merge pull request #4744 from ethereum/smt-magic-variable | Alex Beregszaszi | 2018-08-08 | 1 | -2/+8 |
|\ \ \ | |/ / |/| | | SMT: do not crash on referencing MagicVariableDeclaration | ||||
| * | | SMT: do not crash on referencing MagicVariableDeclaration | Alex Beregszaszi | 2018-08-08 | 1 | -2/+8 |
| | | | |||||
* | | | Merge pull request #4731 from ethereum/interface-enum | chriseth | 2018-08-07 | 2 | -8/+0 |
|\ \ \ | | | | | | | | | Allow enums in interfaces | ||||
| * | | | Allow enums in interfaces | Alex Beregszaszi | 2018-08-07 | 2 | -8/+0 |
| |/ / | |||||
* | | | Merge pull request #4692 from ethereum/devcore-path | chriseth | 2018-08-07 | 2 | -28/+4 |
|\ \ \ | | | | | | | | | Move absolutePath/sanitizePath helpers from CompilerStack to libdevcore | ||||
| * | | | Move absolutePath/sanitizePath helpers from CompilerStack to libdevcore | Alex Beregszaszi | 2018-08-06 | 2 | -28/+4 |
| | | | | |||||
* | | | | Merge pull request #4699 from ethereum/cleanup_VariableDeclaration | chriseth | 2018-08-07 | 3 | -111/+109 |
|\ \ \ \ | | | | | | | | | | | libsolidity: Remove dead code wrt. VariableDeclaration::canHaveAutoType | ||||
| * | | | | libsolidity: Remove dead code wrt. VariableDeclaration::canHaveAutoType() | Christian Parpart | 2018-08-07 | 3 | -111/+109 |
| | | | | | | | | | | | | | | | | | | | | Closes #4667 | ||||
* | | | | | Merge pull request #4726 from ethereum/moveNothrow | chriseth | 2018-08-07 | 2 | -11/+2 |
|\ \ \ \ \ | | | | | | | | | | | | | Make MemberList nothrow move constructible. | ||||
| * | | | | | Make MemberList nothrow move constructible. | chriseth | 2018-08-07 | 2 | -11/+2 |
| |/ / / / | |||||
* | | | | | Merge pull request #4720 from ethereum/abi-rational-type-identifier | Alex Beregszaszi | 2018-08-07 | 1 | -1/+8 |
|\ \ \ \ \ | | | | | | | | | | | | | Fix type identifiers for RationalNumberType (on negative numbers) | ||||
| * | | | | | Fix type identifiers for RationalNumberType | Alex Beregszaszi | 2018-08-07 | 1 | -1/+8 |
| | |_|/ / | |/| | | | |||||
* | | | | | More precise error message if using non-variables with _slot/_offset | Alex Beregszaszi | 2018-08-07 | 2 | -3/+7 |
| | | | | | |||||
* | | | | | Properly handle invalid references used together with _slot and _offset. | Alex Beregszaszi | 2018-08-07 | 1 | -0/+2 |
|/ / / / | |||||
* | | | | Merge pull request #4724 from ethereum/slot-in-assembly | Alex Beregszaszi | 2018-08-07 | 1 | -0/+5 |
|\ \ \ \ | | | | | | | | | | | Do not crash on using _slot and _offset suffixes on their own | ||||
| * | | | | Do not crash on using _slot and _offset suffixes on their own | Alex Beregszaszi | 2018-08-07 | 1 | -0/+5 |
| |/ / / | |||||
* / / / | Remove clone feature. | chriseth | 2018-08-07 | 6 | -103/+0 |
|/ / / | |||||
* | | | Move fullyQualifiedName to ContractDefinition only | Alex Beregszaszi | 2018-08-07 | 2 | -11/+2 |
| | | | |||||
* | | | Merge pull request #4663 from ethereum/dropConstantAST | chriseth | 2018-08-07 | 1 | -6/+0 |
|\ \ \ | | | | | | | | | [BREAKING] Drop constant field from JSON AST | ||||
| * | | | Remove "constant" from JSON AST. | Daniel Kirchner | 2018-08-06 | 1 | -6/+0 |
| | | | | |||||
* | | | | FixedBytes(0) is invalid, do not check for it in ABIEncoderV2 | Alex Beregszaszi | 2018-08-06 | 1 | -1/+2 |
| | | | | |||||
* | | | | Merge pull request #4689 from ethereum/cleanup-050-tests | chriseth | 2018-08-06 | 2 | -3/+0 |
|\ \ \ \ | | | | | | | | | | | Cleanup 0.5.0 test cases | ||||
| * | | | | Remove unused 050 variable in ReferencesResolver | Alex Beregszaszi | 2018-08-06 | 2 | -3/+0 |
| | | | | | |||||
* | | | | | Merge pull request #4690 from ethereum/equalParameterTypes | Alex Beregszaszi | 2018-08-06 | 5 | -9/+9 |
|\ \ \ \ \ | |_|_|/ / |/| | | | | Renamed FunctionType::hasEqualArgumentTypes to FunctionType::hasEqual… | ||||
| * | | | | Renamed FunctionType::hasEqualArgumentTypes to ↵ | Jesse Busman | 2018-08-06 | 5 | -9/+9 |
| |/ / / | | | | | | | | | | | | | FunctionType::hasEqualParameterTypes | ||||
* | | | | Merge pull request #4671 from ethereum/mappingTupleAssignment | chriseth | 2018-08-06 | 2 | -5/+33 |
|\ \ \ \ | |/ / / |/| | | | Disallow assignments to mappings within tuple assignments; allow for local variables. | ||||
| * | | | Review suggestions; to be squashed. | Daniel Kirchner | 2018-08-03 | 1 | -8/+10 |
| | | | | |||||
| * | | | Allow assignments to local variables of mapping types. | Daniel Kirchner | 2018-08-03 | 1 | -1/+9 |
| | | | | |||||
| * | | | Disallow assignments to mappings within tuple assignments. | Daniel Kirchner | 2018-08-03 | 2 | -5/+23 |
| | | | | |||||
* | | | | Merge pull request #4644 from ethereum/event_struct_error | chriseth | 2018-08-06 | 1 | -0/+10 |
|\ \ \ \ | | | | | | | | | | | Disallow structs in events without ABIEncoderV2 | ||||
| * | | | | Disallow structs in events without ABIEncoderV2 | Leonardo Alt | 2018-08-03 | 1 | -0/+10 |
| |/ / / | |||||
* | | | | Merge pull request #4681 from ethereum/var-suggestion-crash | chriseth | 2018-08-06 | 1 | -0/+6 |
|\ \ \ \ | |_|/ / |/| | | | Fix declaration suggestion for var with different number of components | ||||
| * | | | Fix declaration suggestion for var with different number of components | Alex Beregszaszi | 2018-08-04 | 1 | -0/+6 |
| |/ / | |||||
* | | | Merge pull request #4412 from ethereum/v050-reference-resolver-errorTypeForLoose | Christian Parpart | 2018-08-04 | 3 | -9/+5 |
|\ \ \ | |/ / |/| | | [BREAKING] permanently set errorTypeForLoose from Warning to SyntaxError | ||||
| * | | Disallow loos assembly in Solidity by permanently setting it to SyntaxError ↵ | Christian Parpart | 2018-08-02 | 3 | -9/+5 |
| | | | | | | | | | | | | (from Warning) | ||||
* | | | Turn warning about uninitialized storage returns into an error. | Daniel Kirchner | 2018-08-03 | 1 | -5/+5 |
| |/ |/| | |||||
* | | Merge pull request #4327 from ethereum/document-internals | chriseth | 2018-08-02 | 3 | -2/+19 |
|\ \ | | | | | | | Properly explain all the analsys steps in CompilerStack | ||||
| * | | Properly explain all the analsys steps in CompilerStack | Alex Beregszaszi | 2018-07-31 | 3 | -2/+19 |
| | | | |||||
* | | | Merge pull request #4522 from ethereum/fullEncodingType | chriseth | 2018-08-02 | 5 | -42/+37 |
|\ \ \ | |_|/ |/| | | Isolate determining the encoding type into its own function. | ||||
| * | | Isolate determining the encoding type into its own function. | chriseth | 2018-08-01 | 5 | -42/+37 |
| | | | |||||
* | | | Merge pull request #4603 from ethereum/smtlib2 | Alex Beregszaszi | 2018-08-02 | 4 | -18/+44 |
|\ \ \ | | | | | | | | | [SMTLib2] Fix repeated declarations | ||||
| * | | | Remove repeated declarations in Z3 and CVC4 as well | Leonardo Alt | 2018-08-01 | 2 | -7/+15 |
| | | | | |||||
| * | | | [SMTLib2] Fix repeated declarations | Leonardo Alt | 2018-07-28 | 2 | -11/+29 |
| | | | | |||||
* | | | | SMT model variables are sorted and printed as secondary source location | Leonardo Alt | 2018-08-02 | 1 | -3/+11 |
| | | | | |||||
* | | | | Replace "value" by "<result>" in the SMT model | Leonardo Alt | 2018-08-02 | 1 | -3/+3 |
| | | | | |||||
* | | | | Extend code comment about signatures. | Daniel Kirchner | 2018-08-01 | 1 | -1/+2 |
| | | | | |||||
* | | | | Do not exclude public state variables when looking for conflicting declarations. | Daniel Kirchner | 2018-08-01 | 1 | -8/+1 |
| | | | | |||||
* | | | | Merge pull request #4378 from ethereum/noBaseWithoutArguments | Alex Beregszaszi | 2018-08-01 | 1 | -17/+7 |
|\ \ \ \ | | | | | | | | | | | [BREAKING] Disallow calling base constructors without arguments. | ||||
| * | | | | Correctly determine whether base constructor is called without parentheses. | chriseth | 2018-08-01 | 1 | -11/+11 |
| | | | | | |||||
| * | | | | Disallow calling base constructors without arguments. | chriseth | 2018-08-01 | 1 | -14/+4 |
| | |/ / | |/| | | |||||
* / | | | Guard CycleDetector against recursion exhaustion. | Christian Parpart | 2018-08-01 | 3 | -3/+9 |
|/ / / | | | | | | | | | | fixes #3935. | ||||
* | | | Disallow conversion between unrelated contract types. | chriseth | 2018-08-01 | 2 | -8/+7 |
| | | | |||||
* | | | Merge pull request #4507 from ethereum/v050-var-keyword-trace-removals | Alex Beregszaszi | 2018-08-01 | 1 | -2/+19 |
|\ \ \ | | | | | | | | | 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 Parpart | 2018-08-01 | 1 | -2/+19 |
| | | | | |||||
* | | | | Fix crash when FunctionType has undeclared type as parameter | Leonardo Alt | 2018-07-31 | 1 | -1/+1 |
| |_|/ |/| | | |||||
* | | | Import dev::solidity namespace in SMTPortfolio | Alex Beregszaszi | 2018-07-28 | 1 | -0/+1 |
| |/ |/| | |||||
* | | Fix unterminated parentheses typo in SMTLib2 | Alex Beregszaszi | 2018-07-28 | 1 | -1/+1 |
| | | | | | | | | Found by @leonardoalt | ||||
* | | [SMTChecker] Add CheckResult::CONFLICTING | Leonardo Alt | 2018-07-27 | 3 | -4/+10 |
| | | |||||
* | | [SMTChecker] SMTPortfolio: use all SMT solvers available | Leonardo Alt | 2018-07-27 | 11 | -58/+262 |
| | | |||||
* | | Setting timeout to Z3 and CVC4 | Leonardo Alt | 2018-07-27 | 3 | -1/+8 |
| | | |||||
* | | Only ask for a model if it's SAT | Leonardo Alt | 2018-07-27 | 3 | -3/+3 |
| | | |||||
* | | Merge pull request #4565 from ethereum/smt-stringutils-crash | Alex Beregszaszi | 2018-07-25 | 1 | -1/+9 |
|\ \ | | | | | | | Add assert for both branches in mergeVariables in SMTChecker | ||||
| * | | Add better warning on binary operation on non-integer types in SMT Checker | Alex Beregszaszi | 2018-07-25 | 1 | -1/+8 |
| | | | |||||
| * | | Add assert for both branches in mergeVariables in SMTChecker | Alex Beregszaszi | 2018-07-25 | 1 | -0/+1 |
| | | | |||||
* | | | More consistent catch statements | Alex Beregszaszi | 2018-07-25 | 2 | -3/+3 |
|/ / | | | | | | | Also take const& in all cases. | ||||
* | | Fix abiDecode comment | Leonardo Alt | 2018-07-24 | 1 | -3/+3 |
| | | |||||
* | | Merge pull request #4527 from ethereum/mappingEnforceStorage | Alex Beregszaszi | 2018-07-24 | 1 | -1/+8 |
|\ \ | | | | | | | Enforces explicit data location for mappings | ||||
| * | | Enforces data location of local mappings to storage. | Erik Kundt | 2018-07-24 | 1 | -1/+8 |
| | | | |||||
* | | | Disallow functions without implementation to use modifiers. This was already ↵ | Christian Parpart | 2018-07-24 | 1 | -8/+2 |
| |/ |/| | | | | | the case in the experimental 0.5.0 mode. | ||||
* | | Do not handle `balance` member of contract types specially. | chriseth | 2018-07-20 | 1 | -2/+1 |
| | | |||||
* | | Merge pull request #4439 from ethereum/address_members | chriseth | 2018-07-19 | 4 | -108/+55 |
|\ \ | | | | | | | [BREAKING] Enforce address members not accessible by contract instance | ||||
| * | | Changes in ExpressionCompiler | Leonardo Alt | 2018-07-19 | 2 | -52/+42 |
| | | | |||||
| * | | Add suggestion to error message | Leonardo Alt | 2018-07-17 | 1 | -18/+15 |
| | | | |||||
| * | | Address members not accessible by contract instance | Leonardo Alt | 2018-07-17 | 2 | -40/+0 |
| | | | |||||
* | | | Adds warning if function is shadowing a contract. | Erik Kundt | 2018-07-18 | 1 | -9/+1 |
| | | | |||||
* | | | Disallows old constructor syntax. | Erik Kundt | 2018-07-18 | 6 | -48/+34 |
| |/ |/| | |||||
* | | Suggests external for fallback and interface functions. | chriseth | 2018-07-18 | 2 | -1/+15 |
| | | |||||
* | | Enforces visibility specifier and updates docs. | Erik Kundt | 2018-07-17 | 2 | -11/+1 |
|/ | |||||
* | Add missing period in the end of error messages | Leonardo Alt | 2018-07-16 | 1 | -3/+3 |
| | |||||
* | Deprecate the throw statement | Alex Beregszaszi | 2018-07-16 | 1 | -12/+4 |
| | |||||
* | enforce interface-functions to be external-declared | Christian Parpart | 2018-07-16 | 1 | -12/+4 |
| | | | | | | | | - 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. | ||||
* | Merge pull request #4501 from ethereum/recursiveStructsWithFixedArrays | chriseth | 2018-07-13 | 1 | -13/+16 |
|\ | | | | | Consider fixed-size arrays when checking for recursive structs. | ||||
| * | Use CycleDetector and account for multi-dimensional arrays. | Daniel Kirchner | 2018-07-13 | 1 | -19/+16 |
| | | |||||
| * | Consider fixed size array members when checking for recursive structs. | Daniel Kirchner | 2018-07-13 | 1 | -0/+6 |
| | | |||||
* | | Disallow multi variable declarations with mismatching number of values. | Daniel Kirchner | 2018-07-13 | 6 | -98/+25 |
|/ | |||||
* | Merge pull request #4437 from ethereum/report-empty-var-decls | chriseth | 2018-07-13 | 2 | -0/+15 |
|\ | | | | | [BREAKING] Report empty var tuple decls | ||||
| * | Generates a syntax error when declaring a variable declaration's LHS has no ↵ | Christian Parpart | 2018-07-12 | 2 | -0/+15 |
| | | | | | | | | named components | ||||
* | | Merge pull request #4447 from hosho/develop | chriseth | 2018-07-13 | 1 | -0/+7 |
|\ \ | | | | | | | Fix NatSpec json output for "@notice" and "@dev" tags on contract definitions | ||||
| * | | Fix NatSpec json output for "@notice" and "@dev" tags on contract definitions. | Matt Little | 2018-07-12 | 1 | -0/+7 |
| |/ | |||||
* | | Merge pull request #4478 from ethereum/requireStorageLocation | chriseth | 2018-07-13 | 1 | -13/+4 |
|\ \ | | | | | | | Turn missing storage locations into an error. | ||||
| * | | Require storage location. | Daniel Kirchner | 2018-07-12 | 1 | -13/+4 |
| | | | |||||
* | | | Merge pull request #4479 from ethereum/fixFixedPointCrash | Alex Beregszaszi | 2018-07-12 | 1 | -3/+7 |
|\ \ \ | |_|/ |/| | | Fix handling of fixed point types in arithmetics. | ||||
| * | | Fix handling of fixed point types in arithmetics. | chriseth | 2018-07-11 | 1 | -3/+7 |
| | | | |||||
* | | | Merge pull request #4428 from ethereum/enforce_staticcall_view | chriseth | 2018-07-12 | 1 | -5/+1 |
|\ \ \ | | | | | | | | | [BREAKING] Enforce STATICCALL for view and pure | ||||
| * | | | Use STATICCALL for view and pure | Leonardo Alt | 2018-07-11 | 1 | -5/+1 |
| | | | | |||||
* | | | | Merge pull request #4083 from ethereum/variable_stack_slot | chriseth | 2018-07-12 | 6 | -42/+129 |
|\ \ \ \ | |_|_|/ |/| | | | [BREAKING] Allocate local variables according to their scope | ||||
| * | | | Added assertion and tests suggestions | Leonardo Alt | 2018-07-11 | 3 | -3/+17 |
| | | | | |||||
| * | | | Add more tests and assertions | Leonardo Alt | 2018-07-11 | 3 | -0/+4 |
| | | | | |||||
| * | | | Added tests and review suggestions | Leonardo Alt | 2018-07-11 | 4 | -22/+22 |
| | | | | |||||
| * | | | [050] Reserving and popping local vars in their scope | Leonardo Alt | 2018-07-11 | 4 | -41/+110 |
| | | | | |||||
* | | | | Merge pull request #4443 from ethereum/double_var_decl_fix | chriseth | 2018-07-12 | 3 | -1/+15 |
|\ \ \ \ | | | | | | | | | | | Fix crash when declaring the same var twice in the same scope | ||||
| * | | | | Add comment explaining new code | Leonardo Alt | 2018-07-11 | 1 | -0/+5 |
| | | | | | |||||
| * | | | | Fix crash for double variable declaration in the same scope. | Leonardo Alt | 2018-07-11 | 3 | -1/+10 |
| |/ / / | |||||
* | | | | Merge pull request #4472 from ethereum/complexCalldataArraysNotYetImplemented | chriseth | 2018-07-12 | 1 | -1/+2 |
|\ \ \ \ | | | | | | | | | | | Throw unimplemented exception for complex calldata arrays. | ||||
| * | | | | Throw unimplemented exception for complex calldata arrays. | chriseth | 2018-07-11 | 1 | -1/+2 |
| | | | | | |||||
* | | | | | Merge pull request #4480 from ethereum/fixZeroWithExponent | chriseth | 2018-07-12 | 1 | -8/+11 |
|\ \ \ \ \ | | | | | | | | | | | | | Fix literals with exponents with mantissa of zero. | ||||
| * | | | | | Fix literals with exponents with mantissa of zero. | Daniel Kirchner | 2018-07-11 | 1 | -8/+11 |
| | |_|_|/ | |/| | | | |||||
* | | | | | Merge pull request #4404 from ethereum/v050-var-keyword-suggest | Christian Parpart | 2018-07-11 | 3 | -19/+63 |
|\ \ \ \ \ | |/ / / / |/| | | | | [WIP] v0.5.0 var keyword type suggestion | ||||
| * | | | | Coding style. | chriseth | 2018-07-11 | 1 | -23/+18 |
| | | | | | |||||
| * | | | | semantics: Suggest auto-deduced type when user declares variable with `var` ↵ | Christian Parpart | 2018-07-11 | 3 | -19/+68 |
| | | | | | | | | | | | | | | | | | | | | keyword. | ||||
* | | | | | Merge pull request #4454 from ethereum/constructorArgCount | chriseth | 2018-07-11 | 1 | -24/+9 |
|\ \ \ \ \ | |_|_|_|/ |/| | | | | [BREAKING] Wrong argument count in constructor call | ||||
| * | | | | Improves error with suggestion to remove parantheses. | Erik Kundt | 2018-07-11 | 1 | -1/+1 |
| | | | | | |||||
| * | | | | Updates Changelog, syntax test and simplifies type checker. | Erik Kundt | 2018-07-11 | 1 | -3/+1 |
| | | | | | |||||
| * | | | | Turns wrong argument count in base constructor call into en error. | Erik Kundt | 2018-07-11 | 1 | -22/+9 |
| |/ / / | |||||
* | | | | Merge pull request #4388 from ethereum/noPackedLiterals | chriseth | 2018-07-11 | 2 | -17/+13 |
|\ \ \ \ | | | | | | | | | | | Disallow packed encoding of literals. | ||||
| * | | | | Disallow packed encoding of literals. | chriseth | 2018-07-03 | 2 | -17/+13 |
| | | | | | |||||
* | | | | | Code, Changelog, ReleaseChecklist: Fix typos. | Cryptomental | 2018-07-11 | 14 | -18/+18 |
| |/ / / |/| | | | | | | | | | | | Refs: #4442 | ||||
* | | | | Merge pull request #4376 from ethereum/fallbackExternal | chriseth | 2018-07-11 | 1 | -4/+1 |
|\ \ \ \ | |_|/ / |/| | | | Fallback functions have to be external | ||||
| * | | | Fallback function has to be external. | chriseth | 2018-07-04 | 1 | -4/+1 |
| | | | | |||||
* | | | | Merge pull request #4464 from ↵ | chriseth | 2018-07-11 | 2 | -2/+2 |
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | cryptomental/bugfix/fix-typos-in-AsmParser-and-TypeChecker AsmParser,TypeChecker: Fix typos. | ||||
| * | | | | AsmParser,TypeChecker: Fix typos. | Cryptomental | 2018-07-10 | 2 | -2/+2 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix typos. The change requested as a separate PR during codespell PR. Adapt tests as well. Refs: #4442 | ||||
* | | | | | Merge pull request #4466 from ethereum/tupleNotEmpty | chriseth | 2018-07-11 | 1 | -11/+2 |
|\ \ \ \ \ | |_|_|_|/ |/| | | | | Disallow empty tuple components. | ||||
| * | | | | Remove special ``(x,)`` case from type assignment. | chriseth | 2018-07-10 | 1 | -4/+0 |
| | | | | | |||||
| * | | | | Disallow empty tuple components. | Daniel Kirchner | 2018-07-10 | 1 | -7/+2 |
| | | | | | |||||
* | | | | | Merge pull request #4468 from ethereum/variableDeclarationClenaup | chriseth | 2018-07-10 | 1 | -7/+9 |
|\ \ \ \ \ | | | | | | | | | | | | | Remove mentions of ``var`` in VariableDeclarationStatement comment. | ||||
| * | | | | | Remove mentions of ``var`` in VariableDeclarationStatement comment. | chriseth | 2018-07-10 | 1 | -7/+9 |
| | |/ / / | |/| | | | |||||
* | | | | | defaulting to v0.5.0 behaviour of unary + operator (disallow); also adapting ↵ | Christian Parpart | 2018-07-10 | 1 | -8/+2 |
| | | | | | | | | | | | | | | | | | | | | all tests to it | ||||
* | | | | | Merge pull request #4415 from ethereum/uninitializedStoragePointer | chriseth | 2018-07-10 | 1 | -4/+1 |
|\ \ \ \ \ | |_|/ / / |/| | | | | [BREAKING] Turn uninitialized storage variables into error. | ||||
| * | | | | Turn uninitialized storage variables into an error. | Daniel Kirchner | 2018-07-10 | 1 | -4/+1 |
| |/ / / | |||||
* / / / | Check for matching number of components in ↵ | Daniel Kirchner | 2018-07-10 | 2 | -35/+5 |
|/ / / | | | | | | | | | | TupleType::isImplicitlyConvertibleTo instead of the TypeChecker. | ||||
* | | | Enforce error on hex number combined with unit denomination | Leonardo Alt | 2018-07-09 | 1 | -17/+6 |
| | | | |||||
* | | | Merge pull request #4418 from ethereum/initialConstants | chriseth | 2018-07-05 | 1 | -13/+4 |
|\ \ \ | | | | | | | | | Only allow compile-time constants for constant state variables. | ||||
| * | | | Only allow compile-time constants for constant state variables. | chriseth | 2018-07-04 | 1 | -13/+4 |
| |/ / | |||||
* | | | Fix allocation of byte arrays. | chriseth | 2018-07-05 | 1 | -1/+1 |
| | | | |||||
* | | | Merge pull request #4409 from ethereum/viewPureChecker | chriseth | 2018-07-04 | 2 | -26/+13 |
|\ \ \ | | | | | | | | | Enforce state mutability in view pure checker. | ||||
| * | | | Remove v050 check for enforcing "view" in ViewPureChecker. | Daniel Kirchner | 2018-07-04 | 2 | -26/+13 |
| |/ / | |||||
* / / | Enforcing error on msg.gas and block.blockhash() | Leonardo Alt | 2018-07-04 | 1 | -27/+9 |
|/ / | |||||
* | | Merge pull request #4379 from ethereum/constructorArgsTwice | chriseth | 2018-07-04 | 1 | -14/+5 |
|\ \ | | | | | | | Disallow constructor arguments given multiple times. | ||||
| * | | Disallow constructor arguments given multiple times. | chriseth | 2018-06-29 | 1 | -14/+5 |
| | | | |||||
* | | | Remove constant keyword from parser. | Daniel Kirchner | 2018-07-03 | 1 | -2/+9 |
| | | | |||||
* | | | libsolidity: turns the var-keyword use from deprecation-warning to an error ↵ | Christian Parpart | 2018-07-03 | 1 | -6/+1 |
| |/ |/| | | | | | and include explicit type suggestion | ||||
* | | Remove trailing whitespace in missing visibility warning. | Daniel Kirchner | 2018-07-02 | 1 | -2/+2 |
| | | |||||
* | | Merge pull request #4224 from ethereum/revert_wrong_calldata | chriseth | 2018-07-02 | 3 | -48/+34 |
|\ \ | |/ |/| | [BREAKING] Revert if calldata has wrong size | ||||
| * | Revert if calldata is too short or points out of bounds | Leonardo Alt | 2018-06-26 | 3 | -48/+34 |
| | | |||||
* | | Merge pull request #4352 from D-Nice/develop | chriseth | 2018-06-29 | 1 | -1/+1 |
|\ \ | | | | | | | Fixes storage ref var typo error from 'prefix' to 'suffix' | ||||
| * | | Fixes storage ref var typo error from 'prefix' to 'suffix' | D-Nice | 2018-06-25 | 1 | -1/+1 |
| | | | |||||
* | | | Merge pull request #4097 from ethereum/noPackedExceptForPacked | chriseth | 2018-06-28 | 5 | -85/+98 |
|\ \ \ | | | | | | | | | [BREAKING] call only takes a single argument and does not pad | ||||
| * | | | Also mention regular abi.encode in error message. | chriseth | 2018-06-27 | 1 | -2/+8 |
| | | | | |||||
| * | | | Fix: Call functions do not take variable arguments. | chriseth | 2018-06-25 | 1 | -3/+3 |
| | | | | |||||
| * | | | Provide better suggestions in error messages with respect to call and hash ↵ | chriseth | 2018-06-25 | 1 | -4/+34 |
| | | | | | | | | | | | | | | | | functions. | ||||
| * | | | Save double encode call for sha3. | chriseth | 2018-06-25 | 1 | -8/+16 |
| | | | | |||||
| * | | | Bare functions take single bytes argument. | chriseth | 2018-06-25 | 5 | -94/+44 |
| | | | | |||||
| * | | | Single bytes argument. | chriseth | 2018-06-25 | 2 | -13/+32 |
| | | | | | | | | | | | | | | | | | | | | In 0.5.0 mode, only accept a single bytes argument for ``.call``, ``keccak256`` and others and do not pad when encoding. | ||||
* | | | | Remove non-0.5.0 warning for emit keyword (make it mandatory) | Alex Beregszaszi | 2018-06-27 | 1 | -6/+1 |
| | | | |