aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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 #5390 from ethereum/smt_one_loopchriseth2018-12-0518-18/+217
|\
| * [SMTChecker] Loops are unrolled onceLeonardo Alt2018-12-0418-18/+217
* | Merge pull request #5586 from ethereum/refactorEVMAssemblychriseth2018-12-047-28/+20
|\ \
| * | 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
|\ \ \ | |/ / |/| |
| * | 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
|\ \
| * | Introduce the concept of builtin functions.chriseth2018-12-0416-62/+148
| |/
* | Merge pull request #5585 from ethereum/forInitRewriteNestedchriseth2018-12-043-7/+62
|\ \ | |/ |/|
| * Properly recurse in ForLoopInitRewriterDaniel Kirchner2018-12-043-7/+62
|/
* Merge pull request #5582 from ethereum/yulErrorMessageschriseth2018-12-045-16/+26
|\
| * 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.chriseth2018-12-042-16/+16
|/
* Merge pull request #5575 from ethereum/releasechriseth2018-12-040-0/+0
|\
| * Merge pull request #5571 from ethereum/developchriseth2018-12-03425-4602/+7166
| |\
* | \ Merge pull request #5574 from ethereum/version0.5.2chriseth2018-12-032-1/+12
|\ \ \ | |_|/ |/| |
| * | 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.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.Anurag Dashputre2018-12-034-1/+23
* | | 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
|\ \ \ \ \ | |/ / / / |/| | | |
generated by cgit (git 2.34.1) at 2024-11-17 13:06:56 +0800