Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #3456 from ethereum/simplifier | chriseth | 2018-02-08 | 16 | -184/+990 |
|\ | | | | | Use simplification rules also for IULIA | ||||
| * | Try something else. | chriseth | 2018-02-08 | 1 | -1/+6 |
| | | |||||
| * | Larger stack for nodejs when building via emscripten. | chriseth | 2018-02-08 | 1 | -0/+4 |
| | | |||||
| * | Turn simplification rule tuple into struct. | chriseth | 2018-02-07 | 8 | -30/+75 |
| | | |||||
| * | Also apply simplification rules that require multiple identical sub-expressions. | chriseth | 2018-02-07 | 5 | -3/+163 |
| | | |||||
| * | Tests. | chriseth | 2018-02-07 | 1 | -0/+40 |
| | | |||||
| * | Remove recursive call to simplify with reversed arguments. | chriseth | 2018-02-07 | 2 | -10/+2 |
| | | | | | | | | (We now have explicit rules for that). | ||||
| * | Explicitly add reversed operands for commutative operations. | chriseth | 2018-02-07 | 1 | -34/+56 |
| | | |||||
| * | Expression simplifier. | chriseth | 2018-02-07 | 6 | -0/+453 |
| | | |||||
| * | Explanation of expression simplifier. | chriseth | 2018-02-07 | 1 | -0/+9 |
| | | |||||
| * | Add flag to indicate whether it can be applied to expressions with side-effects. | chriseth | 2018-02-07 | 5 | -87/+109 |
| | | |||||
| * | Move out the rule list. | chriseth | 2018-02-07 | 2 | -163/+217 |
| | | |||||
* | | Merge pull request #3236 from ethereum/inliner | Alex Beregszaszi | 2018-02-08 | 5 | -0/+488 |
|\ \ | |/ |/| | Expression Inliner | ||||
| * | Fix tests for old precompiler. | chriseth | 2018-02-08 | 1 | -53/+53 |
| | | |||||
| * | Test about recursively calling functions. | chriseth | 2018-02-06 | 1 | -7/+21 |
| | | |||||
| * | Rename expression inliner. | chriseth | 2018-02-06 | 4 | -20/+28 |
| | | |||||
| * | Tests for functional inliner. | chriseth | 2018-02-06 | 1 | -2/+22 |
| | | |||||
| * | Function inliner. | chriseth | 2018-02-06 | 4 | -2/+207 |
| | | |||||
| * | Tests for inlinable function filter. | chriseth | 2018-02-06 | 1 | -0/+102 |
| | | |||||
| * | Inlinable function filter. | chriseth | 2018-02-06 | 2 | -0/+139 |
|/ | |||||
* | Merge pull request #3332 from ethereum/elimination_descirption | Alex Beregszaszi | 2018-02-06 | 9 | -3/+600 |
|\ | | | | | Rematerialisation step. | ||||
| * | Test for self-referring assignment. | chriseth | 2018-02-06 | 2 | -2/+9 |
| | | |||||
| * | Test not to remat if the expression is too large. | chriseth | 2018-02-06 | 1 | -0/+12 |
| | | |||||
| * | Introduce struct for scopes. | chriseth | 2018-02-06 | 2 | -11/+17 |
| | | |||||
| * | Reassign test for remat. | chriseth | 2018-02-06 | 1 | -0/+8 |
| | | |||||
| * | Refactor data flow analysis out of remat. | chriseth | 2018-02-06 | 4 | -177/+284 |
| | | |||||
| * | Fix for rematerializer. | chriseth | 2018-02-06 | 2 | -0/+16 |
| | | |||||
| * | Only substitute if all referenced variables are in scope. | chriseth | 2018-02-06 | 3 | -2/+68 |
| | | |||||
| * | Tests for rematerialiser. | chriseth | 2018-02-06 | 1 | -0/+129 |
| | | |||||
| * | Rematerialisation. | chriseth | 2018-02-06 | 5 | -1/+228 |
| | | |||||
| * | Description of variable eliminator. | chriseth | 2018-02-06 | 1 | -2/+21 |
|/ | |||||
* | Merge pull request #3351 from ethereum/remove_unused | chriseth | 2018-02-06 | 8 | -3/+431 |
|\ | | | | | Remove unused variables and functions | ||||
| * | Add comments to UnusedPruner | chriseth | 2018-02-06 | 2 | -0/+9 |
| | | |||||
| * | Add more tests for UnusedPruner | Alex Beregszaszi | 2018-02-06 | 1 | -0/+23 |
| | | |||||
| * | Support variable declarations without assignment in UnusedPruner | Alex Beregszaszi | 2018-02-06 | 2 | -2/+12 |
| | | |||||
| * | Unused variable and function remover. | chriseth | 2018-02-06 | 3 | -0/+270 |
| | | |||||
| * | Utility to remove empty blocks. | chriseth | 2018-02-06 | 2 | -0/+73 |
| | | |||||
| * | References counter. | chriseth | 2018-02-06 | 3 | -3/+46 |
|/ | |||||
* | Merge pull request #3455 from ethereum/codesizemetric | chriseth | 2018-02-06 | 2 | -0/+101 |
|\ | | | | | Code size metric. | ||||
| * | Code size metric. | chriseth | 2018-02-02 | 2 | -0/+101 |
| | | |||||
* | | Merge pull request #3453 from ethereum/chriseth-patch-1 | Alex Beregszaszi | 2018-02-04 | 1 | -0/+8 |
|\ \ | | | | | | | Remind authors of best practices. | ||||
| * | | Remind authors of best practices. | chriseth | 2018-02-02 | 1 | -0/+8 |
| |/ | |||||
* | | Merge pull request #3360 from federicobond/nonfatal-reference-errors | Alex Beregszaszi | 2018-02-04 | 3 | -14/+87 |
|\ \ | |/ |/| | Replace some fatal errors when resolving references with normal ones | ||||
| * | Add more test cases for reference resolving error handling | Federico Bond | 2018-02-03 | 1 | -0/+65 |
| | | |||||
| * | Replace some fatal errors when resolving references with normal ones | Federico Bond | 2018-02-03 | 3 | -14/+22 |
| | | |||||
* | | Merge pull request #3450 from ethereum/interface-public-visibility | chriseth | 2018-02-01 | 4 | -3/+12 |
|\ \ | | | | | | | Issue warning for using public visibility for interface functions | ||||
| * | | Issue warning for using public visibility for interface functions | Alex Beregszaszi | 2018-02-01 | 4 | -3/+12 |
|/ / | |||||
* | | Merge pull request #3447 from fulldecent/patch-7 | chriseth | 2018-01-30 | 1 | -9/+9 |
|\ \ | | | | | | | Fix new Solidity warnings, for #3379 | ||||
| * | | Fix new Solidity warnings, for #3379 | William Entriken | 2018-01-29 | 1 | -9/+9 |
|/ / | |||||
* | | Merge pull request #3431 from fulldecent/patch-7 | chriseth | 2018-01-29 | 1 | -4/+4 |
|\ \ | | | | | | | Add mutability declaration to example, for #3379 | ||||
| * | | Remove useless self assignment | William Entriken | 2018-01-29 | 1 | -1/+1 |
| | | | |||||
| * | | Add mutability declaration to example, for #3379 | William Entriken | 2018-01-24 | 1 | -4/+4 |
| | | | |||||
* | | | Merge pull request #3440 from ysqi/patch-1 | chriseth | 2018-01-29 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | update types | ||||
| * | | | update types | YuShuangqi | 2018-01-27 | 1 | -1/+1 |
|/ / / | | | | | | | correct the mistakes in writings | ||||
* | | | Merge pull request #3424 from wbt/addDecompilerLink | chriseth | 2018-01-27 | 1 | -5/+6 |
|\ \ \ | | | | | | | | | Correct FAQ answer re: decompiler | ||||
| * | | | Respond to chriseth's suggestions | wbt | 2018-01-27 | 1 | -3/+2 |
| | | | | | | | | | | | | https://github.com/ethereum/solidity/pull/3424#pullrequestreview-90873869 | ||||
| * | | | Update FAQ answer re decompiler | wbt | 2018-01-23 | 1 | -6/+8 |
| | | | | |||||
| * | | | Update from official repo | wbt | 2018-01-23 | 115 | -825/+5062 |
| |\ \ \ | |||||
* | \ \ \ | Merge pull request #3439 from hyperfekt/lib-inline-clarification | chriseth | 2018-01-26 | 1 | -1/+1 |
|\ \ \ \ \ | | | | | | | | | | | | | fixes #1209 | ||||
| * | | | | | fixes ethereum/solidity#1209 | hyperfekt | 2018-01-26 | 1 | -1/+1 |
|/ / / / / | | | | | | | | | | | | | | | | This clears up a common and easy misunderstanding which seems to occur rather often. (https://ethereum.stackexchange.com/questions/8263/trying-to-understand-libraries) | ||||
* | | | | | Merge pull request #3203 from ethereum/nocall | chriseth | 2018-01-25 | 13 | -8/+172 |
|\ \ \ \ \ | | | | | | | | | | | | | Prevent libraries from being called. | ||||
| * | | | | | Document call protector. | chriseth | 2018-01-19 | 1 | -1/+29 |
| | | | | | | |||||
| * | | | | | Prevent libraries from being called. | chriseth | 2018-01-19 | 12 | -7/+143 |
| | | | | | | |||||
* | | | | | | Merge pull request #3433 from ZoOgY-DoOgY/patch-1 | chriseth | 2018-01-24 | 1 | -3/+3 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Inheritance, "super" and DDD | ||||
| * | | | | | | Inheritance, "super" and DDD | ZoOgY-DoOgY | 2018-01-24 | 1 | -3/+3 |
|/ / / / / / | | | | | | | | | | | | | As explained in "Multiple Inheritance and Linearization" part, "a simple rule to remember is to specify the base classes in the order from “most base-like” to “most derived”". So "contract Final is Base1, Base2" means Final is derived from Base2, derived from Base1, so the final inheritance sequence should be, starting with the most derived contract : Final, Base2, Base1, mortal, owned. | ||||
* | | | | | | Merge pull request #3430 from fulldecent/patch-6 | Alex Beregszaszi | 2018-01-24 | 1 | -1/+4 |
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | | Support macOS High Sierra for install_deps script | ||||
| * | | | | | Support macOS High Sierra for install_deps script | William Entriken | 2018-01-24 | 1 | -1/+4 |
|/ / / / / | |||||
* | | | | | Add comment to clarify example (#3415) | Maurelian | 2018-01-24 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Add comment to clarify example * Reverse bases. | ||||
* | | | | | Merge pull request #3422 from ldct/patch-1 | chriseth | 2018-01-24 | 1 | -5/+5 |
|\ \ \ \ \ | |_|_|/ / |/| | | | | clarify `address` in function selector | ||||
| * | | | | Some more clarifications. | chriseth | 2018-01-24 | 1 | -5/+5 |
| | | | | | |||||
| * | | | | clarify `address` in function selector | Li Xuanji | 2018-01-23 | 1 | -2/+2 |
|/ / / / | | | | | | | | | I found that the canonical form for `address` in computing the function selector calldata tag is `uint160`. Update the abi specs to explicitly mention this. | ||||
* | | | | Merge pull request #3417 from zhangsawyer/patch-2 | Alex Beregszaszi | 2018-01-23 | 1 | -2/+2 |
|\ \ \ \ | |_|_|/ |/| | | | Update using-the-compiler.rst | ||||
| * | | | Update using-the-compiler.rst | Sawyer | 2018-01-21 | 1 | -2/+2 |
|/ / / | | | | | | | | | | | | | in outputSelection section of Compiler Input and Output JSON Description: "evm.sourceMap" should be "evm.bytecode.sourceMap" "evm.opcodes" should be "evm.bytecode.opcodes" | ||||
* | | | Merge pull request #3313 from terasum/develop | chriseth | 2018-01-20 | 1 | -1/+1 |
|\ \ \ | |/ / |/| | | Update GPG key URL for Centos install | ||||
| * | | Merge branch 'develop' of https://github.com/ethereum/solidity into develop | chenquan | 2018-01-05 | 8 | -36/+144 |
| |\ \ | |||||
| * | | | Update GPG key URL for the Centos installer script | ChenQuan | 2018-01-04 | 1 | -1/+1 |
| | | | | |||||
* | | | | Merge pull request #3407 from duaraghav8/patch-1 | chriseth | 2018-01-18 | 1 | -1/+1 |
|\ \ \ \ | | | | | | | | | | | update solium description | ||||
| * | | | | update solium description | Raghav Dua | 2018-01-18 | 1 | -1/+1 |
|/ / / / | |||||
* | | | | Merge pull request #3399 from wbt/patch-1 | chriseth | 2018-01-18 | 1 | -1/+1 |
|\ \ \ \ | | | | | | | | | | | Case convention clarification | ||||
| * | | | | Case convention clarification | wbt | 2018-01-17 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | Constructors follow the contract naming convention, using CapWords, instead of mixedCase. | ||||
* | | | | | Merge pull request #3403 from xManusx/deps_arch_linux | chriseth | 2018-01-17 | 1 | -1/+1 |
|\ \ \ \ \ | |/ / / / |/| | | | | Made install_deps.sh safe to use on Arch Linux | ||||
| * | | | | Made install_deps.sh safe to use on Arch Linux | Manus | 2018-01-17 | 1 | -1/+1 |
|/ / / / | |||||
* | | | | Merge pull request #3352 from ethereum/movability | Alex Beregszaszi | 2018-01-16 | 7 | -16/+176 |
|\ \ \ \ | | | | | | | | | | | Movability check | ||||
| * | | | | Movability. | chriseth | 2018-01-13 | 5 | -1/+151 |
| | | | | | |||||
| * | | | | Use explicit visit function for the walker. | chriseth | 2018-01-13 | 2 | -15/+25 |
| | | | | | |||||
* | | | | | Merge pull request #3393 from fulldecent/patch-5 | chriseth | 2018-01-15 | 1 | -3/+3 |
|\ \ \ \ \ | | | | | | | | | | | | | Use CapWords style for example | ||||
| * | | | | | Use CapWords style for example | William Entriken | 2018-01-15 | 1 | -3/+3 |
| |/ / / / | | | | | | | | | | | Follows recommendation in https://github.com/ethereum/solidity/pull/3392 | ||||
* | | | | | Merge pull request #3392 from fulldecent/patch-4 | chriseth | 2018-01-15 | 1 | -0/+6 |
|\ \ \ \ \ | |/ / / / |/| | | | | Prefer CapWords style struct names | ||||
| * | | | | Prefer CapWords style struct names | William Entriken | 2018-01-15 | 1 | -0/+6 |
|/ / / / | |||||
* | | | | Merge pull request #3381 from fulldecent/patch-3 | chriseth | 2018-01-11 | 1 | -15/+23 |
|\ \ \ \ | | | | | | | | | | | No nonsense explanation of compiler options | ||||
| * | | | | Fix links and JS reference | William Entriken | 2018-01-11 | 1 | -4/+4 |
| | | | | | |||||
| * | | | | No nonsense explanation of compiler options | William Entriken | 2018-01-05 | 1 | -15/+23 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #3317 from ethereum/looseStrictAsm | chriseth | 2018-01-10 | 16 | -61/+174 |
|\ \ \ \ | | | | | | | | | | | Split inline assembly into loose and strict flavour. | ||||
| * | | | | Disallow non-functional instructions in parseExpression early | Alex Beregszaszi | 2018-01-10 | 2 | -4/+7 |
| | | | | | |||||
| * | | | | Show restricted instruction warning before argument mismatch issue | Alex Beregszaszi | 2018-01-08 | 2 | -15/+15 |
| | | | | | |||||
| * | | | | Tests for strict mode. | chriseth | 2018-01-06 | 1 | -9/+69 |
| | | | | | |||||
| * | | | | Support --strict-assembly in CLI | Alex Beregszaszi | 2018-01-06 | 2 | -4/+12 |
| | | | | | |||||
| * | | | | 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 | 12 | -38/+78 |
|/ / / / | |||||
* | | | | Merge pull request #3383 from ethereum/inlineasm-expressions | Alex Beregszaszi | 2018-01-06 | 2 | -11/+18 |
|\ \ \ \ | | | | | | | | | | | Simplify parseElementaryOperation in regards to special instructions | ||||
| * | | | | 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 | 3 | -1/+16 |
|\ \ \ \ | | | | | | | | | | | 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 | 3 | -1/+16 |
| |/ / / | |||||
* | | | | Merge pull request #3380 from ethereum/jsonio-colon | chriseth | 2018-01-06 | 3 | -2/+37 |
|\ \ \ \ | |/ / / |/| | | | Properly support library file names containing a colon (such as URLs). | ||||
| * | | | Properly support library file names containing a colon (such as URLs). | Alex Beregszaszi | 2018-01-05 | 3 | -2/+37 |
|/ / / | |||||
* | | | Merge pull request #3375 from leonardoalt/develop | chriseth | 2018-01-05 | 1 | -0/+2 |
|\ \ \ | | | | | | | | | [SMTChecker] Added feature line to Changelog | ||||
| * | | | [SMTChecker] Added feature line to Changelog | Leonardo Alt | 2018-01-05 | 1 | -0/+2 |
|/ / / | |||||
* | | | Merge pull request #3346 from leonardoalt/smt_checker | chriseth | 2018-01-05 | 3 | -21/+76 |
|\ \ \ | | | | | | | | | [SMTChecker] Variables are merged after branches (ite variables) | ||||
| * | | | [SMTChecker] Variables are merged after branches (ite variables) | Leonardo Alt | 2018-01-05 | 3 | -21/+76 |
|/ / / | |||||
* | | | Explain the difference to inline assembly. | chriseth | 2018-01-05 | 1 | -0/+7 |
| | | | |||||
* | | | Merge pull request #3358 from federicobond/improve-grammar | chriseth | 2018-01-04 | 1 | -6/+11 |
|\ \ \ | | | | | | | | | grammar.txt: Add optional storage location to parameters | ||||
| * | | | grammar.txt: Add optional storage location to parameters | Federico Bond | 2018-01-04 | 1 | -6/+11 |
| | | | | |||||
* | | | | Merge pull request #3373 from ethereum/sourceLocation | Alex Beregszaszi | 2018-01-04 | 2 | -9/+48 |
|\ \ \ \ | |_|/ / |/| | | | Reset source location after inline assembly and mechanism to update expectation in test. | ||||
| * | | | Provide easy way to update source location expectation. | chriseth | 2018-01-04 | 1 | -9/+45 |
| | | | | |||||
| * | | | 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 | 21 | -86/+202 |
|\ \ \ | | | | | | | | | Separate expression and statement | ||||
| * | | | Adjust tests. | chriseth | 2017-12-13 | 1 | -4/+4 |
| | | | | |||||
| * | | | Separate expression and statement. | chriseth | 2017-12-13 | 20 | -82/+198 |
| | | | | |||||
* | | | | Merge pull request #3363 from ethereum/artful | Alex Beregszaszi | 2018-01-04 | 1 | -1/+1 |
|\ \ \ \ | | | | | | | | | | | Add artful to releases. | ||||
| * | | | | Add artful to releases. | chriseth | 2017-12-29 | 1 | -1/+1 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #3369 from ethereum/jsonio-colon | Alex Beregszaszi | 2018-01-04 | 3 | -1/+32 |
|\ \ \ \ | | | | | | | | | | | Properly handle colons in file names within jsonio | ||||
| * | | | | Properly handle colons in file names within jsonio | Alex Beregszaszi | 2018-01-03 | 3 | -1/+32 |
| | | | | | |||||
* | | | | | Improve error message for wrong struct initialization (#3359) | Federico Bond | 2018-01-04 | 3 | -1/+20 |
|/ / / / | |||||
* / / / | Remove truffle patching introducing in f77480c as upstream has merged the ↵ | Alex Beregszaszi | 2018-01-03 | 1 | -47/+0 |
|/ / / | | | | | | | | | | changes (#3370) | ||||
* | | | Minor syntax and formatting changes (#3337) | Chuck LeDuc Díaz | 2017-12-20 | 1 | -22/+22 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Copyediting, mostly syntax. * Use consistent quote chars inside sample code comments * Revert to put back matching parenthesis * Use single backticks for comment code quotes wherever a reserved word, function or variable name is used in a comment | ||||
* | | | Merge pull request #3350 from mekkanik/mekkanik-script-fixes | chriseth | 2017-12-20 | 1 | -4/+15 |
|\ \ \ | | | | | | | | | Changes to support Linux Mint: a derivative of Ubuntu. | ||||
| * | | | Changes to support Linux Mint: a derivative of Ubuntu. | mekkanik | 2017-12-20 | 1 | -4/+15 |
| | | | | |||||
* | | | | Merge pull request #3345 from kevinwucodes/patch-1 | chriseth | 2017-12-19 | 1 | -0/+1 |
|\ \ \ \ | | | | | | | | | | | add clarity to destructuring assignments with leading comma | ||||
| * | | | | add clarity to destructuring assignments | Kevin Wu | 2017-12-19 | 1 | -0/+1 |
| | | | | | |||||
* | | | | | Merge pull request #3347 from swaldman/develop | chriseth | 2017-12-19 | 1 | -0/+2 |
|\ \ \ \ \ | |/ / / / |/| | | | | [Docs] Include explanation of how indexed dynamic-length event args are encoded | ||||
| * | | | | [Docs] Note that events can contain both indexed and unindexed arguments for ↵ | Steve Waldman | 2017-12-19 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | values of dynamic-length types. | ||||
| * | | | | [Docs] Include explanation of how indexed dynamic-length event args are encoded | Steve Waldman | 2017-12-19 | 1 | -0/+2 |
|/ / / / | |||||
* | | | | Merge pull request #3344 from leonardoalt/smt_checker | chriseth | 2017-12-19 | 2 | -8/+8 |
|\ \ \ \ | |/ / / |/| | | | [SMTChecker] Fix typo in the code (satisifable->satisfiable) | ||||
| * | | | [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 | 3 | -2/+43 |
|\ \ \ | | | | | | | | | 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 | 3 | -2/+43 |
| | | | | |||||
* | | | | Merge pull request #3343 from ethereum/structs-struct | Alex Beregszaszi | 2017-12-18 | 1 | -3/+3 |
|\ \ \ \ | | | | | | | | | | | Fix grammar: "structs type" into "struct type" | ||||
| * | | | | Fix grammar: "structs type" into "struct type" | Yoichi Hirai | 2017-12-18 | 1 | -3/+3 |
| | | | | | |||||
* | | | | | 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 |
| | | | | | | |||||
* | | | | | | Merge pull request #3279 from ethereum/function_hoister | chriseth | 2017-12-18 | 3 | -0/+196 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Function hoister | ||||
| * | | | | | | Function hoister. | chriseth | 2017-12-15 | 3 | -0/+196 |
| | |_|_|/ / | |/| | | | | |||||
* | | | | | | Merge pull request #3333 from ethereum/switch_to_if | chriseth | 2017-12-18 | 1 | -14/+14 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Favour if over switch in ABI coder. | ||||
| * | | | | | | Favour if over switch in ABI coder. | chriseth | 2017-12-15 | 1 | -14/+14 |
| | |_|_|/ / | |/| | | | | |||||
* | | | | | | Merge pull request #3331 from ethereum/instruction_mover | chriseth | 2017-12-18 | 3 | -0/+180 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Function Grouper | ||||
| * | | | | | | Fixed typos in comment. | chriseth | 2017-12-18 | 1 | -2/+2 |
| | | | | | | | |||||
| * | | | | | | Function grouper. | chriseth | 2017-12-15 | 3 | -0/+180 |
| | |/ / / / | |/| | | | | |||||
* | | | | | | Merge pull request #3318 from ethereum/chriseth-patch-1 | chriseth | 2017-12-18 | 1 | -2/+4 |
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | Link to dev channel | ||||
| * | | | | | Link to dev channel | chriseth | 2017-12-18 | 1 | -2/+4 |
|/ / / / / | |||||
* | | | | | Merge pull request #3232 from ethereum/simplifyConstant | chriseth | 2017-12-14 | 5 | -62/+80 |
|\ \ \ \ \ | |_|/ / / |/| | | | | Simplify ConstantEvaluator. | ||||
| * | | | | Re-use `commonType` | chriseth | 2017-12-12 | 1 | -1/+1 |
| | | | | | |||||
| * | | | | Simplify ConstantEvaluator. | chriseth | 2017-12-12 | 4 | -42/+62 |
| | | | | | |||||
| * | | | | Reduce the types of errors outputted by ConstantEvaluator | Alex Beregszaszi | 2017-12-12 | 2 | -12/+10 |
| | | | | | |||||
| * | | | | Improve error message for constant evaluator | Alex Beregszaszi | 2017-12-12 | 3 | -11/+11 |
| | | | | | |||||
* | | | | | Merge pull request #3295 from mcdee/develop | chriseth | 2017-12-13 | 13 | -246/+287 |
|\ \ \ \ \ | |_|/ / / |/| | | | | Remove warnings in examples | ||||
| * | | | | Fixes for failing tests | Jim McDonald | 2017-12-13 | 4 | -8/+8 |
| | | | | | |||||
| * | | | | Fix Solidity warnings | Jim McDonald | 2017-12-13 | 13 | -250/+291 |
|/ / / / | |||||
* | | | | Merge pull request #3311 from ethereum/changelog | chriseth | 2017-12-12 | 1 | -1/+2 |
|\ \ \ \ | |_|/ / |/| | | | Update changelog for some 0.4.20 changes | ||||
| * | | | Update changelog for some 0.4.20 changes | Alex Beregszaszi | 2017-12-12 | 1 | -1/+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 | 4 | -12/+19 |
|\ \ \ \ | | | | | | | | | | | Fix event parsing. Refs #3175 | ||||
| * | | | | Fix event parsing. Refs #3175 | Federico Bond | 2017-11-23 | 4 | -12/+19 |
| | | | | | |||||
* | | | | | Merge pull request #3218 from ↵ | chriseth | 2017-12-12 | 1 | -7/+94 |
|\ \ \ \ \ | |_|_|/ / |/| | | | | | | | | | | | | | | elenadimitrova/documentation/2176-overload-resolution Document function overloading | ||||
| * | | | | Document function overloads and resolution | elenadimitrova | 2017-12-12 | 1 | -7/+94 |
| | | | | | |||||
* | | | | | Merge pull request #3290 from ethereum/moveAppend | chriseth | 2017-12-12 | 1 | -0/+17 |
|\ \ \ \ \ | |/ / / / |/| | | | | Move-append for vector. | ||||
| * | | | | Move-append for vector. | chriseth | 2017-12-11 | 1 | -0/+17 |
| | | | | | |||||
* | | | | | Merge pull request #3197 from medvedev1088/fix-security-considerations-example | Alex Beregszaszi | 2017-12-12 | 1 | -3/+20 |
|\ \ \ \ \ | | | | | | | | | | | | | Add another example with call to demonstrate Re-Entrancy | ||||
| * | | | | | Correct that ether transfers _can_ always include code execution in ↵ | Alex Beregszaszi | 2017-12-12 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | | | | | | | | | re-entrancy example | ||||
| * | | | | | Add another contract with call to demonstrate re-entrancy vulnerability. | Evgeny Medvedev | 2017-12-12 | 1 | -1/+18 |
| | | | | | | | | | | | | | | | | | | | | | | | | Add another contract with call to demonstrate re-entrancy vulnerability as send explicitly sets gas to 2300 by default according to this commit 9ca7472 which makes it impossible to "get multiple refunds" because a non-zero CALL costs at least 9700 gas. This issue is discussed on Ethereum StackExchange https://ethereum.stackexchange.com/questions/30371/send-ether-reentrancy-attack-in-reality-how-could-fallback-function-make-a-mes/30616#30616 | ||||
* | | | | | | Merge pull request #3068 from izgzhen/document-io-class | Alex Beregszaszi | 2017-12-12 | 1 | -1/+20 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Document JSON I/O error classes | ||||
| * | | | | | | Document JSON I/O error classes | Zhen Zhang | 2017-12-12 | 1 | -1/+20 |
| |/ / / / / | |||||
* | | | | | | Merge pull request #3010 from ethereum/libsolc | Alex Beregszaszi | 2017-12-12 | 11 | -18/+20 |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | Rename jsonCompiler to libsolc | ||||
| * | | | | | Rename jsonCompiler to libsolc | Alex Beregszaszi | 2017-12-11 | 11 | -18/+20 |
| | | | | | | |||||
* | | | | | | Merge pull request #3302 from ethereum/optimiserDescription | Alex Beregszaszi | 2017-12-12 | 1 | -0/+61 |
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | | Description of the optimiser and stages. | ||||
| * | | | | | Description of the optimiser and stages. | chriseth | 2017-12-11 | 1 | -0/+61 |
|/ / / / / | |||||
* | | | | | Merge pull request #3228 from ethereum/docs-tests-struct | chriseth | 2017-12-11 | 1 | -0/+4 |
|\ \ \ \ \ | |/ / / / |/| | | | | Enable struct abi example with experimental pragma | ||||
| * | | | | Enable struct abi example with experimental pragma | Alex Beregszaszi | 2017-12-02 | 1 | -0/+4 |
| | | | | | |||||
* | | | | | Merge pull request #3281 from GNSPS/develop | chriseth | 2017-12-11 | 1 | -25/+0 |
|\ \ \ \ \ | | | | | | | | | | | | | Removed manual adjustment of stack of the docs | ||||
| * | | | | | Removed manual adjustment of stack of the docs | Gonçalo Sá | 2017-12-05 | 1 | -25/+0 |
| | | | | | | | | | | | | | | | | | | | | | | | | Removed the section fo the docs regarding manual adjustment of the stack given the `unbalanced stack` check prevents its use | ||||
* | | | | | | Merge pull request #3299 from KamuelaFranco/patch-1 | chriseth | 2017-12-11 | 1 | -0/+6 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Update style-guide.rst to include enum style | ||||
| * | | | | | | Update style-guide.rst to include enum style | Kamuela Franco | 2017-12-09 | 1 | -0/+6 |
| | | | | | | | |||||
* | | | | | | | Merge pull request #3272 from ethereum/suggest-structs | chriseth | 2017-12-11 | 5 | -0/+21 |
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | | Suggest the experimental ABI encoder if using structs as function parameters | ||||
| * | | | | | | Move some struct tests to require ABIEncoderV2 | Alex Beregszaszi | 2017-12-11 | 3 | -0/+8 |
| | | | | | | | |||||
| * | | | | | | 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 | 2 | -0/+12 |
|/ / / / / / | |||||
* | | | | | | Merge pull request #3268 from eepstein/patch-2 | Yoichi Hirai | 2017-12-08 | 1 | -0/+2 |
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | | link to wiki for additional info on napspec | ||||
| * | | | | | link to wiki for additional info on napspec | Ezra Epstein | 2017-12-02 | 1 | -0/+2 |
| | |/ / / | |/| | | | |||||
* | | | | | Merge pull request #3283 from ethereum/jump-warning | chriseth | 2017-12-07 | 3 | -5/+8 |
|\ \ \ \ \ | | | | | | | | | | | | | Improve the jump warning | ||||
| * | | | | | Fix warning test for jumps in assembly | Alex Beregszaszi | 2017-12-06 | 1 | -2/+2 |
| | | | | | | |||||
| * | | | | | 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 | 3 | -2/+5 |
| | | | | | | |||||
* | | | | | | Merge pull request #3288 from kayuri/SOL3277--Properly-handle-release-tag | chriseth | 2017-12-06 | 1 | -1/+6 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Handle git release tag properly | ||||
| * | | | | | | Review fixes | Yuriy Kashnikov | 2017-12-06 | 1 | -4/+5 |
| | | | | | | | |||||
| * | | | | | | Handle git release tag properly | Yuriy Kashnikov | 2017-12-06 | 1 | -1/+5 |
| |/ / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Build process will check current commit and if it is tagged starting with a `v` then it will create `prerelease.txt` file in the top directory. | ||||
* | | | | | | Merge pull request #3287 from ethereum/substitution | Yoichi Hirai | 2017-12-06 | 5 | -7/+102 |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | Substitution | ||||
| * | | | | | substitution | chriseth | 2017-12-06 | 2 | -0/+90 |
| | | | | | | |||||
| * | | | | | copier | chriseth | 2017-12-06 | 1 | -1/+2 |
| | | | | | | |||||
| * | | | | | Make the modifier more flexible. | chriseth | 2017-12-06 | 2 | -6/+10 |
| | | | | | | |||||
* | | | | | | Merge pull request #3285 from ethereum/julia-split-instruction | Alex Beregszaszi | 2017-12-06 | 7 | -19/+27 |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | Split Instruction and FunctionalInstruction in Julia | ||||
| * | | | | | Split Instruction and FunctionalInstruction in Julia | Alex Beregszaszi | 2017-12-05 | 7 | -19/+27 |
|/ / / / / | |||||
* | | | | | Merge pull request #3278 from ethereum/ast_walker | Alex Beregszaszi | 2017-12-05 | 4 | -0/+345 |
|\ \ \ \ \ | | | | | | | | | | | | | Ast walker | ||||
| * | | | | | Generic AST walker. | chriseth | 2017-12-05 | 4 | -0/+345 |
|/ / / / / | |||||
* | | | | | Merge pull request #3219 from ethereum/disambiguator | chriseth | 2017-12-05 | 9 | -1/+667 |
|\ \ \ \ \ | | | | | | | | | | | | | Iulia disambiguator. | ||||
| * | | | | | Simplify disambiguator. | chriseth | 2017-12-05 | 6 | -34/+19 |
| | | | | | | |||||
| * | | | | | Refactor iulia tests. | chriseth | 2017-12-05 | 3 | -79/+148 |
| | | | | | | |||||
| * | | | | | Disambiguator. | chriseth | 2017-12-05 | 5 | -0/+612 |
| | | | | | | |||||
| * | | | | | Rename to ASTDataForward.h | chriseth | 2017-12-04 | 2 | -1/+1 |
| | |/ / / | |/| | | | |||||
* | | | | | Merge pull request #3032 from ethereum/division | chriseth | 2017-12-05 | 6 | -43/+260 |
|\ \ \ \ \ | |/ / / / |/| | | | | Division and unary operators for SMT checker | ||||
| * | | | | Fix test. | chriseth | 2017-12-04 | 1 | -4/+3 |
| | | | | | |||||
| * | | | | Fix expression creation problems. | chriseth | 2017-11-30 | 1 | -19/+30 |
| | | | | | |||||
| * | | | | Another test for division. | chriseth | 2017-11-30 | 1 | -0/+10 |
| | | | | | |||||
| * | | | | Fix signed division. | chriseth | 2017-11-30 | 2 | -2/+20 |
| | | | | | |||||
| * | | | | Unary operators and division. | chriseth | 2017-11-30 | 6 | -61/+240 |
| | | | | | |||||
* | | | | | Merge pull request #3265 from ethereum/rename_args_to_params | chriseth | 2017-12-04 | 6 | -19/+19 |
|\ \ \ \ \ | |_|/ / / |/| | | | | Rename arguments to parameters. | ||||
| * | | | | Rename arguments to paramaters and returns to returnVariables. | chriseth | 2017-12-01 | 6 | -19/+19 |
| | | | | | |||||
* | | | | | Merge pull request #3250 from ethereum/aliases | Alex Beregszaszi | 2017-12-02 | 5 | -23/+80 |
|\ \ \ \ \ | | | | | | | | | | | | | Introduce InlineAsm structs into Iulia namespace. | ||||
| * | | | | | Fix namespace ambiguity. | chriseth | 2017-12-01 | 2 | -2/+3 |
| | | | | | | |||||
| * | | | | | Include missing forward declarations in AsmDataForward | Alex Beregszaszi | 2017-11-30 | 1 | -0/+3 |
| | | | | | | |||||
| * | | | | | Introduce InlineAsm structs into Julia namespace. | chriseth | 2017-11-30 | 2 | -21/+74 |
| | |/ / / | |/| | | | |||||
* | | | | | Merge pull request #3267 from ethereum/docker_manual | chriseth | 2017-12-01 | 1 | -0/+49 |
|\ \ \ \ \ | | | | | | | | | | | | | Manual deploy to docker. | ||||
| * | | | | | Manual deploy to docker. | chriseth | 2017-12-01 | 1 | -0/+49 |
| | |/ / / | |/| | | | |||||
* | | | | | Merge pull request #3266 from ethereum/release | chriseth | 2017-12-01 | 0 | -0/+0 |
|\ \ \ \ \ | | | | | | | | | | | | | Merge release back into develop. | ||||
| * | | | | | Merge pull request #3261 from ethereum/develop | chriseth | 2017-11-30 | 99 | -666/+4500 |
| |\| | | | | | | | | | | | | | | | | Merge develop into release for 0.4.19 | ||||
* | | | | | | Merge pull request #3264 from ethereum/increment_version | chriseth | 2017-12-01 | 2 | -1/+7 |
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | Increment version to 0.4.20. | ||||
| * | | | | | Increment version to 0.4.20. | chriseth | 2017-12-01 | 2 | -1/+7 |
|/ / / / / | |||||
* | | | | | Merge pull request #3263 from ethereum/always_store_bytecode | chriseth | 2017-11-30 | 1 | -2/+0 |
|\ \ \ \ \ | | | | | | | | | | | | | Store bytecode in any case. | ||||
| * | | | | | Store bytecode in any case. | chriseth | 2017-11-30 | 1 | -2/+0 |
|/ / / / / | |||||
* | | | | | Merge pull request #3260 from ethereum/version | chriseth | 2017-11-30 | 2 | -4/+8 |
|\ \ \ \ \ | |_|/ / / |/| | | | | Preparation for 0.4.19 release. | ||||
| * | | | | Preparation for 0.4.19 release. | chriseth | 2017-11-30 | 2 | -4/+8 |
|/ / / / | |||||
* | | | | Merge pull request #2146 from ethereum/jsonio-target-selection | Alex Beregszaszi | 2017-11-30 | 5 | -21/+112 |
|\ \ \ \ | | | | | | | | | | | Support target artifact selection in JSON I/O | ||||
| * | | | | 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 |
| | | | | | |||||
| * | | | | Update standard json documentation | Alex Beregszaszi | 2017-11-30 | 1 | -1/+1 |
| | | | | | |||||
| * | | | | Add workaround for bytecode/deployedBytecode selection | Alex Beregszaszi | 2017-11-30 | 1 | -2/+20 |
| | | | | | |||||
| * | | | | Request all outputs in JSONCompiler | Alex Beregszaszi | 2017-11-30 | 1 | -0/+5 |
| | | | | | |||||
| * | | | | Specify output selection in tests | Alex Beregszaszi | 2017-11-30 | 1 | -0/+8 |
| | | | | | |||||
| * | | | | Limit output according to the selected targets in StandardCompiler | Alex Beregszaszi | 2017-11-30 | 2 | -20/+33 |
| | | | | | |||||
| * | | | | Add target selection helpers to StandardCompiler | Alex Beregszaszi | 2017-11-30 | 1 | -0/+56 |
|/ / / / | |||||
* | | | | Merge pull request #2863 from ethereum/structDecoder | Alex Beregszaszi | 2017-11-30 | 11 | -38/+1399 |
|\ \ \ \ | | | | | | | | | | | ABI decoder | ||||
| * | | | | Also test short input for old decoder. | chriseth | 2017-11-30 | 1 | -5/+9 |
| | | | | | |||||
| * | | | | Cleanup and overflow checks for data pointers. | chriseth | 2017-11-30 | 5 | -24/+48 |
| | | | | | |||||
| * | | | | Decoder tests. | chriseth | 2017-11-30 | 5 | -34/+866 |
| | | | | | |||||
| * | | | | ABI decoder. | chriseth | 2017-11-30 | 7 | -4/+505 |
| | |_|/ | |/| | | |||||
* | | | | Merge pull request #3259 from wbt/patch-1 | Alex Beregszaszi | 2017-11-30 | 1 | -1/+1 |
|\ \ \ \ | |/ / / |/| | | | Minor update in contracts | ||||
| * | | | Minor update in contracts | wbt | 2017-11-30 | 1 | -1/+1 |
|/ / / | | | | | | | Fix typos and prevent example code from needing horizontal scroll bar | ||||
* | | | Merge pull request #3248 from ethereum/ignorePrerelease | Alex Beregszaszi | 2017-11-30 | 1 | -1/+49 |
|\ \ \ | | | | | | | | | Patch truffle to ignore pre-release compiler warning. | ||||
| * | | | Patch truffle to ignore pre-release compiler warning. | chriseth | 2017-11-28 | 1 | -1/+49 |
|/ / / | |||||
* | | | Merge pull request #3220 from ethereum/IuliaIf | chriseth | 2017-11-27 | 19 | -11/+163 |
|\ \ \ | | | | | | | | | If statement for Iulia / Inline Assembly |