aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | Merge pull request #5390 from ethereum/smt_one_loopchriseth2018-12-0518-18/+217
|\ \ \ \ | |/ / / |/| | | [SMTChecker] Unroll loops once
| * | | [SMTChecker] Loops are unrolled onceLeonardo Alt2018-12-0418-18/+217
| | | |
* | | | Merge pull request #5586 from ethereum/refactorEVMAssemblychriseth2018-12-047-28/+20
|\ \ \ \ | |_|/ / |/| | | Refactor evm assembly
| * | | Switch namespaces.chriseth2018-12-044-8/+12
| | | |
| * | | Remove some includes.chriseth2018-12-041-9/+0
| | | |
| * | | Adjust include paths.chriseth2018-12-045-10/+7
| | | |
| * | | Move AsmCodeGen.chriseth2018-12-044-1/+1
| | | |
* | | | Merge pull request #5583 from ethereum/builtins3chriseth2018-12-043-16/+68
|\ \ \ \ | |/ / / |/| | | Analysis phase for builtin funtions.
| * | | Builtin functions for yul analysis.chriseth2018-12-042-1/+26
| | | |
| * | | Tests for parser for builtins.chriseth2018-12-041-0/+17
| | | |
| * | | Use dialect option in yul parser tests.chriseth2018-12-041-11/+13
| | | |
| * | | Use builtin functions in the yul parser.chriseth2018-12-041-4/+12
|/ / /
* | | Merge pull request #5573 from ethereum/builtinschriseth2018-12-0416-62/+148
|\ \ \ | | | | | | | | [Yul] Introduce the concept of builtin functions.
| * | | Introduce the concept of builtin functions.chriseth2018-12-0416-62/+148
| |/ /
* | | Merge pull request #5585 from ethereum/forInitRewriteNestedchriseth2018-12-043-7/+62
|\ \ \ | |/ / |/| | [Yul] Proper recursion in ForLoopInitRewriter.
| * | Properly recurse in ForLoopInitRewriterDaniel Kirchner2018-12-043-7/+62
|/ /
* | Merge pull request #5582 from ethereum/yulErrorMessageschriseth2018-12-045-16/+26
|\ \ | | | | | | Improve error messages around invalid function argument count.
| * | Do not stop if there is more than one error.chriseth2018-12-041-1/+2
| | |
| * | Improve yul error messages around number of arguments and variables.chriseth2018-12-044-15/+24
|/ /
* | Merge pull request #5578 from ethereum/yulStringRefactorchriseth2018-12-042-16/+16
|\ \ | | | | | | Use YulString also in expectAsmIdentifier.
| * | Use YulString also in expectAsmIdentifier.chriseth2018-12-042-16/+16
|/ /
* | Merge pull request #5575 from ethereum/releasechriseth2018-12-040-0/+0
|\| | | | | Merge release back into develop.
| * Merge pull request #5571 from ethereum/developchriseth2018-12-03425-4602/+7166
| |\ | | | | | | Version 0.5.1
* | \ Merge pull request #5574 from ethereum/version0.5.2chriseth2018-12-032-1/+12
|\ \ \ | |_|/ |/| | Set version to 0.5.2.
| * | Set version to 0.5.2.chriseth2018-12-032-1/+12
|/ /
* | Merge pull request #5570 from ethereum/updateChangelog051chriseth2018-12-032-5/+9
|\ \ | | | | | | Massage changelog for 0.5.1
| * | Massage changelog for 0.5.1chriseth2018-12-032-5/+9
|/ /
* | Merge pull request #5558 from anurag-git/issue_5130chriseth2018-12-034-1/+23
|\ \ | | | | | | Fix internal compiler error for unimplemented base contract function.
| * | Fix internal compiler error for unimplemented base contract function.Anurag Dashputre2018-12-034-1/+23
| | |
* | | Merge pull request #5569 from ethereum/chriseth-patch-1chriseth2018-12-031-1/+3
|\ \ \ | |/ / |/| | Add solc-js changes.
| * | Add solc-js changes.chriseth2018-12-031-1/+3
|/ /
* | Merge pull request #5341 from ethereum/optimizeAssemblyCommandlinechriseth2018-12-036-10/+73
|\ \ | | | | | | Apply the optimize commandline parameter to assembly mode.
| * | Improves assembly output commandline tests.Erik Kundt2018-12-011-2/+28
| | |
| * | 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
generated by cgit (git 2.34.1) at 2024-09-30 00:35:51 +0800