aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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 #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
| | |
| * | Do not build LLL unless requested via the LLL cmake optionAlex Beregszaszi2018-11-143-3/+14
| | |
* | | Merge pull request #5419 from ethereum/fixcmdlinetestschriseth2018-11-141-1/+1
|\ \ \ | | | | | | | | Fix commandline tests.
| * | | Fix commandline tests.chriseth2018-11-141-1/+1
| | | |
* | | | Merge pull request #5367 from ethereum/signedYulchriseth2018-11-141-3/+3
|\ \ \ \ | |/ / / |/| | | [Yul] Rename some builtin yul functions for signed types.
| * | | Rename some builtin yul functions for signed types.chriseth2018-11-141-3/+3
|/ / /
* | | Merge pull request #5420 from ethereum/releasechriseth2018-11-140-0/+0
|\ \ \ | |/ / |/| | Merge release back into develop.
| * | Merge pull request #5416 from ethereum/developchriseth2018-11-141945-25957/+43906
| |\ \ | | | | | | | | Merge develop into release for 0.5.0
* | \ \ Merge pull request #5417 from ethereum/version051chriseth2018-11-142-1/+13
|\ \ \ \ | |_|/ / |/| | | Set version to 0.5.1.
| * | | Set version to 0.5.1.chriseth2018-11-142-1/+13
|/ / /
* | | Merge pull request #5413 from ethereum/updateChangelogForReleasechriseth2018-11-142-1/+5
|\ \ \ | | | | | | | | Add release date to changelog.
| * | | Add release date to changelog.chriseth2018-11-132-1/+5
| | | |
* | | | Merge pull request #5412 from ritzdorf/patch-2chriseth2018-11-131-1/+1
|\ \ \ \ | | | | | | | | | | keccak256 does not call an external contract
| * | | | keccak256 does not call an external contractritzdorf2018-11-131-1/+1
| | | | | | | | | | | | | | | ``keccak256`` will be compiled to the ``SHA3`` opcode and not call an external contract.
* | | | | Merge pull request #5411 from ethereum/lll-docschriseth2018-11-132-0/+15
|\ \ \ \ \ | |_|/ / / |/| | | | Add LLL chapter in the documentation
| * | | | Add LLL chapter in the documentationAlex Beregszaszi2018-11-132-0/+15
| |/ / /
* | | | Merge pull request #5342 from Mordax/issue-5177chriseth2018-11-131-1/+1
|\ \ \ \ | | | | | | | | | | Disable coverage cmake option
| * | | | Disable covereage cmake optionmordax2018-11-041-1/+1
| | | | |
* | | | | Merge pull request #5105 from ethereum/libsolc-apichriseth2018-11-138-379/+41
|\ \ \ \ \ | | | | | | | | | | | | Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback)
| * | | | | Fix bytecode tests for solc-jschriseth2018-11-131-5/+14
| | | | | |
| * | | | | Use latest solcjs and replace compileStandard by compile.chriseth2018-11-132-2/+14
| | | | | |
| * | | | | Remove old libsolc API (compileJSON, compileJSONMulti, compileJSONCallback)Alex Beregszaszi2018-11-136-373/+14
| | |/ / / | |/| | |
* | | | | Merge pull request #5398 from ethereum/smt_model_scannerLeonardo2018-11-134-3/+15
|\ \ \ \ \ | |/ / / / |/| | | | Add Scanner function that prints source based on SourceLocation
| * | | | Add Scanner function that prints source based on SourceLocationLeonardo Alt2018-11-134-3/+15
| | | | |
* | | | | Merge pull request #5020 from ethereum/lll-seq-fixchriseth2018-11-133-479/+502
|\ \ \ \ \ | |/ / / / |/| | | | LLL: terminate sequences with a STOP
| * | | | LLL: ensure assembly tests have the correct argumentsAlex Beregszaszi2018-11-131-168/+168
| | | | |
| * | | | Add LLL error when assembly instruction causes stack underflowAlex Beregszaszi2018-11-131-1/+6
| | | | |
| * | | | LLL: add test which has a sub assembly without a forced STOPAlex Beregszaszi2018-11-131-0/+14
| | | | |
| * | | | LLL bytecode is padded by STOP in testsAlex Beregszaszi2018-11-131-239/+239
| | | | |
| * | | | LLL: do not wrap opcode tests into sequenceAlex Beregszaszi2018-11-131-239/+239
| | | | |
| * | | | LLL: terminate sequences with a STOPAlex Beregszaszi2018-11-131-0/+4
|/ / / /
* | | | Merge pull request #5408 from ethereum/updateTestschriseth2018-11-131-66/+66
|\ \ \ \ | | | | | | | | | | Update tests.
| * | | | Update tests.chriseth2018-11-131-66/+66
|/ / / /
* | | | Merge pull request #5406 from ethereum/uninitializedStorageUnimplementedchriseth2018-11-134-2/+14
|\ \ \ \ | | | | | | | | | | Ignore unimplemented functions for detecting uninitialized storage returns.
| * | | | Ignore unimplemented functions for storage returns.Daniel Kirchner2018-11-134-2/+14
| | | | |
* | | | | Merge pull request #5333 from ethereum/joinPerformancechriseth2018-11-133-20/+718
|\ \ \ \ \ | | | | | | | | | | | | [Yul] Use map join algorithm for performance.
| * | | | | Remove variables that go out of scope from data structure.chriseth2018-11-133-149/+199
| | | | | |
| * | | | | Use map join algorithm for performance.chriseth2018-11-133-10/+658
| |/ / / /
* | | | | Merge pull request #5400 from ethereum/fixcheckstylechriseth2018-11-132-7/+4
|\ \ \ \ \ | | | | | | | | | | | | Fix check style script.
| * | | | | Fix check style script.chriseth2018-11-131-5/+2
| | | | | |
| * | | | | Fix style.chriseth2018-11-131-2/+2
| |/ / / /
* | | | | Merge pull request #5392 from ethereum/yulStringRepositoryHashchriseth2018-11-135-44/+71
|\ \ \ \ \ | |/ / / / |/| | | | [Yul] Deterministic YulStringRepository using string hashes.
| * | | | Deterministic YulStringRepository using string hashes.Daniel Kirchner2018-11-135-44/+71
| | | | |
* | | | | Merge pull request #5070 from ethereum/2661-clarify-contract-examplechriseth2018-11-121-13/+20
|\ \ \ \ \ | | | | | | | | | | | | Docs: Clarify creating a contract example code
| * | | | | Clarify creating a contract example as reported in #2661Chris Ward2018-11-121-13/+20
|/ / / / /
* | | | | Merge pull request #4497 from ethereum/faq-reorg-control-structureschriseth2018-11-122-32/+20
|\ \ \ \ \ | | | | | | | | | | | | Move control structure related FAQ points
| * | | | | Move control structure related FAQ pointsChris Ward2018-11-122-32/+20
|/ / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Updates from reviews clarify returning structs, and move returning arrays and strings from separate section Further clarifications Updates from review Final updates
* | | | | Merge pull request #4860 from ethereum/docs-2175-index-missingchriseth2018-11-121-8/+7
|\ \ \ \ \ | | | | | | | | | | | | Add mention of common subexpression elimination
| * | | | | Clarify term and tidy textChris Ward2018-11-121-8/+7
| |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | Use UK spelling in heading Remove colon
* | | | | Merge pull request #5364 from ethereum/chriseth-patch-5chriseth2018-11-121-0/+8
|\ \ \ \ \ | |/ / / / |/| | | | Add note about changing the storage layout.
| * | | | Add note about changing the storage layout.chriseth2018-11-121-0/+8
|/ / / /
* | | | Merge pull request #5395 from ethereum/fixStylechriseth2018-11-125-8/+8
|\ \ \ \ | | | | | | | | | | Fix style
| * | | | Fix for style.chriseth2018-11-121-3/+3
| | | | |
| * | | | Remove trailing whitespace.chriseth2018-11-124-5/+5
|/ / / /
* | | | Merge pull request #5275 from ↵chriseth2018-11-125-278/+532
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | svenski123/20181018-4894-refactoring-split-bool-typechecker-visit-functioncall-into-multiple-functions Refactored bool TypeChecker::visit(FunctionCall const& _functionCall).
| * | | | Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall).Kristofer Peterson2018-11-105-278/+532
|/ / / / | | | | | | | | | | | | | | | | | | | | Visit method now cleanly determines if node represents a function call, struct construction or type conversion. Type checking, validation and error message logic is moved to separate methods.
* | | | Merge pull request #5128 from ethereum/breakUnbreakchriseth2018-11-094-5/+74
|\ \ \ \ | | | | | | | | | | [Yul] Test case that shows that break / unbreak are more or less inverse
| * | | | Test case that shows that break/unbreak are more or less inverse.chriseth2018-11-094-5/+74
| | | | |
* | | | | Merge pull request #5377 from ethereum/resetYulStringchriseth2018-11-093-2/+15
|\ \ \ \ \ | | | | | | | | | | | | Reset yul string repository.
| * | | | | Reset yul string repository.chriseth2018-11-093-2/+15
|/ / / / /
* | | | | Merge pull request #5265 from ethereum/cleanupsha3chriseth2018-11-0917-98/+36
|\ \ \ \ \ | |/ / / / |/| | | | Simplify sha3.
| * | | | Renamed SHA3.{h,cpp} files.chriseth2018-10-1817-16/+17
| | | | |
| * | | | Simplify sha3.chriseth2018-10-182-82/+19
| | | | |
* | | | | Merge pull request #5326 from ethereum/removeSideEffectFreeStatementschriseth2018-11-095-7/+23
|\ \ \ \ \ | |_|_|_|/ |/| | | | [Yul] Remove side-effect-free statements.
generated by cgit (git 2.34.1) at 2024-11-17 23:04:01 +0800