| Commit message (Expand) | Author | Age | Files | Lines |
* | Turn deprecated warnings for sha3/suicide into errors (experimental 0.5.0) | Alex Beregszaszi | 2018-04-21 | 1 | -2/+10 |
* | Make literals an error for tight packing (experimental 0.5.0) | Alex Beregszaszi | 2018-04-20 | 1 | -8/+18 |
* | Merge pull request #3943 from ethereum/smt_remove_branch_warning | chriseth | 2018-04-20 | 2 | -10/+10 |
|\ |
|
| * | [SMTChecker] Remove 'information is erase' message for if-else | Leonardo Alt | 2018-04-19 | 2 | -10/+10 |
* | | Merge pull request #3941 from ethereum/bytes-contract | chriseth | 2018-04-19 | 1 | -1/+0 |
|\ \ |
|
| * | | Disallow explicit conversion of bytesXX to contract | Alex Beregszaszi | 2018-04-19 | 1 | -1/+0 |
| |/ |
|
* / | Improve error message for failed member lookup. | chriseth | 2018-04-19 | 1 | -11/+16 |
|/ |
|
* | Merge pull request #3923 from ethereum/warnConstructor | Alex Beregszaszi | 2018-04-19 | 1 | -1/+6 |
|\ |
|
| * | Warn about functions named "constructor". | chriseth | 2018-04-19 | 1 | -1/+6 |
* | | Merge pull request #3922 from ethereum/smt_sol_unimplementedassert | Alex Beregszaszi | 2018-04-19 | 1 | -2/+2 |
|\ \
| |/
|/| |
|
| * | [SMTChecker] Using solUnimplementedAssert instead of solAssert when applicable | Leonardo Alt | 2018-04-18 | 1 | -2/+2 |
* | | Fix name clashes between constructor and fallback function. | chriseth | 2018-04-18 | 1 | -47/+45 |
|/ |
|
* | [SMTChecker] Integration with CVC4 | Leonardo Alt | 2018-04-17 | 7 | -22/+310 |
* | Merge pull request #3868 from ethereum/bytescleanup | chriseth | 2018-04-16 | 2 | -12/+10 |
|\ |
|
| * | Remove redundant cleanup for abi.encode. | Alex Beregszaszi | 2018-04-16 | 1 | -2/+1 |
| * | Properly force-clean for shortening bytesXX conversions. | chriseth | 2018-04-16 | 1 | -10/+9 |
* | | Merge pull request #3793 from ethereum/rationalNumberLimit | chriseth | 2018-04-16 | 1 | -20/+160 |
|\ \
| |/
|/| |
|
| * | Limits rational numbers to 4096 bits. | Erik Kundt | 2018-04-16 | 1 | -20/+160 |
* | | Merge pull request #3880 from ethereum/addressMemberDocAndWarn | chriseth | 2018-04-16 | 1 | -1/+2 |
|\ \ |
|
| * | | Improve documentation and warning about accessing contract members inherited ... | Daniel Kirchner | 2018-04-14 | 1 | -1/+2 |
| |/ |
|
* | | Merge pull request #3875 from ethereum/constructorSelfRef | chriseth | 2018-04-14 | 1 | -4/+26 |
|\ \
| |/
|/| |
|
| * | Stricter check for member access to "this" in constructor. | Daniel Kirchner | 2018-04-13 | 1 | -4/+26 |
* | | Uses short string representation of TypePointer | Erik Kundt | 2018-04-13 | 2 | -9/+9 |
* | | Merge pull request #3364 from ethereum/revertWithReason | chriseth | 2018-04-13 | 12 | -27/+107 |
|\ \ |
|
| * | | Use error signature for revert data. | chriseth | 2018-04-12 | 3 | -20/+24 |
| * | | Only forward returndata if EVM version supports it. | chriseth | 2018-04-12 | 2 | -1/+3 |
| * | | Bubble up error messages. | chriseth | 2018-04-12 | 5 | -11/+26 |
| * | | Allow error string for ``require``. | chriseth | 2018-04-12 | 2 | -0/+27 |
| * | | Code generator for revert with reason string. | chriseth | 2018-04-12 | 1 | -1/+18 |
| * | | Register overload for ``revert()`` that can receive a reason string. | chriseth | 2018-04-12 | 2 | -1/+4 |
| * | | Allow function overloads involving MagicVariableDeclarations. | chriseth | 2018-04-12 | 4 | -7/+18 |
| * | | Use FunctionTypePointer (adds ``const``). | chriseth | 2018-04-12 | 2 | -7/+8 |
| |/ |
|
* | | Merge pull request #2980 from ethereum/abi-api | chriseth | 2018-04-13 | 6 | -14/+195 |
|\ \ |
|
| * | | Allow struct encoding with new encoder. | chriseth | 2018-04-12 | 1 | -7/+18 |
| * | | Check partial function parameters if rest is arbitrary. | chriseth | 2018-04-12 | 1 | -3/+14 |
| * | | Add abi.encode, abi.encodePacked, abi.encodeWithSelector and abi.encodeWithSi... | Alex Beregszaszi | 2018-04-12 | 5 | -4/+163 |
* | | | Fix internal compiler error when parsing ``var`` declaration without identifier. | Daniel Kirchner | 2018-04-12 | 1 | -2/+4 |
| |/
|/| |
|
* | | Merge pull request #3848 from ethereum/constantDivisionByZero | chriseth | 2018-04-12 | 3 | -0/+47 |
|\ \
| |/
|/| |
|
| * | Error on invalid arithmetic with constant expressions. | Daniel Kirchner | 2018-04-12 | 3 | -0/+47 |
* | | Properly cope with constructor headers. | chriseth | 2018-04-12 | 1 | -3/+6 |
* | | Warn if modifiers are applied to functions without implementation. | chriseth | 2018-04-12 | 2 | -4/+11 |
* | | Fix state variable parsing. | chriseth | 2018-04-12 | 1 | -0/+8 |
* | | Merge pull request #3863 from ethereum/fixGasEstimation | chriseth | 2018-04-12 | 1 | -1/+8 |
|\ \
| |/
|/| |
|
| * | Correctly ignore costs of fallback for other functions. | chriseth | 2018-04-12 | 1 | -1/+8 |
* | | Fix ConstantEvaluator to correctly handle single element tuples. | Daniel Kirchner | 2018-04-12 | 2 | -0/+7 |
|/ |
|
* | Merge pull request #3309 from ethereum/limit-errors | chriseth | 2018-04-11 | 4 | -78/+123 |
|\ |
|
| * | Do not abort excessive warnings, just ignore them. | Alex Beregszaszi | 2018-04-06 | 2 | -15/+38 |
| * | Ignore warnings when limited errors to 256 | Alex Beregszaszi | 2018-04-06 | 1 | -3/+10 |
| * | reindent | Alex Beregszaszi | 2018-04-06 | 1 | -70/+69 |
| * | Catch FatalError in CompilerStack::analysis to cover all the analysis tests | Alex Beregszaszi | 2018-04-06 | 2 | -11/+11 |
| * | Limit the number of errors output in a single run to 256 | Alex Beregszaszi | 2018-04-06 | 2 | -0/+16 |
* | | Fix bug in typechecking when comparing rational literals | Jason Cobb | 2018-04-11 | 1 | -3/+3 |
* | | Error when using no parentheses in modifier-style constructor calls. | Daniel Kirchner | 2018-04-10 | 6 | -18/+45 |
* | | Merge pull request #3821 from ethereum/warn-constructor-override | chriseth | 2018-04-10 | 5 | -50/+91 |
|\ \ |
|
| * | | Use the most derived contract as main location in case of diamond inheritance. | Daniel Kirchner | 2018-04-09 | 1 | -3/+18 |
| * | | Move constructor argument override check to TypeChecker and reuse annotations... | Daniel Kirchner | 2018-04-09 | 7 | -93/+76 |
| * | | Allow duplicated constructor calls, if no arguments; support for multiple inh... | Daniel Kirchner | 2018-04-09 | 1 | -20/+30 |
| * | | Error on duplicated super constructor calls | Federico Bond | 2018-04-09 | 2 | -0/+33 |
* | | | Fixed typos | hydai | 2018-04-10 | 1 | -6/+6 |
|/ / |
|
* / | Static Analyzer: Fix non-deterministic order of unused variable warnings. | Daniel Kirchner | 2018-04-07 | 2 | -8/+10 |
|/ |
|
* | Merge pull request #3831 from ethereum/memory-suffix | chriseth | 2018-04-05 | 3 | -3/+15 |
|\ |
|
| * | Allow ``memory`` suffix for internal elementary type parsing. | chriseth | 2018-04-05 | 3 | -3/+15 |
* | | Merge pull request #3829 from ethereum/smt_remove_uf | chriseth | 2018-04-05 | 6 | -10/+20 |
|\ \
| |/
|/| |
|
| * | [SMTChecker] Removing usage of UFs to access SSA indices | Leonardo Alt | 2018-04-05 | 6 | -10/+20 |
* | | Merge pull request #3824 from ethereum/baseArgumentsEmptyParenthesis | Daniel Kirchner | 2018-04-05 | 6 | -35/+56 |
|\ \
| |/
|/| |
|
| * | Error when using empty parenthesis for base class constructors that require a... | Daniel Kirchner | 2018-04-05 | 6 | -35/+56 |
* | | Merge pull request #3745 from ethereum/fixRecursion | Alex Beregszaszi | 2018-04-05 | 3 | -30/+28 |
|\ \ |
|
| * | | Generalize cycle detection. | chriseth | 2018-04-03 | 3 | -35/+28 |
| * | | Fix detection of recursive structs. | chriseth | 2018-04-03 | 1 | -0/+5 |
* | | | More specific push implementation. | chriseth | 2018-04-04 | 3 | -13/+71 |
* | | | Create empty dynamic memory arrays more efficiently. | chriseth | 2018-04-04 | 2 | -8/+29 |
| |/
|/| |
|
* | | Set isConstructor to false unconditionally and update to true later for const... | Daniel Kirchner | 2018-04-04 | 1 | -6/+4 |
* | | Set header.isConstructor for old style constructors in parseFunctionHeader as... | Daniel Kirchner | 2018-04-04 | 2 | -6/+16 |
* | | Constructors are defined using the ``constructor`` keyword. | Daniel Kirchner | 2018-04-04 | 4 | -8/+39 |
* | | Merge pull request #3693 from ethereum/optimizeMLOAD | Alex Beregszaszi | 2018-04-03 | 3 | -25/+45 |
|\ \
| |/
|/| |
|
| * | Optimize across MLOAD if MSIZE is not used. | chriseth | 2018-04-03 | 3 | -25/+45 |
* | | Merge pull request #3699 from ethereum/interfaceExternalVisibility | Alex Beregszaszi | 2018-04-03 | 2 | -12/+13 |
|\ \ |
|
| * | | Makes visibility warning more concise. | Erik Kundt | 2018-04-03 | 1 | -2/+4 |
| * | | Defaults to external visibility for interfaces. | bitshift | 2018-04-03 | 2 | -12/+11 |
* | | | Fix: Treat empty base constructor argument list as not provided. | chriseth | 2018-04-03 | 1 | -3/+5 |
| |/
|/| |
|
* | | Set default fixed point decimal places to 18 | Jason Cobb | 2018-03-31 | 1 | -2/+2 |
* | | Merge pull request #3790 from ethereum/empty-structs | chriseth | 2018-03-30 | 2 | -0/+16 |
|\ \ |
|
| * | | Still allow empty structs for non-0.5.0 mode | Alex Beregszaszi | 2018-03-27 | 1 | -1/+8 |
| * | | Disallow empty structs | Alex Beregszaszi | 2018-03-27 | 2 | -0/+9 |
* | | | Prevent encoding of weird types and support packed encoding of external funct... | chriseth | 2018-03-29 | 4 | -4/+21 |
| |/
|/| |
|
* | | Merge pull request #3775 from federicobond/improve-error-fractional-shift | chriseth | 2018-03-28 | 1 | -1/+1 |
|\ \
| |/
|/| |
|
| * | Improve error message when trying to shift by fractional number | Federico Bond | 2018-03-22 | 1 | -1/+1 |
* | | Merge pull request #3681 from ethereum/interface-external | chriseth | 2018-03-27 | 3 | -0/+18 |
|\ \ |
|
| * | | Introduce inContractKind helper on FunctionDefinition | Alex Beregszaszi | 2018-03-26 | 3 | -11/+14 |
| * | | Allow overriding external functions in interfaces with public in an implement... | Alex Beregszaszi | 2018-03-26 | 1 | -0/+15 |
| |/ |
|
* | | Merge pull request #3686 from ethereum/doNotIncludeItnernal | chriseth | 2018-03-27 | 3 | -6/+28 |
|\ \ |
|
| * | | Add runtimeOnly option to pushCombinedFunctionEntryLabel | Alex Beregszaszi | 2018-03-27 | 3 | -8/+8 |
| * | | Use shortcut for internal function calls to avoid runtime reference. | chriseth | 2018-03-27 | 1 | -1/+23 |
| |/ |
|
* | | Changes deprecation and adjusts tests. | bitshift | 2018-03-27 | 2 | -20/+24 |
* | | Moves blockhash function to global level. | bitshift | 2018-03-27 | 2 | -9/+21 |
|/ |
|
* | Decode dynamic data. | chriseth | 2018-03-21 | 4 | -18/+48 |
* | Move dynamic type removal out of the type system. | chriseth | 2018-03-21 | 4 | -18/+37 |
* | Simple size check for old ABI decoder. | chriseth | 2018-03-21 | 3 | -32/+97 |
* | Move the old ABI decoder code. | chriseth | 2018-03-20 | 4 | -105/+106 |
* | Merge branch 'develop' into externalFunctionsInLibraries | chriseth | 2018-03-15 | 5 | -12/+22 |
|\ |
|
| * | Merge pull request #3725 from ethereum/blockhashNoCall | chriseth | 2018-03-15 | 1 | -0/+3 |
| |\ |
|
| | * | Allow ``block.blockhash`` without being called. | chriseth | 2018-03-14 | 1 | -0/+3 |
| * | | Merge pull request #3722 from ethereum/fixMods | Alex Beregszaszi | 2018-03-15 | 3 | -5/+16 |
| |\ \ |
|
| | * | | Bugfix in virtual lookup for modifiers in libraries. | chriseth | 2018-03-13 | 3 | -5/+16 |
| | |/ |
|
| * / | DocStringParser: Fix error message for empty parameter description. | Daniel Kirchner | 2018-03-14 | 1 | -7/+3 |
| |/ |
|
* / | Make external library functions accessible. | chriseth | 2018-03-14 | 2 | -2/+3 |
|/ |
|
* | [SMTChecker_Bool] Fix PR review comments: method renaming and solAssert | Leonardo Alt | 2018-03-13 | 3 | -16/+17 |
* | [SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests. | Leonardo Alt | 2018-03-13 | 10 | -41/+85 |
* | [SMTChecker] Support to Bool variables | Leonardo Alt | 2018-03-13 | 6 | -8/+107 |
* | Support constantinople in evm-version | Alex Beregszaszi | 2018-03-13 | 1 | -1/+1 |
* | Properly skip cleanup if only enlarging storage array. | chriseth | 2018-03-09 | 1 | -2/+2 |
* | Merge pull request #3611 from ethereum/warn-using-address-overload | Alex Beregszaszi | 2018-03-07 | 1 | -0/+14 |
|\ |
|
| * | Assert that address members are not present on contract types in 0.5.0. | chriseth | 2018-03-05 | 1 | -0/+4 |
| * | Warn if using address overloads on contracts | Alex Beregszaszi | 2018-03-05 | 1 | -0/+10 |
* | | Merge pull request #3664 from ethereum/literalsHexUnitSmallFix | chriseth | 2018-03-07 | 1 | -2/+2 |
|\ \ |
|
| * | | Use double quotes for suggestion about hex literals and denominations. | Daniel Kirchner | 2018-03-07 | 1 | -2/+2 |
* | | | Merge pull request #3527 from ethereum/warnLooseAsm | Alex Beregszaszi | 2018-03-07 | 6 | -10/+63 |
|\ \ \ |
|
| * | | | Warn about using loose inline assembly features as experimental 0.5.0 feature. | chriseth | 2018-03-07 | 6 | -10/+63 |
| |/ / |
|
* | | | Merge pull request #3663 from ethereum/gasleftEmscripten | chriseth | 2018-03-07 | 1 | -0/+1 |
|\ \ \
| |/ /
|/| | |
|
| * | | Add gasleft to FunctionType::richIdentifier(). | Daniel Kirchner | 2018-03-07 | 1 | -0/+1 |
* | | | Merge pull request #2966 from ethereum/useStaticCall | Alex Beregszaszi | 2018-03-07 | 2 | -2/+11 |
|\ \ \
| |/ /
|/| | |
|
| * | | Use STATICCALL for pure function calls if EVM version supports it and 0.5.0 i... | chriseth | 2018-03-06 | 2 | -2/+11 |
* | | | Merge pull request #3549 from ethereum/fixmultidim | Alex Beregszaszi | 2018-03-06 | 2 | -6/+26 |
|\ \ \
| |/ /
|/| | |
|
| * | | Fix multi-dimensional arrays in the ABI. | chriseth | 2018-03-01 | 2 | -6/+26 |
* | | | Merge pull request #3652 from ethereum/gasleft_v2 | chriseth | 2018-03-06 | 3 | -16/+22 |
|\ \ \ |
|
| * | | | Use StaticAnalyzer to deprecate msg.gas instead of conditionally removing it ... | Daniel Kirchner | 2018-03-06 | 3 | -16/+22 |
* | | | | Merge pull request #3640 from AnthonyBroadCrawford/spanning-multiline-message... | chriseth | 2018-03-06 | 1 | -2/+2 |
|\ \ \ \ |
|
| * | | | | Improved messaging when an error spans multiple lines and updated change log ... | Anthony Broad-Crawford | 2018-03-06 | 1 | -2/+2 |
* | | | | | Merge pull request #3599 from ethereum/sendAllGasOnByzantium | chriseth | 2018-03-06 | 1 | -10/+13 |
|\ \ \ \ \ |
|
| * | | | | | Do not retain any gas in external calls (except if EVM version is set to home... | chriseth | 2018-03-06 | 1 | -10/+13 |
* | | | | | | Merge pull request #3643 from ethereum/gasleft | chriseth | 2018-03-06 | 4 | -5/+21 |
|\ \ \ \ \ \
| |/ / / / /
|/| | / / /
| | |/ / /
| |/| | | |
|
| * | | | | Style improvements. | Daniel Kirchner | 2018-03-06 | 2 | -4/+7 |
| * | | | | Move msg.gas to global function gasleft(). Closes #2971. | Daniel Kirchner | 2018-03-05 | 4 | -6/+19 |
| |/ / / |
|
* | | | | Merge pull request #3600 from ethereum/version050IsAnalysisOnly | chriseth | 2018-03-06 | 1 | -0/+1 |
|\ \ \ \
| |_|_|/
|/| | | |
|
| * | | | Do not warn about 0.5.0 experimental pragma. | chriseth | 2018-03-05 | 1 | -0/+1 |
* | | | | Merge pull request #3642 from leonardoalt/fix_z3-46 | chriseth | 2018-03-05 | 1 | -0/+1 |
|\ \ \ \
| |/ / /
|/| | | |
|
| * | | | This z3 option is necessary for good solving performance | Leonardo Alt | 2018-03-04 | 1 | -0/+1 |
| |/ / |
|
* | | | Merge pull request #3569 from ethereum/evmVersion | chriseth | 2018-03-05 | 19 | -66/+231 |
|\ \ \
| |/ /
|/| | |
|
| * | | Use EVM version in gas meter and optimizer. | chriseth | 2018-03-05 | 7 | -23/+30 |
| * | | Only warn for shift instructions if not using constantinople | Alex Beregszaszi | 2018-03-02 | 2 | -9/+10 |
| * | | Add constantinople. | chriseth | 2018-03-02 | 1 | -3/+5 |
| * | | Add TangerineWhistle. | chriseth | 2018-03-02 | 1 | -15/+24 |
| * | | Provide EVM version to assembly analysis. | chriseth | 2018-03-02 | 7 | -14/+37 |
| * | | Use EVM version in type checker. | chriseth | 2018-03-02 | 2 | -2/+9 |
| * | | Provide target EVM version in CompilerContext. | chriseth | 2018-03-02 | 4 | -9/+19 |
| * | | Store EVM version in settings. | chriseth | 2018-03-02 | 1 | -0/+1 |
| * | | Add ability to set the target EVM version. | chriseth | 2018-03-02 | 4 | -9/+114 |
| |/ |
|
* | | Merge pull request #3628 from ethereum/literalsHexUnit | chriseth | 2018-03-02 | 1 | -0/+17 |
|\ \
| |/
|/| |
|
| * | Suggest expressions of the form '0x1234 * 1 day' instead of hex numbers with ... | Daniel Kirchner | 2018-03-02 | 1 | -2/+4 |
| * | Deprecate using unit denominations in combination with hex numbers. Closes #3... | Daniel Kirchner | 2018-03-01 | 1 | -0/+15 |
* | | Merge pull request #3624 from ethereum/jsonio-libraries-hex | Alex Beregszaszi | 2018-03-01 | 1 | -2/+18 |
|\ \ |
|
| * | | Ensure that library addresses supplied are of correct length and hex prefixed... | Alex Beregszaszi | 2018-03-01 | 1 | -2/+18 |
| |/ |
|
* | | Fix PR comments | Leonardo Alt | 2018-03-01 | 3 | -12/+0 |
* | | Fix PR comments | Leonardo Alt | 2018-03-01 | 6 | -23/+37 |
* | | Supported types listed in SSAVariable | Leonardo Alt | 2018-03-01 | 4 | -3/+20 |
* | | Integer min and max values placed under SymbolicIntVar instead of SMTChecker | Leonardo Alt | 2018-03-01 | 4 | -19/+9 |
* | | [SMTChecker] A little refactoring on SSA vars | Leonardo Alt | 2018-03-01 | 8 | -54/+395 |
|/ |
|
* | Merge pull request #3617 from ethereum/jsonio-libraries | chriseth | 2018-03-01 | 1 | -3/+19 |
|\ |
|
| * | Properly validate invalid hex characters in JSONIO libraries | Alex Beregszaszi | 2018-02-28 | 1 | -2/+14 |
| * | Add more comprehensive tests and checks for libraries in JSONIO | Alex Beregszaszi | 2018-02-28 | 1 | -1/+5 |
* | | Merge pull request #3613 from ethereum/require-visibility | chriseth | 2018-02-28 | 1 | -6/+13 |
|\ \
| |/
|/| |
|
| * | Issue error if no visibility is specified (on 0.5.0) | Alex Beregszaszi | 2018-02-27 | 1 | -6/+13 |
* | | Merge pull request #3476 from ethereum/scoping | chriseth | 2018-02-28 | 8 | -71/+236 |
|\ \
| |/
|/| |
|
| * | Only active variables at the point of their declaration. | chriseth | 2018-02-27 | 6 | -30/+84 |
| * | Enable C99-scoping with the 0.5.0-experimental pragma. | chriseth | 2018-02-27 | 5 | -38/+53 |
| * | Blocks and for loops can be scopes. | chriseth | 2018-02-27 | 6 | -6/+78 |
| * | Scopes do not have to be declarations. | chriseth | 2018-02-27 | 4 | -24/+47 |
| * | Make all lookups recursive by default. | chriseth | 2018-02-27 | 2 | -10/+11 |
* | | Remove ROL/ROR as they are not part of EIP145 anymore | Alex Beregszaszi | 2018-02-27 | 1 | -3/+1 |
* | | Warn on using shift instructions | Alex Beregszaszi | 2018-02-27 | 1 | -0/+16 |
|/ |
|
* | Turn throw into a syntax error for 0.5.0 | Alex Beregszaszi | 2018-02-27 | 1 | -4/+12 |
* | Merge pull request #3589 from ethereum/identifiers | Alex Beregszaszi | 2018-02-27 | 2 | -42/+63 |
|\ |
|
| * | Use new escaping helpers for type identifiers | Alex Beregszaszi | 2018-02-27 | 2 | -20/+9 |
| * | Rename Types::identifier to Types::richIdentifier | Alex Beregszaszi | 2018-02-27 | 2 | -35/+41 |
| * | Add helpers escapeIdentifier to Types | Alex Beregszaszi | 2018-02-27 | 2 | -1/+27 |
* | | Fix: Function types for getters should not have storage pointers. | chriseth | 2018-02-26 | 1 | -1/+4 |
* | | Simplify FunctionType constructors. | chriseth | 2018-02-26 | 1 | -42/+14 |
|/ |
|
* | Warn about using events without emit. | chriseth | 2018-02-22 | 2 | -1/+13 |
* | Introduce emit statement. | chriseth | 2018-02-22 | 14 | -2/+120 |
* | Do not warn about analysis-only experimental features. | chriseth | 2018-02-22 | 1 | -2/+4 |
* | Add assertion for boolean literals in Julia-mode | Alex Beregszaszi | 2018-02-22 | 1 | -0/+5 |
* | Raise error on oversized number literals in assembly | Alex Beregszaszi | 2018-02-22 | 1 | -0/+8 |
* | Merge pull request #3554 from ethereum/reuseScannerOrNot | chriseth | 2018-02-21 | 5 | -6/+10 |
|\ |
|
| * | Expect end of string at end of top-level block for assembly parser. | chriseth | 2018-02-21 | 5 | -6/+10 |
* | | Add new JSON API for better abstraction and for supporting strict JSON parsing | Alexander Arlt | 2018-02-21 | 1 | -4/+3 |
|/ |
|
* | Fix shadowing for imports with aliases. | chriseth | 2018-02-20 | 1 | -2/+3 |
* | Properly warn about the use of constants in inline assembly in connection wit... | chriseth | 2018-02-20 | 1 | -6/+6 |
* | Merge pull request #3135 from federicobond/formatter-instance | chriseth | 2018-02-20 | 2 | -50/+43 |
|\ |
|
| * | Fix scannerFromSourceName use-after-free. | chriseth | 2018-02-19 | 1 | -3/+3 |
| * | Convert static SourceReferenceFormatter functions to member ones | Federico Bond | 2018-02-19 | 2 | -49/+42 |
* | | Added property _documentation_ to Function, Event, and Modifier definition cl... | Emilio Almansi | 2018-02-19 | 1 | -0/+3 |
* | | Minor improvement: check sources | Alexander Arlt | 2018-02-17 | 1 | -1/+5 |
|/ |
|
* | Make addmod and mulmod revert if the last argument is zero. | chriseth | 2018-02-15 | 1 | -1/+5 |
* | Disallow uninitialized storage pointers as experimental 0.5.0 feature. | chriseth | 2018-02-15 | 1 | -1/+5 |
* | Merge pull request #3498 from ethereum/allowthisfselector | chriseth | 2018-02-14 | 3 | -0/+41 |
|\ |
|
| * | Allow `this.f.selector` to be pure. | chriseth | 2018-02-13 | 3 | -0/+41 |
* | | Fix: remove reference. | chriseth | 2018-02-13 | 1 | -2/+4 |
* | | Minor changes. | chriseth | 2018-02-13 | 1 | -2/+1 |
* | | Restructure code for alternative identifier suggestions | Balajiganapathi S | 2018-02-13 | 3 | -19/+6 |
* | | Move string distance function to utils and format error message | Balajiganapathi S | 2018-02-13 | 3 | -48/+6 |
* | | Suggest alternatives when identifier not found. | Balajiganapathi S | 2018-02-13 | 5 | -2/+95 |
* | | Merge pull request #3349 from federicobond/number-improv | Alex Beregszaszi | 2018-02-13 | 2 | -2/+20 |
|\ \
| |/
|/| |
|
| * | Always use shortened literal number representation. | chriseth | 2018-02-13 | 2 | -9/+9 |
| * | Avoid output messages size blow-up using huge bignums literals | Federico Bond | 2018-02-13 | 2 | -3/+21 |
* | | Deprecate the var keyword (and mark it an error as experimental 0.5.0 feature) | Jimmy Vogel | 2018-02-13 | 2 | -0/+16 |
|/ |
|
* | Fix segfault with undeclared array types | Federico Bond | 2018-02-12 | 1 | -0/+5 |
* | Merge pull request #3360 from federicobond/nonfatal-reference-errors | Alex Beregszaszi | 2018-02-04 | 1 | -13/+20 |
|\ |
|
| * | Replace some fatal errors when resolving references with normal ones | Federico Bond | 2018-02-03 | 1 | -13/+20 |
* | | Issue warning for using public visibility for interface functions | Alex Beregszaszi | 2018-02-01 | 1 | -0/+2 |
* | | Prevent libraries from being called. | chriseth | 2018-01-19 | 5 | -6/+87 |
|/ |
|
* | Disallow non-functional instructions in parseExpression early | Alex Beregszaszi | 2018-01-10 | 1 | -2/+5 |
* | Show restricted instruction warning before argument mismatch issue | Alex Beregszaszi | 2018-01-08 | 1 | -11/+11 |
* | Support strict assembly mode in AssemblyStack | Alex Beregszaszi | 2018-01-06 | 2 | -1/+3 |
* | Split inline assembly into loose and strict flavours. | chriseth | 2018-01-06 | 10 | -34/+73 |
* | Simplify parseElementaryOperation in regards to special instructions | Alex Beregszaszi | 2018-01-06 | 2 | -11/+18 |
* | Merge pull request #3382 from ethereum/julia-identifier-parser | chriseth | 2018-01-06 | 1 | -1/+7 |
|\ |
|
| * | Support some restricted tokens (return, byte, address) as identifiers in Julia | Alex Beregszaszi | 2018-01-05 | 1 | -1/+7 |
* | | Properly support library file names containing a colon (such as URLs). | Alex Beregszaszi | 2018-01-05 | 1 | -1/+1 |
|/ |
|
* | [SMTChecker] Variables are merged after branches (ite variables) | Leonardo Alt | 2018-01-05 | 2 | -13/+37 |
* | Reset source location after using inline assembly. | chriseth | 2018-01-04 | 1 | -0/+3 |
* | Merge pull request #3297 from ethereum/separate_expression_and_statement | Alex Beregszaszi | 2018-01-04 | 11 | -50/+104 |
|\ |
|
| * | Separate expression and statement. | chriseth | 2017-12-13 | 11 | -50/+104 |
* | | Merge pull request #3369 from ethereum/jsonio-colon | Alex Beregszaszi | 2018-01-04 | 1 | -1/+1 |
|\ \ |
|
| * | | Properly handle colons in file names within jsonio | Alex Beregszaszi | 2018-01-03 | 1 | -1/+1 |
* | | | Improve error message for wrong struct initialization (#3359) | Federico Bond | 2018-01-04 | 1 | -1/+5 |
|/ / |
|
* | | [SMTChecker] Fix typo in the code (satisifable->satisfiable) | Leonardo Alt | 2017-12-19 | 2 | -8/+8 |
* | | Merge pull request #3342 from ethereum/jsonio-sourcelocation | Alex Beregszaszi | 2017-12-18 | 1 | -2/+2 |
|\ \ |
|
| * | | Populate the sourceLocation field properly in standard JSON on errors | Alex Beregszaszi | 2017-12-18 | 1 | -2/+2 |
* | | | Merge pull request #3304 from leonardoalt/smt_checker | chriseth | 2017-12-18 | 3 | -8/+55 |
|\ \ \ |
|
| * | | | [SMTChecker] Helper functions to add an expression to the solver conjoined wi... | Leonardo Alt | 2017-12-14 | 2 | -5/+19 |
| * | | | [SMTChecker] Keep track of current path conditions | Leonardo Alt | 2017-12-14 | 3 | -8/+41 |
| | |/
| |/| |
|
* | | | Favour if over switch in ABI coder. | chriseth | 2017-12-15 | 1 | -14/+14 |
| |/
|/| |
|
* | | Merge pull request #3232 from ethereum/simplifyConstant | chriseth | 2017-12-14 | 4 | -48/+66 |
|\ \
| |/
|/| |
|
| * | Re-use `commonType` | chriseth | 2017-12-12 | 1 | -1/+1 |
| * | Simplify ConstantEvaluator. | chriseth | 2017-12-12 | 3 | -41/+61 |
| * | Reduce the types of errors outputted by ConstantEvaluator | Alex Beregszaszi | 2017-12-12 | 1 | -8/+6 |
| * | Improve error message for constant evaluator | Alex Beregszaszi | 2017-12-12 | 2 | -2/+2 |
* | | Merge pull request #3310 from ethereum/limitDecl | Yoichi Hirai | 2017-12-12 | 2 | -14/+17 |
|\ \ |
|
| * | | Limit number of secondary source locations. | chriseth | 2017-12-12 | 2 | -14/+17 |
| |/ |
|
* | | Merge pull request #3183 from federicobond/fix-event-parsing | Yoichi Hirai | 2017-12-12 | 1 | -9/+5 |
|\ \
| |/
|/| |
|
| * | Fix event parsing. Refs #3175 | Federico Bond | 2017-11-23 | 1 | -9/+5 |
* | | Fix struct encoding warning for libraries. | chriseth | 2017-12-11 | 1 | -0/+1 |
* | | Suggest the experimental ABI encoder if using structs as function parameters | Alex Beregszaszi | 2017-12-11 | 1 | -0/+10 |
* | | Suggest the "if" statement too instead of jumps | Alex Beregszaszi | 2017-12-06 | 1 | -1/+1 |
* | | Warn for assembly labels too | Alex Beregszaszi | 2017-12-06 | 1 | -2/+3 |
* | | Split Instruction and FunctionalInstruction in Julia | Alex Beregszaszi | 2017-12-05 | 5 | -13/+19 |
* | | Merge pull request #3032 from ethereum/division | chriseth | 2017-12-05 | 5 | -41/+164 |
|\ \ |
|
| * | | Fix expression creation problems. | chriseth | 2017-11-30 | 1 | -19/+30 |
| * | | Fix signed division. | chriseth | 2017-11-30 | 2 | -2/+20 |
| * | | Unary operators and division. | chriseth | 2017-11-30 | 5 | -61/+155 |