aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Make the modifier more flexible.chriseth2017-12-062-6/+10
* Merge pull request #3278 from ethereum/ast_walkerAlex Beregszaszi2017-12-054-0/+345
|\
| * Generic AST walker.chriseth2017-12-054-0/+345
|/
* Merge pull request #3219 from ethereum/disambiguatorchriseth2017-12-059-1/+667
|\
| * 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
|\ \ | |/ |/|
| * 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 paramaters and returns to returnVariables.chriseth2017-12-016-19/+19
* | | Merge pull request #3250 from ethereum/aliasesAlex Beregszaszi2017-12-025-23/+80
|\ \ \
| * | | 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.chriseth2017-12-011-0/+49
| | |/ | |/|
* | | Merge pull request #3266 from ethereum/releasechriseth2017-12-010-0/+0
|\ \ \
| * | | Merge pull request #3261 from ethereum/developchriseth2017-11-3099-666/+4500
| |\| |
* | | | Merge pull request #3264 from ethereum/increment_versionchriseth2017-12-012-1/+7
|\ \ \ \ | |_|/ / |/| | |
| * | | 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.chriseth2017-11-301-2/+0
|/ / /
* | | Merge pull request #3260 from ethereum/versionchriseth2017-11-302-4/+8
|\ \ \ | |_|/ |/| |
| * | 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
|\ \
| * | 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
|\ \
| * | 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 contractswbt2017-11-301-1/+1
|/ /
* | Merge pull request #3248 from ethereum/ignorePrereleaseAlex Beregszaszi2017-11-301-1/+49
|\ \
| * | Patch truffle to ignore pre-release compiler warning.chriseth2017-11-281-1/+49
|/ /
* | Merge pull request #3220 from ethereum/IuliaIfchriseth2017-11-2719-11/+163
|\ \
| * | 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
|\ \ \
| * | | 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
|\ \ \ \
| * | | | Replaced solAssert in Jumpdest optimizationIsaac van Bakel2017-11-261-3/+1
|/ / / /
* | | | Merge pull request #3242 from ethereum/chriseth-patch-1Alex Beregszaszi2017-11-241-4/+3
|\ \ \ \
| * | | | Bugfix in blind auctionchriseth2017-11-241-4/+3
|/ / / /
* | | | Merge pull request #3240 from ethereum/docs-lexerchriseth2017-11-242-5/+6
|\ \ \ \
| * | | | 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 casesAlex Beregszaszi2017-11-221-4/+4
| | |/ / | |/| |
* | | | Merge pull request #3233 from kseo/check-successAlex Beregszaszi2017-11-221-13/+13
|\ \ \ \ | |/ / / |/| | |
| * | | success(text) -> CHECK_SUCCESS(text)Kwang Yul Seo2017-11-221-13/+13
|/ / /
* | | Merge pull request #3195 from ethereum/chriseth-patch-1Alex Beregszaszi2017-11-221-1/+2
|\ \ \ | |/ / |/| |
| * | 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.chriseth2017-11-221-5/+10
|/ / /
* | | Merge pull request #3152 from ethereum/docs-testsAlex Beregszaszi2017-11-225-116/+108
|\ \ \
| * | | 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
|\ \ \
| * | | 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
| * | | 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
|\ \ \ \ | |/ / / |/| | |
| * | | 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
|\ \ \
| * | | 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 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
|\ \ \ \
| * | | | 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 deductionChua Chee Wee2017-11-161-1/+1
|/ / /
* | | Merge pull request #3173 from federicobond/improve-number-grammarAlex Beregszaszi2017-11-161-3/+3
|\ \ \
| * | | 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 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 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.chriseth2017-11-161-5/+0
* | | | | | Merge pull request #3206 from kseo/outdated-commentAlex Beregszaszi2017-11-164-4/+4
|\ \ \ \ \ \ | |_|/ / / / |/| | | | |
| * | | | | Update outdated commentsKwang Yul Seo2017-11-154-4/+4
* | | | | | Merge pull request #3189 from kseo/unusedAlex Beregszaszi2017-11-161-4/+0
|\ \ \ \ \ \ | |_|/ / / / |/| | | | |
| * | | | | Remove unused methodKwang Yul Seo2017-11-121-4/+0
* | | | | | Merge pull request #3205 from ethereum/LianaHus-patch-1-docschriseth2017-11-151-2/+2
|\ \ \ \ \ \ | |_|/ / / / |/| | | | |
| * | | | | Update index.rstLiana Husikyan2017-11-151-2/+2
|/ / / / /
* | | | | Merge pull request #3201 from kseo/typochriseth2017-11-151-1/+1
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | Fix a typoKwang Yul Seo2017-11-141-1/+1
|/ / / /
* | | | Merge pull request #3191 from kseo/redundant-checkchriseth2017-11-131-1/+1
|\ \ \ \ | |/ / / |/| | |
| * | | Remove a redundant checkKwang Yul Seo2017-11-131-1/+1
|/ / /
* | | Merge pull request #3188 from guanqun/fix-deps-scriptAlex Beregszaszi2017-11-111-1/+6
|\ \ \
| * | | 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 featureChua Chee Wee2017-10-301-1/+1
|/ / /
* | | Merge pull request #3150 from walter-weinmann/developAlex Beregszaszi2017-10-291-6/+6
|\ \ \
| * | | 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 testsFederico Bond2017-10-271-0/+29
* | | Merge pull request #3130 from nakov/patch-1chriseth2017-10-261-16/+18
|\ \ \ | |/ / |/| |
| * | Fixed typosSvetlin Nakov2017-10-261-4/+4
| * | Improved the "Naming" sectionSvetlin Nakov2017-10-251-16/+18
|/ /
* | Merge pull request #2607 from federicobond/better-error-outputAlex Beregszaszi2017-10-241-16/+30
|\ \
| * | 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 folder changesBoris Kostenko2017-10-241-0/+1
| * | | No bytecodecompare if tests failed (issue #2300) Boris Kostenko2017-10-241-0/+1
|/ / /
* | | Merge pull request #3117 from ethereum/wallet-testAlex Beregszaszi2017-10-241-19/+21
|\ \ \
| * | | Do not use the precompile address 0x05 in the wallet tests (but a randomized ...Alex Beregszaszi2017-10-241-19/+21
|/ / /
* | | Merge pull request #3113 from limexp/fix/2300-skip-bytecodecomparechriseth2017-10-232-5/+6
|\ \ \
| * | | 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
|\ \ \ \
| * | | | 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
|\ \ \ \ \
| * | | | | 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
|\ \ \ \ \ \
| * | | | | | 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 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).Alex Beregszaszi2017-10-203-3/+27
|/ / / / / /
* | | | | | Merge pull request #3101 from ethereum/compilerstack-headerchriseth2017-10-198-41/+56
|\ \ \ \ \ \
| * | | | | | 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
|\ \ \ \ \ \ \
| * | | | | | | 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 failureAlex Beregszaszi2017-10-191-0/+3
| | |/ / / / / / | |/| | | | | |
* | | | | | | | Merge pull request #3106 from ethereum/test-cleanupchriseth2017-10-193-67/+101
|\ \ \ \ \ \ \ \
| * | | | | | | | Move contract related code to test/contractsAlex Beregszaszi2017-10-193-67/+101
| |/ / / / / / /
* | | | | | | | Merge pull request #3104 from limexp/docs/3048-external-depschriseth2017-10-191-0/+2
|\ \ \ \ \ \ \ \
| * | | | | | | | Accent on ext.deps in install docs (issue #3048)Boris Kostenko2017-10-191-1/+2
| * | | | | | | | Accent on ext.deps in install docs (issue #3048)Boris Kostenko2017-10-191-0/+1
| |/ / / / / / /
* | | | | | | | Merge pull request #3108 from ethereum/remove-callcodechriseth2017-10-193-4/+23
|\ \ \ \ \ \ \ \
| * | | | | | | | Turn usage of callcode into an error as experimental 0.5.0 featureAlex Beregszaszi2017-10-193-4/+23
| |/ / / / / / /
* | | | | | | | Merge pull request #3105 from ethereum/z3-unused-varchriseth2017-10-191-1/+1
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | |
| * | | | | | | Remove unused variable in Z3Alex Beregszaszi2017-10-191-1/+1
|/ / / / / / /
* | | | | | | Merge pull request #3002 from jwasinger/lll-opcode-testAlex Beregszaszi2017-10-191-2/+513
|\ \ \ \ \ \ \
| * | | | | | | Add test for each assembly opcode/instruction in LLLJared Wasinger2017-10-181-2/+513
| |/ / / / / /
* | | | | | | Merge pull request #3100 from ethereum/incrementVersionchriseth2017-10-182-1/+7
|\ \ \ \ \ \ \
| * \ \ \ \ \ \ Merge release back into develop.chriseth2017-10-180-0/+0
| |\ \ \ \ \ \ \ | | | |_|_|_|_|/ | | |/| | | | |
| | * | | | | | Merge pull request #3099 from ethereum/developchriseth2017-10-1899-1432/+3258
| | |\ \ \ \ \ \ | |_|/ / / / / / |/| | | | | | |
| * | | | | | | Increment version to 0.4.19.chriseth2017-10-182-1/+7
|/ / / / / / /
* | | | | | | Merge pull request #3095 from ethereum/update_changelog_for_releasechriseth2017-10-182-7/+11
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | |
| * | | | | | Update changelog for 0.4.18 release.chriseth2017-10-182-7/+11
|/ / / / / /
* | | | | | Merge pull request #3070 from ethereum/lll-assemblyYoichi Hirai2017-10-182-17/+44
|\ \ \ \ \ \
| * | | | | | lll: disallow useless PUSHn in assemblyAlex Beregszaszi2017-10-132-17/+44
* | | | | | | Merge pull request #2925 from ethereum/tuple-value-checkchriseth2017-10-183-1/+55
|\ \ \ \ \ \ \
| * | | | | | | Only check tuples for valid rational numbers if they have more than one element.chriseth2017-10-182-2/+18
| * | | | | | | Validate each tuple literalAlex Beregszaszi2017-10-183-1/+39
* | | | | | | | Merge pull request #3090 from ethereum/noprepublishchriseth2017-10-181-0/+4
|\ \ \ \ \ \ \ \
| * | | | | | | | Use config explicitlychriseth2017-10-181-1/+1
| * | | | | | | | Disable prepublish script in test.chriseth2017-10-171-0/+4
* | | | | | | | | Merge pull request #3065 from ethereum/reject_truncated_selectorsYoichi Hirai2017-10-187-12/+76
|\ \ \ \ \ \ \ \ \
| * | | | | | | | | Bug list entry.chriseth2017-10-183-4/+50
| * | | | | | | | | Adjust tests.chriseth2017-10-181-1/+1
| * | | | | | | | | Do not accept truncated function selectors.chriseth2017-10-183-7/+25
|/ / / / / / / / /
* | | | | | | | | Merge pull request #3091 from ethereum/smt-cleanupAlex Beregszaszi2017-10-184-31/+40
|\ \ \ \ \ \ \ \ \ | |_|/ / / / / / / |/| | | | | | | |
| * | | | | | | | Catch exception in Z3.chriseth2017-10-181-18/+27
| * | | | | | | | Remove duplicate >= in Z3Alex Beregszaszi2017-10-181-2/+1
| * | | | | | | | Missing forward declaration.chriseth2017-10-181-0/+1
| * | | | | | | | Rename variables in SMT checker.chriseth2017-10-182-11/+11
| | |_|_|_|_|/ / | |/| | | | | |
* | | | | | | | Merge pull request #2994 from idrabenia/developchriseth2017-10-181-0/+3
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | |
| * | | | | | | Project moved.chriseth2017-10-181-1/+1
| * | | | | | | Add solhint to list of tools. Ilya Drabenia2017-09-291-0/+3
* | | | | | | | Merge pull request #3088 from ethereum/newffbinarychriseth2017-10-171-2/+3
|\ \ \ \ \ \ \ \
| * | | | | | | | Quiet wget.chriseth2017-10-171-1/+1
| * | | | | | | | Use new eth binary.chriseth2017-10-171-2/+3
| | |/ / / / / / | |/| | | | | |
* | | | | | | | Merge pull request #3067 from ethereum/correct_byte_array_allocationchriseth2017-10-173-2/+34
|\ \ \ \ \ \ \ \
| * | | | | | | | Allocate one byte per memory byte array element instead of 32.chriseth2017-10-173-2/+34
|/ / / / / / / /
* | | | | | | | Merge pull request #3077 from ethereum/optimze_popschriseth2017-10-174-2/+27
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | |
| * | | | | | | Throw on too many peephole optimizer iterations.chriseth2017-10-171-1/+4
| * | | | | | | Assume peephole optimizer was successful if number of pops increased.chriseth2017-10-144-3/+25
* | | | | | | | Merge pull request #3086 from ethereum/allow_gas_in_viewchriseth2017-10-173-3/+7
|\ \ \ \ \ \ \ \
| * | | | | | | | Allow ``gas`` in view functions.chriseth2017-10-163-3/+7
generated by cgit (git 2.34.1) at 2024-10-01 00:33:13 +0800