Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | Merge pull request #2473 from ethereum/functiontype-sig | Alex Beregszaszi | 2017-09-14 | 2 | -1/+13 |
|\ | | | | | Add .selector member on function types | ||||
| * | Rename .sig to .selector on function types | Alex Beregszaszi | 2017-09-13 | 2 | -2/+2 |
| | | |||||
| * | Add sig member on function type | Alex Beregszaszi | 2017-09-13 | 2 | -1/+13 |
| | | |||||
* | | Merge pull request #2848 from ethereum/checkViewPure | chriseth | 2017-09-14 | 10 | -4/+414 |
|\ \ | | | | | | | Enforce view and pure. | ||||
| * | | Minor changes from review. | chriseth | 2017-09-13 | 1 | -9/+3 |
| | | | |||||
| * | | Rename to invalidInPureFunctions | chriseth | 2017-09-13 | 1 | -1/+1 |
| | | | |||||
| * | | Allow constant variables in pure functions. | chriseth | 2017-09-06 | 1 | -1/+1 |
| | | | |||||
| * | | Rename and add anonymous namespace. | chriseth | 2017-09-06 | 1 | -1/+4 |
| | | | |||||
| * | | Fix tests | chriseth | 2017-09-06 | 1 | -5/+8 |
| | | | |||||
| * | | Tone down error message. | chriseth | 2017-09-06 | 1 | -2/+2 |
| | | | |||||
| * | | Modifier invocation can be base constructor call | chriseth | 2017-09-06 | 1 | -5/+7 |
| | | | |||||
| * | | Analyze assembly. | chriseth | 2017-09-06 | 2 | -11/+88 |
| | | | |||||
| * | | Do not report on overriding function and only warn for view. | chriseth | 2017-09-06 | 1 | -12/+19 |
| | | | |||||
| * | | Store super function. | chriseth | 2017-09-06 | 4 | -0/+8 |
| | | | |||||
| * | | Remove previous warning about pureness not being enforced. | chriseth | 2017-09-06 | 1 | -2/+0 |
| | | | |||||
| * | | View-pure checker. | chriseth | 2017-09-06 | 5 | -2/+320 |
| | | | |||||
* | | | Limit each duplicate declaration error to 32 references | Alex Beregszaszi | 2017-09-13 | 1 | -2/+20 |
| |/ |/| | |||||
* | | Merge pull request #2852 from ssuman/develop | chriseth | 2017-09-12 | 1 | -1/+10 |
|\ \ | | | | | | | This commit will display warning when there is unused function parameter | ||||
| * | | Display helpful warning for unused function arguments/return parameters | Suman | 2017-09-12 | 1 | -1/+10 |
| | | | |||||
* | | | Do not report overload conflicts for every line excessively | Alex Beregszaszi | 2017-09-12 | 1 | -1/+5 |
|/ / | |||||
* | | Merge pull request #2888 from ethereum/same-declaration-error | Alex Beregszaszi | 2017-09-12 | 1 | -10/+12 |
|\ \ | | | | | | | Use secondary source location as a vector in same declaration errors | ||||
| * | | Use secondary source location as a vector in same declaration errors | Alex Beregszaszi | 2017-09-12 | 1 | -10/+12 |
| | | | |||||
* | | | Merge pull request #2887 from ethereum/missing-functions-list | chriseth | 2017-09-12 | 1 | -5/+7 |
|\ \ \ | | | | | | | | | Show each unimplemented function in secondary source location | ||||
| * | | | Show each unimplemented function in secondary source location | Alex Beregszaszi | 2017-09-12 | 1 | -5/+7 |
| |/ / | |||||
* | | | Merge pull request #2853 from ethereum/cleanup-asm-stream | chriseth | 2017-09-12 | 6 | -21/+38 |
|\ \ \ | |/ / |/| | | Split out the JSON functionality from assembly.stream() | ||||
| * | | Introduce assemblyString | Alex Beregszaszi | 2017-09-11 | 6 | -17/+12 |
| | | | |||||
| * | | Do not return the stream in asssemblyStream | Alex Beregszaszi | 2017-09-11 | 4 | -8/+7 |
| | | | |||||
| * | | Split out the JSON functionality from assembly.stream() | Alex Beregszaszi | 2017-09-11 | 6 | -14/+37 |
| |/ | |||||
* / | Do not show the same error multiple times for events | Alex Beregszaszi | 2017-09-12 | 1 | -4/+4 |
|/ | |||||
* | Change array too large error message as it is valid for non-calldata too | Alex Beregszaszi | 2017-09-06 | 1 | -1/+1 |
| | |||||
* | Merge pull request #2860 from ethereum/noparamsfordefaulted | Alex Beregszaszi | 2017-08-31 | 1 | -4/+4 |
|\ | | | | | Remove parameter names for defaulted functions. | ||||
| * | Remove parameter names for defaulted functions. | chriseth | 2017-08-31 | 1 | -4/+4 |
| | | |||||
* | | Use Json::valueToQuotedString directly | Alex Beregszaszi | 2017-08-29 | 1 | -4/+2 |
| | | |||||
* | | Remove escape function. | chriseth | 2017-08-29 | 1 | -3/+11 |
|/ | |||||
* | Merge pull request #2847 from ethereum/codegen-docs | Alex Beregszaszi | 2017-08-29 | 3 | -1/+25 |
|\ | | | | | Document more of the codegen features | ||||
| * | Document more of the codegen features | Alex Beregszaszi | 2017-08-29 | 3 | -1/+25 |
| | | |||||
* | | Merge pull request #2833 from ethereum/statemutability-builtins | chriseth | 2017-08-29 | 5 | -22/+24 |
|\ \ | | | | | | | Mark all built in functions with appropriate statemutability | ||||
| * | | Swap declaration/statemutability in FunctionType constructor | Alex Beregszaszi | 2017-08-29 | 4 | -11/+8 |
| | | | |||||
| * | | Mark all built in functions with appropriate statemutability | Alex Beregszaszi | 2017-08-29 | 3 | -12/+17 |
| | | | |||||
* | | | Move all file specific globals to anonymous namespace | Alex Beregszaszi | 2017-08-29 | 2 | -0/+10 |
| |/ |/| | |||||
* | | Include all overloaded events in ABI | Alex Beregszaszi | 2017-08-29 | 1 | -2/+10 |
|/ | |||||
* | Mark event non-payable and not view | Alex Beregszaszi | 2017-08-28 | 1 | -2/+6 |
| | |||||
* | Merge pull request #2835 from ethereum/compilerstack-docs | Alex Beregszaszi | 2017-08-28 | 1 | -5/+7 |
|\ | | | | | Reorder some methods in CompilerStack for readability | ||||
| * | Reorder some methods in CompilerStack for readability | Alex Beregszaszi | 2017-08-28 | 1 | -5/+7 |
| | | |||||
* | | Merge pull request #2834 from ethereum/fixTypeNameParsing | Alex Beregszaszi | 2017-08-28 | 1 | -1/+4 |
|\ \ | |/ |/| | Crash fix, parseTypeName can return null. | ||||
| * | Crash fix, parseTypeName can return null. | chriseth | 2017-08-28 | 1 | -1/+4 |
| | | |||||
* | | Merge pull request #2825 from ethereum/contract-unused-natspec | chriseth | 2017-08-28 | 3 | -33/+0 |
|\ \ | |/ |/| | Removed unused natspec members of ContractDefinition | ||||
| * | Removed unused natspec members of ContractDefinition | Alex Beregszaszi | 2017-08-26 | 3 | -33/+0 |
| | | |||||
* | | Merge pull request #2821 from ethereum/errorreporter-copy | Alex Beregszaszi | 2017-08-26 | 1 | -0/+3 |
|\ \ | |/ |/| | Add copy constructor to ErrorReporter (since it has assignment operator) | ||||
| * | Add copy constructor to ErrorReporter (since it has assignment operator) | Alex Beregszaszi | 2017-08-25 | 1 | -0/+3 |
| | | |||||
* | | Merge pull request #2819 from ethereum/compilerstack-typecheck | chriseth | 2017-08-26 | 1 | -19/+5 |
|\ \ | | | | | | | Simplify typechecking loop in compilerstack | ||||
| * | | Do not create a new TypeChecker instance for every contract | Alex Beregszaszi | 2017-08-25 | 1 | -3/+1 |
| | | | |||||
| * | | Attach natspec before type checking | Alex Beregszaszi | 2017-08-25 | 1 | -6/+4 |
| | | | |||||
| * | | Remove duplicate work from CompilerStack.analyze() | Alex Beregszaszi | 2017-08-25 | 1 | -10/+0 |
| | | | |||||
* | | | Merge pull request #2820 from ethereum/fallthrough | chriseth | 2017-08-26 | 4 | -6/+8 |
|\ \ \ | | | | | | | | | Fix some other fallthrough cases | ||||
| * | | | Move the break in switch for readability | Alex Beregszaszi | 2017-08-25 | 1 | -3/+3 |
| | | | | |||||
| * | | | Mark to places fall-through | Alex Beregszaszi | 2017-08-25 | 2 | -0/+2 |
| | | | | |||||
| * | | | Remove fallthrough from ArrayUtils | Alex Beregszaszi | 2017-08-25 | 1 | -3/+3 |
| | |/ | |/| | |||||
* | | | Merge pull request #2813 from ethereum/tightpack-warn | Alex Beregszaszi | 2017-08-25 | 1 | -0/+22 |
|\ \ \ | |/ / |/| | | Warn on using literals in tight packing | ||||
| * | | Warn on using literals in tight packing | Alex Beregszaszi | 2017-08-25 | 1 | -0/+22 |
| | | | |||||
* | | | Merge pull request #2815 from ethereum/parser-fallthrough | Alex Beregszaszi | 2017-08-25 | 2 | -9/+14 |
|\ \ \ | |_|/ |/| | | Remove fallthrough from literal parsing | ||||
| * | | Remove two other fall-through cases in Parser | Alex Beregszaszi | 2017-08-25 | 2 | -3/+5 |
| | | | |||||
| * | | Remove fallthrough from literal parsing | Alex Beregszaszi | 2017-08-25 | 1 | -6/+9 |
| |/ | |||||
* / | Cleanup of Common.h | chriseth | 2017-08-25 | 1 | -0/+1 |
|/ | |||||
* | Remove unused statements from the Natspec headers | Alex Beregszaszi | 2017-08-25 | 2 | -28/+1 |
| | |||||
* | Reorder ABI for readability | Alex Beregszaszi | 2017-08-25 | 1 | -9/+10 |
| | |||||
* | Rename statemutability to stateMutability in ABI/AST | Alex Beregszaszi | 2017-08-24 | 2 | -5/+5 |
| | |||||
* | Consider pure as constant for the AST JSON (to aid static analyzers) | Alex Beregszaszi | 2017-08-24 | 1 | -2/+2 |
| | |||||
* | Introduce pure specifier on functions | Alex Beregszaszi | 2017-08-24 | 5 | -4/+10 |
| | |||||
* | Merge pull request #2770 from ethereum/recursionInAsm | chriseth | 2017-08-24 | 5 | -39/+44 |
|\ | | | | | Also prevent too much recursion in the assembly parser. | ||||
| * | Reduce max recursion depth. | chriseth | 2017-08-22 | 1 | -1/+1 |
| | | |||||
| * | Check recursion depth in assembly parser. | chriseth | 2017-08-22 | 5 | -39/+44 |
| | |