aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #5569 from ethereum/chriseth-patch-1chriseth2018-12-031-1/+3
|\
| * Add solc-js changes.chriseth2018-12-031-1/+3
|/
* Merge pull request #5341 from ethereum/optimizeAssemblyCommandlinechriseth2018-12-036-10/+73
|\
| * 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
|\ \
| * | Move String literal and inline array FAQ itemsChris Ward2018-12-032-56/+19
|/ /
* | Merge pull request #5524 from ethereum/yulGrammarChangeschriseth2018-12-031-2/+1
|\ \
| * | Yul grammar changes.chriseth2018-11-281-2/+1
* | | Merge pull request #5568 from ethereum/smt_remove_unary_pluschriseth2018-12-031-3/+0
|\ \ \
| * | | [SMTChecker] Remove unary plus operatorLeonardo Alt2018-12-031-3/+0
* | | | Merge pull request #5532 from ethereum/docs-style-add-mappingchriseth2018-12-031-1/+17
|\ \ \ \
| * | | | 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.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.chriseth2018-12-031-0/+3
| | |_|/ / | |/| | |
* | | | | Merge pull request #5557 from ethereum/fixInterfaceImplementedByPublicStateVa...chriseth2018-12-037-21/+66
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | 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
|\ \ \ \ | |_|/ / |/| | |
| * | | Add link between functions in contract structure and more detailsChris Ward2018-12-032-1/+4
|/ / /
* | | Merge pull request #5562 from Altrum/debugDocschriseth2018-12-031-0/+14
|\ \ \
| * | | 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
|\| | | | |/ / |/| |
| * | liblangutil: SourceLocation: Retricts == and != operatorChristian Parpart2018-12-012-6/+5
| * | liblangutil: small refactors wrt. API cleanupsChristian Parpart2018-12-013-16/+2
| * | liblangutil: Scanner: remove superfluous sourceName field (it's in CharStream...Christian Parpart2018-12-0111-35/+25
| * | liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream s...Christian Parpart2018-12-0117-102/+127
| * | liblangutil: extends CharStream to know about the respective (file-)name (and...Christian Parpart2018-11-2913-80/+83
| * | 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== virtualLeonardo Alt2018-11-301-6/+16
* | | | Merge pull request #5541 from ethereum/clarifyCopyInheritancechriseth2018-11-301-3/+4
|\ \ \ \
| * | | | Clarify "copying bytecode" in inheritance.chriseth2018-11-291-3/+4
* | | | | Merge pull request #5546 from ethereum/inheritanceCheckerchriseth2018-11-309-431/+585
|\ \ \ \ \
| * | | | | 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.chriseth2018-11-291-1/+2
* | | | | Merge pull request #5550 from ethereum/moveSomeTestschriseth2018-11-3011-0/+0
|\ \ \ \ \
| * | | | | 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.chriseth2018-11-304-3/+31
| |/ / / / /
* | | | | | Merge pull request #5549 from ethereum/disallowInlineArraysOfMappingTypechriseth2018-11-303-0/+12
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | 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.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.Leonardo Alt2018-11-299-22/+76
|/ / / / /
* | | | | Merge pull request #5513 from corollari/fedora-fixchriseth2018-11-291-1/+1
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | Fix #5512Albert2018-11-291-1/+1
| |/ / /
* | | | Merge pull request #5538 from hydai/static_uint256chriseth2018-11-296-22/+24
|\ \ \ \
| * | | | 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 typeLeonardo Alt2018-11-294-1/+27
|/ / / /
* | | | Merge pull request #5526 from ethereum/fixGetterNewCoderchriseth2018-11-296-11/+65
|\ \ \ \ | |_|/ / |/| | |
| * | | 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.Erik Kundt2018-11-282-6/+11
| |/ /
* | | Merge pull request #5289 from ethereum/docs-index-overhaulchriseth2018-11-281-33/+31
|\ \ \
| * | | Begin overhaul of documentation indexChris Ward2018-11-281-33/+31
| |/ /
* | | Merge pull request #5522 from juztin/developchriseth2018-11-285-18/+43
|\ \ \
| * | | Added Docker updates to changelogJustin Wilson2018-11-281-0/+1
| * | | Builds both scratch & Alpine Docker imagesJustin Wilson2018-11-284-18/+42
* | | | Merge pull request #5527 from ethereum/smt_json_testcaseschriseth2018-11-281-31/+56
|\ \ \ \
| * | | | 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.chriseth2018-11-281-6/+1
| | |/ | |/|
* | | Merge pull request #5358 from ethereum/yulObjectschriseth2018-11-2810-34/+635
|\ \ \ | |_|/ |/| |
| * | 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.chriseth2018-11-272-1/+2
|/
* Merge pull request #5277 from ethereum/docs-5175-require-revertchriseth2018-11-271-7/+16
|\
| * 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 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.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 easeChris Ward2018-11-271-30/+34
* | | Merge pull request #5487 from ethereum/fixInterfaceOverrideTypeChangechriseth2018-11-274-4/+15
|\ \ \ | |/ / |/| |
| * | Changelog entry and tests.chriseth2018-11-263-1/+12
| * | Properly disallow different return types for interface overloads with differe...chriseth2018-11-261-3/+3
|/ /
* | Merge pull request #5445 from ethereum/publicExternalOverwritechriseth2018-11-2610-8/+176
|\ \ | |/ |/|
| * 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] 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
|\ \ \
| * | | 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
|\ \ \ \
| * | | | 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
|\ \ \ \
| * | | | Move FAQ point to input and output parameters and polish surrounding textChris Ward2018-11-262-6/+15
* | | | | Merge pull request #5506 from ethereum/fixMergeConflictchriseth2018-11-262-1/+1
|\ \ \ \ \
| * | | | | 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
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | Update docs/types.rstErik Kundt2018-11-241-1/+1
| * | | | | Add default value detailsChris Ward2018-11-231-1/+4
| * | | | | Update docs/types.rstchriseth2018-11-231-1/+1
| * | | | | 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 storageWilliam Entriken2018-11-261-0/+4
| | |_|_|_|/ | |/| | | |
* | | | | | Merge pull request #5493 from ethereum/cmake-no-globbingchriseth2018-11-265-17/+100
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | CMake: Explicitly state which files to compile instead of relying on globbing.Christian Parpart2018-11-265-17/+100
| | |_|/ / | |/| | |
* | | | | Merge pull request #5486 from ethereum/allowExternalPublicOverridechriseth2018-11-266-10/+39
|\ \ \ \ \
| * | | | | 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
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | |
| * | | | | 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
| * | | | | 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.Christian Parpart2018-11-2411-33/+19
| |/ / /
* | | | Merge pull request #5485 from ethereum/refactorCallableFunctionchriseth2018-11-264-33/+33
|\ \ \ \
| * | | | 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 bou...chriseth2018-11-222-8/+8
| * | | | 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.rstDavid Lozano Jarque2018-11-261-1/+1
|/ / / /
* | | | Merge pull request #5500 from davidlj95/patch-1Alex Beregszaszi2018-11-262-2/+2
|\ \ \ \
| * | | | Update installing-solidity.rstDavid Lozano Jarque2018-11-261-1/+1
| * | | | Update introduction-to-smart-contracts.rstDavid Lozano Jarque2018-11-261-1/+1
|/ / / /
* | | | Merge pull request #5499 from lazaridiscom/decouple-TestCaseAlex Beregszaszi2018-11-256-5/+5
|\ \ \ \ | |_|/ / |/| | |
| * | | decouple TestCase class from test/libsolidityLazaridis2018-11-256-5/+5
|/ / /
* | | Merge pull request #5472 from ethereum/assemblyAnnotationOutputchriseth2018-11-242-0/+3
|\ \ \
| * | | 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
|\ \ \ \
| * | | | Remove superfluous libyul/ASTDataForward.h and include libyul/AsmDataForward ...Christian Parpart2018-11-2322-46/+21
| * | | | 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
| * | | | 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.Christian Parpart2018-11-231-8/+8
| |/ / / /
* | | | | Merge pull request #3073 from ethereum/smtlib2_via_standardioAlex Beregszaszi2018-11-2324-26/+356
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | 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
|\ \ \ \
| * | | | Stylechriseth2018-11-231-7/+9
* | | | | Merge pull request #5490 from ethereum/fixBytecodechriseth2018-11-231-2/+2
|\ \ \ \ \
| * | | | | Fix bytecode report file.chriseth2018-11-231-2/+2
| |/ / / /
* | | | | Merge pull request #5488 from lazaridiscom/patch-3chriseth2018-11-232-2/+3
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | 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 liangdzou/issue_4494_error_out_when_no_output_r...Alex Beregszaszi2018-11-231-80/+117
|\ \ \ \
| * | | | 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 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 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 setUnknownValueLeonardo Alt2018-11-226-44/+58
|/ / / / / /
* | | | | | Merge pull request #4645 from ethereum/smt-syntax-testsAlex Beregszaszi2018-11-2247-593/+491
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | 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
|/ / / / /
* | | | | Merge pull request #5478 from ethereum/smt_refactor_sort_patch3Alex Beregszaszi2018-11-225-2/+76
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | [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
|\ \ \ \ | |/ / / |/| | |
| * | | [SMTChecker] Add FunctionSort and refactors the solver interface to create va...Leonardo Alt2018-11-2214-128/+134
|/ / /
* | | Merge pull request #5328 from SuperblocksHQ/developAlex Beregszaszi2018-11-221-2/+4
|\ \ \
| * | | 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 dataWilliam Entriken2018-11-151-1/+1
* | | | Merge pull request #5427 from ethereum/liblangutilchriseth2018-11-22155-829/+1163
|\ \ \ \
| * | | | Introduce namespace `langutil` in liblangutil directory.Christian Parpart2018-11-22118-287/+476
| * | | | 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 AuctionRegistrarAlex Beregszaszi2018-11-221-1/+1
|/ / / /
* | | | Merge pull request #5439 from ethereum/docs-faq-types-array-lengthchriseth2018-11-222-45/+3
|\ \ \ \ | |/ / / |/| | |
| * | | Remove length related FAQ itemChris Ward2018-11-152-45/+3
| | |/ | |/|
* | | Merge pull request #2520 from ethereum/lll-withchriseth2018-11-222-0/+52
|\ \ \
| * | | 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
|\ \ \ \
| * | | | 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
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | 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 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 declarationmordax2018-11-2136-650/+650
| |/ / /
* | | | 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.Christian Parpart2018-11-168-1/+159
* | | | Merge pull request #5309 from ethereum/smt_bound_functionsAlex Beregszaszi2018-11-196-0/+91
|\ \ \ \
| * | | | [SMTChecker] Support bound function callsLeonardo Alt2018-11-196-0/+91
|/ / / /
* | | | Merge pull request #5307 from ethereum/smt_ufLeonardo2018-11-1717-27/+110
|\ \ \ \ | |/ / / |/| | |
| * | | [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 templateAlex Beregszaszi2018-11-151-0/+1
|/ /
* | Merge pull request #5430 from kn1g/patch-1Alex Beregszaszi2018-11-151-3/+3
|\ \ | |/ |/|
| * Fixed consistent use of `nameReg` Yet another codejunkie2018-11-151-1/+1
| * Consistent use of address()Yet another codejunkie2018-11-151-3/+3
* | Merge pull request #5368 from ethereum/noCleanupUnsignedAlex Beregszaszi2018-11-153-2/+10
|\ \
| * | 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 documentationAlex Beregszaszi2018-11-151-3/+1
|/ /
* | Merge pull request #5428 from ethereum/yulObjectSpecChangechriseth2018-11-151-6/+37
|\ \ | |/ |/|
| * 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
|\
| * Begin review of micropayments exampleChris Ward2018-11-151-124/+65
|/
* Merge pull request #5323 from ethereum/docs-input-output-change-control-structchriseth2018-11-141-31/+49
|\
| * Change terminology used for input output parametersChris Ward2018-11-141-31/+49
* | Merge pull request #5423 from ethereum/enable-coverageAlex Beregszaszi2018-11-141-1/+1
|\ \ | |/ |/|
| * Revert "Disable covereage cmake option"Alex Beregszaszi2018-11-141-1/+1
* | Merge pull request #5324 from ethereum/docs-input-output-change-typeschriseth2018-11-143-6/+5
|\ \ | |/ |/|
| * 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 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
|\ \ | |/ |/|
| * Only run soltest with --no-ipc.Daniel Kirchner2018-11-091-4/+2
| * Add archlinux run on circleci.Daniel Kirchner2018-11-091-0/+49
generated by cgit (git 2.34.1) at 2024-11-18 20:11:19 +0800