Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Replace IntegerType(256) with static function IntegerType::uint256() | hydai | 2018-11-29 | 6 | -22/+24 |
| | |||||
* | Merge pull request #5526 from ethereum/fixGetterNewCoder | chriseth | 2018-11-29 | 1 | -10/+31 |
|\ | | | | | Fix: Disallow structs in getters for old encoder. | ||||
| * | Properly check getter types to be old-abi-coder-compatible. | chriseth | 2018-11-28 | 1 | -10/+31 |
| | | |||||
* | | Merge pull request #5525 from ethereum/obsoleteComment | chriseth | 2018-11-28 | 1 | -6/+1 |
|\ \ | |/ |/| | Remove obsolete comment. | ||||
| * | Remove obsolete comment. | chriseth | 2018-11-28 | 1 | -6/+1 |
| | | |||||
* | | Use yul parser in assembly stack. | chriseth | 2018-11-27 | 2 | -18/+17 |
| | | |||||
* | | Yul objects. | chriseth | 2018-11-27 | 2 | -18/+6 |
|/ | |||||
* | Merge pull request #5382 from ethereum/libraryMappingPublic | chriseth | 2018-11-27 | 2 | -13/+17 |
|\ | | | | | Allow mapping arguments for public and external library functions. | ||||
| * | Allow mapping arguments for public and external library functions. | Daniel Kirchner | 2018-11-26 | 2 | -13/+17 |
| | | |||||
* | | Properly disallow different return types for interface overloads with ↵ | chriseth | 2018-11-26 | 1 | -3/+3 |
| | | | | | | | | different visibilities. | ||||
* | | Merge pull request #5445 from ethereum/publicExternalOverwrite | chriseth | 2018-11-26 | 1 | -8/+10 |
|\ \ | |/ |/| | Allow overwriting external functions (with ``calldata`` arguments) with public functions (with ``memory`` arguments) | ||||
| * | Use asCallableFunction for definition clashes in the same contract. | chriseth | 2018-11-26 | 1 | -1/+3 |
| | | |||||
| * | Use asCallableFunction for external interface clash check. | chriseth | 2018-11-26 | 1 | -2/+2 |
| | | |||||
| * | Use callable types for override check. | chriseth | 2018-11-26 | 1 | -4/+4 |
| | | |||||
| * | Use asCallableFunction in override check (part 1). | chriseth | 2018-11-26 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #5504 from ethereum/smt_fix_emscripten | chriseth | 2018-11-26 | 1 | -0/+4 |
|\ \ | | | | | | | [SMTChecker] Fix crash when SMTLib2Interface reports unknow for constant checks | ||||
| * | | [SMTChecker] Unknown answer for constant condition check should not do anything | Leonardo Alt | 2018-11-26 | 1 | -0/+4 |
| | | | |||||
* | | | Merge pull request #5404 from ethereum/jumpFixes | chriseth | 2018-11-26 | 2 | -2/+8 |
|\ \ \ | | | | | | | | | Annotate jump from calldata decode to function as "jump in". | ||||
| * | | | Use "in" tag for jumps from unpacker to function. | chriseth | 2018-11-26 | 2 | -2/+8 |
| | | | | |||||
* | | | | Fix merge problem in CMake files. | chriseth | 2018-11-26 | 1 | -1/+0 |
| | | | | |||||
* | | | | Merge pull request #5493 from ethereum/cmake-no-globbing | chriseth | 2018-11-26 | 1 | -5/+52 |
|\ \ \ \ | |_|_|/ |/| | | | [WIP] CMake: Explicitly state which files to compile instead of relying on globbing | ||||
| * | | | CMake: Explicitly state which files to compile instead of relying on globbing. | Christian Parpart | 2018-11-26 | 1 | -5/+52 |
| |/ / | | | | | | | | | | | | | Also remove header file lists, as there is no need to add them to add_library() or add_executable(), which should lower maintenance of the cmake files. | ||||
* | | | Merge pull request #5486 from ethereum/allowExternalPublicOverride | chriseth | 2018-11-26 | 1 | -9/+6 |
|\ \ \ | | | | | | | | | Allow external public override | ||||
| * | | | Allow visibility change from external to public. | chriseth | 2018-11-26 | 1 | -9/+6 |
| | | | | |||||
* | | | | Merge pull request #5494 from ethereum/scanner-error-handling | chriseth | 2018-11-26 | 1 | -2/+2 |
|\ \ \ \ | |_|_|/ |/| | | | Improved Scanner error diagnostics. | ||||
| * | | | Change scanner error diagnostics to be non-intrusive to the token API. | Christian Parpart | 2018-11-24 | 1 | -26/+2 |
| | | | | | | | | | | | | | | | | | | | | This also implicitly eliminates the magic-token Token::IllegalHex, and streamlines error diagnostics over a custom enum class. | ||||
| * | | | adapt to latest code changes | Lazaridis | 2018-11-24 | 1 | -0/+24 |
| | |/ | |/| | |||||
* | | | Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatter | chriseth | 2018-11-26 | 4 | -221/+2 |
|\ \ \ | |_|/ |/| | | Moving SourceReferenceFormatter into langutil namespace. | ||||
| * | | Moving SourceReferenceFormatter into langutil namespace. | Christian Parpart | 2018-11-24 | 4 | -221/+2 |
| |/ | |||||
* | | Merge pull request #5485 from ethereum/refactorCallableFunction | chriseth | 2018-11-26 | 4 | -33/+33 |
|\ \ | |/ |/| | Refactor callable function | ||||
| * | Correct style. | chriseth | 2018-11-23 | 1 | -16/+16 |
| | | |||||
| * | Use callable function for virtual resolution. | chriseth | 2018-11-22 | 1 | -1/+1 |
| | | |||||
| * | Make asCallableFunction to never fail and assert abount parameter size if ↵ | chriseth | 2018-11-22 | 2 | -8/+8 |
| | | | | | | | | bound instead. | ||||
| * | Rename 'asMemberFunction' to widen its purpose. | chriseth | 2018-11-22 | 2 | -9/+9 |
| | | |||||
* | | Merge pull request #5491 from ethereum/libyul-as-library | chriseth | 2018-11-24 | 30 | -2839/+113 |
|\ \ | | | | | | | Libyul as static library (version 3 ;( ) | ||||
| * | | Isolating libyul library API into its own namespace `yul`. | Christian Parpart | 2018-11-23 | 12 | -75/+76 |
| | | | |||||
| * | | CMake: Isolate libyul into its own static library | Christian Parpart | 2018-11-23 | 1 | -3/+3 |
| | | | |||||
| * | | Reorder some include files and group <libyul/>'s together (as much as possible) | Christian Parpart | 2018-11-23 | 7 | -16/+15 |
| | | | |||||
| * | | Rewrite header paths to adapt to recent `git mv` of libsolidity/inlineasm to ↵ | Christian Parpart | 2018-11-23 | 8 | -21/+21 |
| | | | | | | | | | | | | libyul | ||||
| * | | Moving files from libsolidity/inlineasm/*.{cpp,h} to libyul/. | Christian Parpart | 2018-11-23 | 16 | -2726/+0 |
| | | | |||||
* | | | Testing with smtlib2 interface always there | Leonardo Alt | 2018-11-23 | 1 | -6/+1 |
| | | | |||||
* | | | Error message stays in the SMTChecker | Leonardo Alt | 2018-11-23 | 2 | -8/+9 |
| | | | |||||
* | | | Display better error message in SMTLib2 | Leonardo Alt | 2018-11-23 | 3 | -8/+10 |
| | | | |||||
* | | | Renaming json fields smtlib2queries and smtlib2responses | Leonardo Alt | 2018-11-23 | 1 | -2/+2 |
| | | | |||||
* | | | Rename function and warn if responses are supplied for Z3. | chriseth | 2018-11-23 | 3 | -7/+13 |
| | | | |||||
* | | | Inject SMTLIB2 queries and responses via standard-json-io. | chriseth | 2018-11-23 | 10 | -20/+77 |
|/ / | |||||
* | | Style | chriseth | 2018-11-23 | 1 | -7/+9 |
| | | |||||
* | | Merge pull request #5451 from ethereum/bound_function_tests | chriseth | 2018-11-23 | 1 | -0/+3 |
|\ \ | | | | | | | Add assert and tests for bound functions | ||||
| * | | Add assert and tests for bound functions | Leonardo Alt | 2018-11-22 | 1 | -0/+3 |
| | | | |||||
* | | | [SMTChecker] Refactor setZeroValue and setUnknownValue | Leonardo Alt | 2018-11-22 | 6 | -44/+58 |
|/ / | |||||
* | | [SMTChecker] Add ArraySort and array operations | Leonardo Alt | 2018-11-22 | 5 | -2/+76 |
| | | |||||
* | | [SMTChecker] Add FunctionSort and refactors the solver interface to create ↵ | Leonardo Alt | 2018-11-22 | 14 | -128/+134 |
|/ | | | | variables | ||||
* | Introduce namespace `langutil` in liblangutil directory. | Christian Parpart | 2018-11-22 | 58 | -160/+314 |
| | | | | | | | 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 | ||||
* | Ensure liblangutil is compiled and linked as its own static library. | Christian Parpart | 2018-11-22 | 1 | -3/+3 |
| | |||||
* | Isolating files shared between Yul- and Solidity language frontend. | Christian Parpart | 2018-11-22 | 64 | -2720/+68 |
| | |||||
* | Merge pull request #5466 from ethereum/smt_refactor_sort_patch1 | Alex Beregszaszi | 2018-11-21 | 13 | -100/+102 |
|\ | | | | | [SMTChecker] Refactor smt::Sort and its usage | ||||
| * | [SMTChecker] Refactor smt::Sort and its usage | Leonardo Alt | 2018-11-21 | 13 | -100/+102 |
| | | |||||
* | | Removing redundant virtual from override function declaration | mordax | 2018-11-21 | 17 | -565/+565 |
|/ | | | | | | Remove trailing whitespace Remove changelog change | ||||
* | [SMTChecker] Support bound function calls | Leonardo Alt | 2018-11-19 | 1 | -0/+12 |
| | |||||
* | [SMTChecker] Implement uninterpreted functions and use it for blockhash() | Leonardo Alt | 2018-11-15 | 15 | -25/+102 |
| | |||||
* | Do not perform cleanup on unsigned integers when loading from calldata. | chriseth | 2018-11-15 | 1 | -1/+8 |
| | |||||
* | Add CompilerStack state assertions in internal methods | Alex Beregszaszi | 2018-11-14 | 1 | -6/+12 |
| | |||||
* | Move lastContractName closer to contractNames | Alex Beregszaszi | 2018-11-14 | 1 | -13/+13 |
| | |||||
* | Do not crash on filesystemFriendlyName if no contracts were compiled | Alex Beregszaszi | 2018-11-14 | 1 | -0/+3 |
| | |||||
* | Add Scanner function that prints source based on SourceLocation | Leonardo Alt | 2018-11-13 | 4 | -3/+15 |
| | |||||
* | Merge pull request #5406 from ethereum/uninitializedStorageUnimplemented | chriseth | 2018-11-13 | 1 | -2/+5 |
|\ | | | | | Ignore unimplemented functions for detecting uninitialized storage returns. | ||||
| * | Ignore unimplemented functions for storage returns. | Daniel Kirchner | 2018-11-13 | 1 | -2/+5 |
| | | |||||
* | | Deterministic YulStringRepository using string hashes. | Daniel Kirchner | 2018-11-13 | 1 | -1/+0 |
|/ | |||||
* | Fix for style. | chriseth | 2018-11-12 | 1 | -3/+3 |
| | |||||
* | Remove trailing whitespace. | chriseth | 2018-11-12 | 1 | -1/+1 |
| | |||||
* | Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall). | Kristofer Peterson | 2018-11-10 | 2 | -277/+521 |
| | | | | | | 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. | ||||
* | Reset yul string repository. | chriseth | 2018-11-09 | 1 | -0/+3 |
| | |||||
* | Merge pull request #5265 from ethereum/cleanupsha3 | chriseth | 2018-11-09 | 5 | -5/+5 |
|\ | | | | | Simplify sha3. | ||||
| * | Renamed SHA3.{h,cpp} files. | chriseth | 2018-10-18 | 5 | -5/+5 |
| | | |||||
* | | Merge pull request #5365 from ethereum/improveNameDispenser | chriseth | 2018-11-08 | 1 | -1/+0 |
|\ \ | | | | | | | [Yul] Use single counter for name dispenser for performance reasons. | ||||
| * | | Use single counter for name dispenser for performance reasons. | chriseth | 2018-11-08 | 1 | -1/+1 |
| | | | |||||
* | | | Merge pull request #5370 from ethereum/fixWindows | Daniel Kirchner | 2018-11-08 | 1 | -0/+1 |
|\ \ \ | | | | | | | | | Fix windows build. | ||||
| * | | | Fix windows build. | chriseth | 2018-11-08 | 1 | -0/+1 |
| |/ / | |||||
* | | | Merge pull request #5351 from ethereum/functionTypeConversion | chriseth | 2018-11-08 | 1 | -2/+16 |
|\ \ \ | | | | | | | | | Relax type equality requirement of function types during conversion in code generation. | ||||
| * | | | Function type conversion test cases. | Daniel Kirchner | 2018-11-08 | 1 | -4/+16 |
| | | | | |||||
| * | | | Relax identity requirement of function type conversions during code generation. | Daniel Kirchner | 2018-11-06 | 1 | -0/+2 |
| | | | | |||||
* | | | | Merge pull request #5348 from ethereum/boostRationalNegativeDenominatorFix | chriseth | 2018-11-08 | 2 | -2/+11 |
|\ \ \ \ | |_|/ / |/| | | | Fix negative denominator in ``boost::rational`` during exponentiation. | ||||
| * | | | Fix negative denominator in ``boost::rational`` during exponentiation. | Daniel Kirchner | 2018-11-06 | 2 | -2/+11 |
| |/ / | |||||
* | | | Performance: Replace string by special single-copy YulString class. | chriseth | 2018-11-08 | 11 | -64/+76 |
| | | | |||||
* | | | Eliminate `byte`-typedef and use `uint8_t` in all their places instead. | Christian Parpart | 2018-11-07 | 1 | -3/+3 |
|/ / | | | | | | | | | | | | | | | | | | | | | 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 :-) | ||||
* | | Fixes crash while encoding too large arrays. | Erik Kundt | 2018-10-30 | 1 | -0/+3 |
| | | |||||
* | | Merge pull request #5316 from lazaridiscom/4891-memory-store-asserts | chriseth | 2018-10-29 | 1 | -21/+37 |
|\ \ | | | | | | | refine memory-store assertions, closes #4891 | ||||
| * | | refine memory-store assertions, closes #4891 | Lazaridis | 2018-10-27 | 1 | -21/+37 |
| | | | |||||
* | | | Remove unused AST utils. | chriseth | 2018-10-25 | 2 | -102/+0 |
| | | | |||||
* | | | Merge pull request #5283 from ethereum/smt_fixed_bytes | chriseth | 2018-10-25 | 12 | -280/+144 |
|\ \ \ | | | | | | | | | [SMTChecker] Support FixedBytes | ||||
| * | | | Grouping of symbolic variables in the same file and support to FixedBytes | Leonardo Alt | 2018-10-25 | 12 | -280/+144 |
| | | | | |||||
* | | | | Merge pull request #5242 from ethereum/someChecks | chriseth | 2018-10-25 | 2 | -4/+24 |
|\ \ \ \ | |/ / / |/| | | | Some well-formedness checks for the Yul AST. | ||||
| * | | | Some well-formedness checks for the Yul AST. | chriseth | 2018-10-22 | 2 | -4/+24 |
| | | | | |||||
* | | | | Merge pull request #5272 from ethereum/smt_special_vars | chriseth | 2018-10-24 | 13 | -61/+144 |
|\ \ \ \ | | | | | | | | | | | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash | ||||
| * | | | | Add gasleft constraint and use full member access name | Leonardo Alt | 2018-10-23 | 5 | -16/+31 |
| | | | | | |||||
| * | | | | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash | Leonardo Alt | 2018-10-19 | 11 | -51/+119 |
| |/ / / | |||||
* / / / | Refactor `solidity::Token` into an `enum class` with `TokenTraits` helper ↵ | Christian Parpart | 2018-10-22 | 21 | -359/+352 |
|/ / / | | | | | | | | | | namespace | ||||
* | | | Merge pull request #5256 from ethereum/lvalueCleanup | chriseth | 2018-10-19 | 1 | -42/+7 |
|\ \ \ | | | | | | | | | Lvalue cleanup | ||||
| * | | | Removed unreachable cases in LValue.cpp. | chriseth | 2018-10-18 | 1 | -42/+7 |
| | | | | |||||
* | | | | Merge pull request #5257 from ethereum/assertAboutRemoved | chriseth | 2018-10-19 | 1 | -10/+9 |
|\ \ \ \ | |_|_|/ |/| | | | Assert about some removed language concepts in the code generator. | ||||
| * | | | Assert about some removed language concepts in the code generator. | chriseth | 2018-10-18 | 1 | -10/+9 |
| |/ / | |||||
* | | | Fix possibly effectless map emplace | Leonardo Alt | 2018-10-18 | 1 | -7/+10 |
| | | | |||||
* | | | [SMTChecker] Refactor expressions such that they also use SymbolicVariable | Leonardo Alt | 2018-10-18 | 4 | -77/+57 |
|/ / | |||||
* | | Merge pull request #5235 from ethereum/smt_refactor_types | Leonardo | 2018-10-18 | 14 | -218/+378 |
|\ \ | | | | | | | [SMTChecker] Refactoring types | ||||
| * | | Refactor SymbolicAddressVariable and SymbolicVariable allocation | Leonardo Alt | 2018-10-17 | 8 | -51/+159 |
| | | | |||||
| * | | Consistent renaming of 'counters' and 'sequence' to 'index' | Leonardo Alt | 2018-10-17 | 10 | -71/+71 |
| | | | |||||
| * | | [SMTChecker] Refactoring types | Leonardo Alt | 2018-10-17 | 12 | -150/+202 |
| | | | |||||
* | | | Merge pull request #5224 from bshastry/compilerwarn-fix | chriseth | 2018-10-17 | 1 | -2/+2 |
|\ \ \ | | | | | | | | | Fix compiler warning | ||||
| * | | | Retained move/copy semantics; removed const qualifier from Expression's ↵ | Bhargava Shastry | 2018-10-17 | 1 | -2/+4 |
| | | | | | | | | | | | | | | | | members name (of type std::string) and arguments (of type std::vector<Expression>) | ||||
| * | | | Fix compiler warning: clang-8 warns of explicitly-defined op implicitly ↵ | Bhargava Shastry | 2018-10-17 | 1 | -2/+0 |
| |/ / | | | | | | | | | | deleted for Expression object's copy and move constructors | ||||
* / / | Prevent externally used functions from being removed. | chriseth | 2018-10-17 | 5 | -10/+29 |
|/ / | |||||
* | | Merge pull request #5209 from ethereum/smt_ssa_refactor | chriseth | 2018-10-15 | 9 | -37/+48 |
|\ \ | | | | | | | [SMTChecker] Refactor SSAVariable such that it only uses Type and not Declaration | ||||
| * | | Refactor SSAVariable such that it only uses Type and not Declaration | Leonardo Alt | 2018-10-15 | 9 | -37/+48 |
| | | | |||||
* | | | [SMTChecker] Inline calls to internal functions | Leonardo Alt | 2018-10-15 | 2 | -68/+243 |
|/ / | |||||
* | | Merge pull request #5208 from mestorlx/bug4156 | chriseth | 2018-10-15 | 1 | -4/+4 |
|\ \ | | | | | | | [WIP] Bad identifier suggestion in certain cases | ||||
| * | | Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking ↵ | mestorlx | 2018-10-13 | 1 | -4/+4 |
| |/ | | | | | | | into account length of the identifier | ||||
* | | Renaming namespace dev::julia to dev::yul. | Christian Parpart | 2018-10-15 | 9 | -27/+27 |
| | | |||||
* | | Renaming libjulia to libyul | Christian Parpart | 2018-10-15 | 4 | -8/+8 |
| | | |||||
* | | Fixes invalid function calls to literals inside tuple assignment's LHS. | Christian Parpart | 2018-10-15 | 1 | -2/+6 |
|/ | |||||
* | Merge pull request #5195 from ethereum/unsigned-array-index | chriseth | 2018-10-11 | 2 | -3/+6 |
|\ | | | | | Do not crash on non-unsigned array index | ||||
| * | Fixes crash on non-unsigned array index. | Erik Kundt | 2018-10-11 | 2 | -3/+6 |
| | | |||||
* | | Improved error message for lookup in function types. | Martin Diz | 2018-10-10 | 1 | -2/+19 |
| | | |||||
* | | Merge pull request #5132 from ethereum/genericVisitor | chriseth | 2018-10-10 | 1 | -25/+2 |
|\ \ | |/ |/| | Generic visitor. | ||||
| * | Generic visitor. | chriseth | 2018-10-09 | 1 | -25/+2 |
| | | |||||
* | | Merge pull request #5180 from ethereum/cpp-cleanup | chriseth | 2018-10-10 | 8 | -10/+10 |
|\ \ | | | | | | | Some C++ cleanup | ||||
| * | | Do not require ctype/stdio if not needed | Alex Beregszaszi | 2018-10-10 | 2 | -2/+2 |
| | | | |||||
| * | | Change find to use a single character | Alex Beregszaszi | 2018-10-10 | 1 | -1/+1 |
| | | | |||||
| * | | Use empty() instead of size() == 0 | Alex Beregszaszi | 2018-10-09 | 7 | -7/+7 |
| | | | |||||
* | | | Fixes large rational number literals being wrongly interpreted. | Christian Parpart | 2018-10-09 | 1 | -9/+3 |
| |/ |/| | | | | | Fixes #5052. | ||||
* | | Merge pull request #5124 from lazaridiscom/1802-hex-error-reporting | chriseth | 2018-10-09 | 3 | -3/+8 |
|\ \ | | | | | | | use Token type for hex error, draft re #1802 | ||||
| * | | provide general hex-literal error message, fixes #1802 | Lazaridis | 2018-10-09 | 3 | -3/+8 |
| |/ | | | | | | | dummy | ||||
* / | Fix pragma error suggestion. | chriseth | 2018-10-09 | 1 | -1/+1 |
|/ | |||||
* | Merge pull request #4734 from ethereum/astUpdate | chriseth | 2018-10-09 | 1 | -1/+3 |
|\ | | | | | JSON AST: replace ``isConstructor`` by ``kind`` which also supports fallbacks | ||||
| * | Restore ``isConstructor`` in the legacy AST. | Daniel Kirchner | 2018-09-11 | 1 | -0/+2 |
| | | |||||
| * | Replace ``isConstructor`` field in the JSON AST by a ``kind`` field. | Daniel Kirchner | 2018-09-11 | 1 | -1/+1 |
| | | |||||
* | | Fix typos. | chriseth | 2018-10-04 | 3 | -6/+6 |
| | | |||||
* | | Fixes #5051 (introduced in #4684), effectively allowing underscores in ↵ | Christian Parpart | 2018-10-02 | 4 | -6/+13 |
| | | | | | | | | address literals. | ||||
* | | Merge pull request #4962 from anurag-git/anurag_issue_3667-1 | chriseth | 2018-10-01 | 8 | -30/+5 |
|\ \ | | | | | | | Removed default case from "ExpressionCompiler::visit(FunctionCall...)". | ||||
| * | | Removing extra default cases to force compile time error, instead of runtime. | Anurag Dashputre | 2018-09-30 | 7 | -28/+5 |
| | | | |||||
| * | | Removed default case from "ExpressionCompiler::visit(FunctionCall...)". | Anurag Dashputre | 2018-09-13 | 1 | -2/+0 |
| | | | |||||
* | | | Merge pull request #5113 from ethereum/compilerstack-datagas | chriseth | 2018-10-01 | 1 | -2/+1 |
|\ \ \ | | | | | | | | | Use GasEstimator::dataGas in CompilerStack | ||||
| * | | | Use GasEstimator::dataGas in CompilerStack | Alex Beregszaszi | 2018-09-28 | 1 | -2/+1 |
| | | | | |||||
* | | | | Merge pull request #4676 from jwasinger/extcodehash | Alex Beregszaszi | 2018-09-28 | 1 | -1/+11 |
|\ \ \ \ | |/ / / |/| | | | Add support for EXTCODEHASH | ||||
| * | | | Add assembly support for EXTCODEHASH (EIP-1052) | Jared Wasinger | 2018-09-26 | 1 | -1/+11 |
| | | | | |||||
* | | | | Merge pull request #5099 from ethereum/standard-json-optimiser | chriseth | 2018-09-27 | 1 | -4/+19 |
|\ \ \ \ | |/ / / |/| | | | Be more strict about values in the optimizer block in StandardJSON | ||||
| * | | | Be more strict about values in the optimizer block in StandardJSON | Alex Beregszaszi | 2018-09-26 | 1 | -4/+19 |
| | | | | |||||
* | | | | Add PathGasMeter.estimateMax helper | Alex Beregszaszi | 2018-09-26 | 1 | -3/+2 |
|/ / / | |||||
* | | | Merge pull request #5061 from ethereum/fixedSizeArrayLength | chriseth | 2018-09-26 | 1 | -0/+2 |
|\ \ \ | | | | | | | | | Disallow fixed-size arrays with zero length | ||||
| * | | | Removes unnecessary check of array type. | Erik Kundt | 2018-09-26 | 1 | -3/+1 |
| | | | | |||||
| * | | | Simplifies zero-length check for fixed-size arrays. | Erik Kundt | 2018-09-22 | 1 | -3/+3 |
| | | | | |||||
| * | | | Moves length check to reference resolver. | Erik Kundt | 2018-09-22 | 2 | -5/+4 |
| | | | | |||||
| * | | | Disallows fixed-size multidim. arrays with zero-length. | Erik Kundt | 2018-09-22 | 1 | -0/+5 |
| | | | | |||||
* | | | | Merge pull request #5092 from ethereum/create2-evmversion | chriseth | 2018-09-26 | 2 | -12/+6 |
|\ \ \ \ | | | | | | | | | | | CREATE2 is part of Constantinople now | ||||
| * | | | | CREATE2 is part of Constantinople now | Alex Beregszaszi | 2018-09-26 | 2 | -12/+6 |
| | | | | | | | | | | | | | | | | | | | | Also add hasCreate2 to EVMVersion | ||||
* | | | | | Use better assertion messages for RationalNumberType::literalValue | Alex Beregszaszi | 2018-09-26 | 1 | -2/+2 |
|/ / / / | |||||
* | | | | Removed extra whitespace. | Nicolás Venturo | 2018-09-26 | 1 | -1/+1 |
| | | | | |||||
* | | | | Merge pull request #5063 from ethereum/standard-json-bug | chriseth | 2018-09-24 | 1 | -2/+2 |
|\ \ \ \ | | | | | | | | | | | Fix typo in parsing/writing JSON error in StandardCompiler | ||||
| * | | | | Fix typo in parsing/writing JSON error in StandardCompiler | Alex Beregszaszi | 2018-09-22 | 1 | -2/+2 |
| | | | | | |||||
* | | | | | Merge pull request #5041 from liangdzou/fix_typo_in_doc | chriseth | 2018-09-24 | 1 | -1/+1 |
|\ \ \ \ \ | | | | | | | | | | | | | fix typo in docs and comments | ||||
| * | | | | | fix typo | liangdzou | 2018-09-21 | 1 | -1/+1 |
| | | | | | | |||||
* | | | | | | Use 'switch' instead of 'if..else if' | Khan M Rashedun-Naby | 2018-09-24 | 1 | -17/+22 |
| | | | | | | |||||
* | | | | | | Merge pull request #5050 from ethereum/standard-json-crashes | Alex Beregszaszi | 2018-09-21 | 1 | -2/+10 |
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | 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 | -2/+10 |
| | |/ / / | |/| | | | |||||
* | | | | | Merge pull request #5049 from ethereum/structtype-assert-annotation | Alex Beregszaszi | 2018-09-21 | 1 | -0/+3 |
|\ \ \ \ \ | | | | | | | | | | | | | Add assertion for annotated type in Structtype::canBeUsedExternally | ||||
| * | | | | | Add assertion for annotated type in Structtype::canBeUsedExternally | Alex Beregszaszi | 2018-09-21 | 1 | -0/+3 |
| |/ / / / | |||||
* | | | | | Merge pull request #5030 from ethereum/payableConversion | chriseth | 2018-09-21 | 2 | -5/+3 |
|\ \ \ \ \ | |_|/ / / |/| | | | | Make non-payable default for conversion to address. | ||||
| * | | | | Make non-payable default for conversion to address. | chriseth | 2018-09-20 | 2 | -5/+3 |
| |/ / / | |||||
* | | | | fix typo | liangdzou | 2018-09-20 | 4 | -6/+6 |
| | | | | |||||
* | | | | Disallow uppercase X in hex number literals | hydai | 2018-09-19 | 1 | -2/+2 |
|/ / / | |||||
* | | | fix code format problems | liangdzou | 2018-09-19 | 2 | -2/+4 |
| | | | |||||
* | | | fix some format typos | liangdzou | 2018-09-17 | 1 | -1/+1 |
| | | | |||||
* | | | Do not set to ref for explicit conversion and add assertion for array | liangdzou | 2018-09-14 | 1 | -2/+17 |
| | | | | | | | | | | | | type conversion. Also, add some test cases for #4901 and #4948. | ||||
* | | | fixing rebase conflicts | Jordan Last | 2018-09-14 | 3 | -8/+15 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | add ElementaryTypes::BytesMemory and ElementaryTypes::StringMemory fix rebase conflicts fixing rebase conflicts use make_shared instead of new fix tabs and StateMutability parameter create address and addressType functions, fix spaces in comment fix typo and switch nonpayable to payable fix spaces fix comment again | ||||
* | | | 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 |