aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* jsoncpp: Restore download dir in source treePaweł Bylica2017-09-201-0/+1
* Remove deps git submodulePaweł Bylica2017-09-192-3/+0
* Merge pull request #2926 from ethereum/depsPaweł Bylica2017-09-192-1/+51
|\
| * deps: Move and fix jsoncpp.cmake from deps submodulePaweł Bylica2017-09-192-1/+51
* | Merge pull request #2920 from ethereum/fixConstantBytesAlex Beregszaszi2017-09-194-1/+38
|\ \
| * | Add tests for constant bytes/stringsAlex Beregszaszi2017-09-192-0/+36
| * | Allow constant byte arrays.chriseth2017-09-192-1/+2
|/ /
* | Merge pull request #2910 from ethereum/fallback-restrict-externalchriseth2017-09-183-1/+39
|\ \
| * | Force fallback to be external (experimental 0.5.0 change)Alex Beregszaszi2017-09-183-1/+39
| |/
* | Merge pull request #2922 from ethereum/asm-bytes-requiredchriseth2017-09-181-3/+3
|\ \
| * | Properly calculate bytesRequired for subsAlex Beregszaszi2017-09-181-3/+3
* | | Merge pull request #1673 from ethereum/structsAlex Beregszaszi2017-09-1815-79/+894
|\ \ \
| * | | Fixed tests with mappings in structs and added some more.chriseth2017-09-161-2/+90
| * | | Check for interface types of members and cache recursion check.chriseth2017-09-162-21/+48
| * | | Add changelogAlex Beregszaszi2017-09-161-0/+1
| * | | Clarify ABI & Solidity typesAlex Beregszaszi2017-09-161-2/+5
| * | | Use "tuple" for struct types in ABI JSON.chriseth2017-09-164-27/+52
| * | | Implement struct encoder.chriseth2017-09-167-52/+177
| * | | Fix tests.chriseth2017-09-165-6/+11
| * | | Expect test to fail until implemented.chriseth2017-09-161-1/+4
| * | | Document structs in ABIchriseth2017-09-161-3/+89
| * | | Structure type json using "components".chriseth2017-09-162-114/+151
| * | | Fix interface type conversion internal to structs.chriseth2017-09-164-6/+46
| * | | Tests for external signatures.chriseth2017-09-161-4/+28
| * | | Function signatures containing structs.chriseth2017-09-164-45/+98
| * | | Update tests and error messages.chriseth2017-09-163-14/+14
| * | | Check for recursive structs.chriseth2017-09-163-4/+33
| * | | Allow structs as part of function interfaces.chriseth2017-09-166-11/+280
| |/ /
* | | Merge pull request #2921 from ethereum/asm-assertion-messageschriseth2017-09-181-3/+3
|\ \ \ | |_|/ |/| |
| * | Add useful messages to exceptions in the assemblerAlex Beregszaszi2017-09-181-3/+3
| |/
* | Merge pull request #2905 from ethereum/circlecichriseth2017-09-184-16/+56
|\ \ | |/ |/|
| * Circle CI: Emscripten buildPaweł Bylica2017-09-154-16/+56
* | Merge pull request #2823 from ethereum/iuliaCompressorAlex Beregszaszi2017-09-1617-93/+190
|\ \ | |/ |/|
| * Move ABI encoder into its own function.chriseth2017-09-166-66/+83
| * Named assembly labels.chriseth2017-09-1613-28/+108
|/
* Merge pull request #2904 from ethereum/viewPure5Alex Beregszaszi2017-09-154-11/+35
|\
| * Enforce view with error for experimental 0.5.0.chriseth2017-09-144-11/+35
* | Merge pull request #2749 from ethereum/require-visibilitychriseth2017-09-1510-564/+588
|\ \ | |/ |/|
| * Update view/pure tests to contain mandatory visibility specifiersAlex Beregszaszi2017-09-141-53/+51
| * Update type tests to contain mandatory visibility specifiersAlex Beregszaszi2017-09-141-495/+506
| * Update std to contain visibility specifiersAlex Beregszaszi2017-09-144-15/+15
| * Warn if no visibility is specified on contract functions.Alex Beregszaszi2017-09-144-1/+16
|/
* Merge pull request #2883 from ethereum/experimental-v050Alex Beregszaszi2017-09-142-0/+3
|\
| * Add experimental feature 'v0.5.0'Alex Beregszaszi2017-09-142-0/+3
|/
* Merge pull request #2900 from ethereum/viewpure-warningsAlex Beregszaszi2017-09-141-14/+14
|\
| * Fix view/pure warnings on selector testsAlex Beregszaszi2017-09-141-14/+14
|/
* Merge pull request #2898 from ethereum/docs-abichriseth2017-09-141-0/+5
|\
| * Fix nested lists in the ABI documentationAlex Beregszaszi2017-09-141-0/+5
|/
* Merge pull request #2473 from ethereum/functiontype-sigAlex Beregszaszi2017-09-147-1/+132
|\
| * Use hashing function in testsAlex Beregszaszi2017-09-131-3/+3
| * Document function selectorsAlex Beregszaszi2017-09-132-0/+13
| * Rename .sig to .selector on function typesAlex Beregszaszi2017-09-135-17/+17
| * Add tests for function type sigsAlex Beregszaszi2017-09-132-0/+105
| * Add sig member on function typeAlex Beregszaszi2017-09-133-1/+14
* | Merge pull request #2848 from ethereum/checkViewPurechriseth2017-09-1416-90/+954
|\ \
| * | Changelog entry.chriseth2017-09-141-0/+1
| * | Minor changes from review.chriseth2017-09-131-9/+3
| * | Rename to invalidInPureFunctionschriseth2017-09-133-3/+3
| * | Allow constant variables in pure functions.chriseth2017-09-062-1/+14
| * | Rename and add anonymous namespace.chriseth2017-09-063-3/+6
| * | Fix testschriseth2017-09-062-6/+9
| * | Tone down error message.chriseth2017-09-062-5/+5
| * | Modifier invocation can be base constructor callchriseth2017-09-061-5/+7
| * | Analyze assembly.chriseth2017-09-065-13/+153
| * | Add view/pure information about instructions.chriseth2017-09-062-0/+54
| * | New tests for view and pure checker.chriseth2017-09-062-8/+331
| * | Do not report on overriding function and only warn for view.chriseth2017-09-061-12/+19
| * | Store super function.chriseth2017-09-064-0/+8
| * | Remove previous warning about pureness not being enforced.chriseth2017-09-061-2/+0
| * | Change tests to use view or pure as appropriateAlex Beregszaszi2017-09-062-76/+76
| * | View-pure checker.chriseth2017-09-065-2/+320
* | | Merge pull request #2290 from ali92hm/developchriseth2017-09-132-1/+20
|\ \ \
| * | | Added --pretty-json commandline optionAli92hm2017-09-132-6/+11
| * | | Enabling --combined-json to output to fileAli92hm2017-09-131-1/+5
| * | | Added createJson method to make writing json easierAli92hm2017-09-132-0/+10
| | |/ | |/|
* | | Merge pull request #2895 from ethereum/docs-creationchriseth2017-09-131-38/+10
|\ \ \
| * | | Overhaul contract creation section in the documentation (add reference to rem...Alex Beregszaszi2017-09-131-38/+10
| |/ /
* | | Merge pull request #2892 from ethereum/limit-duplicate-declaration-errorschriseth2017-09-132-2/+21
|\ \ \ | |/ / |/| |
| * | Limit each duplicate declaration error to 32 referencesAlex Beregszaszi2017-09-132-2/+21
|/ /
* | Merge pull request #2893 from ethereum/travis-clang-buildAlex Beregszaszi2017-09-133-27/+26
|\ \
| * | Travis CI: Fix Emscripten buildPaweł Bylica2017-09-132-26/+26
| * | Travis CI: Do not cache build dirPaweł Bylica2017-09-131-1/+0
|/ /
* | Merge pull request #2852 from ssuman/developchriseth2017-09-123-8/+18
|\ \
| * | Display helpful warning for unused function arguments/return parametersSuman2017-09-123-8/+18
* | | Merge pull request #2891 from ethereum/same-declaration-exponential-errorAlex Beregszaszi2017-09-121-1/+5
|\ \ \ | |/ / |/| |
| * | Do not report overload conflicts for every line excessivelyAlex Beregszaszi2017-09-121-1/+5
|/ /
* | Merge pull request #2888 from ethereum/same-declaration-errorAlex Beregszaszi2017-09-121-10/+12
|\ \
| * | Use secondary source location as a vector in same declaration errorsAlex Beregszaszi2017-09-121-10/+12
* | | Merge pull request #2887 from ethereum/missing-functions-listchriseth2017-09-121-5/+7
|\ \ \
| * | | Show each unimplemented function in secondary source locationAlex Beregszaszi2017-09-121-5/+7
| |/ /
* | | Merge pull request #2880 from ethereum/docs-metadatachriseth2017-09-123-144/+145
|\ \ \
| * | | Promote metadata to its own chapter (split from miscellaneous)Alex Beregszaszi2017-09-113-144/+145
* | | | Merge pull request #2853 from ethereum/cleanup-asm-streamchriseth2017-09-1210-60/+75
|\ \ \ \ | |_|/ / |/| | |
| * | | Simplify assembly printing in CLIAlex Beregszaszi2017-09-111-15/+8
| * | | Introduce assemblyStringAlex Beregszaszi2017-09-1110-24/+27
| * | | Do not return the stream in asssemblyStreamAlex Beregszaszi2017-09-116-12/+9
| * | | Split out the JSON functionality from assembly.stream()Alex Beregszaszi2017-09-1110-46/+67
| * | | Mark functions static in libevmasmAlex Beregszaszi2017-09-112-3/+4
| |/ /
* | | Merge pull request #2881 from ethereum/analysis-testchriseth2017-09-123-6/+6
|\ \ \
| * | | Change retrieveContract to take name and not indexAlex Beregszaszi2017-09-113-6/+6
| |/ /
* | | Merge pull request #2882 from ethereum/eventschriseth2017-09-122-4/+5
|\ \ \
| * | | Do not show the same error multiple times for eventsAlex Beregszaszi2017-09-122-4/+5
| |/ /
* | | Merge pull request #2870 from aarongoa/developchriseth2017-09-121-8/+9
|\ \ \ | |/ / |/| |
| * | Make `createAndEndowD` payable in contract creation exampleAaron Colaço2017-09-121-8/+9
* | | Merge pull request #2875 from ethereum/travis-badgechriseth2017-09-111-1/+1
|\ \ \ | |_|/ |/| |
| * | Add the Travis build status badgeYoichi Hirai2017-09-071-1/+1
|/ /
* | Merge pull request #2857 from ethereum/fixTestrefactorAlex Beregszaszi2017-09-062-5/+5
|\ \
| * | Fix warning checking in test framework.chriseth2017-09-062-5/+5
|/ /
* | Merge pull request #2873 from ethereum/largearraychriseth2017-09-062-4/+4
|\ \
| * | Change array too large error message as it is valid for non-calldata tooAlex Beregszaszi2017-09-062-4/+4
* | | Merge pull request #2842 from ethereum/chriseth-patch-1Alex Beregszaszi2017-09-061-3/+8
|\ \ \ | |/ / |/| |
| * | Explain how to run the tests in more detail.chriseth2017-09-061-3/+8
* | | Merge pull request #2872 from ethereum/docs-abiAlex Beregszaszi2017-09-051-119/+119
|\ \ \
| * | | Convert ABI spec from Markdwon to RSTAlex Beregszaszi2017-09-051-119/+119
|/ / /
* | | Merge pull request #2871 from ethereum/fixedpointdocschriseth2017-09-052-14/+24
|\ \ \
| * | | Explain the difference between floating and fixed pointAlex Beregszaszi2017-09-042-5/+6
| * | | Explain fixed point typesAlex Beregszaszi2017-09-041-0/+9
| * | | Move fixed after int in docsAlex Beregszaszi2017-09-041-9/+9
| | |/ | |/|
* | | Merge pull request #2854 from ethereum/docs-faqchriseth2017-09-055-93/+60
|\ \ \ | |/ / |/| |
| * | Mention that different Unicode codepoint can look the sameAlex Beregszaszi2017-09-021-0/+4
| * | Clarify some subtleties of the fallback functionAlex Beregszaszi2017-09-022-34/+18
| * | Document character setAlex Beregszaszi2017-09-022-7/+4
| * | Document caveats about timestamp and blockhashAlex Beregszaszi2017-09-022-18/+12
| * | Document gas/value modifiers with overloadingAlex Beregszaszi2017-09-022-10/+6
| * | Document byte[] vs bytesAlex Beregszaszi2017-09-022-7/+4
| * | Document call/gas modifiers properlyAlex Beregszaszi2017-09-022-17/+12
|/ /
* | Merge pull request #2860 from ethereum/noparamsfordefaultedAlex Beregszaszi2017-08-311-4/+4
|\ \
| * | Remove parameter names for defaulted functions.chriseth2017-08-311-4/+4
* | | Merge pull request #2812 from ethereum/removeEscapechriseth2017-08-312-31/+9
|\ \ \ | |/ / |/| |
| * | Use Json::valueToQuotedString directlyAlex Beregszaszi2017-08-291-4/+2
| * | Remove escape function.chriseth2017-08-292-31/+11
* | | Merge pull request #2858 from ethereum/fuzzer-without-optimizerchriseth2017-08-312-4/+14
|\ \ \ | |/ / |/| |
| * | Run fuzzer tests without optimizer tooAlex Beregszaszi2017-08-311-0/+7
| * | Add --without-optimizer option to fuzzerAlex Beregszaszi2017-08-311-4/+7
|/ /
* | Merge pull request #2847 from ethereum/codegen-docsAlex Beregszaszi2017-08-293-1/+25
|\ \
| * | Document more of the codegen featuresAlex Beregszaszi2017-08-293-1/+25
* | | Merge pull request #2846 from ethereum/refactorTestsAlex Beregszaszi2017-08-293-223/+275
|\ \ \
| * | | Extract base from NameAndType and use compiler stack.chriseth2017-08-293-223/+275
* | | | Merge pull request #2833 from ethereum/statemutability-builtinschriseth2017-08-295-22/+24
|\ \ \ \
| * | | | Swap declaration/statemutability in FunctionType constructorAlex Beregszaszi2017-08-294-11/+8
| * | | | Mark all built in functions with appropriate statemutabilityAlex Beregszaszi2017-08-293-12/+17
* | | | | Merge pull request #2844 from ethereum/jsoncompilerAlex Beregszaszi2017-08-294-24/+47
|\ \ \ \ \
| * | | | | Add header for jsonCompilerAlex Beregszaszi2017-08-294-24/+47
|/ / / / /
* | | | | Merge pull request #2843 from ethereum/anonymous-cleanupchriseth2017-08-298-5/+36
|\ \ \ \ \ | |_|_|_|/ |/| | | |
| * | | | Move all file specific globals to anonymous namespaceAlex Beregszaszi2017-08-298-5/+36
| | |_|/ | |/| |
* | | | Merge pull request #2841 from ethereum/evm15-code-numbersGreg Colvin2017-08-291-9/+11
|\ \ \ \ | |/ / / |/| | |
| * | | Reconcile EVM 1.5 instruction numbers with working draft EIP615gcolvin2017-08-291-9/+11
|/ / /
* | | Merge pull request #2837 from ethereum/event-overloading-abiAlex Beregszaszi2017-08-293-3/+31
|\ \ \ | |/ / |/| |
| * | Include all overloaded events in ABIAlex Beregszaszi2017-08-293-3/+31
|/ /
* | Merge pull request #2838 from ethereum/statemutability-eventAlex Beregszaszi2017-08-291-2/+6
|\ \
| * | Mark event non-payable and not viewAlex Beregszaszi2017-08-281-2/+6
|/ /
* | Merge pull request #2835 from ethereum/compilerstack-docsAlex Beregszaszi2017-08-281-5/+7
|\ \
| * | Reorder some methods in CompilerStack for readabilityAlex Beregszaszi2017-08-281-5/+7
| |/
* | Merge pull request #2834 from ethereum/fixTypeNameParsingAlex Beregszaszi2017-08-283-1/+18
|\ \ | |/ |/|
| * Crash fix, parseTypeName can return null.chriseth2017-08-283-1/+18
* | Merge pull request #2831 from ethereum/docsAlex Beregszaszi2017-08-287-23/+30
|\ \
| * | Explain safe purchase (even number)Alex Beregszaszi2017-08-281-0/+3
| * | Add note about throw being deprecatedAlex Beregszaszi2017-08-281-0/+3
| * | Require 0.4.12 for the VectorSum example (for loop)Alex Beregszaszi2017-08-281-1/+1
| * | Refer to internal ABI documentationAlex Beregszaszi2017-08-281-4/+2
| * | Highlight opcodes in docsAlex Beregszaszi2017-08-284-17/+18
| * | Fix lists and linksAlex Beregszaszi2017-08-283-1/+3
* | | Merge pull request #2825 from ethereum/contract-unused-natspecchriseth2017-08-283-33/+0
|\ \ \ | |_|/ |/| |
| * | Removed unused natspec members of ContractDefinitionAlex Beregszaszi2017-08-263-33/+0
* | | Merge pull request #2826 from Legogris/patch-1Alex Beregszaszi2017-08-281-1/+1
|\ \ \ | |_|/ |/| |
| * | Correct package name for installing solc on ArchRobert Edström2017-08-271-1/+1
|/ /
* | Merge pull request #2821 from ethereum/errorreporter-copyAlex Beregszaszi2017-08-261-0/+3
|\ \ | |/ |/|
| * Add copy constructor to ErrorReporter (since it has assignment operator)Alex Beregszaszi2017-08-251-0/+3
* | Merge pull request #2811 from ethereum/cleanupvectorrefAlex Beregszaszi2017-08-262-32/+9
|\ \
| * | Cleanup of vector_ref.hchriseth2017-08-262-32/+9
* | | Merge pull request #2819 from ethereum/compilerstack-typecheckchriseth2017-08-262-23/+8
|\ \ \
| * | | Update SolidityNameAndTypeResolution to match CompilerStackAlex Beregszaszi2017-08-251-4/+3
| * | | Do not create a new TypeChecker instance for every contractAlex Beregszaszi2017-08-251-3/+1
| * | | Attach natspec before type checkingAlex Beregszaszi2017-08-251-6/+4
| * | | Remove duplicate work from CompilerStack.analyze()Alex Beregszaszi2017-08-251-10/+0
* | | | Merge pull request #2820 from ethereum/fallthroughchriseth2017-08-264-6/+8
|\ \ \ \ | |_|/ / |/| | |
| * | | Move the break in switch for readabilityAlex Beregszaszi2017-08-251-3/+3
| * | | Mark to places fall-throughAlex Beregszaszi2017-08-252-0/+2
| * | | Remove fallthrough from ArrayUtilsAlex Beregszaszi2017-08-251-3/+3
| | |/ | |/|
* | | Merge pull request #2809 from ethereum/cleanupFixedHashchriseth2017-08-262-139/+8
|\ \ \
| * | | Cleanup of FixedHash.hchriseth2017-08-252-139/+8
| | |/ | |/|
* | | Merge pull request #2765 from ethereum/emscriptenchriseth2017-08-251-17/+8
|\ \ \
| * | | Leave artifact also on root.chriseth2017-08-251-1/+2
| * | | Emscripten, CI: Use CMake toolchain filePaweł Bylica2017-08-251-3/+3
| * | | Travis CI: Cleanup emscripten build scriptPaweł Bylica2017-08-251-13/+3
* | | | Merge pull request #2813 from ethereum/tightpack-warnAlex Beregszaszi2017-08-253-0/+67
|\ \ \ \ | |_|_|/ |/| | |
| * | | Warn on using literals in tight packingAlex Beregszaszi2017-08-253-0/+67
| |/ /
* | | Merge pull request #2815 from ethereum/parser-fallthroughAlex Beregszaszi2017-08-252-9/+14
|\ \ \ | |_|/ |/| |
| * | Remove two other fall-through cases in ParserAlex Beregszaszi2017-08-252-3/+5
| * | Remove fallthrough from literal parsingAlex Beregszaszi2017-08-251-6/+9
| |/
* | Merge pull request #2808 from ethereum/cleanCommonHchriseth2017-08-256-58/+25
|\ \
| * | Cleanup of Common.hchriseth2017-08-256-58/+25
| |/
* | Merge pull request #2817 from ethereum/do_not_copy_sochriseth2017-08-251-35/+0
|\ \ | |/ |/|
| * Do not include soltest and .so files in zip archives.chriseth2017-08-251-35/+0
* | Merge pull request #2807 from ethereum/removeABIhchriseth2017-08-253-119/+18
|\ \
| * | Cleanup: Remove ABI.hchriseth2017-08-253-119/+18
* | | Merge pull request #2814 from ethereum/natspec-cleanupAlex Beregszaszi2017-08-252-28/+1
|\ \ \ | |_|/ |/| |
| * | Remove unused statements from the Natspec headersAlex Beregszaszi2017-08-252-28/+1
* | | Merge pull request #2792 from ethereum/statemutability-docschriseth2017-08-252-4/+22
|\ \ \
| * | | Explain the limitations of view and pureAlex Beregszaszi2017-08-251-0/+18
| * | | Clarify ABI regarding constantAlex Beregszaszi2017-08-251-2/+2
| * | | Require 0.4.16 for view/pure in docs examplesAlex Beregszaszi2017-08-251-2/+2
| |/ /
* | | Merge pull request #2810 from ethereum/cleanupSHA3chriseth2017-08-251-7/+2
|\ \ \ | |/ / |/| |
| * | Cleanup of SHA3.hchriseth2017-08-251-7/+2
| |/
* | Merge pull request #2657 from ethereum/jumpdest-removerAlex Beregszaszi2017-08-259-22/+243
|\ \
| * | Add test for jumpdest removal.chriseth2017-08-251-0/+84
| * | Update tests.chriseth2017-08-253-12/+12
| * | Introduce JumpdestRemover optimisation stepAlex Beregszaszi2017-08-255-10/+147
* | | Merge pull request #2806 from ethereum/abichriseth2017-08-251-9/+10
|\ \ \ | |/ / |/| |
| * | Reorder ABI for readabilityAlex Beregszaszi2017-08-251-9/+10
* | | Merge pull request #2805 from ethereum/releasechriseth2017-08-250-0/+0
|\ \ \ | |_|/ |/| |
| * | Merge pull request #2802 from ethereum/developchriseth2017-08-25137-1886/+5297
| |\|
* | | Merge pull request #2803 from ethereum/incrementVersionchriseth2017-08-252-1/+7
|\ \ \ | |_|/ |/| |
| * | Set version to 0.4.17chriseth2017-08-252-1/+7
|/ /
* | Merge pull request #2800 from ethereum/updateVersionchriseth2017-08-251-1/+3
|\ \
| * | Describe experimental features.chriseth2017-08-251-1/+3
|/ /
* | Merge pull request #2797 from ethereum/updateVersionchriseth2017-08-252-6/+15
|\ \
| * | Prepare 0.4.16 release.chriseth2017-08-252-6/+15
|/ /
* | Merge pull request #2798 from ethereum/statemutabilitychriseth2017-08-255-35/+35
|\ \
| * | Rename statemutability to stateMutability in ABI/ASTAlex Beregszaszi2017-08-245-35/+35
* | | Merge pull request #2799 from designium/patch-2chriseth2017-08-251-1/+1
|\ \ \ | |/ / |/| |
| * | Update on the example for BlindActionChim Kan2017-08-251-1/+1
|/ /
* | Merge pull request #2745 from ethereum/statemutability-pureAlex Beregszaszi2017-08-2414-13/+107
|\ \
| * | Consider pure as constant for the AST JSON (to aid static analyzers)Alex Beregszaszi2017-08-241-2/+2
| * | Add pure to grammarAlex Beregszaszi2017-08-242-2/+2
| * | Add pure to ABI specAlex Beregszaszi2017-08-241-1/+1
| * | Document pure functionsAlex Beregszaszi2017-08-242-3/+25
| * | Add ABI test for pure functionAlex Beregszaszi2017-08-242-1/+56
| * | Introduce pure specifier on functionsAlex Beregszaszi2017-08-247-4/+21
|/ /
* | Merge pull request #2794 from nicksavers/patch-2Alex Beregszaszi2017-08-241-1/+1
|\ \
| * | Fix link to Russian version on wikiNick Savers2017-08-241-1/+1
* | | Merge pull request #2781 from ethereum/compiler-flagschriseth2017-08-241-33/+12
|\ \ \
| * | | CMake: Better handle -fstack-protector flag supportPaweł Bylica2017-08-241-33/+12
| |/ /
* | | Merge pull request #2793 from ethereum/fixZ3Requirementchriseth2017-08-241-3/+13
|\ \ \ | |/ / |/| |
| * | Require libz3-dev for ubuntu PPA builds.chriseth2017-08-241-3/+13
|/ /
* | Merge pull request #2770 from ethereum/recursionInAsmchriseth2017-08-248-39/+71
|\ \
| * | Reduce max recursion depth.chriseth2017-08-221-1/+1
| * | Check recursion depth in assembly parser.chriseth2017-08-227-40/+46
| * | Tests for recursion in JULIA.chriseth2017-08-222-0/+26
* | | Merge pull request #2787 from designium/patch-1chriseth2017-08-241-1/+1
|\ \ \
| * | | Adding storage into the pointer for Voter delegateChim Kan2017-08-241-1/+1
* | | | Merge pull request #2790 from elopio/snap-z3chriseth2017-08-241-1/+1
|\ \ \ \
| * | | | Add libz3-dev to the snap build-packagesLeo Arias2017-08-241-1/+1
| |/ / /
* | | | Merge pull request #2791 from ethereum/cmake-z3chriseth2017-08-241-5/+3
|\ \ \ \ | |/ / / |/| | |
| * | | CMake: Fix FindZ3Paweł Bylica2017-08-241-5/+3
|/ / /
* | | Merge pull request #2538 from ethereum/z3ConditionsAlex Beregszaszi2017-08-2421-52/+1503
|\ \ \
| * | | Review changes.chriseth2017-08-236-26/+27
| * | | Changelog entry.chriseth2017-08-231-0/+1
| * | | Use experimental feature pragma for SMT checker.chriseth2017-08-232-6/+4
| * | | Partial support for if statements.chriseth2017-08-234-16/+128
generated by cgit (git 2.34.1) at 2024-09-29 18:33:00 +0800