aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #4133 from ethereum/addRequirementschriseth2018-05-151-0/+1
|\
| * Add requirements.txt for readthedocs.chriseth2018-05-151-0/+1
|/
* Merge pull request #4132 from ethereum/useAbsPathInLexerImportchriseth2018-05-151-1/+2
|\
| * Do not depend on where build is run.chriseth2018-05-151-1/+2
|/
* Merge pull request #4057 from ethereum/cfgchriseth2018-05-1531-0/+1419
|\
| * Add Changelog entry.Daniel Kirchner2018-05-151-0/+2
| * Add test for default location.Daniel Kirchner2018-05-151-0/+19
| * Add control flow analyzer and test for uninitialized storage returns.Daniel Kirchner2018-05-1525-0/+592
| * Add control flow graph.Daniel Kirchner2018-05-155-0/+806
* | Merge pull request #3238 from ethereum/julia-specschriseth2018-05-151-16/+36
|\ \ | |/ |/|
| * Describe rule for type conversion functions in JuliaAlex Beregszaszi2018-05-091-6/+9
| * Remove stop() as it is the same as return(0,0) in Julia sepcsAlex Beregszaszi2018-05-091-4/+0
| * Add logic builtins to Julia and fix some typosAlex Beregszaszi2018-05-091-11/+32
* | Merge pull request #4093 from ethereum/prepareDropConstantKeywordchriseth2018-05-1420-125/+110
|\ \
| * | Remove "view"'s in end-to-end tests that will result in errors in 0.5.0.Daniel Kirchner2018-05-111-7/+7
| * | Replace constant with view in the tests.Daniel Kirchner2018-05-0913-107/+88
| * | Replace constant with view in std/ contracts.Daniel Kirchner2018-05-092-6/+6
| * | Prefer view over constant in the documentation.Daniel Kirchner2018-05-095-5/+9
| |/
* | Merge pull request #4127 from sifmelcara/fix/boost-get-checkchriseth2018-05-141-2/+2
|\ \
| * | Fix wrong template parameter passed to boost::getmingchuan2018-05-141-2/+2
* | | Merge pull request #4120 from sifmelcara/fix/shared-boostchriseth2018-05-143-3/+3
|\ \ \
| * | | Fix link error when using boost shared librarymingchuan2018-05-113-3/+3
| |/ /
* | | Merge pull request #4095 from arun1595/macos-terminal-colorchriseth2018-05-111-2/+14
|\ \ \ | |/ / |/| |
| * | Add TERM environment variable for all jobsArun Kumar2018-05-101-2/+14
| * | Use xterm instead of dumb terminalArun Kumar2018-05-091-1/+1
* | | Merge pull request #4114 from ethereum/asm-assertchriseth2018-05-111-0/+10
|\ \ \
| * | | Assert that mandatory fields in the AST are present in AsmAnalysisAlex Beregszaszi2018-05-101-0/+10
|/ / /
* | | Merge pull request #4110 from ethereum/fewerlesscorrectionAlex Beregszaszi2018-05-101-1/+1
|\ \ \
| * | | Less-fewer-correction.chriseth2018-05-101-1/+1
|/ / /
* | | Merge pull request #4047 from ethereum/refactorToMultiAlex Beregszaszi2018-05-092-38/+74
|\ \ \ | |_|/ |/| |
| * | Assert integrity of empty IndexAccessPath structure.chriseth2018-05-092-1/+11
| * | Further refactor.chriseth2018-05-092-17/+43
| * | Refactor expression parser.chriseth2018-05-092-21/+21
* | | Merge pull request #4104 from ethereum/parserErrorSourceLocationsAlex Beregszaszi2018-05-0933-59/+60
|\ \ \
| * | | Update test expectations.Daniel Kirchner2018-05-0931-57/+57
| * | | Use the entire token as source location for parser errors.Daniel Kirchner2018-05-092-2/+3
* | | | Merge pull request #4102 from ethereum/signedRightShiftTestsAlex Beregszaszi2018-05-091-0/+157
|\ \ \ \
| * | | | Add more tests for right shifts.Daniel Kirchner2018-05-091-0/+157
| |/ / /
* | | | Merge pull request #4100 from ethereum/julia-exceptionsAlex Beregszaszi2018-05-0921-68/+88
|\ \ \ \ | |/ / / |/| | |
| * | | Do not use solAssert within libjuliaAlex Beregszaszi2018-05-0919-63/+53
| * | | Move Julia exceptions to libjulia/Exceptions.hAlex Beregszaszi2018-05-092-5/+35
|/ / /
* | | Merge pull request #3473 from ethereum/julia-main-funcAlex Beregszaszi2018-05-094-0/+192
|\ \ \ | |/ / |/| |
| * | Introduce Julia filter to encapsulate top level Block as a FunctionDefinition...Alex Beregszaszi2018-05-094-0/+192
|/ /
* | Merge pull request #4074 from elopio/docs/implicit-constructorchriseth2018-05-091-2/+6
|\ \
| * | document that all the base constructors are calledLeo Arias2018-05-091-4/+5
| * | docs: document the implicit call of base constructor without argumentsLeo Arias2018-05-061-2/+5
* | | Merge pull request #4082 from androlo/developchriseth2018-05-091-3/+3
|\ \ \
| * | | change assert and require docsAndreas Olofsson2018-05-071-3/+3
* | | | Merge pull request #4054 from ethereum/token-nameschriseth2018-05-0925-70/+71
|\ \ \ \
| * | | | Update parser test expectationsAlex Beregszaszi2018-05-0420-37/+37
| * | | | Have more uniform parser errorsAlex Beregszaszi2018-05-042-5/+5
| * | | | More user friendly output in case of Identifier and Token keywordsAlex Beregszaszi2018-05-041-16/+17
| * | | | Remove code duplication in expectTokenAlex Beregszaszi2018-05-041-23/+11
| * | | | Introduce Token::friendlyName() helperAlex Beregszaszi2018-05-042-5/+16
| * | | | Display nicer error messages in the parser (display tokens and not internal n...Alex Beregszaszi2018-05-042-11/+12
* | | | | Merge pull request #4068 from ethereum/gasEstimatorPerformancechriseth2018-05-094-5/+65
|\ \ \ \ \
| * | | | | Test with high path complexity.chriseth2018-05-091-0/+40
| * | | | | Follow highest gas usage only for gas estimation.chriseth2018-05-093-5/+25
| | |_|_|/ | |/| | |
* | | | | Merge pull request #4094 from ethereum/disambiguator-cleanupchriseth2018-05-092-12/+3
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Use NameDispenser in DisambiguatorAlex Beregszaszi2018-05-092-12/+3
|/ / / /
* | | | Merge pull request #4056 from ethereum/safetupleassignmentAlex Beregszaszi2018-05-0914-89/+170
|\ \ \ \
| * | | | Update documentation.chriseth2018-05-081-6/+6
| * | | | New tests for wildcard assignments.chriseth2018-05-085-0/+66
| * | | | Remove deprecated syntax from a testchriseth2018-05-081-1/+1
| * | | | Extract tests.chriseth2018-05-086-74/+47
| * | | | Deprecate wildcard assignments.chriseth2018-05-082-8/+50
|/ / / /
* | | | Merge pull request #4075 from elopio/docs/new-constructorchriseth2018-05-081-4/+4
|\ \ \ \
| * | | | docs: update the explanation of constructorLeo Arias2018-05-061-4/+4
| | |_|/ | |/| |
* | | | Merge pull request #4052 from kylewu/vs-2017-buildchriseth2018-05-082-4/+19
|\ \ \ \ | |_|_|/ |/| | |
| * | | release only on vs2017Wenbin Wu2018-05-051-2/+1
| * | | remove variablesGuessWho2018-05-031-6/+4
| * | | Update appveyor.ymlWenbin Wu2018-05-031-3/+3
| * | | run both vs 2015 and vs 2017 in appveyorGuessWho2018-05-032-4/+22
* | | | Merge pull request #3256 from ethereum/fullInlinerchriseth2018-05-077-15/+676
|\ \ \ \
| * | | | Fix test case strings.chriseth2018-05-021-102/+102
| * | | | Optimize number of moves.chriseth2018-05-021-8/+14
| * | | | Assert function hoister and grouper has been used.chriseth2018-05-021-0/+2
| * | | | Move NameDispenser into its own file.chriseth2018-05-024-20/+76
| * | | | Test the removal of the result variable.chriseth2018-05-021-0/+30
| * | | | Extend pop(0)-remover to any movable expression.chriseth2018-05-021-4/+3
| * | | | Replace pop(0)-statements by empty blocks.chriseth2018-05-022-0/+20
| * | | | Inline functions returning nothing.chriseth2018-05-022-10/+25
| * | | | Tests.chriseth2018-05-021-11/+125
| * | | | Full inliner.chriseth2018-05-022-0/+417
| * | | | Use hoisting.chriseth2018-05-022-4/+6
* | | | | Merge pull request #4077 from njwest/grammar-fixchriseth2018-05-071-3/+3
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | fixed grammar in error in CompilerUtils.cpp line 399, 'less variables.' shoul...njwest2018-05-071-3/+3
|/ / / /
* | | | Merge pull request #3386 from nisdas/abi-spec-documentationchriseth2018-05-041-7/+7
|\ \ \ \
| * | | | Clarify components of Xchriseth2018-05-041-6/+6
| * | | | Fixed typos in abi-spec documentationnisdas2018-05-041-3/+3
|/ / / /
* | | | Merge pull request #4063 from ethereum/emit-non-eventchriseth2018-05-043-0/+12
|\ \ \ \ | |_|_|/ |/| | |
| * | | Show proper error when trying to emit a non-eventAlex Beregszaszi2018-05-043-0/+12
* | | | Merge pull request #4059 from ethereum/parser-simplifychriseth2018-05-0413-48/+18
|\ \ \ \
| * | | | Simplify expectIdentifierToken by using expectTokenAlex Beregszaszi2018-05-0413-33/+16
| * | | | Remove useless helper expectAssignmentOperator in parserAlex Beregszaszi2018-05-042-15/+2
| |/ / /
* | | | Merge pull request #4038 from danieljoonlee/developAlex Beregszaszi2018-05-044-24/+24
|\ \ \ \ | |/ / / |/| | |
| * | | Change bytes to unsigned in FixedBytesTypedaniel2018-05-043-8/+7
| * | | Change numBits to unsigned IntegerTypeAlex Beregszaszi2018-05-033-9/+10
| * | | Change totalBits and fractionalDigits to unsigned in FixedPointTypeAlex Beregszaszi2018-05-032-8/+8
* | | | Merge pull request #4041 from kylewu/3764-vs-2017chriseth2018-05-031-11/+30
|\ \ \ \
| * | | | vs 2017 in install docGuessWho2018-05-021-11/+30
| | |_|/ | |/| |
* | | | Merge pull request #4053 from ethereum/parser-syntax-testschriseth2018-05-0330-319/+183
|\ \ \ \ | |_|/ / |/| | |
| * | | Move some parser tests to syntax testsAlex Beregszaszi2018-05-0330-319/+183
| |/ /
* | | Merge pull request #4046 from ethereum/deprecateYearsAlex Beregszaszi2018-05-031-0/+3
|\ \ \
| * | | State that years has been deprecated.chriseth2018-05-021-0/+3
* | | | Merge pull request #4048 from JonnyBurger/developchriseth2018-05-022-4/+10
|\ \ \ \ | |_|_|/ |/| | |
| * | | Improve documentation and CLI help for `--run` parameterJonny Burger2018-05-022-4/+10
* | | | Merge pull request #4028 from ethereum/asm-tags-32bitchriseth2018-05-021-2/+2
|\ \ \ \ | |/ / / |/| | |
| * | | Restrict assembly tags to 32-bitAlex Beregszaszi2018-05-011-2/+2
* | | | Merge pull request #3797 from ethereum/shift-constantinoplechriseth2018-05-0210-55/+126
|\ \ \ \ | |_|/ / |/| | |
| * | | Update source location test expectationsAlex Beregszaszi2018-05-011-3/+2
| * | | Support shifts in gas estimatorAlex Beregszaszi2018-05-011-5/+14
| * | | Removed signed shift right from the utilities.chriseth2018-05-016-24/+24
| * | | Do not use SAR instead of SDIV in shifts because it rounds differentlyAlex Beregszaszi2018-05-013-7/+10
| * | | Use native shift instructions in ABIFunctions on ConstantinopleAlex Beregszaszi2018-05-013-26/+70
| * | | Use native shift instructions on ConstantinopleAlex Beregszaszi2018-05-013-4/+20
| | |/ | |/|
* | | Merge pull request #4000 from ethereum/circleMacOSchriseth2018-05-022-37/+100
|\ \ \
| * | | Rename and compress.chriseth2018-05-021-25/+14
| * | | Adds CircleCI config for macOS.Erik Kundt2018-05-012-33/+107
| |/ /
* | | Merge pull request #4042 from ethereum/revert-4003-bool_vars_comparisonchriseth2018-05-025-60/+35
|\ \ \
| * | | Revert "BREAKING: Bool variables should not allow arithmetic comparison"chriseth2018-05-025-60/+35
|/ / /
* | | Merge pull request #4003 from ethereum/bool_vars_comparisonchriseth2018-05-025-35/+60
|\ \ \
| * | | Add syntax tests and Changelog entryLeonardo Alt2018-04-272-0/+58
| * | | Bool variables should not allow arithmetic comparisonLeonardo Alt2018-04-273-35/+2
* | | | Merge pull request #3992 from davesque/improve-abi-specchriseth2018-05-021-4/+4
|\ \ \ \
| * | | | Make index notation more consistentDavid Sanders2018-04-251-3/+3
| * | | | Add note about zero-tuplesDavid Sanders2018-04-251-1/+1
* | | | | Merge pull request #4040 from aarlt/virtual-destructorschriseth2018-05-0211-0/+19
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | Add virtual destructors on base classes.Alexander Arlt2018-05-0211-0/+19
|/ / / /
* | | | Merge pull request #4026 from ethereum/prepareyulAlex Beregszaszi2018-05-011-258/+14
|\ \ \ \ | |_|_|/ |/| | |
| * | | Remove desugaringchriseth2018-05-011-258/+14
* | | | Merge pull request #3996 from ethereum/refactorParserchriseth2018-05-012-66/+73
|\ \ \ \
| * | | | Refactor parser.chriseth2018-04-262-66/+73
| | |_|/ | |/| |
* | | | Merge pull request #4018 from ethereum/disable-bytes0chriseth2018-05-017-13/+66
|\ \ \ \
| * | | | Remove unused function smallestTypeForLiteralAlex Beregszaszi2018-04-302-11/+0
| * | | | Add syntax tests for bytesMAlex Beregszaszi2018-04-305-0/+62
| * | | | Disable FixedBytesType(0) aka bytes0Alex Beregszaszi2018-04-301-2/+4
* | | | | Merge pull request #3999 from ethereum/subasmAlex Beregszaszi2018-05-011-4/+12
|\ \ \ \ \
| * | | | | Ensure that subId and tag handling is correct on all compilers in AssemblyItemAlex Beregszaszi2018-04-301-4/+12
| |/ / / /
* | | | | Merge pull request #4001 from Magicking/fix_docs_dateAlex Beregszaszi2018-04-301-1/+1
|\ \ \ \ \
| * | | | | docs: Update configuration from 2017 to 2018Magicking2018-04-271-1/+1
| | |/ / / | |/| | |
* | | | | Merge pull request #3975 from sledrho/developchriseth2018-04-301-1/+1
|\ \ \ \ \
| * | | | | Updated StateVariableGrammar rule #3974sledrho2018-04-231-1/+1
* | | | | | Merge pull request #4023 from ethereum/exampledocschriseth2018-04-301-6/+6
|\ \ \ \ \ \
| * | | | | | Update some examples to remove warnings.chriseth2018-04-301-6/+6
| | |_|_|/ / | |/| | | |
* | | | | | Merge pull request #4022 from ethereum/docslinchriseth2018-04-301-5/+5
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | Update documentation about C3 linearization.chriseth2018-04-301-5/+5
|/ / / / /
* | | | | Merge pull request #3958 from meowingtwurtle/fixedPointTypeschriseth2018-04-302-19/+12
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | Remove category check in FixedPointType:binaryOperatorResult as commonType ha...Alex Beregszaszi2018-04-211-11/+0
| * | | | Types changes for fixed pointsJason Cobb2018-04-212-13/+17
* | | | | Merge pull request #4005 from oboukli/fix-comment-typoschriseth2018-04-281-7/+7
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | Fix comment typosOmar Boukli-Hacene2018-04-271-7/+7
|/ / / /
* | | | Merge pull request #3994 from rafialhamd/rafialhamd-documentationchriseth2018-04-261-1/+1
|\ \ \ \
| * | | | Update Enum Type definition.Rafiudeen Chozhan Kumarasamy2018-04-261-1/+1
* | | | | Merge pull request #3991 from aarlt/lvalue-virtual-destructorchriseth2018-04-251-0/+1
|\ \ \ \ \ | |_|_|_|/ |/| | | |
| * | | | Add virtual destructor in LValue class.Alexander Arlt2018-04-251-0/+1
|/ / / /
* | | | Merge pull request #3989 from elopio/patch-1chriseth2018-04-251-1/+1
|\ \ \ \
| * | | | docs: clarify the maximum line length styleLeo Arias2018-04-251-1/+1
|/ / / /
* | | | Merge pull request #3981 from ethereum/years-suffixchriseth2018-04-249-19/+52
|\ \ \ \ | |/ / / |/| | |
| * | | The "year" denomination is deprecatedAlex Beregszaszi2018-04-235-0/+30
| * | | Add more denomination testsAlex Beregszaszi2018-04-232-0/+11
| * | | Extract subdenomination testsAlex Beregszaszi2018-04-233-19/+11
* | | | Merge pull request #3970 from elopio/test/docstring-tag-endAlex Beregszaszi2018-04-243-1/+7
|\ \ \ \
| * | | | docstring: add missing spaceLeo Arias2018-04-243-1/+7
* | | | | Merge pull request #3976 from ethereum/emptyTupleComponentchriseth2018-04-239-1/+92
|\ \ \ \ \
| * | | | | Treats inline array as an error.Erik Kundt2018-04-232-3/+3
| * | | | | Turns it into warning (error for 0.5.0) and adds Changelog entry.Erik Kundt2018-04-2310-17/+54
| * | | | | Prevents null type from being used in tuple.Erik Kundt2018-04-226-0/+54
| |/ / / /
* | | | | Merge pull request #3467 from aarlt/strict-mode-jsoncpp-1.8.4Alex Beregszaszi2018-04-237-16/+27
|\ \ \ \ \ | | |/ / / | |/| | / | |_|_|/ |/| | |
| * | | CMake: enable C++11 for jsoncppAlex Beregszaszi2018-04-231-1/+5
| * | | Install & use cmake provided by scripts/install_cmake.sh for emscriptenAlexander Arlt2018-04-232-0/+12
| * | | CMake: Update jsoncpp to v1.8.4Alexander Arlt2018-04-235-15/+10
|/ / /
* | | Merge pull request #3957 from ethereum/deprecated-errorchriseth2018-04-225-29/+37
|\ \ \ | |/ / |/| |
| * | Turn deprecated warnings for sha3/suicide into errors (experimental 0.5.0)Alex Beregszaszi2018-04-213-3/+24
| * | Extract syntax testsAlex Beregszaszi2018-04-212-26/+13
| |/
* | Merge pull request #3964 from MatthewDLudwig/developAlex Beregszaszi2018-04-211-8/+8
|\ \
| * | Updated constructors and pragma solidity lines.Matthew Ludwig2018-04-211-8/+8
|/ /
* | Merge pull request #3933 from ethereum/jsoncpp-cmakeAlex Beregszaszi2018-04-212-1/+2
|\ \ | |/ |/|
| * CMake: require builtin jsoncpp headers over system wide headersAlex Beregszaszi2018-04-211-0/+1
| * CMake: remove direct jsoncpp dependency in libevmasmAlexander Arlt2018-04-211-1/+1
|/
* Merge pull request #3956 from ethereum/tight-pack-hashAlex Beregszaszi2018-04-214-12/+59
|\
| * Update tight packing test casesAlex Beregszaszi2018-04-201-3/+14
| * Make literals an error for tight packing (experimental 0.5.0)Alex Beregszaszi2018-04-203-9/+45
|/
* Merge pull request #3943 from ethereum/smt_remove_branch_warningchriseth2018-04-202-10/+10
|\
| * [SMTChecker] Remove 'information is erase' message for if-elseLeonardo Alt2018-04-192-10/+10
* | Merge pull request #3924 from ethereum/optim-address-opchriseth2018-04-204-0/+110
|\ \
| * | Remove unnecessary masking of the result of known short instructionsAlex Beregszaszi2018-04-204-0/+110
* | | Merge pull request #3946 from ethereum/chriseth-patch-1Alex Beregszaszi2018-04-201-6/+13
|\ \ \ | |/ / |/| |
| * | Clarify namespaces in coding style.chriseth2018-04-191-6/+13
* | | Merge pull request #3954 from ethereum/releasechriseth2018-04-200-0/+0
|\ \ \
| * \ \ Merge pull request #3950 from ethereum/developchriseth2018-04-2062-533/+888
| |\ \ \
* | \ \ \ Merge pull request #3951 from ethereum/version0424chriseth2018-04-202-1/+10
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | Set version to 0.4.24chriseth2018-04-192-1/+10
* | | | | Merge pull request #3952 from ethereum/disableTestsOnTravisAgainchriseth2018-04-201-1/+2
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Disable tests on travis again.chriseth2018-04-201-1/+2
|/ / / /
* | | | Merge pull request #3949 from ethereum/prepareReleasechriseth2018-04-194-6/+20
|\ \ \ \ | |_|/ / |/| | |
| * | | Prepare 0.4.23 release.chriseth2018-04-194-6/+20
|/ / /
* | | Merge pull request #3941 from ethereum/bytes-contractchriseth2018-04-193-1/+8
|\ \ \
| * | | Disallow explicit conversion of bytesXX to contractAlex Beregszaszi2018-04-193-1/+8
* | | | Merge pull request #3940 from ethereum/remove-old-compiler-flagschriseth2018-04-191-33/+0
|\ \ \ \
| * | | | Remove obsolete warning supressions for clangAlex Beregszaszi2018-04-191-12/+0
| * | | | Remove -fpermissiveAlex Beregszaszi2018-04-191-21/+0
| |/ / /
* | | | Merge pull request #3932 from ethereum/betterErrorForFailedLookupchriseth2018-04-197-26/+51
|\ \ \ \
| * | | | Improve error message for failed member lookup.chriseth2018-04-195-11/+41
| * | | | Extract tests.chriseth2018-04-192-15/+10
| |/ / /
* | | / Correct the style of coding styleThomas Sauvajon2018-04-191-182/+163
| |_|/ |/| |
* | | Merge pull request #3928 from ethereum/removeZeppelinPatchesAlex Beregszaszi2018-04-191-7/+0
|\ \ \ | |/ / |/| |
| * | Remove Zeppelin patches.chriseth2018-04-191-7/+0
* | | Merge pull request #3923 from ethereum/warnConstructorAlex Beregszaszi2018-04-193-2/+13
|\ \ \
| * | | Warn about functions named "constructor".chriseth2018-04-193-2/+13
* | | | Merge pull request #3922 from ethereum/smt_sol_unimplementedassertAlex Beregszaszi2018-04-191-2/+2
|\ \ \ \ | |/ / / |/| | |
| * | | [SMTChecker] Using solUnimplementedAssert instead of solAssert when applicableLeonardo Alt2018-04-181-2/+2
| |/ /
* | | Merge pull request #3925 from ethereum/supportBionic2Alex Beregszaszi2018-04-192-9/+6
|\ \ \
| * | | Support ubuntu bionic source builds.chriseth2018-04-182-9/+6
| |/ /
* | | Merge pull request #3912 from ethereum/fixFallbackConstructorchriseth2018-04-1830-231/+257
|\ \ \ | |/ / |/| |
| * | Fix name clashes between constructor and fallback function.chriseth2018-04-186-50/+61
| * | Extract tests.chriseth2018-04-1826-182/+197
|/ /
* | Merge pull request #3840 from ethereum/smt_cvc4Alex Beregszaszi2018-04-1710-25/+318
|\ \
| * | [SMTChecker] Integration with CVC4Leonardo Alt2018-04-1710-25/+318
* | | Merge pull request #3919 from aj07/patch-2chriseth2018-04-171-1/+1
|\ \ \ | |/ / |/| |
| * | Update README.mdankit raj2018-04-171-1/+1
|/ /
* | Merge pull request #3913 from ethereum/jsoncpp-version-assertAlex Beregszaszi2018-04-171-0/+5
|\ \
| * | Add static_assert for the correct jsoncpp versionAlex Beregszaszi2018-04-171-0/+5
* | | Merge pull request #3906 from ethereum/updateSecurytchriseth2018-04-171-3/+16
|\ \ \
| * | | Update security considerations.chriseth2018-04-171-3/+16
| |/ /
* | | Merge pull request #3894 from ethereum/releaseNoteschriseth2018-04-171-3/+4
|\ \ \ | |/ / |/| |
| * | Update release checklist.chriseth2018-04-171-3/+4
|/ /
* | Merge pull request #3898 from ethereum/reEnableTestsOnTravisDevelopchriseth2018-04-171-2/+2
|\ \
| * | Enable travis tests on develop branch.chriseth2018-04-171-2/+2
* | | Merge pull request #3905 from ethereum/reportCmdlinechriseth2018-04-171-4/+16
|\ \ \ | |/ / |/| |
| * | Report failed commandline tests.chriseth2018-04-171-4/+16
* | | Merge pull request #3903 from ethereum/addBionicchriseth2018-04-171-1/+1
|\ \ \
| * | | Support bionic.chriseth2018-04-171-1/+1
* | | | Merge pull request #3902 from ethereum/releasechriseth2018-04-170-0/+0
|\ \ \ \ | |_|/ / |/| | / | | |/ | |/|
| * | Merge pull request #3892 from ethereum/developchriseth2018-04-17328-2245/+8687
| |\|
* | | Merge pull request #3901 from ethereum/newVersionchriseth2018-04-172-1/+10
|\ \ \ | |_|/ |/| |
| * | Set version to 0.4.23chriseth2018-04-172-1/+10
|/ /
* | Merge pull request #3897 from ethereum/noTestsOnTravischriseth2018-04-171-1/+2
|\ \
| * | Disable tests on travis.chriseth2018-04-171-1/+2
|/ /
* | Merge pull request #3896 from ethereum/progressOnTravischriseth2018-04-171-1/+1
|\ \
| * | Show progress on travis.chriseth2018-04-171-1/+1
* | | Merge pull request #3893 from ethereum/prepareForReleasechriseth2018-04-171-1/+1
|\ \ \ | |/ / |/| |
| * | Preparation for 0.4.22 release.chriseth2018-04-171-1/+1
|/ /
* | Merge pull request #3885 from LefterisJP/update_solidity_version_where_revert...chriseth2018-04-176-12/+12
|\ \
| * | Docs: Update solidity version for revert with reasonLefteris Karapetsas2018-04-166-12/+12
* | | Merge pull request #3865 from ethereum/updateConstructorVersionPragmaschriseth2018-04-173-4/+4
|\ \ \
| * | | Update version pragmas from >0.4.21 to ^0.4.22.Daniel Kirchner2018-04-123-4/+4
* | | | Merge pull request #3891 from ethereum/prepareForReleasechriseth2018-04-172-6/+13
|\ \ \ \
| * | | | Preparation for 0.4.22 release.chriseth2018-04-172-6/+13
|/ / / /
* | | | Merge pull request #3868 from ethereum/bytescleanupchriseth2018-04-165-12/+44
|\ \ \ \
generated by cgit (git 2.34.1) at 2024-11-17 23:09:50 +0800