aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* ABI decoder.chriseth2017-11-307-4/+505
|
* 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
| | |/ / / / / | |/| | | | |
* | | | | | | Merge pull request #3106 from ethereum/test-cleanupchriseth2017-10-193-67/+101
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | Move contract related code to test/contracts
| * | | | | | | 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)
| * | | | | | | 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 feature
| * | | | | | | 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 Z3
| * | | | | | Remove unused variable in Z3Alex Beregszaszi2017-10-191-1/+1
|/ / / / / /
* | | | | | Merge pull request #3002 from jwasinger/lll-opcode-testAlex Beregszaszi2017-10-191-2/+513
|\ \ \ \ \ \ | | | | | | | | | | | | | | Test to make sure that LLLC is compiling all valid opcodes correctly
| * | | | | | 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
|\ \ \ \ \ \ | | | | | | | | | | | | | | Increment version and merge release into develop
| * \ \ \ \ \ Merge release back into develop.chriseth2017-10-180-0/+0
| |\ \ \ \ \ \
| | * \ \ \ \ \ Merge pull request #3099 from ethereum/developchriseth2017-10-1899-1432/+3258
| | |\ \ \ \ \ \ | |_|/ / / / / / |/| | | | | | | Merge develop into release for 0.4.18.
| * | | | | | | 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.
| * | | | | | 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 assembly
| * | | | | | lll: disallow useless PUSHn in assemblyAlex Beregszaszi2017-10-132-17/+44
| | | | | | |
* | | | | | | Merge pull request #2925 from ethereum/tuple-value-checkchriseth2017-10-183-1/+55
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | Validate each tuple literal
| * | | | | | | 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
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | Disable prepublish script in test.
| * | | | | | | | 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
|\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | Do not accept truncated function selectors.
| * | | | | | | | | 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
|\ \ \ \ \ \ \ \ \ | |_|/ / / / / / / |/| | | | | | | | Various cleanups to Z3
| * | | | | | | | Catch exception in Z3.chriseth2017-10-181-18/+27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Note: This exception might not be the result of resource limitation, it might also hint towards usage error.
| * | | | | | | | 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
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | | Add solhint to list of tools.
| * | | | | | | Project moved.chriseth2017-10-181-1/+1
| | | | | | | |
| * | | | | | | Add solhint to list of tools. Ilya Drabenia2017-09-291-0/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Hello! I develop linter that provide both security, style guide and best practices validations for Solidity users. I will be glad if it will be useful for this community!
* | | | | | | | Merge pull request #3088 from ethereum/newffbinarychriseth2017-10-171-2/+3
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | Use new eth binary.
| * | | | | | | | 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.
| * | | | | | | | 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
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | | Assume peephole optimizer was successful if number of pops increased.
| * | | | | | | 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.
| * | | | | | | | Allow ``gas`` in view functions.chriseth2017-10-163-3/+7
| | | | | | | | |
* | | | | | | | | Merge pull request #3087 from Casinelli/developchriseth2017-10-161-1/+1
|\ \ \ \ \ \ \ \ \ | |/ / / / / / / / |/| | | | | | | | Update abi-spec.rst
| * | | | | | | | Update abi-spec.rstGiovanni Casinelli2017-10-161-1/+1
|/ / / / / / / /
* | | | | | | | Merge pull request #3083 from davidau/patch-1Alex Beregszaszi2017-10-161-1/+1
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | Update miscellaneous.rst
| * | | | | | | | Update miscellaneous.rstDavid Au2017-10-151-1/+1
| |/ / / / / / / | | | | | | | | | | | | | | | | Fix small typo
* | | | | | | | Merge pull request #3079 from walter-weinmann/wweAlex Beregszaszi2017-10-151-1/+1
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | | grammar.txt: spelling error uixed.
| * | | | | | | grammar.txt: spelling error uixed.walter-weinmann2017-10-141-1/+1
|/ / / / / / /
* | | | | | | Merge pull request #3075 from Digital-Contraptions-Imaginarium/developchriseth2017-10-131-0/+1
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | Added boost-static to Fedora dependencies
| * | | | | | | Added boost-static to Fedora dependenciesGianfranco Cecconi2017-10-131-0/+1
|/ / / / / / / | | | | | | | | | | | | | | This fixes potential _cmake_ stage of the build, as documented here https://github.com/ethereum/solidity/issues/3071#issuecomment-336477742 .
* | | | | | | Merge pull request #3072 from ethereum/z3-cmakechriseth2017-10-131-2/+2
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | Improve Z3 message in cmake
| * | | | | | Improve Z3 message in cmakeAlex Beregszaszi2017-10-131-2/+2
|/ / / / / /
* | | | | | Add reference to EIP-55 in address literals (#3062)Alex Beregszaszi2017-10-101-0/+3
| | | | | |
* | | | | | Merge pull request #3038 from ethereum/interface-externalYoichi Hirai2017-10-103-2/+33
|\ \ \ \ \ \ | | | | | | | | | | | | | | Force interface functions as external (0.5.0)
| * | | | | | Force interface functions as external (0.5.0)Alex Beregszaszi2017-10-063-2/+33
| | | | | | |
* | | | | | | Snarks test using Byzantium precompilesAlex Beregszaszi2017-10-092-1/+305
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Snark tests. * Verifying routine. * Example proof. * Update precompiled positions to Byzantium ruleset.
* | | | | | | Merge pull request #3054 from limexp/fix/appveyor-pr-test-issue-2272chriseth2017-10-091-5/+10
|\ \ \ \ \ \ \ | |_|_|_|_|/ / |/| | | | | | fix Appveyor PR test (issue #2272)
| * | | | | | fix Appveyor PR test (issue #2272)Boris Kostenko2017-10-091-5/+10
|/ / / / / / | | | | | | | | | | | | Resolve issue #2272. Skip bytecode compare if deploy key is not available. This is the case for PR builds.
* | | | | | Merge pull request #3015 from Getline-Network/developAlex Beregszaszi2017-10-061-2/+11
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Allow trailing slash in solc -allow-paths.
| * | | | | Do not use remove_trailing_separator from Boost 1.58 as 1.56 is requiredSergiusz Bazanski2017-10-061-2/+11
| | | | | |
| * | | | | Allow trailing slash in solc -allow-paths.Sergiusz Bazanski2017-10-061-1/+1
|/ / / / /
* | | | | Merge pull request #3036 from ethereum/constant-eval-refactorchriseth2017-10-067-20/+53
|\ \ \ \ \ | | | | | | | | | | | | Refactor error reporting in ConstantEvaluator
| * | | | | Remove obsolete createTypeError in ASTAlex Beregszaszi2017-10-063-12/+1
| | | | | |
| * | | | | Use the proper error reporting interface in ConstantEvaluatorAlex Beregszaszi2017-10-063-7/+13
| | | | | |
| * | | | | Add tests for ConstantEvaluatorAlex Beregszaszi2017-10-061-1/+39
| | | | | |
* | | | | | Merge pull request #3033 from ethereum/unused-variables-abstractYoichi Hirai2017-10-061-0/+20
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Ensure unused variables are not warned for in interfaces/abstract contracts
| * | | | | Ensure unused variables are not warned for in interfaces/abstract contractsAlex Beregszaszi2017-10-061-0/+20
|/ / / / /
* | | | | Merge pull request #3014 from ethereum/require-storage-keywordAlex Beregszaszi2017-10-063-6/+27
|\ \ \ \ \ | | | | | | | | | | | | Require location keyword for local variables (0.5.0)
| * | | | | Require location keyword for local variables (0.5.0)Alex Beregszaszi2017-10-063-6/+27
|/ / / / /
* | | | | Merge pull request #2981 from ethereum/no-address-overloadchriseth2017-10-054-5/+70
|\ \ \ \ \ | | | | | | | | | | | | 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.0Alex Beregszaszi2017-10-054-5/+70
| | | | | |
* | | | | | Merge pull request #3020 from ethereum/smt-functioncallAlex Beregszaszi2017-10-052-0/+36
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | SMT should not crash on special function calls (typecast)
| * | | | | SMT should not crash on typecast/structsAlex Beregszaszi2017-10-052-0/+36
| | |_|_|/ | |/| | |
* | | | | Merge pull request #2982 from ethereum/encoderFixesAlex Beregszaszi2017-10-053-25/+99
|\ \ \ \ \ | |_|/ / / |/| | | | ABI encoder fixes and test.
| * | | | Rename "compacted" to "fromStack".chriseth2017-10-042-22/+18
| | | | |
| * | | | Test encoder for empty structs.chriseth2017-09-271-0/+22
| | | | |
| * | | | ABI encoder fixes and test.chriseth2017-09-272-5/+61
| | | | |
* | | | | Merge pull request #3029 from ethereum/tanwisgasAlex Beregszaszi2017-10-052-0/+6
|\ \ \ \ \ | | | | | | | | | | | | Send all gas for 0.5.0.
| * | | | | Send all gas for 0.5.0.chriseth2017-10-052-0/+6
| | |/ / / | |/| | |
* | | | | Merge pull request #2968 from ethereum/calldataencodedsizechriseth2017-10-051-0/+3
|\ \ \ \ \ | | | | | | | | | | | | Add some asserts about calldata encoded size.
| * | | | | Add some asserts about calldata encoded size.chriseth2017-10-041-0/+3
| | | | | |
* | | | | | Merge pull request #2901 from ethereum/compiler-nameschriseth2017-10-055-1/+218
|\ \ \ \ \ \ | | | | | | | | | | | | | | Provide optional list of contract names to CompilerStack.compile
| * | | | | | Add contract depedendency tests to standardcompilerAlex Beregszaszi2017-10-051-0/+61
| | | | | | |
| * | | | | | Restrict contracts compiled via outputSelection (but not the individual ↵Alex Beregszaszi2017-10-053-0/+136
| | | | | | | | | | | | | | | | | | | | | | | | | | | | output details)
| * | | | | | Provide optional list of contract names to CompilerStack.compileAlex Beregszaszi2017-10-052-1/+21
| | |/ / / / | |/| | | |
* | | | | | Merge pull request #3025 from federicobond/avoid-event-shadowingAlex Beregszaszi2017-10-053-2/+16
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Do not consider shadowing in variable names inside event declarations
| * | | | | Do not consider shadowing in variable names inside event declarationsFederico Bond2017-10-053-2/+16
|/ / / / /
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 20:34:56 +0800