aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| * | Adds tests for --optimize in assembly mode.Erik Kundt2018-12-011-4/+13
| | |
| * | Apply the optimize commandline parameter to assembly mode.chriseth2018-12-015-6/+34
| | |
* | | Merge pull request #5437 from ethereum/docs-faq-types-inline-arraychriseth2018-12-032-56/+19
|\ \ \ | | | | | | | | DOCS: Move String literal and inline array FAQ items
| * | | Move String literal and inline array FAQ itemsChris Ward2018-12-032-56/+19
|/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix tab Update docs/types.rst Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com> Update docs/types.rst Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
* | | Merge pull request #5524 from ethereum/yulGrammarChangeschriseth2018-12-031-2/+1
|\ \ \ | | | | | | | | Yul grammar changes.
| * | | Yul grammar changes.chriseth2018-11-281-2/+1
| | | | | | | | | | | | | | | | | | | | - also the top level object needs to be named - code is not optional
* | | | Merge pull request #5568 from ethereum/smt_remove_unary_pluschriseth2018-12-031-3/+0
|\ \ \ \ | | | | | | | | | | [SMTChecker] Remove unary plus operator
| * | | | [SMTChecker] Remove unary plus operatorLeonardo Alt2018-12-031-3/+0
| | | | |
* | | | | Merge pull request #5532 from ethereum/docs-style-add-mappingchriseth2018-12-031-1/+17
|\ \ \ \ \ | | | | | | | | | | | | DOCS: Add mapping guide to style docs
| * | | | | Add mapping guide to style docs thanks to @aupiffChris Ward2018-12-031-1/+17
| | | | | |
* | | | | | Merge pull request #5547 from ethereum/assemblySyntaxchriseth2018-12-031-8/+27
|\ \ \ \ \ \ | | | | | | | | | | | | | | Update assembly grammar part.
| * | | | | | Update assembly grammar part.chriseth2018-12-011-8/+27
| | |_|_|/ / | |/| | | |
* | | | | | Merge pull request #5565 from ethereum/listTestschriseth2018-12-031-0/+3
|\ \ \ \ \ \ | | | | | | | | | | | | | | Explain how to get a list of all tests.
| * | | | | | Explain how to get a list of all tests.chriseth2018-12-031-0/+3
| | |_|/ / / | |/| | | |
* | | | | | Merge pull request #5557 from ↵chriseth2018-12-037-21/+66
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | | | | | | | | | | | | | ethereum/fixInterfaceImplementedByPublicStateVariable Public state variables are implementing external functions.
| * | | | | Public state variables are implementing external functions.chriseth2018-12-037-21/+66
| | |/ / / | |/| | |
* | | | | Merge pull request #5553 from ethereum/docs-add-link-structurechriseth2018-12-032-1/+4
|\ \ \ \ \ | |_|/ / / |/| | | | DOCS: Add link between functions in contract structure and more details
| * | | | Add link between functions in contract structure and more detailsChris Ward2018-12-032-1/+4
|/ / / / | | | | | | | | | | | | Fix missing label
* | | | Merge pull request #5562 from Altrum/debugDocschriseth2018-12-031-0/+14
|\ \ \ \ | | | | | | | | | | Updated docs on information about debugging and how to run commands.
| * | | | Added information about debugging and examples on how to run subsets of tests.Robert Chung2018-12-021-0/+14
| | | | |
* | | | | Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoringchriseth2018-12-0128-208/+215
|\| | | | | |/ / / |/| | | [1/3] SourceLocation related refactoring.
| * | | liblangutil: SourceLocation: Retricts == and != operatorChristian Parpart2018-12-012-6/+5
| | | |
| * | | liblangutil: small refactors wrt. API cleanupsChristian Parpart2018-12-013-16/+2
| | | | | | | | | | | | | | | | Especially also remove SourceLocation ctor's that the compiler can default-implement.
| * | | liblangutil: Scanner: remove superfluous sourceName field (it's in ↵Christian Parpart2018-12-0111-35/+25
| | | | | | | | | | | | | | | | | | | | | | | | | | | | CharStream already) Also, ParserBase::sourceName() was dead code. Eliminating it should increase test coverage (how sneaky) :-)
| * | | liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream ↵Christian Parpart2018-12-0117-102/+127
| | | | | | | | | | | | | | | | | | | | | | | | source, eliminating sourceName Also, adapted affecting code to those changes.
| * | | liblangutil: extends CharStream to know about the respective (file-)name ↵Christian Parpart2018-11-2913-80/+83
| | | | | | | | | | | | | | | | (and adapt codebase to it)
| * | | liblangutil: adds Scanner.charStream() accessorChristian Parpart2018-11-291-0/+2
| | | |
| * | | liblangutil: adds ParserBase::charStream() accessorChristian Parpart2018-11-291-0/+2
| | | |
* | | | Merge pull request #5528 from ethereum/smt_sorts_virtualchriseth2018-11-301-6/+16
|\ \ \ \ | | | | | | | | | | [SMTChecker] Make smt::Sort::operator== virtual
| * | | | [SMTChecker] Make smt::Sort::operator== virtualLeonardo Alt2018-11-301-6/+16
| | | | |
* | | | | Merge pull request #5541 from ethereum/clarifyCopyInheritancechriseth2018-11-301-3/+4
|\ \ \ \ \ | | | | | | | | | | | | [DOCS] Clarify "copying bytecode" in inheritance.
| * | | | | Clarify "copying bytecode" in inheritance.chriseth2018-11-291-3/+4
| | | | | |
* | | | | | Merge pull request #5546 from ethereum/inheritanceCheckerchriseth2018-11-309-431/+585
|\ \ \ \ \ \ | | | | | | | | | | | | | | Move some checks out of type checker.
| * | | | | | Changelog entry.chriseth2018-11-301-0/+2
| | | | | | |
| * | | | | | Move library related checks.chriseth2018-11-304-16/+16
| | | | | | |
| * | | | | | Move hash collisions checks.chriseth2018-11-303-13/+18
| | | | | | |
| * | | | | | Move external type clash check.chriseth2018-11-304-40/+40
| | | | | | |
| * | | | | | Move fallback function checks.chriseth2018-11-303-20/+25
| | | | | | |
| * | | | | | Move constructor checks.chriseth2018-11-303-16/+21
| | | | | | |
| * | | | | | Rename functions.chriseth2018-11-302-15/+15
| | | | | | |
| * | | | | | No need to visit structs early.chriseth2018-11-301-7/+1
| | | | | | |
| * | | | | | Test.chriseth2018-11-302-0/+26
| | | | | | |
| * | | | | | Move base constructor argument checks.chriseth2018-11-304-93/+97
| | | | | | |
| * | | | | | Move abstract function check.chriseth2018-11-304-46/+46
| | | | | | |
| * | | | | | Move override checks.chriseth2018-11-304-87/+88
| | | | | | |
| * | | | | | Move duplication checks.chriseth2018-11-304-92/+93
| | | | | | |
| * | | | | | Add skeleton for contract level checker.chriseth2018-11-304-2/+113
| | |/ / / / | |/| | | |
* | | | | | Merge pull request #5529 from ethereum/noCoverageOnReleasechriseth2018-11-301-1/+2
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Disable coverage generation for release branch.
| * | | | | Disable coverage generation for release branch.chriseth2018-11-291-1/+2
| | | | | |
* | | | | | Merge pull request #5550 from ethereum/moveSomeTestschriseth2018-11-3011-0/+0
|\ \ \ \ \ \ | | | | | | | | | | | | | | Move inline array tests.
| * | | | | | Move inline array tests.chriseth2018-11-3011-0/+0
| | | | | | |
* | | | | | | Merge pull request #5548 from ethereum/fixMemberAccesschriseth2018-11-304-3/+31
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | Fix bug related to state variables of function type accessed via base contract.
| * | | | | | | Fix bug related to state variables of function type accessed via base contract.chriseth2018-11-304-3/+31
| |/ / / / / /
* | | | | | | Merge pull request #5549 from ethereum/disallowInlineArraysOfMappingTypechriseth2018-11-303-0/+12
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | Disallow inline arrays of mapping type.
| * | | | | | Disallow inline arrays of mapping type.chriseth2018-11-303-0/+12
|/ / / / / /
* | | | | | Merge pull request #5543 from ethereum/fixSortMOvechriseth2018-11-291-1/+2
|\ \ \ \ \ \ | | | | | | | | | | | | | | Fix move bug.
| * | | | | | Fix move bug.chriseth2018-11-291-1/+2
| | | | | | |
* | | | | | | Merge pull request #5539 from ethereum/fix_deprecated_sha3_suicidechriseth2018-11-299-22/+76
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | Report deprecation error on functions sha3 and suicide also without call
| * | | | | | Report deprecation error on functions sha3 and suicide also without call.Leonardo Alt2018-11-299-22/+76
|/ / / / / /
* | | | | | Merge pull request #5513 from corollari/fedora-fixchriseth2018-11-291-1/+1
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | Detect Fedora properly in install_deps.sh
| * | | | | Fix #5512Albert2018-11-291-1/+1
| |/ / / / | | | | | | | | | | | | | | | Make the double quotes around the distro name optional so it matches properly in Fedora (`NAME=Fedora`)
* | | | | Merge pull request #5538 from hydai/static_uint256chriseth2018-11-296-22/+24
|\ \ \ \ \ | | | | | | | | | | | | Replace IntegerType(256) with static function IntegerType::uint256()
| * | | | | Replace IntegerType(256) with static function IntegerType::uint256()hydai2018-11-296-22/+24
| | | | | |
* | | | | | Merge pull request #5533 from ethereum/fix_function_type_struct_bugchriseth2018-11-294-1/+27
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Fix ICE when function type struct parameter has field of non-existent type
| * | | | | Fix ICE when function type struct parameter has field of non-existent typeLeonardo Alt2018-11-294-1/+27
|/ / / / /
* | | | | Merge pull request #5526 from ethereum/fixGetterNewCoderchriseth2018-11-296-11/+65
|\ \ \ \ \ | |_|/ / / |/| | | | Fix: Disallow structs in getters for old encoder.
| * | | | Changelog entry.chriseth2018-11-281-1/+2
| | | | |
| * | | | Tests.chriseth2018-11-284-0/+32
| | | | |
| * | | | Properly check getter types to be old-abi-coder-compatible.chriseth2018-11-281-10/+31
| |/ / /
* | | | Merge pull request #5530 from ethereum/fix-ast-segfaultchriseth2018-11-282-6/+11
|\ \ \ \ | | | | | | | | | | Fixes crash on empty runtime code.
| * | | | Fixes crash on empty runtime code.Erik Kundt2018-11-282-6/+11
| |/ / /
* | | | Merge pull request #5289 from ethereum/docs-index-overhaulchriseth2018-11-281-33/+31
|\ \ \ \ | | | | | | | | | | DOCS: Updates to docs index file
| * | | | Begin overhaul of documentation indexChris Ward2018-11-281-33/+31
| |/ / /
* | | | Merge pull request #5522 from juztin/developchriseth2018-11-285-18/+43
|\ \ \ \ | | | | | | | | | | Builds both scratch & Alpine Docker images
| * | | | Added Docker updates to changelogJustin Wilson2018-11-281-0/+1
| | | | |
| * | | | Builds both scratch & Alpine Docker imagesJustin Wilson2018-11-284-18/+42
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - Adds `Dockerfile_alpine`, which copies the complier from the scratch step into an Alpine image - Updates `docker_build.sh` to build the Alpine image - Updates `docker_deploy.sh` to tag and push the Alpine images - Updates `docker_deploy_manual.sh` to tag and push the Alpine images The tags that are pushed follow: - Scratch - ethereum/solc:stable - ethereum/solc:0.5.1 - ethereum/solc:nightly - ethereum/solc:nightly-0.5.1-bc7cb301e3d71756c8fbefe888aca53433302117 - ethereum/solc:nightly-0.5.1-bc7cb301e3d71756c8fbefe888aca53433302117 - Alpine - ethereum/solc:stable-alpine - ethereum/solc:0.5.1-alpine - ethereum/solc:nightly-alpine - ethereum/solc:nightly-alpine-0.5.1-bc7cb301e3d71756c8fbefe888aca53433302117 - ethereum/solc:nightly-alpine-0.5.1-bc7cb301e3d71756c8fbefe888aca53433302117
* | | | | Merge pull request #5527 from ethereum/smt_json_testcaseschriseth2018-11-281-31/+56
|\ \ \ \ \ | | | | | | | | | | | | Remove boost test checks from SMTCheckerJSONTest
| * | | | | Remove boost test checks from SMTCheckerJSONTestLeonardo Alt2018-11-281-31/+56
|/ / / / /
* | | | | Merge pull request #5525 from ethereum/obsoleteCommentchriseth2018-11-281-6/+1
|\ \ \ \ \ | |_|/ / / |/| | | | Remove obsolete comment.
| * | | | Remove obsolete comment.chriseth2018-11-281-6/+1
| | |/ / | |/| |
* | | | Merge pull request #5358 from ethereum/yulObjectschriseth2018-11-2810-34/+635
|\ \ \ \ | |_|/ / |/| | | [Yul] Yul objects parser
| * | | Changelog entry.chriseth2018-11-281-0/+1
| | | |
| * | | Tests.chriseth2018-11-271-0/+257
| | | |
| * | | Use yul parser in assembly stack.chriseth2018-11-273-21/+23
| | | |
| * | | Yul objects.chriseth2018-11-277-18/+359
| |/ /
* | | Merge pull request #5517 from ethereum/nondeterminismBoostchriseth2018-11-272-1/+2
|\ \ \ | |/ / |/| | Fix nondeterminism bug related to boost version.
| * | Fix nondeterminism bug related to boost version.chriseth2018-11-272-1/+2
|/ /
* | Merge pull request #5277 from ethereum/docs-5175-require-revertchriseth2018-11-271-7/+16
|\ \ | | | | | | DOCS: Add mention that pure functions can require and revert
| * | Add that pure functions can use revert and requireChris Ward2018-11-271-7/+16
| | |
* | | Merge pull request #5507 from ethereum/docs-movechriseth2018-11-272-103/+102
|\ \ \ | | | | | | | | Move function related content to contracts doc
| * | | Move function related content to contracts docChris Ward2018-11-272-103/+102
| |/ /
* | | Merge pull request #5382 from ethereum/libraryMappingPublicchriseth2018-11-2711-27/+106
|\ \ \ | |/ / |/| | Allow mapping arguments for public and external library functions.
| * | Allow mapping arguments for public and external library functions.Daniel Kirchner2018-11-2611-27/+106
| | |
* | | Merge pull request #5121 from ethereum/docs-contributing-pt2chriseth2018-11-271-30/+34
|\ \ \ | | | | | | | | Review contributing docs for language and ease, tests sections
| * | | Review contributing docs for language and easeChris Ward2018-11-271-30/+34
| | | |
* | | | Merge pull request #5487 from ethereum/fixInterfaceOverrideTypeChangechriseth2018-11-274-4/+15
|\ \ \ \ | |/ / / |/| | | Fix interface override type change
| * | | Changelog entry and tests.chriseth2018-11-263-1/+12
| | | |
| * | | Properly disallow different return types for interface overloads with ↵chriseth2018-11-261-3/+3
|/ / / | | | | | | | | | different visibilities.
* | | Merge pull request #5445 from ethereum/publicExternalOverwritechriseth2018-11-2610-8/+176
|\ \ \ | |/ / |/| | Allow overwriting external functions (with ``calldata`` arguments) with public functions (with ``memory`` arguments)
| * | Tests.Daniel Kirchner2018-11-269-0/+166
| | |
| * | Use asCallableFunction for definition clashes in the same contract.chriseth2018-11-261-1/+3
| | |
| * | Use asCallableFunction for external interface clash check.chriseth2018-11-261-2/+2
| | |
| * | Use callable types for override check.chriseth2018-11-261-4/+4
| | |
| * | Use asCallableFunction in override check (part 1).chriseth2018-11-261-1/+1
| | |
* | | Merge pull request #5504 from ethereum/smt_fix_emscriptenchriseth2018-11-261-0/+4
|\ \ \ | | | | | | | | [SMTChecker] Fix crash when SMTLib2Interface reports unknow for constant checks
| * | | [SMTChecker] Unknown answer for constant condition check should not do anythingLeonardo Alt2018-11-261-0/+4
| | | |
* | | | Merge pull request #5404 from ethereum/jumpFixeschriseth2018-11-263-2/+9
|\ \ \ \ | | | | | | | | | | Annotate jump from calldata decode to function as "jump in".
| * | | | Changelog entry.chriseth2018-11-261-0/+1
| | | | |
| * | | | Use "in" tag for jumps from unpacker to function.chriseth2018-11-262-2/+8
| | | | |
* | | | | Merge pull request #5313 from cpurta/circle-ci-error-botchriseth2018-11-262-4/+55
|\ \ \ \ \ | | | | | | | | | | | | Add error reporting script and use in check_style script
| * | | | | Script that directly comments errors to the github pull request.Chris Purta2018-11-262-4/+55
|/ / / / /
* | | | | Merge pull request #5287 from ethereum/docs-update-input-parameterschriseth2018-11-262-6/+15
|\ \ \ \ \ | | | | | | | | | | | | DOCS: Merge FAQ into docs on multi-dimensional arrays
| * | | | | Move FAQ point to input and output parameters and polish surrounding textChris Ward2018-11-262-6/+15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Update docs/control-structures.rst Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com> Remove line with no further details. Fix tabs Remove FAQ item
* | | | | | Merge pull request #5506 from ethereum/fixMergeConflictchriseth2018-11-262-1/+1
|\ \ \ \ \ \ | | | | | | | | | | | | | | Fix merge problem in CMake files.
| * | | | | | Fix merge problem in CMake files.chriseth2018-11-262-1/+1
| | | | | | |
* | | | | | | Merge pull request #5438 from ethereum/docs-faq-types-undefinedchriseth2018-11-262-38/+5
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | DOCS: Move undefined FAQ item
| * | | | | | Update docs/types.rstErik Kundt2018-11-241-1/+1
| | | | | | | | | | | | | | | | | | | | | Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
| * | | | | | Add default value detailsChris Ward2018-11-231-1/+4
| | | | | | |
| * | | | | | Update docs/types.rstchriseth2018-11-231-1/+1
| | | | | | | | | | | | | | | | | | | | | Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
| * | | | | | Move undefined FAQ itemChris Ward2018-11-152-38/+2
| | | | | | |
* | | | | | | Merge pull request #5435 from fulldecent/patch-9chriseth2018-11-261-0/+4
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | Define how inheritance affects storage
| * | | | | | | Define how inheritance affects storageWilliam Entriken2018-11-261-0/+4
| | |_|_|_|/ / | |/| | | | |
* | | | | | | Merge pull request #5493 from ethereum/cmake-no-globbingchriseth2018-11-265-17/+100
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | [WIP] CMake: Explicitly state which files to compile instead of relying on globbing
| * | | | | | CMake: Explicitly state which files to compile instead of relying on globbing.Christian Parpart2018-11-265-17/+100
| | |_|/ / / | |/| | | | | | | | | | | | | | | | | | | | | | Also remove header file lists, as there is no need to add them to add_library() or add_executable(), which should lower maintenance of the cmake files.
* | | | | | Merge pull request #5486 from ethereum/allowExternalPublicOverridechriseth2018-11-266-10/+39
|\ \ \ \ \ \ | | | | | | | | | | | | | | Allow external public override
| * | | | | | Changelog entry and tests.chriseth2018-11-265-1/+33
| | | | | | |
| * | | | | | Allow visibility change from external to public.chriseth2018-11-261-9/+6
| | | | | | |
* | | | | | | 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
| | | |
generated by cgit (git 2.34.1) at 2024-11-18 01:01:55 +0800