Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 #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 | ||||
| * | Ensure that library addresses supplied are of correct length and hex ↵ | Alex Beregszaszi | 2018-03-01 | 1 | -2/+18 |
| | | | | | | | | prefixed in JSONIO | ||||
* | | 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 |
|\ | | | | | Add more comprehensive tests and checks for libraries in JSONIO | ||||
| * | 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) | ||||
| * | 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 |
|\ \ | |/ |/| | C99/C++ scoping rules | ||||
| * | 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 |
|\ | | | | | Clean up type identifiers | ||||
| * | 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. | ||||
| * | 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 ↵ | chriseth | 2018-02-20 | 1 | -6/+6 |
| | | | | with ``_offset`` and ``_slot``. | ||||
* | Merge pull request #3135 from federicobond/formatter-instance | chriseth | 2018-02-20 | 2 | -50/+43 |
|\ | | | | | Convert static SourceReferenceFormatter functions to member ones | ||||
| * | 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 ↵ | Emilio Almansi | 2018-02-19 | 1 | -0/+3 |
| | | | | | | | | classes. | ||||
* | | Minor improvement: check sources | Alexander Arlt | 2018-02-17 | 1 | -1/+5 |
|/ | | | | | - returns error, if "sources" is an array, an empty object or not defined - Added new test-cases in test/libsolidity/StandardCompiler.cpp | ||||
* | 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. | ||||
| * | 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 |
|\ \ | |/ |/| | Avoid output messages size blow-up using huge bignums literals | ||||
| * | 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 | ||||
| * | 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 identifier in Julia | ||||
| * | 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 | ||||
| * | 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 | ||||
| * | | 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 | ||||
| * | | 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] Keep track of current path conditions | ||||
| * | | | [SMTChecker] Helper functions to add an expression to the solver conjoined ↵ | Leonardo Alt | 2017-12-14 | 2 | -5/+19 |
| | | | | | | | | | | | | | | | | with or implied by the current path conditions | ||||
| * | | | [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 |
|\ \ | |/ |/| | Simplify ConstantEvaluator. | ||||
| * | 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. | ||||
| * | | 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 | ||||
| * | 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 |
|\ \ | | | | | | | Division and unary operators for SMT checker | ||||
| * | | 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 |
| | | | |||||
* | | | Merge pull request #3265 from ethereum/rename_args_to_params | chriseth | 2017-12-04 | 5 | -11/+11 |
|\ \ \ | | | | | | | | | Rename arguments to parameters. | ||||
| * | | | Rename arguments to paramaters and returns to returnVariables. | chriseth | 2017-12-01 | 5 | -11/+11 |
| |/ / | |||||
* / / | Include missing forward declarations in AsmDataForward | Alex Beregszaszi | 2017-11-30 | 1 | -0/+3 |
|/ / | |||||
* | | Simplify target selection code | Alex Beregszaszi | 2017-11-30 | 1 | -18/+9 |
| | | |||||
* | | Rename target selection to use the word artifact | Alex Beregszaszi | 2017-11-30 | 1 | -32/+32 |
| | | |||||
* | | Add workaround for bytecode/deployedBytecode selection | Alex Beregszaszi | 2017-11-30 | 1 | -2/+20 |
| | | |||||
* | | Limit output according to the selected targets in StandardCompiler | Alex Beregszaszi | 2017-11-30 | 1 | -20/+32 |
| | | |||||
* | | Add target selection helpers to StandardCompiler | Alex Beregszaszi | 2017-11-30 | 1 | -0/+56 |
| | | |||||
* | | Cleanup and overflow checks for data pointers. | chriseth | 2017-11-30 | 4 | -23/+47 |
| | | |||||
* | | ABI decoder. | chriseth | 2017-11-30 | 6 | -4/+503 |
| | | |||||
* | | Merge pull request #3220 from ethereum/IuliaIf | chriseth | 2017-11-27 | 11 | -5/+52 |
|\ \ | | | | | | | If statement for Iulia / Inline Assembly | ||||
| * | | Use if statement in abi functions. | chriseth | 2017-11-22 | 1 | -3/+3 |
| | | | |||||
| * | | If statement for Iulia / inline assembly. | chriseth | 2017-11-22 | 10 | -2/+49 |
| | | | |||||
* | | | Explain IntIntFun and merge assertion. | chriseth | 2017-11-24 | 1 | -3/+7 |
| | | | |||||
* | | | Introduce sorts for smt expressions. | chriseth | 2017-11-22 | 3 | -48/+37 |
|/ / | |||||
* | | Fix problem with non-value-typed variables. | chriseth | 2017-11-22 | 2 | -14/+16 |
| | | |||||
* | | For loop. | chriseth | 2017-11-22 | 2 | -0/+43 |
| | | |||||
* | | Fix boolean constants. | chriseth | 2017-11-22 | 1 | -2/+7 |
| | | |||||
* | | Check for conditions being constant. | chriseth | 2017-11-22 | 4 | -27/+102 |
| | | |||||
* | | Tests. | chriseth | 2017-11-22 | 1 | -5/+0 |
| | | |||||
* | | Track usage of variables. | chriseth | 2017-11-22 | 4 | -70/+215 |
| | | |||||
* | | Handle branches. | chriseth | 2017-11-22 | 2 | -54/+88 |
| | | |||||
* | | Improve cyclic constant error message | Alex Beregszaszi | 2017-11-22 | 1 | -1/+1 |
| | | |||||
* | | Detect cyclic constant definitions | Balajiganapathi S | 2017-11-22 | 2 | -8/+15 |
| | | |||||
* | | Allow constant integer variables as array lengths. | Balajiganapathi S | 2017-11-22 | 2 | -0/+19 |
| | | |||||
* | | Show checksummed address always (prepend with 0) | Alex Beregszaszi | 2017-11-17 | 1 | -2/+5 |
| | | |||||
* | | Do not try to display checksummed address for too-short/long address literals | Alex Beregszaszi | 2017-11-17 | 3 | -3/+5 |
| | | |||||
* | | Improves address literal checksum error message | wadeAlexC | 2017-11-17 | 3 | -3/+13 |
| | | |||||
* | | Merge pull request #3209 from ethereum/unimplemented-msgs | chriseth | 2017-11-16 | 2 | -3/+3 |
|\ \ | | | | | | | Add explanation to unimplemented assertions | ||||
| * | | Add explanation to unimplemented assertions | Alex Beregszaszi | 2017-11-16 | 2 | -3/+3 |
| | | | |||||
* | | | Merge pull request #3194 from kseo/print-using-for | Alex Beregszaszi | 2017-11-16 | 2 | -0/+14 |
|\ \ \ | |/ / |/| | | Print using for directive in ASTPrinter | ||||
| * | | Print using for directive in ASTPrinter | Kwang Yul Seo | 2017-11-16 | 2 | -0/+14 |
| | | | |||||
* | | | Merge pull request #3206 from kseo/outdated-comment | Alex Beregszaszi | 2017-11-16 | 4 | -4/+4 |
|\ \ \ | |/ / |/| | | Update outdated comments | ||||
| * | | Update outdated comments | Kwang Yul Seo | 2017-11-15 | 4 | -4/+4 |
| | | | | | | | | | | | | _errors -> _errorReporter. | ||||
* | | | Merge pull request #3189 from kseo/unused | Alex Beregszaszi | 2017-11-16 | 1 | -4/+0 |
|\ \ \ | |/ / |/| | | Remove unused method | ||||
| * | | Remove unused method | Kwang Yul Seo | 2017-11-12 | 1 | -4/+0 |
| |/ | | | | | | | The body of Function::functionIdentifier is missing and is not used. | ||||
* | | Fix a typo | Kwang Yul Seo | 2017-11-14 | 1 | -1/+1 |
| | | | | | | | | | | A semicolon was mistakenly inserted where a string concatenation operator was meant. | ||||
* | | Remove a redundant check | Kwang Yul Seo | 2017-11-13 | 1 | -1/+1 |
|/ | | | | m_type can't be FunctionType::Kind::DelegateCall. | ||||
* | Merge pull request #3092 from rivenhk/b_2885 | chriseth | 2017-10-23 | 1 | -0/+15 |
|\ | | | | | added formatting when source snippets is too long | ||||
| * | updated formatting when source snippets is too long | rivenhk | 2017-10-19 | 1 | -3/+3 |
| | | |||||
| * | updating formatting when source snippets is too long | rivenhk | 2017-10-18 | 1 | -5/+5 |
| | | |||||
| * | added formatting when source snippets is too long | rivenhk | 2017-10-18 | 1 | -0/+15 |
| | | |||||
* | | Merge pull request #3030 from ethereum/smt-variable-types | chriseth | 2017-10-20 | 2 | -1/+16 |
|\ \ | | | | | | | SMT enforce variable types | ||||
| * | | SMT enforce variable types | Alex Beregszaszi | 2017-10-05 | 2 | -1/+16 |
| | | | |||||
* | | | More detailed errors for invalid array lengths (such as division by zero). | Alex Beregszaszi | 2017-10-20 | 1 | -3/+20 |
| | | | |||||
* | | | Merge pull request #3101 from ethereum/compilerstack-header | chriseth | 2017-10-19 | 2 | -27/+41 |
|\ \ \ | | | | | | | | | Remove the reliance on empty contract name equals "last contract" in CompilerStack | ||||
| * | | | Simplify contract lookup in CompileStack | Alex Beregszaszi | 2017-10-19 | 1 | -5/+10 |
| | | | | |||||
| * | | | Implement CompilerStack.lastContractName() | Alex Beregszaszi | 2017-10-19 | 2 | -10/+19 |
| | | | | |||||
| * | | | Always require a contract/sourceName in CompilerStack | Alex Beregszaszi | 2017-10-19 | 1 | -14/+14 |
| | | | | |||||
* | | | | Merge pull request #3108 from ethereum/remove-callcode | chriseth | 2017-10-19 | 1 | -4/+12 |
|\ \ \ \ | | | | | | | | | | | Turn usage of callcode into an error as experimental 0.5.0 feature | ||||
| * | | | | Turn usage of callcode into an error as experimental 0.5.0 feature | Alex Beregszaszi | 2017-10-19 | 1 | -4/+12 |
| |/ / / | |||||
* / / / | Remove unused variable in Z3 | Alex Beregszaszi | 2017-10-19 | 1 | -1/+1 |
|/ / / | |||||
* | | | Merge pull request #2925 from ethereum/tuple-value-check | chriseth | 2017-10-18 | 1 | -0/+6 |
|\ \ \ | | | | | | | | | Validate each tuple literal | ||||
| * | | | Only check tuples for valid rational numbers if they have more than one element. | chriseth | 2017-10-18 | 1 | -1/+1 |
| | | | | |||||
| * | | | Validate each tuple literal | Alex Beregszaszi | 2017-10-18 | 1 | -0/+6 |
| | |/ | |/| | |||||
* | | | Do not accept truncated function selectors. | chriseth | 2017-10-18 | 1 | -7/+4 |
| | | | |||||
* | | | Catch exception in Z3. | chriseth | 2017-10-18 | 1 | -18/+27 |
| | | | | | | | | | | | | | | | Note: This exception might not be the result of resource limitation, it might also hint towards usage error. | ||||
* | | | Remove duplicate >= in Z3 | Alex Beregszaszi | 2017-10-18 | 1 | -2/+1 |
| | | | |||||
* | | | Missing forward declaration. | chriseth | 2017-10-18 | 1 | -0/+1 |
| | | | |||||
* | | | Rename variables in SMT checker. | chriseth | 2017-10-18 | 2 | -11/+11 |
|/ / | |||||
* | | Allocate one byte per memory byte array element instead of 32. | chriseth | 2017-10-17 | 1 | -2/+9 |
| | | |||||
* | | Improve Z3 message in cmake | Alex Beregszaszi | 2017-10-13 | 1 | -2/+2 |
| | | |||||
* | | Force interface functions as external (0.5.0) | Alex Beregszaszi | 2017-10-06 | 1 | -2/+10 |
| | | |||||
* | | Remove obsolete createTypeError in AST | Alex Beregszaszi | 2017-10-06 | 3 | -12/+1 |
| | | |||||
* | | Use the proper error reporting interface in ConstantEvaluator | Alex Beregszaszi | 2017-10-06 | 3 | -7/+13 |
| | | |||||
* | | Require location keyword for local variables (0.5.0) | Alex Beregszaszi | 2017-10-06 | 1 | -5/+13 |
| | | |||||
* | | Merge pull request #2981 from ethereum/no-address-overload | chriseth | 2017-10-05 | 1 | -2/+5 |
|\ \ | | | | | | | Do not add members of address to contracts in experimental 0.5.0 | ||||
| * | | Do not add members of address to contracts in experimental 0.5.0 | Alex Beregszaszi | 2017-10-05 | 1 | -2/+5 |
| | | | |||||
* | | | Merge pull request #3020 from ethereum/smt-functioncall | Alex Beregszaszi | 2017-10-05 | 1 | -0/+10 |
|\ \ \ | |_|/ |/| | | SMT should not crash on special function calls (typecast) | ||||
| * | | SMT should not crash on typecast/structs | Alex Beregszaszi | 2017-10-05 | 1 | -0/+10 |
| | | | |||||
* | | | Merge pull request #2982 from ethereum/encoderFixes | Alex Beregszaszi | 2017-10-05 | 2 | -25/+18 |
|\ \ \ | |_|/ |/| | | ABI encoder fixes and test. | ||||
| * | | Rename "compacted" to "fromStack". | chriseth | 2017-10-04 | 2 | -22/+18 |
| | | | |||||
| * | | ABI encoder fixes and test. | chriseth | 2017-09-27 | 1 | -5/+2 |
| | | | |||||
* | | | Merge pull request #3029 from ethereum/tanwisgas | Alex Beregszaszi | 2017-10-05 | 1 | -0/+3 |
|\ \ \ | | | | | | | | | Send all gas for 0.5.0. | ||||
| * | | | Send all gas for 0.5.0. | chriseth | 2017-10-05 | 1 | -0/+3 |
| | |/ | |/| | |||||
* | | | Merge pull request #2968 from ethereum/calldataencodedsize | chriseth | 2017-10-05 | 1 | -0/+3 |
|\ \ \ | | | | | | | | | Add some asserts about calldata encoded size. | ||||
| * | | | Add some asserts about calldata encoded size. | chriseth | 2017-10-04 | 1 | -0/+3 |
| | | | | |||||
* | | | | Merge pull request #2901 from ethereum/compiler-names | chriseth | 2017-10-05 | 3 | -1/+40 |
|\ \ \ \ | | | | | | | | | | | Provide optional list of contract names to CompilerStack.compile | ||||
| * | | | | Restrict contracts compiled via outputSelection (but not the individual ↵ | Alex Beregszaszi | 2017-10-05 | 1 | -0/+19 |
| | | | | | | | | | | | | | | | | | | | | output details) | ||||
| * | | | | Provide optional list of contract names to CompilerStack.compile | Alex Beregszaszi | 2017-10-05 | 2 | -1/+21 |
| | |/ / | |/| | | |||||
* / | | | Do not consider shadowing in variable names inside event declarations | Federico Bond | 2017-10-05 | 1 | -2/+4 |
|/ / / | |||||
* | | | Merge pull request #2962 from ethereum/optionalDebugInfoAsm | chriseth | 2017-10-04 | 1 | -5/+16 |
|\ \ \ | | | | | | | | | Debugging info in CompilerContext. | ||||
| * | | | Debugging info in CompilerContext. | chriseth | 2017-10-04 | 1 | -5/+16 |
| | | | | |||||
* | | | | Merge pull request #3022 from ethereum/assert | Alex Beregszaszi | 2017-10-04 | 3 | -3/+3 |
|\ \ \ \ | | | | | | | | | | | Use solAssert and not assert | ||||
| * | | | | Use solAssert and not assert | Alex Beregszaszi | 2017-10-04 | 3 | -3/+3 |
| | | | | | |||||
* | | | | | Merge pull request #2990 from ethereum/someMoreSMTStuff | chriseth | 2017-10-04 | 1 | -7/+0 |
|\ \ \ \ \ | |/ / / / |/| | | | | Basic SMT tests. | ||||
| * | | | | Remove leftover couts. | chriseth | 2017-09-29 | 1 | -7/+0 |
| | | | | | |||||
* | | | | | Better error message when using fractional number as array size expressions | wadeAlexC | 2017-10-04 | 1 | -2/+3 |
| | | | | | |||||
* | | | | | Disallow non-pure constant state variables in 0.5.0 | Federico Bond | 2017-10-03 | 1 | -5/+14 |
| | | | | | |||||
* | | | | | Merge pull request #2997 from federicobond/duplicate-events | Alex Beregszaszi | 2017-10-03 | 2 | -5/+27 |
|\ \ \ \ \ | | | | | | | | | | | | | Emit error when declaring event with same name and arguments twice | ||||
| * | | | | | Extract duplicate function or event finding logic | Federico Bond | 2017-09-30 | 2 | -37/+14 |
| | | | | | | |||||
| * | | | | | Emit error when declaring event with same name and arguments twice | Federico Bond | 2017-09-30 | 2 | -0/+45 |
| | | | | | | |||||
* | | | | | | Add helpers for isPush/isDup/isSwap | Alex Beregszaszi | 2017-10-02 | 1 | -3/+3 |
|/ / / / / | |||||
* | | | | | Unary + now a synax error (experimental 0.5.0) | Rhett Aultman | 2017-09-30 | 1 | -1/+8 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The unary + was deprecated with a warning, but will be elevated to an error in 0.5.0. This adds the syntax error for the 0.5.0 pragma, and for a true 0.5.0 release we should consider removing the operator from the parser. | ||||
* | | | | | Validate array length in type checker | Alex Beregszaszi | 2017-09-29 | 1 | -1/+1 |
|/ / / / | |||||
* | | | | Pull out helper to apply address member to contract members | Alex Beregszaszi | 2017-09-28 | 2 | -4/+10 |
| | | | | |||||
* | | | | Simplify address overloading | Alex Beregszaszi | 2017-09-28 | 2 | -30/+39 |
| | | | | |||||
* | | | | Fix overload resolution when conflict is with members of address (balance, ↵ | Alex Beregszaszi | 2017-09-28 | 1 | -6/+28 |
| | | | | | | | | | | | | | | | | transfer, etc) | ||||
* | | | | Merge pull request #2986 from ethereum/fixsourcelocationofvariabledecsatement | Alex Beregszaszi | 2017-09-28 | 1 | -0/+1 |
|\ \ \ \ | | | | | | | | | | | Fix source location of VariableDeclarationStatement. | ||||
| * | | | | Fix source location of VariableDeclarationStatement. | chriseth | 2017-09-28 | 1 | -0/+1 |
| | |_|/ | |/| | | |||||
* / | | | Better readable encoder assembly. | chriseth | 2017-09-27 | 1 | -6/+28 |
|/ / / | |||||
* | | | Merge pull request #2975 from ethereum/encode-memory | Alex Beregszaszi | 2017-09-27 | 4 | -22/+45 |
|\ \ \ | | | | | | | | | Split encodeToMemory into packedEncode and abiEncode | ||||
| * | | | Split encodeToMemory to packedEncode and abiEncode | Alex Beregszaszi | 2017-09-27 | 4 | -18/+41 |
| | | | | |||||
| * | | | Make most of the parameters mandatory in encodeToMemory | Alex Beregszaszi | 2017-09-27 | 2 | -6/+6 |
| | | | | |||||
* | | | | Order GlobalContext entries | Alex Beregszaszi | 2017-09-27 | 1 | -13/+13 |
| | | | | |||||
* | | | | Format GlobalContext for readability | Alex Beregszaszi | 2017-09-27 | 1 | -42/+25 |
|/ / / | |||||
* | | | Merge pull request #2978 from ethereum/infer-location | chriseth | 2017-09-27 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | Report correct location for inferred types in packed encoding | ||||
| * | | | Report correct location for inferred types in packed encoding | Alex Beregszaszi | 2017-09-27 | 1 | -1/+1 |
| | |/ | |/| | |||||
* / | | Ensure that address types are always declared as 160bit | Alex Beregszaszi | 2017-09-27 | 5 | -14/+14 |
|/ / | |||||
* | | Merge pull request #2934 from ethereum/fallthrough | chriseth | 2017-09-26 | 2 | -53/+56 |
|\ \ | |/ |/| | Remove last two instances of switch fall-through | ||||
| * | Simplify switch statements by refactoring internal break statements | Alex Beregszaszi | 2017-09-25 | 2 | -24/+24 |
| | | |||||
| * | Avoid switch fallthrough in ExpressionCompiler | Alex Beregszaszi | 2017-09-25 | 1 | -26/+32 |
| | | |||||
| * | Avoid switch fallthrough in CompilerUtils | Alex Beregszaszi | 2017-09-25 | 1 | -6/+3 |
| | | |||||
* | | Better error message for unexpected trailing comma in parameter lists | wadeAlexC | 2017-09-25 | 1 | -0/+2 |
|/ | |||||
* | More verbose errors for generated assembly. | chriseth | 2017-09-22 | 1 | -2/+18 |
| | |||||
* | Merge pull request #2902 from ethereum/warn-obsolete | chriseth | 2017-09-21 | 1 | -0/+8 |
|\ | | | | | Warn about obsolete sha3/suicide calls | ||||
| * | Warn about obsolete sha3/suicide calls | Alex Beregszaszi | 2017-09-19 | 1 | -0/+8 |
| | | |||||
* | | Limit parser recursion depth further (needed by increased assembly data ↵ | Alex Beregszaszi | 2017-09-20 | 1 | -1/+1 |
| | | | | | | | | structure size) | ||||
* | | Support multiple assignment in inline assembly | Alex Beregszaszi | 2017-09-20 | 4 | -6/+56 |
| | | |||||
* | | Mark functions static | Alex Beregszaszi | 2017-09-20 | 4 | -14/+14 |
| | | |||||
* | | Mark constructors explicit | Alex Beregszaszi | 2017-09-20 | 1 | -1/+1 |
| | | |||||
* | | Ensure parameter names match between headers and implementation | Alex Beregszaszi | 2017-09-20 | 5 | -14/+14 |
|/ | |||||
* | Allow constant byte arrays. | chriseth | 2017-09-19 | 1 | -1/+1 |
| | |||||
* | Merge pull request #2910 from ethereum/fallback-restrict-external | chriseth | 2017-09-18 | 1 | -0/+5 |
|\ | | | | | Force fallback to be external (experimental 0.5.0 change) | ||||
| * | Force fallback to be external (experimental 0.5.0 change) | Alex Beregszaszi | 2017-09-18 | 1 | -0/+5 |
| | | |||||
* | | Check for interface types of members and cache recursion check. | chriseth | 2017-09-16 | 2 | -21/+48 |
| | | |||||
* | | Use "tuple" for struct types in ABI JSON. | chriseth | 2017-09-16 | 1 | -1/+1 |
| | | | | | | | | Only use tuple as a type in the ABI (and remove all "anonymous struct" references too) | ||||
* | | Implement struct encoder. | chriseth | 2017-09-16 | 5 | -8/+141 |
| | | |||||
* | | Fix tests. | chriseth | 2017-09-16 | 2 | -2/+2 |
| | | |||||
* | | Structure type json using "components". | chriseth | 2017-09-16 | 1 | -8/+8 |
| | | |||||
* | | Fix interface type conversion internal to structs. | chriseth | 2017-09-16 | 2 | -2/+8 |
| | | |||||
* | | Function signatures containing structs. | chriseth | 2017-09-16 | 3 | -39/+84 |
| | | |||||
* | | Update tests and error messages. | chriseth | 2017-09-16 | 1 | -1/+1 |
| | | |||||
* | | Check for recursive structs. | chriseth | 2017-09-16 | 3 | -4/+33 |
| | | |||||
* | | Allow structs as part of function interfaces. | chriseth | 2017-09-16 | 3 | -10/+54 |
|/ | |||||
* | Move ABI encoder into its own function. | chriseth | 2017-09-16 | 5 | -66/+82 |
| | |||||
* | Named assembly labels. | chriseth | 2017-09-16 | 5 | -18/+24 |
| | |||||
* | Merge pull request #2904 from ethereum/viewPure5 | Alex Beregszaszi | 2017-09-15 | 2 | -11/+24 |
|\ | | | | | Enforce view with error for experimental 0.5.0. | ||||
| * | Enforce view with error for experimental 0.5.0. | chriseth | 2017-09-14 | 2 | -11/+24 |
| | | |||||
* | | Warn if no visibility is specified on contract functions. | Alex Beregszaszi | 2017-09-14 | 3 | -1/+15 |
|/ | |||||
* | Add experimental feature 'v0.5.0' | Alex Beregszaszi | 2017-09-14 | 1 | -0/+2 |
| |