aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | 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.Christian Parpart2018-12-124-14/+35
* | | | Merge pull request #5616 from ethereum/codegenForObjectsAccesschriseth2018-12-1233-177/+565
|\ \ \ \
| * | | | 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] Use SymbolicFunctionVariable for uninterpreted functionsLeonardo Alt2018-12-1111-103/+169
| | |/ / | |/| |
* | | | Merge pull request #4779 from ethereum/optimise-string-literalschriseth2018-12-128-2/+116
|\ \ \ \
| * | | | 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
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | 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
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | 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
|\ \ \ \
| * | | | 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 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 guidlinesMathias Baumann2018-12-101-1/+1
|/ / /
* | | Merge pull request #5008 from liangdzou/yul_stack_reusechriseth2018-12-1012-54/+666
|\ \ \ | |/ / |/| |
| * | 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 cleanupChristian Parpart2018-12-101-15/+13
|/ / /
* | | Merge pull request #5614 from ethereum/smt_symb_functionLeonardo2018-12-102-1/+56
|\ \ \ | |/ / |/| |
| * | [SMTChecker] Introduce SymbolicFunctionVariableLeonardo Alt2018-12-102-1/+56
|/ /
* | Merge pull request #5391 from ethereum/improve-type-errorschriseth2018-12-108-20/+41
|\ \
| * | 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
|\ \
| * | Fix makefilesLionello Lunesu2018-12-071-1/+1
| |/
* | Merge pull request #4936 from ethereum/binSelectchriseth2018-12-0710-6/+276
|\ \
| * | 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
|\ \ \
| * | | 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
|\ \ \
| * | | Provide Yul Object builtins.chriseth2018-12-044-1/+79
* | | | Merge pull request #5589 from ethereum/yulObjectCodegenchriseth2018-12-0624-101/+755
|\ \ \ \
| * | | | 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
|\ \ \ \ | |_|/ / |/| | |
| * | | liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and m...Christian Parpart2018-12-0616-126/+234
* | | | Merge pull request #5605 from ethereum/cmdlineTestschriseth2018-12-0619-13/+25
|\ \ \ \
| * | | | Extend capabilities of the generic commandline test.chriseth2018-12-0619-13/+25
|/ / / /
* | | | Merge pull request #5514 from corollari/developchriseth2018-12-063-5/+5
|\ \ \ \
| * | | | Update testAlbert2018-12-061-1/+1
| * | | | Fix #5470Albert2018-12-062-4/+4
* | | | | Merge pull request #5600 from ethereum/simplifyToHexchriseth2018-12-0611-35/+38
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | 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 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 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 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 variablesLeonardo Alt2018-12-052-29/+19
| | |/ / / | |/| | |
* | | | | Merge pull request #4098 from ethereum/typedResultschriseth2018-12-054-102/+171
|\ \ \ \ \
| * | | | | 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
|\ \ \ \ \
| * | | | | 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.chriseth2018-12-051-0/+6
|/ / / / /
* | | | | Merge pull request #5592 from ethereum/fix-issue-5446chriseth2018-12-052-2/+4
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | 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] 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
generated by cgit (git 2.34.1) at 2024-11-17 16:57:19 +0800