aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #5494 from ethereum/scanner-error-handlingchriseth2018-11-2612-32/+98
|\ | | | | Improved Scanner error diagnostics.
| * Adapting tests to Scanner's lexical error diagnostics change.Christian Parpart2018-11-248-30/+32
| |
| * Change scanner error diagnostics to be non-intrusive to the token API.Christian Parpart2018-11-244-62/+83
| | | | | | | | | | This also implicitly eliminates the magic-token Token::IllegalHex, and streamlines error diagnostics over a custom enum class.
| * adapt to latest code changesLazaridis2018-11-2411-36/+79
| |
* | Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatterchriseth2018-11-2611-33/+19
|\ \ | | | | | | Moving SourceReferenceFormatter into langutil namespace.
| * | Moving SourceReferenceFormatter into langutil namespace.Christian Parpart2018-11-2411-33/+19
| |/
* | Merge pull request #5485 from ethereum/refactorCallableFunctionchriseth2018-11-264-33/+33
|\ \ | | | | | | Refactor callable function
| * | Correct style.chriseth2018-11-231-16/+16
| | |
| * | Use callable function for virtual resolution.chriseth2018-11-221-1/+1
| | |
| * | Make asCallableFunction to never fail and assert abount parameter size if ↵chriseth2018-11-222-8/+8
| | | | | | | | | | | | bound instead.
| * | Rename 'asMemberFunction' to widen its purpose.chriseth2018-11-222-9/+9
| | |
* | | Merge pull request #5503 from davidlj95/patch-1chriseth2018-11-261-1/+1
|\ \ \ | | | | | | | | Update types.rst
| * | | Update types.rstDavid Lozano Jarque2018-11-261-1/+1
|/ / / | | | | | | RST note with incorrect syntax
* | | Merge pull request #5500 from davidlj95/patch-1Alex Beregszaszi2018-11-262-2/+2
|\ \ \ | | | | | | | | Documentation typo fixes
| * | | Update installing-solidity.rstDavid Lozano Jarque2018-11-261-1/+1
| | | | | | | | | | | | Homebrow -> homebrew
| * | | Update introduction-to-smart-contracts.rstDavid Lozano Jarque2018-11-261-1/+1
|/ / / | | | | | | Fix typo
* | | Merge pull request #5499 from lazaridiscom/decouple-TestCaseAlex Beregszaszi2018-11-256-5/+5
|\ \ \ | |_|/ |/| | decouple TestCase class from test/libsolidity
| * | decouple TestCase class from test/libsolidityLazaridis2018-11-256-5/+5
|/ /
* | Merge pull request #5472 from ethereum/assemblyAnnotationOutputchriseth2018-11-242-0/+3
|\ \ | | | | | | Jumps with annotations cannot be functional.
| * | Changelog entry.chriseth2018-11-221-0/+1
| | |
| * | Jumps with annotations cannot be functional.chriseth2018-11-221-0/+2
| | |
* | | Merge pull request #5491 from ethereum/libyul-as-librarychriseth2018-11-24112-837/+608
|\ \ \ | | | | | | | | Libyul as static library (version 3 ;( )
| * | | Remove superfluous libyul/ASTDataForward.h and include libyul/AsmDataForward ↵Christian Parpart2018-11-2322-46/+21
| | | | | | | | | | | | | | | | directly instead.
| * | | Isolating libyul library API into its own namespace `yul`.Christian Parpart2018-11-23105-582/+366
| | | |
| * | | CMake: Isolate libyul into its own static libraryChristian Parpart2018-11-234-4/+48
| | | |
| * | | Reorder some include files and group <libyul/>'s together (as much as possible)Christian Parpart2018-11-2339-60/+28
| | | |
| * | | Rewrite header paths to adapt to recent `git mv` of libsolidity/inlineasm to ↵Christian Parpart2018-11-2365-107/+107
| | | | | | | | | | | | | | | | libyul
| * | | Moving files from libsolidity/inlineasm/*.{cpp,h} to libyul/.Christian Parpart2018-11-2316-0/+0
| | | |
* | | | Merge pull request #5492 from ethereum/audit-NULL-to-nullptrChristian Parpart2018-11-231-8/+8
|\ \ \ \ | | | | | | | | | | Replace all occurrences of NULL with nullptr.
| * | | | Replace all occurrences of NULL with nullptr.Christian Parpart2018-11-231-8/+8
| |/ / /
* | | | Merge pull request #3073 from ethereum/smtlib2_via_standardioAlex Beregszaszi2018-11-2324-26/+356
|\ \ \ \ | |/ / / |/| | | Inject SMTLIB2 queries and responses via standard-json-io.
| * | | Add SMTChecker tests for standard JSONLeonardo Alt2018-11-2313-2/+270
| | | |
| * | | Testing with smtlib2 interface always thereLeonardo Alt2018-11-231-6/+1
| | | |
| * | | Error message stays in the SMTCheckerLeonardo Alt2018-11-232-8/+9
| | | |
| * | | Display better error message in SMTLib2Leonardo Alt2018-11-233-8/+10
| | | |
| * | | Renaming json fields smtlib2queries and smtlib2responsesLeonardo Alt2018-11-231-2/+2
| | | |
| * | | Rename function and warn if responses are supplied for Z3.chriseth2018-11-233-7/+13
| | | |
| * | | Inject SMTLIB2 queries and responses via standard-json-io.chriseth2018-11-2311-20/+78
|/ / /
* | | Merge pull request #5489 from ethereum/chriseth-patch-1chriseth2018-11-231-7/+9
|\ \ \ | | | | | | | | Style
| * | | Stylechriseth2018-11-231-7/+9
| | | |
* | | | Merge pull request #5490 from ethereum/fixBytecodechriseth2018-11-231-2/+2
|\ \ \ \ | | | | | | | | | | Fix bytecode report file.
| * | | | Fix bytecode report file.chriseth2018-11-231-2/+2
| |/ / /
* | | | Merge pull request #5488 from lazaridiscom/patch-3chriseth2018-11-232-2/+3
|\ \ \ \ | |/ / / |/| | | Mention third party licenses
| * | | Update paths to CharStream, Scanner and Token files.chriseth2018-11-231-1/+1
| | | |
| * | | Mention third party licenses.Lazaridis2018-11-231-1/+2
|/ / /
* | | Merge pull request #4958 from ↵Alex Beregszaszi2018-11-231-80/+117
|\ \ \ | | | | | | | | | | | | | | | | liangdzou/issue_4494_error_out_when_no_output_required Error out if no output artifacts are requested.
| * | | Notify user on successful run without output.liangdzou2018-11-231-80/+117
| | |/ | |/|
* | | Merge pull request #5481 from ethereum/fix-byecodecompareAlex Beregszaszi2018-11-231-5/+11
|\ \ \ | | | | | | | | Fix storebytecode.sh for bytecode comparison
| * | | Fix storebytecode.sh for bytecode comparisonAlex Beregszaszi2018-11-221-5/+11
| | | |
* | | | Merge pull request #5451 from ethereum/bound_function_testschriseth2018-11-235-0/+46
|\ \ \ \ | | | | | | | | | | Add assert and tests for bound functions
| * | | | Add assert and tests for bound functionsLeonardo Alt2018-11-225-0/+46
| | | | |
* | | | | Merge pull request #5482 from ethereum/smt_refactor_sort_patch4Alex Beregszaszi2018-11-236-44/+58
|\ \ \ \ \ | | | | | | | | | | | | [SMTChecker] Refactor setZeroValue and setUnknownValue
| * | | | | [SMTChecker] Refactor setZeroValue and setUnknownValueLeonardo Alt2018-11-226-44/+58
|/ / / / /
* | | | | Merge pull request #4645 from ethereum/smt-syntax-testsAlex Beregszaszi2018-11-2247-593/+491
|\ \ \ \ \ | |/ / / / |/| | | | Move SMT tests to use isoltest
| * | | | Organize smt tests in subdirectoriesLeonardo Alt2018-11-2246-0/+0
| | | | |
| * | | | Remove pragma ABIEncoderV2 from smt testLeonardo Alt2018-11-221-6/+8
| | | | |
| * | | | Drop numbering in front of the SMTChecker testsAlex Beregszaszi2018-11-2246-0/+0
| | | | |
| * | | | Move most of SMTChecker tests from C++ to isoltestAlex Beregszaszi2018-11-2247-593/+489
|/ / / / | | | | | | | | | | | | But keep divison in C++ because results differ between different solvers
* | | | Merge pull request #5478 from ethereum/smt_refactor_sort_patch3Alex Beregszaszi2018-11-225-2/+76
|\ \ \ \ | |/ / / |/| | | [SMTChecker] Add ArraySort and array operations
| * | | [SMTChecker] Add ArraySort and array operationsLeonardo Alt2018-11-225-2/+76
|/ / /
* | | Merge pull request #5471 from ethereum/smt_refactor_sort_patch2Alex Beregszaszi2018-11-2214-128/+134
|\ \ \ | |/ / |/| | Add FunctionSort and refactors the solver interface to create variables
| * | [SMTChecker] Add FunctionSort and refactors the solver interface to create ↵Leonardo Alt2018-11-2214-128/+134
|/ / | | | | | | variables
* | Merge pull request #5328 from SuperblocksHQ/developAlex Beregszaszi2018-11-221-2/+4
|\ \ | | | | | | Added Superblocks Lab IDE to the generic doc section
| * | Added Superblocks Lab IDE to the generic sectionJavier Tarazaga2018-11-221-2/+4
|/ /
* | Merge pull request #5434 from fulldecent/patch-8chriseth2018-11-221-1/+1
|\ \ | | | | | | Qualify that storage slots are shared for contiguous data
| * | Qualify that storage slots are shared for contiguous dataWilliam Entriken2018-11-151-1/+1
| | |
* | | Merge pull request #5427 from ethereum/liblangutilchriseth2018-11-22155-829/+1163
|\ \ \ | | | | | | | | Factor out langutil, a new static library that is shared between libyul/libsolidity
| * | | Introduce namespace `langutil` in liblangutil directory.Christian Parpart2018-11-22118-287/+476
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Also: - Use {}-style list initialisation for SourceLocation construction - Introduce new system includes - Changes the API of the Scanner to take source as value (with move) as opposed to as a reference
| * | | Ensure liblangutil is compiled and linked as its own static library.Christian Parpart2018-11-223-3/+10
| | | |
| * | | Splitting out CharStream from Scanner.Christian Parpart2018-11-224-81/+216
| | | |
| * | | Isolating files shared between Yul- and Solidity language frontend.Christian Parpart2018-11-22101-132/+135
| | | |
* | | | Merge pull request #5473 from ethereum/tests-constructorAlex Beregszaszi2018-11-221-1/+1
|\ \ \ \ | |_|_|/ |/| | | Fix constructor in AuctionRegistrar
| * | | Fix constructor in AuctionRegistrarAlex Beregszaszi2018-11-221-1/+1
|/ / /
* | | Merge pull request #5439 from ethereum/docs-faq-types-array-lengthchriseth2018-11-222-45/+3
|\ \ \ | |/ / |/| | DOCS: Remove length related FAQ item
| * | Remove length related FAQ itemChris Ward2018-11-152-45/+3
| | |
* | | Merge pull request #2520 from ethereum/lll-withchriseth2018-11-222-0/+52
|\ \ \ | | | | | | | | LLL: implement the UNSET and WITH keywords
| * | | LLL: implement WITH keywordAlex Beregszaszi2018-11-212-0/+42
| | | |
| * | | LLL: add UNSET to remove a variableAlex Beregszaszi2018-11-211-0/+10
| | | |
* | | | Merge pull request #4486 from ethereum/travisEmscriptenMinimalAlex Beregszaszi2018-11-226-27/+29
|\ \ \ \ | | | | | | | | | | Minimal changes to use the same version of emscripten on Travis and Circleci.
| * | | | Changelog entry.chriseth2018-11-211-0/+3
| | | | |
| * | | | Use emscripten 1.37.21 and boost 1.67.0 on both travis and circle.Daniel Kirchner2018-11-215-27/+26
| | | | |
* | | | | Merge pull request #5436 from ethereum/docs-faq-types-rem-structchriseth2018-11-221-18/+0
|\ \ \ \ \ | |_|/ / / |/| | | | DOCS: Remove Struct copy FAQ item
| * | | | Remove Struct copy FAQ itemChris Ward2018-11-151-18/+0
| | |/ / | |/| |
* | | | Merge pull request #5466 from ethereum/smt_refactor_sort_patch1Alex Beregszaszi2018-11-2113-100/+102
|\ \ \ \ | | | | | | | | | | [SMTChecker] Refactor smt::Sort and its usage
| * | | | [SMTChecker] Refactor smt::Sort and its usageLeonardo Alt2018-11-2113-100/+102
| | |/ / | |/| |
* | | | Merge pull request #5444 from Mordax/issue-5168-rmvirtualAlex Beregszaszi2018-11-2136-650/+650
|\ \ \ \ | | | | | | | | | | Removing redundant virtual from override function declaration
| * | | | Removing redundant virtual from override function declarationmordax2018-11-2136-650/+650
| |/ / / | | | | | | | | | | | | | | | | | | | | Remove trailing whitespace Remove changelog change
* | | | Merge pull request #5355 from ethereum/yul-forloop-pre-rewritechriseth2018-11-218-1/+159
|\ \ \ \ | |/ / / |/| | | [Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block
| * | | [Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block.Christian Parpart2018-11-168-1/+159
| | | |
* | | | Merge pull request #5309 from ethereum/smt_bound_functionsAlex Beregszaszi2018-11-196-0/+91
|\ \ \ \ | | | | | | | | | | [SMTChecker] Support bound function calls
| * | | | [SMTChecker] Support bound function callsLeonardo Alt2018-11-196-0/+91
|/ / / /
* | | | Merge pull request #5307 from ethereum/smt_ufLeonardo2018-11-1717-27/+110
|\ \ \ \ | |/ / / |/| | | [SMTChecker] Uninterpreted functions for blockhash()
| * | | [SMTChecker] Implement uninterpreted functions and use it for blockhash()Leonardo Alt2018-11-1517-27/+110
| | |/ | |/|
* | | Merge pull request #5441 from ethereum/github-vm-versionAlex Beregszaszi2018-11-151-0/+1
|\ \ \ | |_|/ |/| | Ask for target EVM version in issue template
| * | Ask for target EVM version in issue templateAlex Beregszaszi2018-11-151-0/+1
|/ /
* | Merge pull request #5430 from kn1g/patch-1Alex Beregszaszi2018-11-151-3/+3
|\ \ | |/ |/| Consistent use of address()
| * Fixed consistent use of `nameReg` Yet another codejunkie2018-11-151-1/+1
| | | | | | Fixed consistent use of `nameReg` instead of `namReg`
| * Consistent use of address()Yet another codejunkie2018-11-151-3/+3
| | | | | | First example is with address() and the following examples without. I suggest a consistent use here.
* | Merge pull request #5368 from ethereum/noCleanupUnsignedAlex Beregszaszi2018-11-153-2/+10
|\ \ | | | | | | [Codegen] Do not perform cleanup on unsigned integers when loading from calldata.
| * | Do not perform cleanup on unsigned integers when loading from calldata.chriseth2018-11-153-2/+10
| | |
* | | Merge pull request #5433 from ethereum/docs-fixAlex Beregszaszi2018-11-151-3/+1
|\ \ \ | |/ / |/| | Fix indentation in documentation
| * | Fix indentation in documentationAlex Beregszaszi2018-11-151-3/+1
|/ /
* | Merge pull request #5428 from ethereum/yulObjectSpecChangechriseth2018-11-151-6/+37
|\ \ | |/ |/| Small changes to yul object specification.
| * Small changes to yul object specification.chriseth2018-11-151-6/+37
|/
* Merge pull request #4523 from ethereum/micropayment-channel-example-polishchriseth2018-11-151-124/+65
|\ | | | | Micropayment channel example polish
| * Begin review of micropayments exampleChris Ward2018-11-151-124/+65
|/ | | | | | | | | | | | | | Language tidy, add correct method and package namespaces and make more consistent with each project docs First changes from review Further fixes after review Fix line breaks Revert code changes Update
* Merge pull request #5323 from ethereum/docs-input-output-change-control-structchriseth2018-11-141-31/+49
|\ | | | | Change terminology used for input output parameters
| * Change terminology used for input output parametersChris Ward2018-11-141-31/+49
| | | | | | | | | | | | | | | | | | | | Change from review Changes from review Changes fro review Changes from review
* | Merge pull request #5423 from ethereum/enable-coverageAlex Beregszaszi2018-11-141-1/+1
|\ \ | |/ |/| Revert "Disable covereage cmake option"
| * Revert "Disable covereage cmake option"Alex Beregszaszi2018-11-141-1/+1
| | | | | | | | This reverts commit 5effc0eeb9cd5158b906facde69a3c4d52d95314.
* | Merge pull request #5324 from ethereum/docs-input-output-change-typeschriseth2018-11-143-6/+5
|\ \ | |/ |/| Change terminology used for input output parameters pt 2
| * Update syntax used for input and output parametersChris Ward2018-11-143-6/+5
|/
* Merge pull request #4693 from ethereum/compilerstackchriseth2018-11-141-16/+25
|\ | | | | Add CompilerStack state assertions to internal methods
| * Add CompilerStack state assertions in internal methodsAlex Beregszaszi2018-11-141-6/+12
| |
| * Move lastContractName closer to contractNamesAlex Beregszaszi2018-11-141-13/+13
| |
| * Do not crash on filesystemFriendlyName if no contracts were compiledAlex Beregszaszi2018-11-141-0/+3
| |
* | Merge pull request #5373 from ethereum/archlinuxCIchriseth2018-11-141-0/+47
|\ \ | |/ |/| Add archlinux run on circleci for testing against current versions of deps.
| * Only run soltest with --no-ipc.Daniel Kirchner2018-11-091-4/+2
| |
| * Add archlinux run on circleci.Daniel Kirchner2018-11-091-0/+49
| |
* | Merge pull request #5410 from ethereum/lll-buildchriseth2018-11-148-6/+28
|\ \ | | | | | | Do not build LLL unless requested via the LLL cmake option
| * | Build with LLL on CircleCIAlex Beregszaszi2018-11-141-0/+2
| | |
| * | Move LLL tests into a single directoryAlex Beregszaszi2018-11-142-0/+0
| | |
| * | Do not build tests for LLL if disabledAlex Beregszaszi2018-11-142-3/+12
| | |
| * | Do not build LLL unless requested via the LLL cmake optionAlex Beregszaszi2018-11-143-3/+14
| | |
* | | Merge pull request #5419 from ethereum/fixcmdlinetestschriseth2018-11-141-1/+1
|\ \ \ | | | | | | | | Fix commandline tests.
| * | | Fix commandline tests.chriseth2018-11-141-1/+1
| | | |
* | | | Merge pull request #5367 from ethereum/signedYulchriseth2018-11-141-3/+3
|\ \ \ \ | |/ / / |/| | | [Yul] Rename some builtin yul functions for signed types.
| * | | Rename some builtin yul functions for signed types.chriseth2018-11-141-3/+3
|/ / /
* | | Merge pull request #5420 from ethereum/releasechriseth2018-11-140-0/+0
|\ \ \ | |/ / |/| | Merge release back into develop.
| * | Merge pull request #5416 from ethereum/developchriseth2018-11-141945-25957/+43906
| |\ \ | | | | | | | | Merge develop into release for 0.5.0
* | \ \ Merge pull request #5417 from ethereum/version051chriseth2018-11-142-1/+13
|\ \ \ \ | |_|/ / |/| | | Set version to 0.5.1.
| * | | Set version to 0.5.1.chriseth2018-11-142-1/+13
|/ / /
* | | Merge pull request #5413 from ethereum/updateChangelogForReleasechriseth2018-11-142-1/+5
|\ \ \ | | | | | | | | Add release date to changelog.
| * | | Add release date to changelog.chriseth2018-11-132-1/+5
| | | |
* | | | Merge pull request #5412 from ritzdorf/patch-2chriseth2018-11-131-1/+1
|\ \ \ \ | | | | | | | | | | keccak256 does not call an external contract
| * | | | keccak256 does not call an external contractritzdorf2018-11-131-1/+1
| | | | | | | | | | | | | | | ``keccak256`` will be compiled to the ``SHA3`` opcode and not call an external contract.
* | | | | Merge pull request #5411 from ethereum/lll-docschriseth2018-11-132-0/+15
|\ \ \ \ \ | |_|/ / / |/| | | | Add LLL chapter in the documentation
| * | | | Add LLL chapter in the documentationAlex Beregszaszi2018-11-132-0/+15
| |/ / /
* | | | Merge pull request #5342 from Mordax/issue-5177chriseth2018-11-131-1/+1
|\ \ \ \ | | | | | | | | | | Disable coverage cmake option
| * | | | Disable covereage cmake optionmordax2018-11-041-1/+1
| | | | |
* | | | | Merge pull request #5105 from ethereum/libsolc-apichriseth2018-11-138-379/+41
|\ \ \ \ \ | | | | | | | | | | | | Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback)
| * | | | | Fix bytecode tests for solc-jschriseth2018-11-131-5/+14
| | | | | |
| * | | | | Use latest solcjs and replace compileStandard by compile.chriseth2018-11-132-2/+14
| | | | | |
| * | | | | Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback)Alex Beregszaszi2018-11-136-373/+14
| | |/ / / | |/| | |
* | | | | Merge pull request #5398 from ethereum/smt_model_scannerLeonardo2018-11-134-3/+15
|\ \ \ \ \ | |/ / / / |/| | | | Add Scanner function that prints source based on SourceLocation
| * | | | Add Scanner function that prints source based on SourceLocationLeonardo Alt2018-11-134-3/+15
| | | | |
* | | | | Merge pull request #5020 from ethereum/lll-seq-fixchriseth2018-11-133-479/+502
|\ \ \ \ \ | |/ / / / |/| | | | LLL: terminate sequences with a STOP
| * | | | LLL: ensure assembly tests have the correct argumentsAlex Beregszaszi2018-11-131-168/+168
| | | | |
| * | | | Add LLL error when assembly instruction causes stack underflowAlex Beregszaszi2018-11-131-1/+6
| | | | |
| * | | | LLL: add test which has a sub assembly without a forced STOPAlex Beregszaszi2018-11-131-0/+14
| | | | |
| * | | | LLL bytecode is padded by STOP in testsAlex Beregszaszi2018-11-131-239/+239
| | | | |
| * | | | LLL: do not wrap opcode tests into sequenceAlex Beregszaszi2018-11-131-239/+239
| | | | |
| * | | | LLL: terminate sequences with a STOPAlex Beregszaszi2018-11-131-0/+4
|/ / / /
* | | | Merge pull request #5408 from ethereum/updateTestschriseth2018-11-131-66/+66
|\ \ \ \ | | | | | | | | | | Update tests.
| * | | | Update tests.chriseth2018-11-131-66/+66
|/ / / /
* | | | Merge pull request #5406 from ethereum/uninitializedStorageUnimplementedchriseth2018-11-134-2/+14
|\ \ \ \ | | | | | | | | | | Ignore unimplemented functions for detecting uninitialized storage returns.
| * | | | Ignore unimplemented functions for storage returns.Daniel Kirchner2018-11-134-2/+14
| | | | |
* | | | | Merge pull request #5333 from ethereum/joinPerformancechriseth2018-11-133-20/+718
|\ \ \ \ \ | | | | | | | | | | | | [Yul] Use map join algorithm for performance.
| * | | | | Remove variables that go out of scope from data structure.chriseth2018-11-133-149/+199
| | | | | |
| * | | | | Use map join algorithm for performance.chriseth2018-11-133-10/+658
| |/ / / /
* | | | | Merge pull request #5400 from ethereum/fixcheckstylechriseth2018-11-132-7/+4
|\ \ \ \ \ | | | | | | | | | | | | Fix check style script.
| * | | | | Fix check style script.chriseth2018-11-131-5/+2
| | | | | |
| * | | | | Fix style.chriseth2018-11-131-2/+2
| |/ / / /
* | | | | Merge pull request #5392 from ethereum/yulStringRepositoryHashchriseth2018-11-135-44/+71
|\ \ \ \ \ | |/ / / / |/| | | | [Yul] Deterministic YulStringRepository using string hashes.
| * | | | Deterministic YulStringRepository using string hashes.Daniel Kirchner2018-11-135-44/+71
| | | | |
* | | | | Merge pull request #5070 from ethereum/2661-clarify-contract-examplechriseth2018-11-121-13/+20
|\ \ \ \ \ | | | | | | | | | | | | Docs: Clarify creating a contract example code
| * | | | | Clarify creating a contract example as reported in #2661Chris Ward2018-11-121-13/+20
|/ / / / /
* | | | | Merge pull request #4497 from ethereum/faq-reorg-control-structureschriseth2018-11-122-32/+20
|\ \ \ \ \ | | | | | | | | | | | | Move control structure related FAQ points
| * | | | | Move control structure related FAQ pointsChris Ward2018-11-122-32/+20
|/ / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Updates from reviews clarify returning structs, and move returning arrays and strings from separate section Further clarifications Updates from review Final updates
* | | | | Merge pull request #4860 from ethereum/docs-2175-index-missingchriseth2018-11-121-8/+7
|\ \ \ \ \ | | | | | | | | | | | | Add mention of common subexpression elimination
| * | | | | Clarify term and tidy textChris Ward2018-11-121-8/+7
| |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | Use UK spelling in heading Remove colon
* | | | | Merge pull request #5364 from ethereum/chriseth-patch-5chriseth2018-11-121-0/+8
|\ \ \ \ \ | |/ / / / |/| | | | Add note about changing the storage layout.
| * | | | Add note about changing the storage layout.chriseth2018-11-121-0/+8
|/ / / /
* | | | Merge pull request #5395 from ethereum/fixStylechriseth2018-11-125-8/+8
|\ \ \ \ | | | | | | | | | | Fix style
| * | | | Fix for style.chriseth2018-11-121-3/+3
| | | | |
| * | | | Remove trailing whitespace.chriseth2018-11-124-5/+5
|/ / / /
* | | | Merge pull request #5275 from ↵chriseth2018-11-125-278/+532
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | svenski123/20181018-4894-refactoring-split-bool-typechecker-visit-functioncall-into-multiple-functions Refactored bool TypeChecker::visit(FunctionCall const& _functionCall).
| * | | | Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall).Kristofer Peterson2018-11-105-278/+532
|/ / / / | | | | | | | | | | | | | | | | | | | | Visit method now cleanly determines if node represents a function call, struct construction or type conversion. Type checking, validation and error message logic is moved to separate methods.
* | | | Merge pull request #5128 from ethereum/breakUnbreakchriseth2018-11-094-5/+74
|\ \ \ \ | | | | | | | | | | [Yul] Test case that shows that break / unbreak are more or less inverse
| * | | | Test case that shows that break/unbreak are more or less inverse.chriseth2018-11-094-5/+74
| | | | |
* | | | | Merge pull request #5377 from ethereum/resetYulStringchriseth2018-11-093-2/+15
|\ \ \ \ \ | | | | | | | | | | | | Reset yul string repository.
| * | | | | Reset yul string repository.chriseth2018-11-093-2/+15
|/ / / / /
* | | | | Merge pull request #5265 from ethereum/cleanupsha3chriseth2018-11-0917-98/+36
|\ \ \ \ \ | |/ / / / |/| | | | Simplify sha3.
| * | | | Renamed SHA3.{h,cpp} files.chriseth2018-10-1817-16/+17
| | | | |
| * | | | Simplify sha3.chriseth2018-10-182-82/+19
| | | | |
* | | | | Merge pull request #5326 from ethereum/removeSideEffectFreeStatementschriseth2018-11-095-7/+23
|\ \ \ \ \ | |_|_|_|/ |/| | | | [Yul] Remove side-effect-free statements.
| * | | | Remove side-effect-free statements.chriseth2018-11-095-7/+23
|/ / / /
* | | | Merge pull request #5371 from nud3l/developchriseth2018-11-081-1/+1
|\ \ \ \ | | | | | | | | | | Fix cmake Z3 import issue for Fedora like distributions
| * | | | Fix cmake Z3 import issue for FedoraDominik Harz2018-11-081-1/+1
| | | | |
* | | | | Merge pull request #5325 from ethereum/fixDataFlowchriseth2018-11-083-0/+117
|\ \ \ \ \ | | | | | | | | | | | | [Yul] Fix data flow analyzer for function definitions.
| * | | | | Fix data flow analyzer for function definitions.chriseth2018-11-083-0/+117
| | | | | |
* | | | | | Merge pull request #5365 from ethereum/improveNameDispenserchriseth2018-11-0816-67/+66
|\ \ \ \ \ \ | | | | | | | | | | | | | | [Yul] Use single counter for name dispenser for performance reasons.
| * | | | | | Use single counter for name dispenser for performance reasons.chriseth2018-11-0816-67/+67
| | | | | | |
* | | | | | | Merge pull request #5366 from ethereum/addVarDeclchriseth2018-11-082-1/+12
|\ \ \ \ \ \ \ | |_|_|/ / / / |/| | | | | | [Yul] Add VarDeclPropagator to full suite and interactive optimizer.
| * | | | | | Add VarDeclPropagator to full suite and interactive optimizer.chriseth2018-11-082-1/+12
| | |/ / / / | |/| | | |
* | | | | | Merge pull request #5370 from ethereum/fixWindowsDaniel Kirchner2018-11-081-0/+1
|\ \ \ \ \ \ | | | | | | | | | | | | | | Fix windows build.
| * | | | | | Fix windows build.chriseth2018-11-081-0/+1
| |/ / / / /
* | | | | | Merge pull request #5352 from ethereum/docContractConversionschriseth2018-11-081-0/+8
|\ \ \ \ \ \ | | | | | | | | | | | | | | [DOCS] Document disallowed explicit conversions between unrelated contract types.
| * | | | | | Document disallowed explicit conversions between unrelated contract types.Daniel Kirchner2018-11-071-0/+8
| | | | | | |
* | | | | | | Merge pull request #5353 from ethereum/docInteroperabilitychriseth2018-11-081-1/+79
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | [DOCS] Document interoperability between 0.5.0 and pre-0.5.0 contracts.
| * | | | | | | Document interoperability between 0.5.0 and pre-0.5.0 contracts.Daniel Kirchner2018-11-071-1/+79
| |/ / / / / /
* | | | | | | Merge pull request #5351 from ethereum/functionTypeConversionchriseth2018-11-0814-2/+144
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | Relax type equality requirement of function types during conversion in code generation.
| * | | | | | | Function type conversion test cases.Daniel Kirchner2018-11-0814-4/+144
| | | | | | | |
| * | | | | | | Relax identity requirement of function type conversions during code generation.Daniel Kirchner2018-11-061-0/+2
| |/ / / / / /
* | | | | | | Merge pull request #5348 from ethereum/boostRationalNegativeDenominatorFixchriseth2018-11-083-2/+16
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | Fix negative denominator in ``boost::rational`` during exponentiation.
| * | | | | | Fix negative denominator in ``boost::rational`` during exponentiation.Daniel Kirchner2018-11-063-2/+16
| |/ / / / /
* | | | | | Merge pull request #5327 from ethereum/rematerializerSmallchriseth2018-11-081-1/+5
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | Add rematerializer to interactive optimizer.
| * | | | | Add rematerializer to interactive optimizer.chriseth2018-10-281-1/+5
| | | | | |
* | | | | | Merge pull request #5334 from ethereum/stringPerformancechriseth2018-11-0859-243/+351
|\ \ \ \ \ \ | | | | | | | | | | | | | | [Yul] String performance
| * | | | | | Performance: Replace string by special single-copy YulString class.chriseth2018-11-0859-243/+351
|/ / / / / /
* | | | | | Merge pull request #5346 from ethereum/chriseth-patch-4chriseth2018-11-071-2/+1
|\ \ \ \ \ \ | | | | | | | | | | | | | | [DOCS] Integers cannot be implicitly converted to address
| * | | | | | Integers cannot be implicitly converted to addresschriseth2018-11-061-2/+1
| | | | | | |
* | | | | | | Merge pull request #5359 from ethereum/cpp17-forward-compatchriseth2018-11-0715-206/+204
|\ \ \ \ \ \ \ | |_|_|/ / / / |/| | | | | | Eliminate `byte`-typedef and use `uint8_t` in all their places instead.
| * | | | | | Eliminate `byte`-typedef and use `uint8_t` in all their places instead.Christian Parpart2018-11-0715-206/+204
|/ / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This change is made to (easily) be forward compatible with future C++ standards, in order to allow compiling the code with newer standards at some point in the future. * Removed the `using byte = uint8_t;` line from Common.h * Mechanically change all uses of `byte` to `uint8_t`. Tested with GCC 7.3 in C++11/14/17 modes :-)
* | | | | | Merge pull request #5347 from ethereum/boostRationalNegativeDenominatorDaniel Kirchner2018-11-061-2/+0
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Remove uses of boost::rational with negative denominator in tests.
| * | | | | Remove uses of boost::rational with negative denominator, which breaks with ↵Daniel Kirchner2018-11-061-2/+0
|/ / / / / | | | | | | | | | | | | | | | boost 1.68.
* | | | | Merge pull request #5343 from lshapton/patch-1chriseth2018-11-051-1/+1
|\ \ \ \ \ | |_|_|/ / |/| | | | Fixes small typo in documentation
| * | | | Fixes typoLeanne2018-11-041-1/+1
|/ / / /
* | | | Merge pull request #5337 from ethereum/ubuntuVersionchriseth2018-10-301-1/+1
|\ \ \ \ | | | | | | | | | | Update ubuntu versions.
| * | | | Update ubuntu versions.chriseth2018-10-301-1/+1
| | | | |
* | | | | Merge pull request #5336 from Eitan-Lev/Update-newcomers-tagchriseth2018-10-301-1/+1
|\ \ \ \ \ | | | | | | | | | | | | up-for-grabs swapped for good first issue
| * | | | | up-for-grabs swapped for good first issueEitan Levin2018-10-301-1/+1
| |/ / / /
* | | | | Merge pull request #5188 from ethereum/large-array-encodingchriseth2018-10-305-0/+30
|\ \ \ \ \ | |/ / / / |/| | | | Do not crash when trying to encode too large arrays
| * | | | Fixes crash while encoding too large arrays.Erik Kundt2018-10-305-0/+30
|/ / / /
* | | | Merge pull request #5331 from lazaridiscom/patch-2chriseth2018-10-291-8/+8
|\ \ \ \ | | | | | | | | | | move CHECKLIST to the end
| * | | | move CHECKLIST to the endLazaridis2018-10-291-8/+8
|/ / / / | | | | | | | | | | | | | | | | | | | | | | | | ## Rationale The github/gitter UIs show the content of a PR-link on mouse-over. Having the CHECKLIST on top results in those pop-ups showing the checklist instead of the (more relevant) description.
* | | | Merge pull request #5316 from lazaridiscom/4891-memory-store-assertschriseth2018-10-291-21/+37
|\ \ \ \ | | | | | | | | | | refine memory-store assertions, closes #4891
| * | | | refine memory-store assertions, closes #4891Lazaridis2018-10-271-21/+37
| | | | |
* | | | | Merge pull request #5247 from ethereum/yul-vardecl-propagationchriseth2018-10-2912-0/+302
|\ \ \ \ \ | | | | | | | | | | | | Yul: Implements empty-var-decl-propagation
| * | | | | Yul: Implements empty-var-decl-propagationChristian Parpart2018-10-2612-0/+302
| | | | | |
* | | | | | Merge pull request #5315 from ethereum/yul-expr-joinerchriseth2018-10-282-36/+20
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | Refactor Yul's ExpressionJoiner
| * | | | | [Yul] ExpressionJoiner: code cleanupChristian Parpart2018-10-262-36/+20
| |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * ensure public API is only containing `run(Block&)`, all the rest is private API / implementation details * adding some comments to class data members to quicker understand their meaning * eliminate unnecessary `operator()(If&)` as it's not changing default behaviour of `ASTModifier` * simplify readability of `visit(Expression&)`'s impl, also moving assert's into "isLatestStatementVarDeclOf", as this one is already ensuring exactly that. * ctor impl's use of ReferenceCounter use shortened. * renamed and improved `isLatestStatementVarDeclOf` to better match its meaning (especially since it's only used once)
* | | | | Merge pull request #5320 from lazaridiscom/patch-1chriseth2018-10-281-1/+1
|\ \ \ \ \ | | | | | | | | | | | | add missing "p"
| * | | | | add missing "p"Lazaridis2018-10-281-1/+1
|/ / / / /
* | | | | Merge pull request #5314 from berkerol/patch-1chriseth2018-10-261-0/+1
|\ \ \ \ \ | |/ / / / |/| | | | DOCS: Add check for whether voter has right to vote
| * | | | Add check for whether voter has right to voteBerk Erol2018-10-261-0/+1
|/ / / /
* | | | Merge pull request #5122 from ethereum/docs-contributing-pt3chriseth2018-10-261-11/+10
|\ \ \ \ | | | | | | | | | | Final contribution review in fuzzer section
| * | | | Final contribution review in fuzzer sectionChris Ward2018-10-261-11/+10
| | | | |
* | | | | Merge pull request #5311 from ethereum/chriseth-patch-3chriseth2018-10-261-0/+4
|\ \ \ \ \ | | | | | | | | | | | | Clarify import.
| * | | | | Clarify import.chriseth2018-10-261-0/+4
|/ / / / /
* | | | | Merge pull request #5304 from ethereum/removeASTutilschriseth2018-10-252-102/+0
|\ \ \ \ \ | | | | | | | | | | | | Remove unused AST utils.
| * | | | | Remove unused AST utils.chriseth2018-10-252-102/+0
| |/ / / /
* | | | | Merge pull request #5273 from ethereum/interactiveOptchriseth2018-10-252-0/+228
|\ \ \ \ \ | |/ / / / |/| | | | [Yul] Interactive optimizer tool
| * | | | Add redundant assign and ssa.chriseth2018-10-241-1/+10
| | | | |
| * | | | Interactive optimizer tool.chriseth2018-10-242-0/+219
| | | | |
* | | | | Merge pull request #5283 from ethereum/smt_fixed_byteschriseth2018-10-2515-288/+160
|\ \ \ \ \ | | | | | | | | | | | | [SMTChecker] Support FixedBytes
| * | | | | Grouping of symbolic variables in the same file and support to FixedBytesLeonardo Alt2018-10-2515-288/+160
| |/ / / /
* | | | | Merge pull request #5242 from ethereum/someCheckschriseth2018-10-259-4/+95
|\ \ \ \ \ | | | | | | | | | | | | Some well-formedness checks for the Yul AST.
| * | | | | Added some tests.chriseth2018-10-244-0/+44
| | | | | |
| * | | | | Some well-formedness checks for the Yul AST.chriseth2018-10-225-4/+51
| | | | | |
generated by cgit (git 2.34.1) at 2024-11-17 14:56:42 +0800