aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #5711 from ethereum/printCommandOnErrorchriseth2019-01-071-0/+4
|\ | | | | [cmdline tests] Print command on error.
| * Print command.chriseth2018-12-201-0/+4
| |
* | Merge pull request #5741 from ethereum/fix-5730-SourceLocationchriseth2019-01-074-1/+23
|\ \ | | | | | | Fixes SourceLocation extraction on multiline locations with a too long first line
| * | Adds new test for SourceReferenceExtractor to extract multiline location ↵Christian Parpart2019-01-073-0/+20
| | | | | | | | | | | | with a too long first line.
| * | Fixes SourceLocation extraction on multiline locations with a too long first ↵Christian Parpart2019-01-071-1/+3
| | | | | | | | | | | | line.
* | | Merge pull request #5738 from ethereum/emscriptenBoost168chriseth2019-01-074-14/+14
|\ \ \ | | | | | | | | Update to boost 1.68 for emscripten builds.
| * | | Update to boost 1.68 for emscripten builds.Daniel Kirchner2019-01-074-14/+14
| |/ /
* | | Merge pull request #5620 from ethereum/rematOnlyOnechriseth2019-01-0723-127/+261
|\ \ \ | | | | | | | | [Yul] Use rematerializer if variable is only referenced once or value is "cheap".
| * | | Use rematerializer if variable is unreferenced or value is "cheap".chriseth2019-01-0723-127/+261
| | | |
* | | | Merge pull request #5743 from ethereum/srcTarballchriseth2019-01-071-1/+1
|\ \ \ \ | |/ / / |/| | | Change uid and gid for source tarball to 0:0.
| * | | Change uid and gid for source tarball to 0:0.Daniel Kirchner2019-01-071-1/+1
|/ / /
* | | Merge pull request #5703 from ethereum/srcTarballAlex Beregszaszi2019-01-071-1/+1
|\ \ \ | | | | | | | | Remove real username from source tarballs.
| * | | Remove real username from source tarballs.chriseth2018-12-201-1/+1
| | | |
* | | | Merge pull request #5734 from ItsNickBarry/deprecation-noticeschriseth2019-01-071-2/+2
|\ \ \ \ | | | | | | | | | | clarify antecedents in deprecation notices
| * | | | clarify antecedents in deprecation noticesNick Barry2019-01-031-2/+2
| | |/ / | |/| |
* | | | Merge pull request #5720 from ethereum/docs_type_conversionchriseth2019-01-071-2/+2
|\ \ \ \ | | | | | | | | | | [DOCS] Fix examples in type conversion docs
| * | | | Fix examples in type conversion docsLeonardo Alt2018-12-241-2/+2
| | | | |
* | | | | Merge pull request #5731 from poiresel/docs_spelling_fixeschriseth2019-01-075-5/+5
|\ \ \ \ \ | | | | | | | | | | | | resolve spelling issues in the docs folder
| * | | | | resolve spelling issues in the docs folderpoiresel2018-12-215-5/+5
| | |_|_|/ | |/| | |
* | | | | Merge pull request #5727 from spmvg/developchriseth2019-01-071-3/+2
|\ \ \ \ \ | | | | | | | | | | | | [DOCS] fix typo in docs/contracts.rst
| * | | | | fix typo in docsspmvg2018-12-311-3/+2
| | |/ / / | |/| | |
* | | | | Merge pull request #5698 from ethereum/chriseth-patch-2chriseth2019-01-071-6/+14
|\ \ \ \ \ | | | | | | | | | | | | [DOC] More details about packed encoding.
| * | | | | [DOC] More details about packed encoding.chriseth2018-12-201-6/+14
| | |/ / / | |/| | |
* | | | | Merge pull request #5729 from chankruze/developchriseth2019-01-071-1/+1
|\ \ \ \ \ | |_|_|/ / |/| | | | copyright year updated
| * | | | copyright year updatedchandan kumar mandal2019-01-021-1/+1
| | |/ / | |/| | | | | | | | | | Happy New Year !! 🎇 Copyright year udated to 2019.
* | | | Merge pull request #5733 from HaoXuan40404/patch-2Alex Beregszaszi2019-01-031-1/+1
|\ \ \ \ | |/ / / |/| | | Update install_deps.sh
| * | | Update install_deps.shAsher2019-01-031-1/+1
|/ / / | | | | | | | | | In install_deps.sh, line 59 (sed -n -e 's/^NAME="?([^"])"?$/\1/p' /etc/os-release) will get CentOS Linux instead of CentOS, so it cant match CentOS. I suggest that in line 355, can modified " CentOS)" to " CentOS*)"
* | | Merge pull request #5709 from ethereum/onlyDirectorieschriseth2018-12-211-44/+54
|\ \ \ | |/ / |/| | [cmdline tests] Select only directories to skip the readme
| * | Only select directories to skip the README.androlo2018-12-201-8/+5
| | |
| * | Formatting.chriseth2018-12-201-48/+61
|/ /
* | Merge pull request #5699 from ethereum/cmake-no-c-dependencychriseth2018-12-203-4/+2
|\ \ | | | | | | cmake: Do not depend on a C compiler to be present
| * | cmake: Do not depend on a C compiler to be present by explicitly stating ↵Christian Parpart2018-12-203-4/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | that this is a C++ project. CMake defaults to C *and* C++ toolchain, in case nothing has been specified. This means that cmake always checks for both, which is more than needed. This PR cuts off C toolchain requirement from /CMakeLists.txt and ensures that we don't pass along any `..._C_...` variables in EthCompilerSettings.cake nor jsoncpp.cmake.
* | | Merge pull request #2836 from ethereum/cmake-toolchainschriseth2018-12-206-9/+18
|\ \ \ | | | | | | | | CMake: Use toolchain files
| * | | CMake: Use toolchain filesPaweł Bylica2018-12-196-9/+18
| | | |
* | | | Merge pull request #5707 from ethereum/updateReleaseChecklistchriseth2018-12-201-2/+4
|\ \ \ \ | | | | | | | | | | Update release checklist.
| * | | | Update release checklist.chriseth2018-12-201-2/+4
|/ / / / | | | | | | | | | | | | | | | | | | | | - create contributor list earlier - fix name of bytecode comparison directory - add instructions to upload the source tarball
* | | | Merge pull request #5701 from ethereum/faq-structchriseth2018-12-201-5/+0
|\ \ \ \ | | | | | | | | | | DOCS: Remove Structs item from FAQ
| * | | | Remove Structs item from FAQChris Ward2018-12-191-5/+0
| | | | |
* | | | | Merge pull request #5700 from ethereum/wip/docs-comments-faqchriseth2018-12-201-6/+0
|\ \ \ \ \ | |_|_|/ / |/| | | | DOCS: Remove comments FAQ item
| * | | | Remove comments FAQ itemChris Ward2018-12-201-6/+0
| | |_|/ | |/| |
* | | | Merge pull request #5705 from ethereum/releasechriseth2018-12-200-0/+0
|\ \ \ \ | | | | | | | | | | Merge release back into develop.
| * | | | Merge pull request #5697 from ethereum/developchriseth2018-12-20512-2689/+7656
| |\| | | | | | | | | | | | | Merge develop into release for 0.5.2
* | | | | Merge pull request #5704 from ethereum/bumpVersionchriseth2018-12-202-1/+15
|\ \ \ \ \ | |_|/ / / |/| | | | Set version to 0.5.3
| * | | | Set version to 0.5.3chriseth2018-12-202-1/+15
|/ / / /
* | | | Merge pull request #5696 from ethereum/updateChangelogchriseth2018-12-202-4/+10
|\ \ \ \ | | | | | | | | | | Update changelog for release.
| * | | | Update buglist.chriseth2018-12-201-0/+4
| | | | |
| * | | | Update changelog for release.chriseth2018-12-201-4/+6
|/ / / /
* | | | Merge pull request #5681 from ethereum/limitOutputchriseth2018-12-2012-23/+160
|\ \ \ \ | |_|/ / |/| | | Do not compile unless requested.
| * | | Changelog entry.chriseth2018-12-191-0/+1
| | | |
| * | | Do not include empty JSON objects in output.chriseth2018-12-195-10/+16
| | | |
| * | | Tests.chriseth2018-12-196-0/+54
| | | |
| * | | Only fully compile if binaries requested.chriseth2018-12-191-9/+40
| | | |
| * | | Some more compiler state tests.chriseth2018-12-191-5/+50
| | |/ | |/|
* | | Merge pull request #5693 from ethereum/assemblyitemchriseth2018-12-191-3/+5
|\ \ \ | | | | | | | | Use explicit break and do not coerce 0 into bool in AssemblyItem
| * | | Use explicit break and do not coerce 0 into bool in AssemblyItemAlex Beregszaszi2018-12-191-3/+5
| |/ /
* | | Merge pull request #5635 from ethereum/cpp-default-ctorschriseth2018-12-1933-96/+78
|\ \ \ | |/ / |/| | [RFC] C++ `=default` ctors/dtors and the use of non-static member initializer syntax.
| * | make use of C++ `= default` constructor declarations as well as more ↵Christian Parpart2018-12-1927-65/+51
| | | | | | | | | | | | non-static member initialization syntax.
| * | liblangutil: SourceLocation to default initialize data members (w/o the use ↵Christian Parpart2018-12-197-31/+27
| | | | | | | | | | | | | | | | | | of ctor) See: http://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#c45-dont-define-a-default-constructor-that-only-initializes-data-members-use-in-class-member-initializers-instead
* | | Merge pull request #5683 from Zacharius/5673-doc_enum_fixchriseth2018-12-191-1/+1
|\ \ \ | |/ / |/| | 5673 doc enum fix
| * | changed interface code example to illustrate working solidity versionZacharius2018-12-191-1/+1
|/ /
* | Merge pull request #5686 from ethereum/someStylechriseth2018-12-191-4/+6
|\ \ | | | | | | Formatting.
| * | Formatting.chriseth2018-12-191-4/+6
| | |
* | | Merge pull request #5684 from ethereum/doc-fix-trivialchriseth2018-12-191-1/+1
|\ \ \ | | | | | | | | Doc: Fix typo "a messy" -> "a mess"
| * | | Doc: Fix typo "a messy" -> "a mess"Mathias Baumann2018-12-191-1/+1
|/ / /
* | | Merge pull request #5680 from ethereum/doc-fix-trivialchriseth2018-12-191-3/+3
|\ \ \ | | | | | | | | [Trivial] Format "and" as instruction op code
| * | | Rephrase opcode result returning descriptionMathias Baumann2018-12-191-2/+2
| | | | | | | | | | | | | | | | | | | | It was a bit between the lines that "pushing on the stack" is their means of returning a result.
| * | | Format "and" as instruction op codeMathias Baumann2018-12-191-1/+1
| | | |
* | | | Merge pull request #5637 from ethereum/better-json-error-reportingchriseth2018-12-1947-13/+330
|\ \ \ \ | | | | | | | | | | Json: Provide better error message when 'settings' is not an object
| * | | | Json: Provide better error messages for wrong typesMathias Baumann2018-12-1947-13/+330
| |/ / /
* | | | Merge pull request #5678 from ethereum/buildReleasechriseth2018-12-194-6/+6
|\ \ \ \ | |_|/ / |/| | | Build in release mode.
| * | | Build in release mode.chriseth2018-12-184-6/+6
| | | |
* | | | Merge pull request #5679 from ethereum/hashCachechriseth2018-12-192-8/+25
|\ \ \ \ | | | | | | | | | | Cache hash computations.
| * | | | Cache hash computations.chriseth2018-12-182-8/+25
| |/ / /
* | | | Merge pull request #5677 from ethereum/someOptschriseth2018-12-193-12/+21
|\ \ \ \ | | | | | | | | | | Some optimisations.
| * | | | Optimize some instruction comparisons.chriseth2018-12-192-5/+3
| | | | |
| * | | | Provide comparison shortcut.chriseth2018-12-181-0/+7
| | | | |
| * | | | Use the move.chriseth2018-12-181-7/+11
| |/ / /
* | | | Merge pull request #5664 from ethereum/cmakeUpdateschriseth2018-12-197-10/+31
|\ \ \ \ | | | | | | | | | | Use imported CMake targets.
| * | | | Use imported CMake targets.Daniel Kirchner2018-12-177-10/+31
| | | | |
* | | | | Merge pull request #5674 from ethereum/parser-pragmaversionchriseth2018-12-186-14/+45
|\ \ \ \ \ | |_|/ / / |/| | | | Add version pragma parsing to Parser
| * | | | Move unsatisfied_version test from SolidityNameAndTypeResolution to ↵Alex Beregszaszi2018-12-182-12/+8
| | | | | | | | | | | | | | | | | | | | SolidityParser
| * | | | Fail if parsing failed in AnalysisFrameworkAlex Beregszaszi2018-12-181-1/+1
| | | | | | | | | | | | | | | | | | | | Otherwise Compilerstack::analyze will throw an exception.
| * | | | Add version pragma parsing to ParserAlex Beregszaszi2018-12-184-1/+36
| | | | |
* | | | | Merge pull request #5676 from ethereum/someOptsAlex Beregszaszi2018-12-181-1/+1
|\ \ \ \ \ | |/ / / / |/| | | | Make swappable instructions static.
| * | | | Make swappable instructions static.chriseth2018-12-181-1/+1
| | |/ / | |/| |
* | | | Merge pull request #5246 from ethereum/abi-type-arraychriseth2018-12-181-25/+37
|\ \ \ \ | |/ / / |/| | | Updates arrays section to improve order and clarify concepts
| * | | Updates arrays section to improve order and clarify conceptsChris Ward2018-12-181-25/+37
|/ / /
* | | Merge pull request #5625 from ethereum/single-checkchriseth2018-12-184-15/+90
|\ \ \ | | | | | | | | Do check for callvalue only once if no payable functions
| * | | Only generate sort/search code when interface functions existMathias Baumann2018-12-184-15/+90
| | | |
* | | | Merge pull request #5671 from ethereum/sort_includes_interfacechriseth2018-12-1814-45/+49
|\ \ \ \ | | | | | | | | | | Sort includes in libsolidity/interface
| * | | | Sort includes in libsolidity/interfaceLeonardo Alt2018-12-1814-45/+49
| | | | |
* | | | | Merge pull request #5672 from ethereum/sort_includes_parsingchriseth2018-12-183-6/+23
|\ \ \ \ \ | | | | | | | | | | | | Sort includes in libsolidity/parsing
| * | | | | Sort includes in libsolidity/parsingLeonardo Alt2018-12-183-6/+23
| |/ / / /
* | | | | Merge pull request #5669 from ethereum/retire2015chriseth2018-12-183-11/+6
|\ \ \ \ \ | |/ / / / |/| | | | Remove support for Visual Studio 2015.
| * | | | Remove support for Visual Studio 2015.chriseth2018-12-183-11/+6
|/ / / /
* | | | Merge pull request #5668 from ethereum/sort_includes_formalchriseth2018-12-1814-36/+11
|\ \ \ \ | |/ / / |/| | | Sort includes in libsolidity/formal
| * | | Sort includes in libsolidity/formalLeonardo Alt2018-12-1814-36/+11
|/ / /
* | | Merge pull request #5665 from ethereum/cmakeHeaderschriseth2018-12-187-4/+160
|\ \ \ | | | | | | | | Add headers to targets in CMakeLists.txt.
| * | | Add headers to targets in CMakeLists.txt.Daniel Kirchner2018-12-177-4/+160
| |/ /
* | | Merge pull request #5667 from ethereum/sort_includes_codegenchriseth2018-12-1816-54/+52
|\ \ \ | | | | | | | | Sort includes in libsolidity/codegen
| * | | Sort includes in libsolidity/codegenLeonardo Alt2018-12-1816-54/+52
| | | |
* | | | Merge pull request #5666 from ethereum/sort_includes_astchriseth2018-12-1811-31/+29
|\ \ \ \ | | | | | | | | | | Sort includes in libsolidity/ast
| * | | | Sort includes in libsolidity/astLeonardo Alt2018-12-1711-31/+29
| |/ / /
* | | | Merge pull request #4859 from ethereum/input-outputchriseth2018-12-181-9/+16
|\ \ \ \ | |/ / / |/| | | Create section that covers input and output function types
| * | | Clean input and output function typesChris Ward2018-12-181-9/+16
|/ / / | | | | | | | | | Updates from review
* | | Merge pull request #5388 from ethereum/smt_mappingchriseth2018-12-1723-16/+396
|\ \ \ | | | | | | | | [SMTChecker] Support for mapping
| * | | Clear all mapping knowledge after array variable assignmentLeonardo Alt2018-12-143-5/+42
| | | |
| * | | [SMTChecker] Support to mappingLeonardo Alt2018-12-1423-15/+358
| |/ /
* | | Merge pull request #5613 from ethereum/yulStringLiteralschriseth2018-12-178-13/+18
|\ \ \ | | | | | | | | [Yul] Use C++ user-defined literals for creating YulString constants.
| * | | Use C++ user-defined literals for creating YulString constants.Daniel Kirchner2018-12-138-13/+18
| | | |
* | | | Merge pull request #5639 from ethereum/docs-array-deletechriseth2018-12-171-1/+8
|\ \ \ \ | | | | | | | | | | DOCS: Add array item deletion idiosyncrasy
| * | | | Add array item deletion idiosyncracyChris Ward2018-12-171-1/+8
|/ / / /
* | | | Merge pull request #5662 from ethereum/sort_includeschriseth2018-12-1722-41/+44
|\ \ \ \ | | | | | | | | | | Sort includes in libsolidity/analysis
| * | | | Sort includes in libsolidity/analysisLeonardo Alt2018-12-1722-41/+44
| | |/ / | |/| |
* | | | Merge pull request #5658 from ethereum/chriseth-patch-1chriseth2018-12-172-18/+5
|\ \ \ \ | | | | | | | | | | Add gnosis safe as external test.
| * | | | Add gnosis safe as external test.chriseth2018-12-151-0/+3
| | | | |
| * | | | Do not use nvm.chriseth2018-12-151-18/+2
| |/ / /
* | | | Merge pull request #5663 from ethereum/docs-formatting-issuechriseth2018-12-171-1/+1
|\ \ \ \ | |/ / / |/| | | DOCS: Fix italics formatting issue
| * | | Fix italics formatting issueChris Ward2018-12-171-1/+1
|/ / /
* | | Merge pull request #5655 from ethereum/removeUnassignedVarDefschriseth2018-12-1437-349/+249
|\ \ \ | | | | | | | | Add variable declaration initializer.
| * | | Remove VarDeclPropagator.chriseth2018-12-1314-302/+3
| | | |
| * | | Do not create unassigned variables.chriseth2018-12-1316-47/+50
| | | |
| * | | Add variable declaration initializer.chriseth2018-12-1310-0/+196
|/ / /
* | | Merge pull request #5649 from ethereum/returnsAreZerochriseth2018-12-136-36/+79
|\ \ \ | | | | | | | | [Yul] Consider return variables to be zero initially.
| * | | Consider return variables to be zero initially.chriseth2018-12-136-36/+79
|/ / /
* | | Merge pull request #5648 from ethereum/useMemoryDBchriseth2018-12-132-3/+3
|\ \ \ | | | | | | | | Update to use memorydb for aleth.
| * | | Update to use memorydb for aleth.chriseth2018-12-132-3/+3
| | | |
* | | | Merge pull request #5644 from ethereum/noInlineIntoLargechriseth2018-12-138-161/+277
|\ \ \ \ | | | | | | | | | | [Yul] Do not inline into already big functions.
| * | | | Do not inline into already big functions.chriseth2018-12-138-161/+277
| |/ / /
* | | | Merge pull request #5636 from ethereum/faq-array-literalchriseth2018-12-131-25/+0
|\ \ \ \ | | | | | | | | | | DOCS: Remove FAQ item that covers array literals
| * | | | Remove FAQ item that covers array literalsChris Ward2018-12-121-25/+0
| | | | |
* | | | | Merge pull request #5651 from ethereum/cmdlineJsonTestschriseth2018-12-132-3/+8
|\ \ \ \ \ | | | | | | | | | | | | Remove pre-release warning from standard json cmdline tests.
| * | | | | Remove pre-release warning from standard json cmdline tests.Daniel Kirchner2018-12-132-3/+8
| | | | | |
* | | | | | Merge pull request #5650 from ethereum/printerConstchriseth2018-12-132-30/+30
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | AsmPrinter functions should be const.
| * | | | | AsmPrinter functions should be const.chriseth2018-12-132-30/+30
|/ / / / /
* | | | | Merge pull request #5641 from ethereum/supportUnassignedchriseth2018-12-1310-13/+65
|\ \ \ \ \ | |/ / / / |/| | | | [Yul] Support unassigned variables in the SSA value tracker and the data flow analyzer.
| * | | | Support unassigned variables in the SSA value tracker and the data flow ↵chriseth2018-12-1310-13/+65
| | | | | | | | | | | | | | | | | | | | analyzer.
* | | | | Merge pull request #5624 from ethereum/standard_json_unknown_keyschriseth2018-12-1324-9/+224
|\ \ \ \ \ | | | | | | | | | | | | Disallow unknown JSON keys in standard-json
| * | | | | Disallow unknown JSON keys in standard-jsonLeonardo Alt2018-12-1324-9/+224
| | | | | |
* | | | | | Merge pull request #5643 from ethereum/releaseChecklistchriseth2018-12-131-1/+1
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | Clarify the need to wait for the static PPA build to finish in the release checklist.
| * | | | | Clarify the need to wait for the static PPA build to finish in the release ↵Daniel Kirchner2018-12-131-1/+1
|/ / / / / | | | | | | | | | | | | | | | checklist.
* | | | | Merge pull request #5634 from ethereum/staticPPAchriseth2018-12-133-15/+32
|\ \ \ \ \ | | | | | | | | | | | | Replace trusty PPA build by static PPA build.
| * | | | | Update changelog and release checklist.Daniel Kirchner2018-12-132-0/+4
| | | | | |
| * | | | | Replace trusty PPA build by static PPA build.Daniel Kirchner2018-12-131-15/+28
| | |_|/ / | |/| | |
* | | | | Merge pull request #5638 from ethereum/header-guardchriseth2018-12-134-0/+7
|\ \ \ \ \ | | | | | | | | | | | | Add missing header guards
| * | | | | Add missing header guardsAlex Beregszaszi2018-12-124-0/+7
| | |_|/ / | |/| | |
* | | | | Merge pull request #4951 from ethereum/alethUpdateschriseth2018-12-137-60/+20
|\ \ \ \ \ | |_|_|/ / |/| | | | Use current aleth release for testing.
| * | | | Add tolerance to gas meter tests.Daniel Kirchner2018-12-131-5/+7
| | | | |
| * | | | Test updates for recent versions of aleth.Daniel Kirchner2018-12-116-55/+13
| | | | |
* | | | | Merge pull request #5633 from ethereum/faq-killchriseth2018-12-131-23/+0
|\ \ \ \ \ | | | | | | | | | | | | DOCS: Remove FAQ item on killing contracts
| * | | | | Remove FAQ item on killing contractsChris Ward2018-12-131-23/+0
|/ / / / /
* | | | | Merge pull request #5630 from ethereum/warn_functions_empty_bodychriseth2018-12-1338-89/+16
|\ \ \ \ \ | | | | | | | | | | | | Supress unused var and state mut warnings for functions with empty body
| * | | | | Changelog entryLeonardo Alt2018-12-121-0/+1
| | | | | |
| * | | | | Disable state mutability warning for functions with empty bodyLeonardo Alt2018-12-1232-45/+1
| | | | | |
| * | | | | Disable unused var warning for functions with empty bodyLeonardo Alt2018-12-1216-44/+14
| | |_|/ / | |/| | |
* | | | | Merge pull request #2271 from 3esmit/patch-1chriseth2018-12-122-1/+62
|\ \ \ \ \ | |_|_|/ / |/| | | | Add NatSpec to Style-Guide
| * | | | Add NatSpec to Style-GuideRicardo Guilherme Schmidt2018-12-122-1/+62
|/ / / / | | | | | | | | | | | | related to #2270
* | | | Merge pull request #5632 from ethereum/faq-payloadchriseth2018-12-121-6/+0
|\ \ \ \ | | | | | | | | | | DOCS: Remove payload FAQ item
| * | | | Remove payload FAQ itemChris Ward2018-12-121-6/+0
| |/ / /
* | | | Merge pull request #5617 from ethereum/controlFlowReworkchriseth2018-12-1229-372/+471
|\ \ \ \ | |/ / / |/| | | Rework of ControlFlowGraph and analysis.
| * | | Refactoring of the ControlFlowGraph and use for detecting all uninitialized ↵Daniel Kirchner2018-12-1229-372/+471
| | | | | | | | | | | | | | | | storage accesses.
* | | | Merge pull request #5628 from ethereum/structuralSimplifierCompilationFixDaniel Kirchner2018-12-121-1/+1
|\ \ \ \ | |/ / / |/| | | [Yul] Fix compilation for certain combinations of boost and gcc.
| * | | Fix compilation for certain combinations of boost and gcc.Daniel Kirchner2018-12-121-1/+1
|/ / /
* | | Merge pull request #5502 from ethereum/cpp14chriseth2018-12-124-14/+35
|\ \ \ | | | | | | | | Enables C++14 standard (was C++11) within the Solidity compiler project.
| * | | Enables C++14 standard (was C++11) within the Solidity compiler project.Christian Parpart2018-12-124-14/+35
| | | |
* | | | Merge pull request #5616 from ethereum/codegenForObjectsAccesschriseth2018-12-1233-177/+565
|\ \ \ \ | | | | | | | | | | [Yul] Codegen for objects access
| * | | | Codegen for object access.chriseth2018-12-1233-173/+560
| | | | |
| * | | | Provide Dialect to EVMCodeTransform.chriseth2018-12-126-17/+18
|/ / / /
* | | | Merge pull request #5454 from ethereum/smt_math_functionschriseth2018-12-1211-103/+169
|\ \ \ \ | | | | | | | | | | [SMTChecker] Abstract math functions
| * | | | [SMTChecker] Use SymbolicFunctionVariable for uninterpreted functionsLeonardo Alt2018-12-1111-103/+169
| | |/ / | |/| |
* | | | Merge pull request #4779 from ethereum/optimise-string-literalschriseth2018-12-128-2/+116
|\ \ \ \ | | | | | | | | | | Decide better in storing string literals as data
| * | | | Tests for gas costs.chriseth2018-12-116-1/+114
| | | | |
| * | | | Changelog entry.chriseth2018-12-111-0/+1
| | | | |
| * | | | Set codecopy limit for data to 32 bytes.chriseth2018-12-111-1/+1
| | | | |
* | | | | Merge pull request #5621 from ethereum/explainASTchriseth2018-12-112-9/+21
|\ \ \ \ \ | |_|/ / / |/| | | | Improve explanation how to get abi output.
| * | | | Explain source IDs.chriseth2018-12-112-4/+4
| | | | |
| * | | | Improve explanation how to get abi output.chriseth2018-12-111-5/+17
| | | | |
* | | | | Merge pull request #5619 from ethereum/cleanup-abcchriseth2018-12-1116-89/+82
|\ \ \ \ \ | |/ / / / |/| | | | Some code cleanup
| * | | | Use curly-brackets initializationMathias Baumann2018-12-112-14/+14
| | | | |
| * | | | Replace push_back with emplace_back where it makes senseMathias Baumann2018-12-1115-75/+68
| |/ / /
* | | | Merge pull request #5552 from 0yi0/5551-rational-convertible-to-fixed-pointchriseth2018-12-115-55/+86
|\ \ \ \ | | | | | | | | | | Fix conversions from rational number literals to fixed-point types.
| * | | | Add tests for implcit conversions from literals to fixed-point numbers.Yi Huang2018-12-115-55/+86
|/ / / /
* | | | Merge pull request #5599 from ethereum/cleanup-testsuitechriseth2018-12-113-96/+87
|\ \ \ \ | | | | | | | | | | Have only one source where testsuites are defined
| * | | | Have only one source where testsuits are definedMathias Baumann2018-12-103-96/+87
| |/ / /
* | | | Merge pull request #5615 from ethereum/contrib-linkchriseth2018-12-101-1/+1
|\ \ \ \ | |/ / / |/| | | ContribDoc: Link formatted instead of raw version of coding guidlines
| * | | ContribDoc: Link formatted instead of raw version of coding guidlinesMathias Baumann2018-12-101-1/+1
|/ / /
* | | Merge pull request #5008 from liangdzou/yul_stack_reusechriseth2018-12-1012-54/+666
|\ \ \ | |/ / |/| | Reuse stack slots in Yul codegen
| * | Tests for stack reusing code generator.chriseth2018-12-101-0/+353
| | |
| * | Reuse stack slots in Yul to EVM code generation.liangdzou2018-12-1011-54/+313
| | |
* | | Merge pull request #5610 from ethereum/shell-script-cleanupschriseth2018-12-101-15/+13
|\ \ \ | | | | | | | | build.sh bash script cleanup
| * | | build.sh bash script cleanupChristian Parpart2018-12-101-15/+13
|/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * use `set -e` to abort script execution when error codes fail (and haven't been checked) * use [[ ]] instead of [ ] or test. * use ROOTDIR/BUILDDIR variables for better readability * use mktemp in order to avoid accidental name clashes. * use `make install` instead of `install ...` as cleaner installation process * this however doesn't install soltest anymore, which I believe is right, as normal users should not need it installed in their system. Those who want to run the test suite, can do so manually * allow optional passing of more additional custom args to cmake
* | | Merge pull request #5614 from ethereum/smt_symb_functionLeonardo2018-12-102-1/+56
|\ \ \ | |/ / |/| | [SMTChecker] Introduce SymbolicFunctionVariable
| * | [SMTChecker] Introduce SymbolicFunctionVariableLeonardo Alt2018-12-102-1/+56
|/ /
* | Merge pull request #5391 from ethereum/improve-type-errorschriseth2018-12-108-20/+41
|\ \ | | | | | | Provide additional error messages during type checks
| * | Adds more detailed type errors and tests.Erik Kundt2018-12-076-19/+25
| | |
| * | Adds an additional message to failing type conversions.Erik Kundt2018-12-078-19/+34
|/ /
* | Merge pull request #5607 from enumatech/fix-makefileschriseth2018-12-071-1/+1
|\ \ | | | | | | WIP: Fix makefiles to silence linker errors
| * | Fix makefilesLionello Lunesu2018-12-071-1/+1
| |/
* | Merge pull request #4936 from ethereum/binSelectchriseth2018-12-0710-6/+276
|\ \ | | | | | | Binary search for dispatch.
| * | Changelog entry.chriseth2018-12-061-0/+1
| | |
| * | Gas tests for the binary search dispatch routine.chriseth2018-12-066-0/+194
| | |
| * | Binary search for dispatch.chriseth2018-12-063-6/+81
| | |
* | | Merge pull request #5584 from ethereum/structuralSimplifierchriseth2018-12-0719-15/+292
|\ \ \ | | | | | | | | [Yul] Add structural simplifier.
| * | | Add structural simplifier as optimization step for Yul.Daniel Kirchner2018-12-0719-15/+292
|/ / /
* | | Merge pull request #5587 from ethereum/yulCodeBuiltinschriseth2018-12-064-1/+79
|\ \ \ | | | | | | | | Builtin functions to access Yul objects.
| * | | Provide Yul Object builtins.chriseth2018-12-044-1/+79
| | | |
* | | | Merge pull request #5589 from ethereum/yulObjectCodegenchriseth2018-12-0624-101/+755
|\ \ \ \ | | | | | | | | | | Yul object codegen
| * | | | Add tests.chriseth2018-12-0614-3/+417
| | | | |
| * | | | Analyze and compile sub-objects.chriseth2018-12-065-7/+133
| | | | |
| * | | | Extend abstract assembly to be able to handle sub-objects.chriseth2018-12-065-0/+77
| | | | |
| * | | | Expose EthAssemblyAdapter.chriseth2018-12-062-91/+128
|/ / / /
* | | | Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactorchriseth2018-12-0616-126/+234
|\ \ \ \ | |_|/ / |/| | | [2/3] Refactor SourceReferenceFormatter (split-out data extraction & make use of new SourceLocation knowledge)
| * | | liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and ↵Christian Parpart2018-12-0616-126/+234
| | | | | | | | | | | | | | | | making use of new SourceLocation's CharStream knowledge
* | | | Merge pull request #5605 from ethereum/cmdlineTestschriseth2018-12-0619-13/+25
|\ \ \ \ | | | | | | | | | | Extend capabilities of the generic commandline test.
| * | | | Extend capabilities of the generic commandline test.chriseth2018-12-0619-13/+25
|/ / / /
* | | | Merge pull request #5514 from corollari/developchriseth2018-12-063-5/+5
|\ \ \ \ | | | | | | | | | | Remove unary + from the type system
| * | | | Update testAlbert2018-12-061-1/+1
| | | | |
| * | | | Fix #5470Albert2018-12-062-4/+4
| | | | | | | | | | | | | | | | | | | | Remove unary + from the type system
* | | | | Merge pull request #5600 from ethereum/simplifyToHexchriseth2018-12-0611-35/+38
|\ \ \ \ \ | |/ / / / |/| | | | Simplify toHex()
| * | | | Simplify hex prefix.chriseth2018-12-061-1/+4
| | | | |
| * | | | Remove `w` parameter for toHex.chriseth2018-12-068-16/+15
| | | | |
| * | | | Move toHex implementation to cpp file.chriseth2018-12-062-19/+21
| | | | |
| * | | | Restrict toHex to `bytes`.chriseth2018-12-064-7/+6
|/ / / /
* | | | Merge pull request #5476 from KevinKelley/readable-hexchriseth2018-12-0611-17/+264
|\ \ \ \ | | | | | | | | | | add a 'readable' format for large hex values
| * | | | add a 'readable' format for large hex valuesKevin Kelley2018-12-0611-17/+264
|/ / / /
* | | | Merge pull request #5595 from ethereum/ssavaluetracker-fixchriseth2018-12-064-1/+29
|\ \ \ \ | | | | | | | | | | SSAValueTracker should only use nullptr for default values
| * | | | SSAValueTracker should only use nullptr for default valuesMathias Baumann2018-12-062-1/+3
| | | | |
| * | | | Tests for SSAValueTracker ignoring function call on rhsMathias Baumann2018-12-062-0/+26
|/ / / /
* | | | Merge pull request #5593 from ethereum/issue-5384chriseth2018-12-062-1/+16
|\ \ \ \ | | | | | | | | | | Fix expression simplifier asserting on default values
| * | | | Fix expression simplifier asserting on default valuesMathias Baumann2018-12-051-1/+2
| | | | |
| * | | | Test for unhandled default values in expression simplifierMathias Baumann2018-12-051-0/+14
| | | | |
* | | | | Merge pull request #5591 from ethereum/smt_simplify_sortchriseth2018-12-062-29/+19
|\ \ \ \ \ | | | | | | | | | | | | [SMTChecker] Simplify symbolic variables
| * | | | | [SMTChecker] Simplify symbolic variablesLeonardo Alt2018-12-052-29/+19
| | |/ / / | |/| | |
* | | | | Merge pull request #4098 from ethereum/typedResultschriseth2018-12-054-102/+171
|\ \ \ \ \ | | | | | | | | | | | | Introduce Result<T> for type checker functions
| * | | | | Cleans up Result<T> and adds additional documentation.Erik Kundt2018-12-051-8/+8
| | | | | |
| * | | | | Simplifies Result<T> and prevents undefined behaviour.Erik Kundt2018-12-052-29/+12
| | | | | |
| * | | | | Introduces Result<T> for operator and implicit conversion type checks.Erik Kundt2018-12-054-102/+188
| |/ / / /
* | | | | Merge pull request #5594 from ethereum/fullInlinerNoHoisterchriseth2018-12-052-13/+23
|\ \ \ \ \ | | | | | | | | | | | | [Yul] Relax dependency of FullInliner on FunctionHoister.
| * | | | | Relax dependency of FullInliner on FunctionHoister.Daniel Kirchner2018-12-052-13/+23
| |/ / / /
* | | | | Merge pull request #5576 from ethereum/fixDockerScriptchriseth2018-12-051-0/+6
|\ \ \ \ \ | | | | | | | | | | | | Fix manual deploy script for alpine.
| * | | | | Fix manual deploy script for alpine.chriseth2018-12-051-0/+6
|/ / / / /
* | | | | Merge pull request #5592 from ethereum/fix-issue-5446chriseth2018-12-052-2/+4
|\ \ \ \ \ | |/ / / / |/| | | | Relax assertion about jumps in loose mode
| * | | | Relax assertion about jumps in loose modeMathias Baumann2018-12-052-2/+4
| |/ / /
* | | | 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
| | | |