aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* [SMTChecker] Keep track of current path conditionsLeonardo Alt2017-12-143-8/+41
|
* Merge pull request #3295 from mcdee/developchriseth2017-12-1313-246/+287
|\ | | | | Remove warnings in examples
| * Fixes for failing testsJim McDonald2017-12-134-8/+8
| |
| * Fix Solidity warningsJim McDonald2017-12-1313-250/+291
|/
* Merge pull request #3311 from ethereum/changelogchriseth2017-12-121-1/+2
|\ | | | | Update changelog for some 0.4.20 changes
| * Update changelog for some 0.4.20 changesAlex Beregszaszi2017-12-121-1/+2
|/
* Merge pull request #3310 from ethereum/limitDeclYoichi Hirai2017-12-122-14/+17
|\ | | | | Limit number of secondary source locations.
| * Limit number of secondary source locations.chriseth2017-12-122-14/+17
| |
* | Merge pull request #3183 from federicobond/fix-event-parsingYoichi Hirai2017-12-124-12/+19
|\ \ | | | | | | Fix event parsing. Refs #3175
| * | Fix event parsing. Refs #3175Federico Bond2017-11-234-12/+19
| | |
* | | Merge pull request #3218 from ↵chriseth2017-12-121-7/+94
|\ \ \ | | | | | | | | | | | | | | | | elenadimitrova/documentation/2176-overload-resolution Document function overloading
| * | | Document function overloads and resolutionelenadimitrova2017-12-121-7/+94
| | | |
* | | | Merge pull request #3290 from ethereum/moveAppendchriseth2017-12-121-0/+17
|\ \ \ \ | |/ / / |/| | | Move-append for vector.
| * | | Move-append for vector.chriseth2017-12-111-0/+17
| | | |
* | | | Merge pull request #3197 from medvedev1088/fix-security-considerations-exampleAlex Beregszaszi2017-12-121-3/+20
|\ \ \ \ | | | | | | | | | | Add another example with call to demonstrate Re-Entrancy
| * | | | Correct that ether transfers _can_ always include code execution in ↵Alex Beregszaszi2017-12-121-2/+2
| | | | | | | | | | | | | | | | | | | | re-entrancy example
| * | | | Add another contract with call to demonstrate re-entrancy vulnerability.Evgeny Medvedev2017-12-121-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-classAlex Beregszaszi2017-12-121-1/+20
|\ \ \ \ \ | | | | | | | | | | | | Document JSON I/O error classes
| * | | | | Document JSON I/O error classesZhen Zhang2017-12-121-1/+20
| |/ / / /
* | | | | Merge pull request #3010 from ethereum/libsolcAlex Beregszaszi2017-12-1211-18/+20
|\ \ \ \ \ | |/ / / / |/| | | | Rename jsonCompiler to libsolc
| * | | | Rename jsonCompiler to libsolcAlex Beregszaszi2017-12-1111-18/+20
| | | | |
* | | | | Merge pull request #3302 from ethereum/optimiserDescriptionAlex Beregszaszi2017-12-121-0/+61
|\ \ \ \ \ | |_|_|_|/ |/| | | | Description of the optimiser and stages.
| * | | | Description of the optimiser and stages.chriseth2017-12-111-0/+61
|/ / / /
* | | | Merge pull request #3228 from ethereum/docs-tests-structchriseth2017-12-111-0/+4
|\ \ \ \ | |/ / / |/| | | Enable struct abi example with experimental pragma
| * | | Enable struct abi example with experimental pragmaAlex Beregszaszi2017-12-021-0/+4
| | | |
* | | | Merge pull request #3281 from GNSPS/developchriseth2017-12-111-25/+0
|\ \ \ \ | | | | | | | | | | Removed manual adjustment of stack of the docs
| * | | | Removed manual adjustment of stack of the docsGonçalo Sá2017-12-051-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-1chriseth2017-12-111-0/+6
|\ \ \ \ \ | | | | | | | | | | | | Update style-guide.rst to include enum style
| * | | | | Update style-guide.rst to include enum styleKamuela Franco2017-12-091-0/+6
| | | | | |
* | | | | | Merge pull request #3272 from ethereum/suggest-structschriseth2017-12-115-0/+21
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Suggest the experimental ABI encoder if using structs as function parameters
| * | | | | Move some struct tests to require ABIEncoderV2Alex Beregszaszi2017-12-113-0/+8
| | | | | |
| * | | | | Fix struct encoding warning for libraries.chriseth2017-12-111-0/+1
| | | | | |
| * | | | | Suggest the experimental ABI encoder if using structs as function parametersAlex Beregszaszi2017-12-112-0/+12
|/ / / / /
* | | | | Merge pull request #3268 from eepstein/patch-2Yoichi Hirai2017-12-081-0/+2
|\ \ \ \ \ | |_|_|/ / |/| | | | link to wiki for additional info on napspec
| * | | | link to wiki for additional info on napspecEzra Epstein2017-12-021-0/+2
| | |/ / | |/| |
* | | | Merge pull request #3283 from ethereum/jump-warningchriseth2017-12-073-5/+8
|\ \ \ \ | | | | | | | | | | Improve the jump warning
| * | | | Fix warning test for jumps in assemblyAlex Beregszaszi2017-12-061-2/+2
| | | | |
| * | | | Suggest the "if" statement too instead of jumpsAlex Beregszaszi2017-12-061-1/+1
| | | | |
| * | | | Warn for assembly labels tooAlex Beregszaszi2017-12-063-2/+5
| | | | |
* | | | | Merge pull request #3288 from kayuri/SOL3277--Properly-handle-release-tagchriseth2017-12-061-1/+6
|\ \ \ \ \ | | | | | | | | | | | | Handle git release tag properly
| * | | | | Review fixesYuriy Kashnikov2017-12-061-4/+5
| | | | | |
| * | | | | Handle git release tag properlyYuriy Kashnikov2017-12-061-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/substitutionYoichi Hirai2017-12-065-7/+102
|\ \ \ \ \ | |/ / / / |/| | | | Substitution
| * | | | substitutionchriseth2017-12-062-0/+90
| | | | |
| * | | | copierchriseth2017-12-061-1/+2
| | | | |
| * | | | Make the modifier more flexible.chriseth2017-12-062-6/+10
| | | | |
* | | | | Merge pull request #3285 from ethereum/julia-split-instructionAlex Beregszaszi2017-12-067-19/+27
|\ \ \ \ \ | |/ / / / |/| | | | Split Instruction and FunctionalInstruction in Julia
| * | | | Split Instruction and FunctionalInstruction in JuliaAlex Beregszaszi2017-12-057-19/+27
|/ / / /
* | | | Merge pull request #3278 from ethereum/ast_walkerAlex Beregszaszi2017-12-054-0/+345
|\ \ \ \ | | | | | | | | | | Ast walker
| * | | | Generic AST walker.chriseth2017-12-054-0/+345
|/ / / /
* | | | Merge pull request #3219 from ethereum/disambiguatorchriseth2017-12-059-1/+667
|\ \ \ \ | | | | | | | | | | Iulia disambiguator.
| * | | | Simplify disambiguator.chriseth2017-12-056-34/+19
| | | | |
| * | | | Refactor iulia tests.chriseth2017-12-053-79/+148
| | | | |
| * | | | Disambiguator.chriseth2017-12-055-0/+612
| | | | |
| * | | | Rename to ASTDataForward.hchriseth2017-12-042-1/+1
| | |/ / | |/| |
* | | | Merge pull request #3032 from ethereum/divisionchriseth2017-12-056-43/+260
|\ \ \ \ | |/ / / |/| | | Division and unary operators for SMT checker
| * | | Fix test.chriseth2017-12-041-4/+3
| | | |
| * | | Fix expression creation problems.chriseth2017-11-301-19/+30
| | | |
| * | | Another test for division.chriseth2017-11-301-0/+10
| | | |
| * | | Fix signed division.chriseth2017-11-302-2/+20
| | | |
| * | | Unary operators and division.chriseth2017-11-306-61/+240
| | | |
* | | | Merge pull request #3265 from ethereum/rename_args_to_paramschriseth2017-12-046-19/+19
|\ \ \ \ | |_|/ / |/| | | Rename arguments to parameters.
| * | | Rename arguments to paramaters and returns to returnVariables.chriseth2017-12-016-19/+19
| | | |
* | | | Merge pull request #3250 from ethereum/aliasesAlex Beregszaszi2017-12-025-23/+80
|\ \ \ \ | | | | | | | | | | Introduce InlineAsm structs into Iulia namespace.
| * | | | Fix namespace ambiguity.chriseth2017-12-012-2/+3
| | | | |
| * | | | Include missing forward declarations in AsmDataForwardAlex Beregszaszi2017-11-301-0/+3
| | | | |
| * | | | Introduce InlineAsm structs into Julia namespace.chriseth2017-11-302-21/+74
| | |/ / | |/| |
* | | | Merge pull request #3267 from ethereum/docker_manualchriseth2017-12-011-0/+49
|\ \ \ \ | | | | | | | | | | Manual deploy to docker.
| * | | | Manual deploy to docker.chriseth2017-12-011-0/+49
| | |/ / | |/| |
* | | | Merge pull request #3266 from ethereum/releasechriseth2017-12-010-0/+0
|\ \ \ \ | | | | | | | | | | Merge release back into develop.
| * | | | Merge pull request #3261 from ethereum/developchriseth2017-11-3099-666/+4500
| |\| | | | | | | | | | | | | Merge develop into release for 0.4.19
* | | | | Merge pull request #3264 from ethereum/increment_versionchriseth2017-12-012-1/+7
|\ \ \ \ \ | |_|/ / / |/| | | | Increment version to 0.4.20.
| * | | | Increment version to 0.4.20.chriseth2017-12-012-1/+7
|/ / / /
* | | | Merge pull request #3263 from ethereum/always_store_bytecodechriseth2017-11-301-2/+0
|\ \ \ \ | | | | | | | | | | Store bytecode in any case.
| * | | | Store bytecode in any case.chriseth2017-11-301-2/+0
|/ / / /
* | | | Merge pull request #3260 from ethereum/versionchriseth2017-11-302-4/+8
|\ \ \ \ | |_|/ / |/| | | Preparation for 0.4.19 release.
| * | | Preparation for 0.4.19 release.chriseth2017-11-302-4/+8
|/ / /
* | | Merge pull request #2146 from ethereum/jsonio-target-selectionAlex Beregszaszi2017-11-305-21/+112
|\ \ \ | | | | | | | | Support target artifact selection in JSON I/O
| * | | Simplify target selection codeAlex Beregszaszi2017-11-301-18/+9
| | | |
| * | | Rename target selection to use the word artifactAlex Beregszaszi2017-11-301-32/+32
| | | |
| * | | Update standard json documentationAlex Beregszaszi2017-11-301-1/+1
| | | |
| * | | Add workaround for bytecode/deployedBytecode selectionAlex Beregszaszi2017-11-301-2/+20
| | | |
| * | | Request all outputs in JSONCompilerAlex Beregszaszi2017-11-301-0/+5
| | | |
| * | | Specify output selection in testsAlex Beregszaszi2017-11-301-0/+8
| | | |
| * | | Limit output according to the selected targets in StandardCompilerAlex Beregszaszi2017-11-302-20/+33
| | | |
| * | | Add target selection helpers to StandardCompilerAlex Beregszaszi2017-11-301-0/+56
|/ / /
* | | Merge pull request #2863 from ethereum/structDecoderAlex Beregszaszi2017-11-3011-38/+1399
|\ \ \ | | | | | | | | ABI decoder
| * | | Also test short input for old decoder.chriseth2017-11-301-5/+9
| | | |
| * | | Cleanup and overflow checks for data pointers.chriseth2017-11-305-24/+48
| | | |
| * | | Decoder tests.chriseth2017-11-305-34/+866
| | | |
| * | | ABI decoder.chriseth2017-11-307-4/+505
| | | |
* | | | Merge pull request #3259 from wbt/patch-1Alex Beregszaszi2017-11-301-1/+1
|\ \ \ \ | |/ / / |/| | | Minor update in contracts
| * | | Minor update in contractswbt2017-11-301-1/+1
|/ / / | | | | | | Fix typos and prevent example code from needing horizontal scroll bar
* | | Merge pull request #3248 from ethereum/ignorePrereleaseAlex Beregszaszi2017-11-301-1/+49
|\ \ \ | | | | | | | | Patch truffle to ignore pre-release compiler warning.
| * | | Patch truffle to ignore pre-release compiler warning.chriseth2017-11-281-1/+49
|/ / /
* | | Merge pull request #3220 from ethereum/IuliaIfchriseth2017-11-2719-11/+163
|\ \ \ | | | | | | | | If statement for Iulia / Inline Assembly
| * | | Force condition to be bool in iulia mode.chriseth2017-11-242-5/+7
| | | |
| * | | Tests.chriseth2017-11-222-0/+29
| | | |
| * | | Add if statement to Julia specification.chriseth2017-11-221-2/+10
| | | |
| * | | Use if statement in abi functions.chriseth2017-11-221-3/+3
| | | |
| * | | If statement for Iulia / inline assembly.chriseth2017-11-2216-6/+119
| | | |
* | | | Merge pull request #3234 from ethereum/sortsForExpressionsAlex Beregszaszi2017-11-273-49/+42
|\ \ \ \ | | | | | | | | | | Introduce sorts for smt expressions.
| * | | | Explain IntIntFun and merge assertion.chriseth2017-11-241-3/+7
| | | | |
| * | | | Introduce sorts for smt expressions.chriseth2017-11-223-48/+37
| | | | |
* | | | | Merge pull request #3245 from ivanbakel/removeSolAssertAlex Beregszaszi2017-11-271-3/+1
|\ \ \ \ \ | | | | | | | | | | | | Remove use of solAssert in Jumpdest optimization
| * | | | | Replaced solAssert in Jumpdest optimizationIsaac van Bakel2017-11-261-3/+1
|/ / / / / | | | | | | | | | | | | | | | | | | | | | | | | | This is the only use of solAssert in libevmasm, and the only dependency on libsolidity. There is no justification for why the illegal state is checked here.
* | | | | Merge pull request #3242 from ethereum/chriseth-patch-1Alex Beregszaszi2017-11-241-4/+3
|\ \ \ \ \ | | | | | | | | | | | | Bugfix in blind auction
| * | | | | Bugfix in blind auctionchriseth2017-11-241-4/+3
|/ / / / /
* | | | | Merge pull request #3240 from ethereum/docs-lexerchriseth2017-11-242-5/+6
|\ \ \ \ \ | | | | | | | | | | | | Update SolidityLexer
| * | | | | Add exponential notation to numbers in SolidityLexerAlex Beregszaszi2017-11-231-2/+2
| | | | | |
| * | | | | Move reserved keywords from SolidityLexerAlex Beregszaszi2017-11-231-3/+3
| | | | | |
| * | | | | Add SolidityLexer.pyc to gitignoreAlex Beregszaszi2017-11-231-0/+1
|/ / / / /
* | | | | Merge pull request #3235 from ethereum/explicit-testsAlex Beregszaszi2017-11-231-4/+4
|\ \ \ \ \ | | | | | | | | | | | | Improve expected test errors for some old cases
| * | | | | Improve expected test errors for some old casesAlex Beregszaszi2017-11-221-4/+4
| | |/ / / | |/| | |
* | | | | Merge pull request #3233 from kseo/check-successAlex Beregszaszi2017-11-221-13/+13
|\ \ \ \ \ | |/ / / / |/| | | | success(text) -> CHECK_SUCCESS(text)
| * | | | success(text) -> CHECK_SUCCESS(text)Kwang Yul Seo2017-11-221-13/+13
|/ / / / | | | | | | | | | | | | success(text) does not assert the result. Use CHECK_SUCCESS macro.
* | | | Merge pull request #3195 from ethereum/chriseth-patch-1Alex Beregszaszi2017-11-221-1/+2
|\ \ \ \ | |/ / / |/| | | Tone down similarity to JavaScript.
| * | | Tone down similarity to JavaScript.chriseth2017-11-161-1/+2
| | | |
* | | | Merge pull request #3231 from ethereum/chriseth-patch-2Alex Beregszaszi2017-11-221-5/+10
|\ \ \ \ | | | | | | | | | | More explanation about the packed encoding.
| * | | | More explanation about the packed encoding.chriseth2017-11-221-5/+10
|/ / / /
* | | | Merge pull request #3152 from ethereum/docs-testsAlex Beregszaszi2017-11-225-116/+108
|\ \ \ \ | | | | | | | | | | Ensure each code snippet in the docs can be extracted for tests
| * | | | had "names" when "parameters" was meantEzra Epstein2017-11-221-1/+1
| | | | |
| * | | | Ensure each code snippet in the docs can be extracted for testsAlex Beregszaszi2017-11-225-115/+107
|/ / / /
* | | | Merge pull request #2129 from ethereum/juliaAlex Beregszaszi2017-11-223-5/+562
|\ \ \ \ | | | | | | | | | | Initial Julia description
| * | | | avoid reassigning variablesSami Mäkelä2017-11-221-2/+2
| | | | |
| * | | | added Switch specificationSami Mäkelä2017-11-221-0/+13
| | | | |
| * | | | Small fixeschriseth2017-11-221-5/+5
| | | | | | | | | | | | | | | suggested by @mrsmkl
| * | | | Some clarifications.chriseth2017-11-221-67/+87
| | | | |
| * | | | Typos and clarifications.chriseth2017-11-221-4/+5
| | | | |
| * | | | Include JULIA section in the TOC.chriseth2017-11-221-0/+1
| | | | |
| * | | | Add true/false literalsAlex Beregszaszi2017-11-221-1/+3
| | | | |
| * | | | Remove from examplesAlex Beregszaszi2017-11-221-3/+3
| | | | |
| * | | | Switch cases do not require colonAlex Beregszaszi2017-11-221-2/+2
| | | | |
| * | | | Require at least one case in switchchriseth2017-11-221-1/+1
| | | | |
| * | | | Restriction of switchAlex Beregszaszi2017-11-221-1/+6
| | | | |
| * | | | Include section for Julia objectsAlex Beregszaszi2017-11-221-0/+68
| | | | |
| * | | | Include type names in grammarAlex Beregszaszi2017-11-221-2/+4
| | | | |
| * | | | Remove subassemblyAlex Beregszaszi2017-11-221-4/+1
| | | | |
| * | | | Support types in grammarAlex Beregszaszi2017-11-221-6/+6
| | | | |
| * | | | Clarify literalsAlex Beregszaszi2017-11-221-1/+1
| | | | |
| * | | | Do not require parentheses on function return valuesAlex Beregszaszi2017-11-221-7/+7
| | | | |
| * | | | More specification.chriseth2017-11-221-28/+80
| | | | |
| * | | | Improve semantics description.chriseth2017-11-221-19/+18
| | | | |
| * | | | Include split/combine256Alex Beregszaszi2017-11-221-0/+6
| | | | |
| * | | | Use signed/unsigned types in low-level functionsAlex Beregszaszi2017-11-221-71/+73
| | | | |
| * | | | Include implicit type conversionsAlex Beregszaszi2017-11-221-0/+13
| | | | |
| * | | | Document backendsAlex Beregszaszi2017-11-221-0/+21
| | | | |
| * | | | Case is missing from switch statementsAlex Beregszaszi2017-11-221-3/+3
| | | | |
| * | | | Add types to the examplesAlex Beregszaszi2017-11-221-9/+9
| | | | |
| * | | | Define types in JuliaAlex Beregszaszi2017-11-221-0/+4
| | | | |
| * | | | Describe built-in Julia functionsAlex Beregszaszi2017-11-221-1/+163
| | | | |
| * | | | Move Julia documentation to its own fileAlex Beregszaszi2017-11-222-191/+196
| | | | |
| * | | | First take in formal specification.chriseth2017-11-221-13/+94
| | | | |
| * | | | Describe Julia.chriseth2017-11-221-11/+114
| | | | |
* | | | | Merge pull request #2993 from ethereum/trackVariablesAlex Beregszaszi2017-11-227-119/+771
|\ \ \ \ \ | |/ / / / |/| | | | SMT checker for various things
| * | | | Fix problem with non-value-typed variables.chriseth2017-11-222-14/+16
| | | | |
| * | | | For loop.chriseth2017-11-223-0/+110
| | | | |
| * | | | Test for multi-branches.chriseth2017-11-221-0/+18
| | | | |
| * | | | Fix boolean constants.chriseth2017-11-222-14/+16
| | | | |
| * | | | Tests.chriseth2017-11-221-0/+31
| | | | |
| * | | | Check for conditions being constant.chriseth2017-11-224-27/+102
| | | | |
| * | | | Tests.chriseth2017-11-222-5/+240
| | | | |
| * | | | Track usage of variables.chriseth2017-11-224-70/+215
| | | | |
| * | | | Handle branches.chriseth2017-11-222-54/+88
|/ / / /
* | | | Merge pull request #3142 from Balajiganapathi/allow_constant_array_lengthAlex Beregszaszi2017-11-225-3/+193
|\ \ \ \ | | | | | | | | | | Allow constant integer variables as array lengths.
| * | | | Improve cyclic constant error messageAlex Beregszaszi2017-11-222-3/+3
| | | | |
| * | | | Detect cyclic constant definitionsBalajiganapathi S2017-11-223-9/+44
| | | | |
| * | | | Add more tests for constant var as array lengthsBalajiganapathi S2017-11-221-1/+96
| | | | |
| * | | | Allow constant integer variables as array lengths.Balajiganapathi S2017-11-225-1/+61
| | | | |
* | | | | Merge pull request #3204 from frangio/grammar-incomplete-tuplesAlex Beregszaszi2017-11-221-2/+2
|\ \ \ \ \ | |/ / / / |/| | | | Make tuple components optional in documented grammar
| * | | | Make tuple components optional in documented grammarFrancisco Giordano2017-11-151-2/+2
| | | | |
* | | | | Link to translations. (#3212)chriseth2017-11-211-2/+9
| | | | |
* | | | | Merge pull request #3031 from wadeAlexC/developAlex Beregszaszi2017-11-179-17/+92
|\ \ \ \ \ | | | | | | | | | | | | Improves checksum error message
| * | | | | Add tests for getChecksummedAddressAlex Beregszaszi2017-11-171-0/+34
| | | | | |
| * | | | | Extend address checksum testsAlex Beregszaszi2017-11-171-4/+17
| | | | | |
| * | | | | Show checksummed address always (prepend with 0)Alex Beregszaszi2017-11-171-2/+5
| | | | | |
| * | | | | Do not try to display checksummed address for too-short/long address literalsAlex Beregszaszi2017-11-173-3/+5
| | | | | |
| * | | | | Ensure that non-hex characters are caught in address checksummingAlex Beregszaszi2017-11-172-2/+7
| | | | | |
| * | | | | Improves address literal checksum error messagewadeAlexC2017-11-176-14/+32
|/ / / / /
* | | | | Merge pull request #3213 from chuacw/patch-1Alex Beregszaszi2017-11-171-1/+1
|\ \ \ \ \ | |_|/ / / |/| | | | Change phrase in type deduction
| * | | | Change phrase in type deductionChua Chee Wee2017-11-161-1/+1
|/ / / / | | | | | | | | updated phrase in type deduction from "any value of this type" to "the highest value of this type"
* | | | Merge pull request #3173 from federicobond/improve-number-grammarAlex Beregszaszi2017-11-161-3/+3
|\ \ \ \ | | | | | | | | | | Improve rule for decimal numbers in grammar.txt
| * | | | Improve rule for decimal numbers in grammar.txtFederico Bond2017-11-161-3/+3
| | | | |
* | | | | Merge pull request #3209 from ethereum/unimplemented-msgschriseth2017-11-162-3/+3
|\ \ \ \ \ | | | | | | | | | | | | Add explanation to unimplemented assertions
| * | | | | Add explanation to unimplemented assertionsAlex Beregszaszi2017-11-162-3/+3
| | | | | |
* | | | | | Merge pull request #3194 from kseo/print-using-forAlex Beregszaszi2017-11-162-0/+14
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Print using for directive in ASTPrinter
| * | | | | Print using for directive in ASTPrinterKwang Yul Seo2017-11-162-0/+14
| | | | | |
* | | | | | Merge pull request #3207 from ethereum/chriseth-patch-2Alex Beregszaszi2017-11-161-5/+0
|\ \ \ \ \ \ | | | | | | | | | | | | | | Remove obsolote statement about msg.sender and library calls.
| * | | | | | Remove obsolote statement about msg.sender and library calls.chriseth2017-11-161-5/+0
| | | | | | |
* | | | | | | Merge pull request #3206 from kseo/outdated-commentAlex Beregszaszi2017-11-164-4/+4
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | Update outdated comments
| * | | | | | Update outdated commentsKwang Yul Seo2017-11-154-4/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | _errors -> _errorReporter.
* | | | | | | Merge pull request #3189 from kseo/unusedAlex Beregszaszi2017-11-161-4/+0
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | Remove unused method
| * | | | | | Remove unused methodKwang Yul Seo2017-11-121-4/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | The body of Function::functionIdentifier is missing and is not used.
* | | | | | | Merge pull request #3205 from ethereum/LianaHus-patch-1-docschriseth2017-11-151-2/+2
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | Update index.rst
| * | | | | | Update index.rstLiana Husikyan2017-11-151-2/+2
|/ / / / / / | | | | | | | | | | | | Some minor text editing.
* | | | | | Merge pull request #3201 from kseo/typochriseth2017-11-151-1/+1
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | Fix a typo
| * | | | | Fix a typoKwang Yul Seo2017-11-141-1/+1
|/ / / / / | | | | | | | | | | | | | | | | | | | | A semicolon was mistakenly inserted where a string concatenation operator was meant.
* | | | | Merge pull request #3191 from kseo/redundant-checkchriseth2017-11-131-1/+1
|\ \ \ \ \ | |/ / / / |/| | | | Remove a redundant check
| * | | | Remove a redundant checkKwang Yul Seo2017-11-131-1/+1
|/ / / / | | | | | | | | | | | | m_type can't be FunctionType::Kind::DelegateCall.
* | | | Merge pull request #3188 from guanqun/fix-deps-scriptAlex Beregszaszi2017-11-111-1/+6
|\ \ \ \ | |_|_|/ |/| | | Update the script for Ubuntu Artful 17.10
| * | | Update the script for Ubuntu Artful 17.10Guanqun Lu2017-11-111-1/+6
|/ / /
* | | Merge pull request #3155 from chuacw/patch-1Alex Beregszaszi2017-10-301-1/+1
|\ \ \ | | | | | | | | Changed limitation to feature
| * | | Changed limitation to featureChua Chee Wee2017-10-301-1/+1
|/ / / | | | | | | Changed the word "limitation" to "feature" for the note where transfer is described.
* | | Merge pull request #3150 from walter-weinmann/developAlex Beregszaszi2017-10-291-6/+6
|\ \ \ | | | | | | | | abi-spec: example code doesn't fit grammar.txt.
| * | | abi-spec: example code doesn't fit grammar.txt.walter-weinmann2017-10-291-6/+6
|/ / /
* | | Fixed typos (#3139)Christian Pamidov2017-10-281-2/+2
| | |
* | | Merge pull request #3133 from federicobond/add-missing-testschriseth2017-10-271-0/+29
|\ \ \ | |/ / |/| | Add missing name resolver tests
| * | Add missing name resolver testsFederico Bond2017-10-271-0/+29
| | |
* | | Merge pull request #3130 from nakov/patch-1chriseth2017-10-261-16/+18
|\ \ \ | |/ / |/| | Improved the "Naming" section
| * | Fixed typosSvetlin Nakov2017-10-261-4/+4
| | |
| * | Improved the "Naming" sectionSvetlin Nakov2017-10-251-16/+18
|/ / | | | | Improved the "Naming" section. Added naming examples. Improved consistency.
* | Merge pull request #2607 from federicobond/better-error-outputAlex Beregszaszi2017-10-241-16/+30
|\ \ | | | | | | cmdlineTests: print solc output instead of contract code on error
| * | Improve cmdline error outputFederico Bond2017-10-061-14/+24
| | |
| * | Use local variables inside bash functionsFederico Bond2017-10-061-6/+10
| | |
| * | cmdlineTests: print solc output instead of contract code on errorFederico Bond2017-10-061-4/+4
| | |
* | | Include modexp precompile in genesis for testing (#3114)Boris Kostenko2017-10-241-3/+4
| | |
* | | Merge pull request #3126 from limexp/fix/2300-skip-bytecodecomparechriseth2017-10-241-0/+2
|\ \ \ | | | | | | | | Fix PR #3113. No bytecodecompare if tests failed
| * | | Fix folder changesBoris Kostenko2017-10-241-0/+1
| | | |
| * | | No bytecodecompare if tests failed (issue #2300) Boris Kostenko2017-10-241-0/+1
|/ / / | | | | | | Fix PR #3113
* | | Merge pull request #3117 from ethereum/wallet-testAlex Beregszaszi2017-10-241-19/+21
|\ \ \ | | | | | | | | Do not use the precompile address 0x05 in the wallet tests
| * | | Do not use the precompile address 0x05 in the wallet tests (but a randomized ↵Alex Beregszaszi2017-10-241-19/+21
|/ / / | | | | | | | | | address)
* | | Merge pull request #3113 from limexp/fix/2300-skip-bytecodecomparechriseth2017-10-232-5/+6
|\ \ \ | | | | | | | | No bytecodecompare if tests failed (issue #2300)
| * | | No bytecodecompare if tests failed (issue #2300)Boris Kostenko2017-10-201-2/+2
| | | |
| * | | No bytecodecompare if tests failed (issue #2300)Boris Kostenko2017-10-201-2/+4
| | | |
| * | | No bytecodecompare if tests failed (issue #2300)Boris Kostenko2017-10-202-7/+6
| | | |
* | | | Merge pull request #3092 from rivenhk/b_2885chriseth2017-10-232-0/+16
|\ \ \ \ | | | | | | | | | | added formatting when source snippets is too long
| * | | | updated Changelog.mdrivenhk2017-10-221-0/+1
| | | | |
| * | | | updated formatting when source snippets is too longrivenhk2017-10-191-3/+3
| | | | |
| * | | | updating formatting when source snippets is too longrivenhk2017-10-181-5/+5
| | | | |
| * | | | added formatting when source snippets is too longrivenhk2017-10-181-0/+15
| | | | |
* | | | | Merge pull request #3053 from wjmelements/nit-exampleschriseth2017-10-211-8/+4
|\ \ \ \ \ | | | | | | | | | | | | Replace biddingTime with auctionEnd in auction example
| * | | | | also rm biddingTimeWilliam Morriss2017-10-091-3/+1
| | | | | |
| * | | | | remove auctionStartWilliam Morriss2017-10-091-6/+4
| | | | | |
* | | | | | Merge pull request #3119 from ethereum/rpc-accountchriseth2017-10-202-8/+12
|\ \ \ \ \ \ | | | | | | | | | | | | | | Fix RPC account creation with gaps
| * | | | | | Always create the correct account even if gaps are neededAlex Beregszaszi2017-10-201-1/+1
| | | | | | |
| * | | | | | Add helper RPCSession::createAccountAlex Beregszaszi2017-10-202-7/+11
| | | | | | |
* | | | | | | Merge pull request #3030 from ethereum/smt-variable-typeschriseth2017-10-202-1/+16
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | SMT enforce variable types
| * | | | | | SMT enforce variable typesAlex Beregszaszi2017-10-052-1/+16
| | | | | | |
* | | | | | | Merge pull request #3107 from ethereum/constexpr-detailedAlex Beregszaszi2017-10-203-3/+27
|\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | | More detailed errors for invalid array lengths (such as division by zero)
| * | | | | | More detailed errors for invalid array lengths (such as division by zero).Alex Beregszaszi2017-10-203-3/+27
|/ / / / / /
* | | | | | Merge pull request #3101 from ethereum/compilerstack-headerchriseth2017-10-198-41/+56
|\ \ \ \ \ \ | | | | | | | | | | | | | | Remove the reliance on empty contract name equals "last contract" in CompilerStack
| * | | | | | Simplify contract lookup in CompileStackAlex Beregszaszi2017-10-191-5/+10
| | | | | | |
| * | | | | | Implement CompilerStack.lastContractName()Alex Beregszaszi2017-10-197-21/+30
| | | | | | |
| * | | | | | Always require a contract/sourceName in CompilerStackAlex Beregszaszi2017-10-194-23/+24
| | | | | | |
* | | | | | | Merge pull request #3098 from ethereum/cli-cleanupchriseth2017-10-194-40/+44
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | Cleanup some file/io reader in devcore
| * | | | | | | Add readStandardInput helperAlex Beregszaszi2017-10-184-23/+20
| | | | | | | |
| * | | | | | | Rename contentsString to readFileAsStringAlex Beregszaszi2017-10-184-10/+10
| | | | | | | |
| * | | | | | | Indentation fixes in lllcAlex Beregszaszi2017-10-181-7/+14
| | | | | | | |
* | | | | | | | Merge pull request #3111 from ethereum/test-close-failurechriseth2017-10-191-0/+3
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | Close IPC socket on connect failure
| * | | | | | | | Close IPC socket on connect failureAlex Beregszaszi2017-10-191-0/+3
| | |/ / / / / / | |/| | | | | |