aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* sha3: remove unused counterAlex Beregszaszi2016-10-062-5/+0
* Rename dev::sha3 to dev::keccak256Alex Beregszaszi2016-10-0617-50/+50
* Merge pull request #1115 from ShrutiAppiah/developchriseth2016-10-011-5/+6
|\
| * list formattingShruti Appiah2016-09-241-5/+6
|/
* Merge pull request #1108 from ethereum/bumpversionchriseth2016-09-183-3/+5
|\
| * Bump version in develop.chriseth2016-09-173-3/+5
|/
* Merge pull request #1106 from ethereum/version042chriseth2016-09-171-1/+3
|\
| * Finished version 0.4.2chriseth2016-09-171-1/+3
|/
* Merge pull request #1104 from ethereum/fixmemcostschriseth2016-09-173-4/+42
|\
| * Changelog entry.chriseth2016-09-171-0/+2
| * Access output memory area so that we do not pay for resize during call.chriseth2016-09-172-5/+14
| * Test case.chriseth2016-09-171-0/+27
* | Merge pull request #1102 from ethereum/fixlibraryvaluechriseth2016-09-173-1/+21
|\ \ | |/ |/|
| * Allow value transfer to library functions.chriseth2016-09-173-1/+21
|/
* Merge pull request #1101 from ethereum/fixcrashchriseth2016-09-173-1/+19
|\
| * Fix crash for TypeName[k].chriseth2016-09-163-1/+19
* | Merge pull request #1097 from ethereum/forceeightchriseth2016-09-173-7/+10
|\ \ | |/ |/|
| * Fix hex check.chriseth2016-09-151-1/+1
| * Force commit hash to 8 digits.chriseth2016-09-153-7/+10
* | Merge pull request #1072 from ethereum/versioningchriseth2016-09-151-0/+26
|\ \
| * | Split versioning into two sectionsAlex Beregszaszi2016-09-141-15/+19
| * | Document versioning behaviourAlex Beregszaszi2016-09-091-0/+22
* | | Merge pull request #1085 from LefterisJP/centos_installchriseth2016-09-151-0/+47
|\ \ \ | |_|/ |/| |
| * | Add warning for CentOS dependenciesLefteris Karapetsas2016-09-151-26/+32
| * | Add Centos to install_deps.shLefteris Karapetsas2016-09-121-0/+41
* | | Merge pull request #1078 from nicksavers/patch-1chriseth2016-09-131-2/+2
|\ \ \
| * | | Update Solidity docs version to 0.4.1Nick Savers2016-09-101-2/+2
| |/ /
* | | Merge pull request #1045 from pirapira/formal_type_of_mappingchriseth2016-09-123-31/+87
|\ \ \ | |/ / |/| |
| * | Prepare for leaky exceptionsYoichi Hirai2016-09-101-0/+4
| * | toFormalType reports errors by an exceptionYoichi Hirai2016-09-102-21/+71
| * | Translate mapping types into Why3 arrays when keys are integersYoichi Hirai2016-09-101-0/+14
| * | Explicitly convert the assert condition using bool()Yoichi Hirai2016-09-101-13/+1
|/ /
* | Merge pull request #1074 from ethereum/noleadingzeroschriseth2016-09-105-3/+10
|\ \
| * | Style.chriseth2016-09-091-1/+1
| * | Remove leading zeroes in prerelease components.chriseth2016-09-095-3/+10
* | | Merge pull request #1047 from pirapira/address-in-preludechriseth2016-09-091-0/+9
|\ \ \
| * | | Add Address module in the WhyML preludeYoichi Hirai2016-09-081-0/+9
* | | | Version bumpchriseth2016-09-091-1/+1
| |/ / |/| |
* | | Merge pull request #1069 from ethereum/emscriptenbinarieschriseth2016-09-091-3/+3
|\ \ \
| * | | Store emscripten binaries usig new naming scheme.chriseth2016-09-091-3/+3
* | | | Merge pull request #1068 from ethereum/modfixchriseth2016-09-091-1/+1
|\ \ \ \ | |/ / / |/| | |
| * | | Suffix the "mod" version modifier using a dot.chriseth2016-09-091-1/+1
|/ / /
* | | Merge pull request #1070 from ethereum/devversionchriseth2016-09-095-7/+9
|\ \ \
| * | | Fix problem with release version string.chriseth2016-09-082-4/+6
| * | | Fix version pragma in tests.chriseth2016-09-083-3/+3
|/ / /
* | | Merge pull request #1067 from ethereum/bumpversionchriseth2016-09-081-1/+1
|\ \ \
| * | | Bump version.chriseth2016-09-081-1/+1
|/ / /
* | | Merge pull request #1061 from ethereum/versionchriseth2016-09-082-2/+2
|\ \ \
| * | | Set version to 0.4.0.chriseth2016-09-082-2/+2
|/ / /
* | | Merge pull request #1060 from ethereum/version040chriseth2016-09-081-3/+10
|\ \ \ | |_|/ |/| |
| * | Final changelog entries.chriseth2016-09-081-3/+10
|/ /
* | Merge pull request #1024 from ethereum/docupdatechriseth2016-09-0813-88/+139
|\ \ | |/ |/|
| * Review suggestions.chriseth2016-09-072-7/+7
| * Update documentation to version 0.4.0.chriseth2016-09-0713-88/+139
* | Merge pull request #1041 from pirapira/typo_and_whitespacechriseth2016-09-084-4/+4
|\ \
| * | Fix a typo and whitespacesYoichi Hirai2016-09-074-4/+4
* | | Merge pull request #1044 from pirapira/todo_item_to_issuechriseth2016-09-081-1/+1
|\ \ \
| * | | Append an issue id #1043 to a @todo comment about itYoichi Hirai2016-09-071-1/+1
| |/ /
* | | Merge pull request #1009 from pirapira/separate_exceptionschriseth2016-09-071-1/+15
|\ \ \
| * | | Separate the try/catch blocks on JSON output generation and formal method out...Yoichi Hirai2016-09-061-1/+15
| |/ /
* | | Merge pull request #1033 from ethereum/fix-using-notypechriseth2016-09-071-1/+2
|\ \ \
| * | | Include assert for selfType on bound functions to avoid crashAlex Beregszaszi2016-09-071-1/+2
| | |/ | |/|
* | | Merge pull request #1032 from ethereum/fix-std-ownedchriseth2016-09-071-1/+1
|\ \ \
| * | | Fix owned std contractAlex Beregszaszi2016-09-071-1/+1
| |/ /
* | | Merge pull request #1031 from ethereum/changelogchriseth2016-09-071-12/+12
|\ \ \
| * | | Consistency changes in the ChangelogAlex Beregszaszi2016-09-071-12/+12
| |/ /
* | | Merge pull request #1035 from bobsummerwill/install_depsBob Summerwill2016-09-071-0/+2
|\ \ \ | |/ / |/| |
| * | Added missing "stop on error" to scripts/install.sh.Bob Summerwill2016-09-071-0/+2
|/ /
* | Merge pull request #1019 from ethereum/constructor-modifierchriseth2016-09-072-0/+12
|\ \
| * | Tests for constructor visibilityAlex Beregszaszi2016-09-061-0/+10
| * | Constructor must be internal or publicAlex Beregszaszi2016-09-061-0/+2
|/ /
* | Merge pull request #1018 from ethereum/constructor-constantchriseth2016-09-063-2/+18
|\ \
| * | Update Changelog.mdchriseth2016-09-061-0/+1
| * | Tests for constant constructorsAlex Beregszaszi2016-09-061-0/+11
| * | Reject constant constructorsAlex Beregszaszi2016-09-061-2/+6
|/ /
* | Merge pull request #1003 from winsvega/docschriseth2016-09-069-0/+96
|\ \
| * | add "pragma solidity ^0.4.0;" to code examplesDimitry2016-09-059-0/+96
* | | Merge pull request #1016 from ethereum/reservedchriseth2016-09-062-1/+12
|\ \ \
| * | | Raise proper error on reserved keywordsAlex Beregszaszi2016-09-061-1/+11
| * | | Introduce isReservedKeyword()Alex Beregszaszi2016-09-061-0/+1
* | | | Merge pull request #1014 from ethereum/strict-fallbackchriseth2016-09-064-3/+13
|\ \ \ \
| * | | | Reject constant modifier on the fallback functionAlex Beregszaszi2016-09-064-3/+13
| |/ / /
* | | | Merge pull request #1011 from walter-weinmann/wwe_grammarchriseth2016-09-061-3/+3
|\ \ \ \
| * | | | Considering comment from @chriseth regarding FunctionCall.walter-weinmann2016-09-061-3/+1
| * | | | Considering comments from @chriseth regarding ExpressionStatement and Functio...walter-weinmann2016-09-061-4/+6
| * | | | Changes related to issues #984, #989, #999, #1001 and #1004.walter-weinmann2016-09-061-4/+4
* | | | | Merge pull request #1008 from ethereum/stipendwithsendchriseth2016-09-063-1/+27
|\ \ \ \ \
| * | | | | Provide gas stipend manually for send(0).chriseth2016-09-063-1/+27
| | |/ / / | |/| | |
* | | | | Merge pull request #1012 from ethereum/reserved-keywordschriseth2016-09-062-1/+3
|\ \ \ \ \
| * | | | | Update changelog with reserved keywordsAlex Beregszaszi2016-09-061-1/+1
| * | | | | Reserve view and pure as keywordsAlex Beregszaszi2016-09-061-0/+2
| |/ / / /
* | | | | Merge pull request #1021 from ethereum/assembly-docschriseth2016-09-061-1/+2
|\ \ \ \ \
| * | | | | Fix the return value of call in inline assemblyAlex Beregszaszi2016-09-061-1/+2
| | |/ / / | |/| | |
* | | | | Merge pull request #1022 from ethereum/changelogpaychriseth2016-09-061-7/+10
|\ \ \ \ \
| * | | | | Clarify payable fallback functionchriseth2016-09-061-3/+4
| * | | | | Add "payable" to changelog.chriseth2016-09-061-6/+8
| |/ / / /
* | | | | Merge pull request #997 from chriseth/linkingwithunderscoreschriseth2016-09-062-17/+24
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | Fix compiler error.chriseth2016-09-061-1/+1
| * | | | More comments about size constants.chriseth2016-09-061-4/+9
| * | | | Fix linking for libraries with underscores.chriseth2016-09-022-17/+19
* | | | | Merge pull request #665 from axic/feature/accept-etherchriseth2016-09-0617-85/+434
|\ \ \ \ \
| * | | | | Test and fixes for payable fallback in ABI.chriseth2016-09-062-0/+21
| * | | | | Tests for payable / private combination.chriseth2016-09-062-2/+22
| * | | | | Change placeholder style.chriseth2016-09-061-1/+1
| * | | | | Make constant and payable mutually exclusive.chriseth2016-09-062-0/+10
| * | | | | Change function type to include and propagate payable and constant modifier.chriseth2016-09-068-62/+123
| * | | | | Merged in changes from chriseth/payableAlex Beregszaszi2016-09-0610-54/+150
| * | | | | Mark every other test payable where neccesary in EndToEndTestAlex Beregszaszi2016-09-061-26/+29
| * | | | | Include EndToEnd test for payable keywordAlex Beregszaszi2016-09-061-0/+57
| * | | | | Do not include the payable keyword for constructorsAlex Beregszaszi2016-09-061-1/+0
| * | | | | Include ABI JSON test for payable keywordAlex Beregszaszi2016-09-061-0/+49
| * | | | | Support payable keyword for functionsAlex Beregszaszi2016-09-067-1/+34
| | |/ / / | |/| | |
* | | | | Merge pull request #995 from chriseth/fixutf8astjsonchriseth2016-09-062-2/+31
|\ \ \ \ \
| * | | | | Test case for non-utf8 characters in string literal.chriseth2016-09-061-0/+16
| * | | | | Do not emit non-utf8 strings for ast json.chriseth2016-09-021-2/+15
| | |/ / / | |/| | |
* | | | | Merge pull request #1020 from duaraghav8/developchriseth2016-09-061-1/+1
|\ \ \ \ \
| * | | | | typoRaghav Dua2016-09-061-1/+1
|/ / / / /
* | | | | Merge pull request #1006 from ethereum/nenewaccountgaschriseth2016-09-062-1/+4
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | Do not pay new account gas.chriseth2016-09-052-1/+4
| | |/ / | |/| |
* | | | Merge pull request #1005 from ethereum/modifierbodyYoichi Hirai2016-09-0613-59/+69
|\ \ \ \
| * | | | Update grammar.txt to reflect the change.chriseth2016-09-051-2/+3
| * | | | Require ";" after "_"chriseth2016-09-0512-57/+66
| |/ / /
* | | | Merge pull request #993 from chriseth/fixshacrashchriseth2016-09-062-0/+9
|\ \ \ \ | |_|_|/ |/| | |
| * | | Improve error message.chriseth2016-09-051-1/+1
| * | | Guard encoding crashes with assertions.chriseth2016-09-022-0/+9
| | |/ | |/|
* | | Merge pull request #994 from chriseth/catchjsonchriseth2016-09-051-39/+53
|\ \ \
| * | | Catch more exceptions in jsonCompiler.chriseth2016-09-021-39/+53
| |/ /
* | | Merge pull request #1007 from duaraghav8/developchriseth2016-09-051-0/+3
|\ \ \ | |_|/ |/| |
| * | add solium to "Available Solidity Integrations"Raghav Dua2016-09-051-0/+3
|/ /
* | Merge pull request #996 from chriseth/externaltypesforeventschriseth2016-09-021-1/+2
|\ \ | |/ |/|
| * Do not use internal types for event parameters.chriseth2016-09-021-1/+2
|/
* Merge pull request #935 from chriseth/pragmachriseth2016-09-0128-66/+906
|\
| * Changelog entry.chriseth2016-09-011-0/+3
| * Typo.chriseth2016-09-011-1/+1
| * Fix version pragmas in tests.chriseth2016-09-019-45/+45
| * Use version string (including prerelease) for pragma matching.chriseth2016-09-011-2/+3
| * Version pragma.chriseth2016-09-0127-66/+902
* | Merge pull request #987 from winsvega/developchriseth2016-09-012-2/+1
|\ \ | |/ |/|
| * fix yml scriptDimitry2016-09-011-1/+0
| * fix CompilerStack::absolutePathDimitry2016-09-011-1/+1
|/
* Merge pull request #951 from Denton-L/interesting-casechriseth2016-09-011-0/+17
|\
| * Write about struct members as wellDenton Liu2016-08-271-4/+4
| * Write about multiple reads and writesDenton Liu2016-08-271-3/+3
| * Fix typoDenton Liu2016-08-271-3/+3
| * Document use of smaller storage variablesDenton Liu2016-08-261-0/+17
* | Merge pull request #960 from Denton-L/change-else-stylechriseth2016-09-019-32/+24
|\ \
| * | Fix syntax errorDenton Liu2016-08-311-1/+1
| * | Make tests more consistent in styleDenton Liu2016-08-273-8/+5
| * | Make std contracts use new styleDenton Liu2016-08-271-4/+2
| * | Use new style for the docsDenton Liu2016-08-274-14/+10
| * | Update style-guide to use new styleDenton Liu2016-08-271-6/+7
* | | Merge pull request #986 from bobsummerwill/developBob Summerwill2016-09-012-2/+2
|\ \ \
| * | | Corrected accidental non-ANSI characters in comments.Bob Summerwill2016-09-012-2/+2
|/ / /
* | | Merge pull request #975 from blockchaindev/bug/674-solc-crashchriseth2016-09-013-16/+56
|\ \ \
| * | | Code review changes: Renamed function and added some documentation about what...Christopher Gilbert2016-08-312-6/+32
| * | | Code review changes: stylistic changes, and removed redundant call to set loc...Christopher Gilbert2016-08-302-6/+8
| * | | Fixed a bug causing solc to crash on startup due to invalid environment setti...Christopher Gilbert2016-08-303-16/+28
* | | | Merge pull request #983 from winsvega/wintest2chriseth2016-09-014-9/+94
|\ \ \ \
| * | | | soltest on windowsDimitry2016-08-314-9/+94
|/ / / /
* | | | Merge pull request #947 from winsvega/soltestwinsvega2016-08-313-3/+3
|\ \ \ \
| * | | | rename --ipc to --ipcpathDimitry2016-08-293-3/+3
* | | | | Merge pull request #969 from Denton-L/fix-documentationchriseth2016-08-302-2/+2
|\ \ \ \ \
| * | | | | Fix typo from second to secondsDenton Liu2016-08-301-1/+1
| * | | | | Fix bad syntaxDenton Liu2016-08-301-1/+1
* | | | | | Merge pull request #866 from chriseth/changelogchriseth2016-08-301-1/+36
|\ \ \ \ \ \
| * | | | | | Changelog.chriseth2016-08-301-1/+36
* | | | | | | Merge pull request #954 from chriseth/fallbackThrowschriseth2016-08-307-6/+38
|\ \ \ \ \ \ \
| * | | | | | | Clarify warning.chriseth2016-08-301-2/+3
| * | | | | | | Documentation.chriseth2016-08-302-1/+8
| * | | | | | | Test cases.chriseth2016-08-302-0/+23
| * | | | | | | Make fallback function throw by default.chriseth2016-08-304-5/+6
| |/ / / / / /
* | | | | | | Merge pull request #972 from Denton-L/document-sha3chriseth2016-08-301-0/+4
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | |
| * | | | | | Fix typoDenton Liu2016-08-301-1/+1
| * | | | | | Document constant behaviour for hashesDenton Liu2016-08-301-0/+4
* | | | | | | Merge pull request #664 from axic/feature/interface-fallbackchriseth2016-08-302-10/+28
|\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | |
| * | | | | | Add test for fallback function in JSON ABIAlex Beregszaszi2016-08-271-9/+19
| * | | | | | Introduce fallback entry in the ABIAlex Beregszaszi2016-08-271-1/+9
| | |_|_|/ / | |/| | | |
* | | | | | Merge pull request #968 from Denton-L/contributingBob Summerwill2016-08-302-3/+5
|\ \ \ \ \ \ | |_|/ / / / |/| | | | |
| * | | | | Update README to link to new contribution sectionDenton Liu2016-08-302-3/+5
* | | | | | Merge pull request #964 from Denton-L/fix-documentationBob Summerwill2016-08-305-30/+38
|\ \ \ \ \ \ | | |_|/ / / | |/| | | |
| * | | | | Fix line lengthDenton Liu2016-08-291-1/+1
| * | | | | Fix selfdestruct documentationDenton Liu2016-08-291-5/+5
| * | | | | Fix syntax for Windows batch fileDenton Liu2016-08-291-1/+1
| * | | | | Clarify typecastingDenton Liu2016-08-271-2/+7
| * | | | | Clean up contracts.rstDenton Liu2016-08-271-14/+17
| * | | | | Fix grammar errorDenton Liu2016-08-271-1/+1
| * | | | | Cleanup docsDenton Liu2016-08-271-6/+6
* | | | | | Merge pull request #967 from Denton-L/contributingBob Summerwill2016-08-304-0/+64
|\ \ \ \ \ \ | | |/ / / / | |/| | | |
| * | | | | Link from CONTRIBUTING to the docsDenton Liu2016-08-301-0/+5
| * | | | | Create contribution guidelinesDenton Liu2016-08-303-0/+59
| |/ / / /
* | | | | Merge pull request #941 from chriseth/versionStringBob Summerwill2016-08-277-34/+51
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Store commit hash and handle prerelease vor all automation tools.chriseth2016-08-264-2/+6
| * | | | Make versioning semver compatible and force commit hash availability.chriseth2016-08-264-32/+45
* | | | | Merge pull request #946 from bobsummerwill/build_from_source_docsBob Summerwill2016-08-271-67/+116
|\ \ \ \ \
| * | | | | Tweaks as suggested by chriseth.Bob Summerwill2016-08-271-3/+35
| * | | | | Updated Solidity documentation's "building from source" section.Bob Summerwill2016-08-251-64/+81
| | |_|_|/ | |/| | |
* | | | | Merge pull request #961 from Denton-L/fix-linkBob Summerwill2016-08-271-2/+2
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | Fix broken linkDenton Liu2016-08-271-2/+2
|/ / / /
* | | | Merge pull request #897 from Denton-L/remove-standardchriseth2016-08-2716-54/+95
|\ \ \ \
| * | | | Check for overflowDenton Liu2016-08-251-2/+2
| * | | | Fix StandardTokenDenton Liu2016-08-191-24/+12
| * | | | CoinAdd .sol prefix to filesDenton Liu2016-08-196-6/+6
| * | | | Rename to StandardTokenDenton Liu2016-08-192-3/+3
| * | | | Remove unnecessary contractsDenton Liu2016-08-199-64/+2
| * | | | Update std importsDenton Liu2016-08-191-0/+2
| * | | | Add ExampleTokenDenton Liu2016-08-191-0/+55
| * | | | Add Token contractDenton Liu2016-08-191-0/+11
| * | | | Change importsDenton Liu2016-08-195-15/+15
| * | | | Add back standard contractsDenton Liu2016-08-1911-0/+85
| * | | | Remove standard contractsDenton Liu2016-08-1911-54/+16
* | | | | Merge pull request #959 from bobsummerwill/developBob Summerwill2016-08-271-4/+4
|\ \ \ \ \
| * | | | | Restore OS X Mavericks builds in TravisCI.Bob Summerwill2016-08-271-4/+4
|/ / / / /
* | | | | Merge pull request #957 from Denton-L/modify-lexerchriseth2016-08-271-2/+4
|\ \ \ \ \
| * | | | | Added library keywordDenton Liu2016-08-261-1/+1
| * | | | | Added ufixed and fixed keywordsDenton Liu2016-08-261-1/+3
|/ / / / /
* | | | | Merge pull request #953 from Denton-L/fallback-stuffchriseth2016-08-261-18/+27
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | Add "Sending Ether"Denton Liu2016-08-261-0/+1
| * | | | Correct spacingDenton Liu2016-08-261-18/+18
| * | | | Write about what fallback functions cannot doDenton Liu2016-08-261-0/+8
* | | | | Merge pull request #949 from chriseth/fallbackReturnchriseth2016-08-264-10/+23
|\ \ \ \ \
| * | | | | Fix tests.chriseth2016-08-261-9/+9
| * | | | | Disable macos.chriseth2016-08-261-31/+39
| * | | | | Disallow fallback function to return values.chriseth2016-08-263-1/+14
| |/ / / /
* | | | | Merge pull request #955 from chriseth/disablemacoschriseth2016-08-261-31/+39
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Disable macos.chriseth2016-08-261-31/+39
|/ / / /
* | | | Merge pull request #925 from mocamircea/patch-10chriseth2016-08-261-11/+56
|\ \ \ \ | |_|_|/ |/| | |
| * | | Update contracts.rstMircea Moca2016-08-251-9/+47
| * | | Update contracts.rstMircea Moca2016-08-191-4/+4
| * | | Update contracts.rstMircea Moca2016-08-181-7/+14
* | | | Merge pull request #913 from chriseth/auctionchriseth2016-08-251-15/+29
|\ \ \ \ | |_|_|/ |/| | |
| * | | Updated the function withdraw() in the SimpleAuction and BlindAuction contrac...Alex Darby2016-08-191-15/+29
| |/ /
* | | Merge pull request #945 from Denton-L/fix-documentationchriseth2016-08-257-30/+33
|\ \ \
| * | | Fix creating contracts sectionDenton Liu2016-08-241-3/+5
| * | | Rename "call data" to "calldata"Denton Liu2016-08-241-2/+2
| * | | Add commaDenton Liu2016-08-241-1/+1
| * | | Fix control-structuresDenton Liu2016-08-241-4/+4
| * | | Update contracts.rstDenton Liu2016-08-241-3/+4
| * | | Fix description about how blocks workDenton Liu2016-08-241-1/+1
| * | | Change XXX bit to XXX-bitDenton Liu2016-08-241-6/+6
| * | | Fix typoDenton Liu2016-08-241-1/+1
| * | | Change example code formattingDenton Liu2016-08-241-3/+3
| * | | Change capitalisationDenton Liu2016-08-242-2/+2
| * | | Remove trailing whitespacesDenton Liu2016-08-243-5/+5
* | | | Merge pull request #928 from winsvega/solremovechriseth2016-08-256-486/+16
|\ \ \ \ | |/ / / |/| | |
| * | | remove sha256 and rmd160 hashDimitry2016-08-246-486/+16
* | | | Merge pull request #942 from redsquirrel/patch-1chriseth2016-08-241-1/+1
|\ \ \ \
| * | | | Small documentation updateDave Hoover2016-08-241-1/+1
|/ / / /
* | | | Merge pull request #921 from chriseth/astjsoncleanupchriseth2016-08-232-36/+35
|\ \ \ \
| * | | | JSON AST: Some attribute cleanup. Add linearized base contracts.chriseth2016-08-192-36/+35
| | |_|/ | |/| |
* | | | Merge pull request #936 from chriseth/fixFormalExpchriseth2016-08-231-2/+7
|\ \ \ \
generated by cgit (git 2.34.1) at 2024-11-18 03:25:20 +0800