aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* parsing: ban empty enum definition.Yoichi Hirai2016-11-124-15/+7
* test: add a test converting -1 as a literal into an enumYoichi Hirai2016-11-121-0/+6
* test: add a test case for #1343Yoichi Hirai2016-11-121-0/+6
* docs: document the new overflow exception during conversion into enumYoichi Hirai2016-11-121-3/+4
* codegen: check the value range after converting something to an enum elementYoichi Hirai2016-11-122-0/+9
* test: add tests that witness issue #1311Yoichi Hirai2016-11-121-0/+24
* ast: add EnumType::numberOfMembers()Yoichi Hirai2016-11-122-1/+7
* Merge pull request #1355 from ethereum/chriseth-patch-2chriseth2016-11-121-3/+3
|\
| * Fix semicolonschriseth2016-11-111-3/+3
* | Merge pull request #1293 from ethereum/common_type_of_rational_typeYoichi Hirai2016-11-114-6/+21
|\ \ | |/ |/|
| * Changelog: add a point about #1293Yoichi Hirai2016-11-111-0/+1
| * Type checker: move the burden of computing mobile type to commonTypeYoichi Hirai2016-11-112-6/+6
| * test: add a test for #621Yoichi Hirai2016-11-111-0/+14
|/
* Merge pull request #768 from roadriverrail/do_while_loopschriseth2016-11-1111-11/+92
|\
| * Add support for do/while loopsRhett Aultman2016-11-1011-11/+92
* | Merge pull request #1339 from ethereum/typochriseth2016-11-091-3/+3
|\ \
| * | Fail if parsing fails in type checker tests.chriseth2016-11-091-1/+1
| * | test: fix a typo in calling_payable testYoichi Hirai2016-11-091-2/+2
* | | Merge pull request #1333 from ethereum/compare_location_fileschriseth2016-11-094-6/+64
|\ \ \
| * | | libevmasm: fix comparison of SourceLocationsYoichi Hirai2016-11-082-6/+13
| * | | test: add a test case about SourceLocationYoichi Hirai2016-11-072-0/+51
* | | | Merge pull request #1338 from ethereum/updatereleasppachriseth2016-11-081-0/+4
|\ \ \ \ | | |_|/ | |/| |
| * | | Fetch jsoncpp tarball during ppa release.chriseth2016-11-081-0/+4
|/ / /
* | | Merge pull request #1337 from ethereum/jsoncpp-from-sourcechriseth2016-11-081-0/+0
|\ \ \ | |_|/ |/| |
| * | Update jsoncpp.cmake from cpp-dependencies repoPaweł Bylica2016-11-081-0/+0
|/ /
* | Merge pull request #1252 from ethereum/jsoncpp-from-sourcechriseth2016-11-0813-129/+9
|\ \ | |/ |/|
| * Drop CryptoPP leftoversPaweł Bylica2016-11-085-18/+0
| * Update jsoncpp.cmake from cpp-dependencies repoPaweł Bylica2016-11-081-0/+0
| * Build jsoncpp from source using jsoncpp.cmake scriptPaweł Bylica2016-10-2112-111/+9
* | Merge pull request #1316 from federicobond/clarify-docchriseth2016-11-041-1/+1
|\ \
| * | Add clarification for block.blockhashFederico Bond2016-11-021-1/+1
* | | Merge pull request #1325 from ethereum/addpayablechriseth2016-11-041-1/+2
|\ \ \
| * | | add payable to ASTyann3002016-11-031-1/+2
* | | | Merge pull request #1314 from ethereum/lll-versionchriseth2016-11-041-1/+8
|\ \ \ \
| * | | | LLL: include version number in lllc (verbatim copy of solc)Alex Beregszaszi2016-11-011-1/+8
* | | | | Merge pull request #1323 from varunagarwal315/patch-1Yoichi Hirai2016-11-041-0/+9
|\ \ \ \ \
| * | | | | Update solidity-by-example.rstvarunagarwal3152016-11-041-3/+3
| * | | | | Update solidity-by-example.rstvarunagarwal3152016-11-031-11/+4
| * | | | | Update solidity-by-example.rstvarunagarwal3152016-11-031-0/+16
| |/ / / /
* | | | | Merge pull request #1315 from ethereum/lll-constructorchriseth2016-11-041-0/+4
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | LLL: add bytecodesize keyword to push resulting bytecode sizeAlex Beregszaszi2016-11-021-0/+4
| |/ / /
* | | | Merge pull request #1324 from ethereum/appveyorreleasechriseth2016-11-031-3/+2
|\ \ \ \ | |/ / / |/| | |
| * | | Trying to attach artifacts to tags only.chriseth2016-11-031-3/+2
|/ / /
* | | Merge pull request #1298 from ethereum/lll-error-reportingchriseth2016-11-014-14/+24
|\ \ \
| * | | LLL: properly support dashes (-) as part of variable namesAlex Beregszaszi2016-11-011-2/+2
| * | | LLL: simplify integer parsingAlex Beregszaszi2016-11-011-2/+2
| * | | LLL: catch and display spirit::qi errorsAlex Beregszaszi2016-11-011-2/+11
| * | | LLL: update exception messageAlex Beregszaszi2016-11-011-4/+3
| * | | LLL: remove unneeded includesAlex Beregszaszi2016-11-011-3/+0
| * | | LLL: report back unsupported keywordsAlex Beregszaszi2016-11-011-1/+1
| * | | LLL: support passing error reasonsAlex Beregszaszi2016-11-011-0/+5
* | | | Merge pull request #1310 from ethereum/versionchriseth2016-11-013-3/+5
|\ \ \ \ | |/ / / |/| | |
| * | | Version update in develop.chriseth2016-11-013-3/+5
|/ / /
* | | Update Changelog.mdchriseth2016-11-011-3/+1
* | | Merge pull request #1307 from ethereum/fixcleanchriseth2016-11-013-7/+22
|\ \ \
| * | | Updated changelog.chriseth2016-11-011-0/+1
| * | | Clear all value types prior to storing.chriseth2016-10-311-7/+1
| * | | Test case for overflow in storage.chriseth2016-10-311-0/+20
|/ / /
* | | Merge pull request #1302 from ethereum/lll-panicchriseth2016-10-281-0/+4
|\ \ \
| * | | LLL: introduce panic keywordAlex Beregszaszi2016-10-271-0/+4
* | | | Merge pull request #1301 from ethereum/emptystringreplaceAlex Beregszaszi2016-10-282-7/+7
|\ \ \ \
| * | | | Fix cmake empty string replace.chriseth2016-10-272-7/+7
|/ / / /
* | | | Merge pull request #1297 from Thrillberg/patch-2chriseth2016-10-271-1/+1
|\ \ \ \
| * | | | Update installing-solidity.rstEric Tillberg2016-10-271-1/+1
* | | | | Merge pull request #1296 from Thrillberg/patch-1chriseth2016-10-271-1/+1
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Update index.rstEric Tillberg2016-10-271-1/+1
|/ / / /
* | | | Merge pull request #1294 from zigguratt/lll-until-supportchriseth2016-10-261-2/+3
|\ \ \ \ | |/ / / |/| | |
| * | | Added support for `until`, the inverse of `while`.Daniel Ellison2016-10-261-2/+3
|/ / /
* | | Merge pull request #1285 from ethereum/lll-simplify-notchriseth2016-10-261-14/+26
|\ \ \
| * | | LLL: reorder arithmetic/binary instruction list for readabilityAlex Beregszaszi2016-10-261-3/+26
| * | | LLL: use NOT for ~Alex Beregszaszi2016-10-261-10/+1
| * | | LLL: replace (1 0 sub) with literal valueAlex Beregszaszi2016-10-261-3/+1
| |/ /
* | | Merge pull request #1274 from ethereum/signed-expchriseth2016-10-263-1/+21
|\ \ \ | |/ / |/| |
| * | ast: ban signed EXP, fixing #1246Yoichi Hirai2016-10-252-1/+5
| * | Add tests for #1246Yoichi Hirai2016-10-251-0/+16
|/ /
* | Merge pull request #1276 from ethereum/lll-optimisechriseth2016-10-251-3/+4
|\ \
| * | LLL: change -o to be a flagAlex Beregszaszi2016-10-251-2/+2
| * | LLL: turn off optimiser by defaultAlex Beregszaszi2016-10-251-2/+2
| * | LLL: document optimise flagAlex Beregszaszi2016-10-251-0/+1
* | | Merge pull request #1281 from ethereum/bumpversionchriseth2016-10-253-3/+9
|\ \ \
| * | | Version bump for develop.chriseth2016-10-253-3/+9
|/ / /
* | | Merge pull request #1280 from ethereum/updatechangelogchriseth2016-10-251-3/+3
|\ \ \
| * | | Update changelog for release.chriseth2016-10-251-3/+3
|/ / /
* | | Merge pull request #1155 from ethereum/suggestcorrectversionchriseth2016-10-252-7/+28
|\ \ \ | |/ / |/| |
| * | Suggest correct version for pragma and complain about pre-release version.chriseth2016-10-252-7/+28
|/ /
* | Merge pull request #1279 from ethereum/semver-helperchriseth2016-10-251-0/+6
|\ \
| * | Export major/minor/patch helpers on SemVerVersionAlex Beregszaszi2016-10-251-0/+6
* | | Merge pull request #1264 from ethereum/988chriseth2016-10-256-10/+150
|\ \ \
| * | | analysis: determine if a member access on a contract is an l-valueYoichi Hirai2016-10-251-0/+5
| * | | test: add more tests about state variable access under base contract namesYoichi Hirai2016-10-251-2/+35
| * | | test: add tests from #988Yoichi Hirai2016-10-242-0/+79
| * | | Changelog: add a point about fixing #988Yoichi Hirai2016-10-241-1/+2
| * | | codegen: refactor common codeYoichi Hirai2016-10-242-20/+15
| * | | codegen: if a member access has been resolved as a variable, follow thatYoichi Hirai2016-10-241-0/+12
| * | | test: add a test case for accessing a state variable under the contract's nameYoichi Hirai2016-10-241-0/+15
* | | | Merge pull request #1273 from ethereum/chriseth-patch-1chriseth2016-10-251-0/+1
|\ \ \ \ | |_|/ / |/| | |
| * | | Re-added accidentally deleted changelog entrychriseth2016-10-251-0/+1
|/ / /
* | | Merge pull request #1266 from ethereum/fixcrashchriseth2016-10-246-15/+62
|\ \ \ | |/ / |/| |
| * | More checks for missing mobile type.chriseth2016-10-245-12/+46
| * | Test.chriseth2016-10-241-3/+16
|/ /
* | Merge pull request #1271 from wingyplus/iss-781chriseth2016-10-241-26/+0
|\ \
| * | Remove non-solidity exceptionsThanabodee Charoenpiriyakij2016-10-231-26/+0
* | | Merge pull request #1263 from ethereum/1116chriseth2016-10-243-1/+49
|\ \ \
| * | | Changelog: add a comment about fixing #1116Yoichi Hirai2016-10-241-0/+1
| * | | codegen: skip contract L for L.Foo where Foo is a typeYoichi Hirai2016-10-241-1/+6
| * | | test: add a test about using an inherited enum definition as an expression,Yoichi Hirai2016-10-241-0/+42
* | | | Merge pull request #1270 from ethereum/optimise-eq0chriseth2016-10-241-0/+1
|\ \ \ \ | |/ / / |/| | |
| * | | Optimiser the PUSH 0, EQ case as ISZEROAlex Beregszaszi2016-10-231-0/+1
| |/ /
* | | Merge pull request #1251 from ethereum/fixthrowchriseth2016-10-243-7/+19
|\ \ \
| * | | Changelog entry.chriseth2016-10-241-6/+6
| * | | Fix crash in throw.chriseth2016-10-242-1/+13
|/ / /
* | | Merge pull request #1240 from ethereum/1151chriseth2016-10-243-1/+23
|\ \ \
| * | | Changelog: add an entry about super.x lookupYoichi Hirai2016-10-201-0/+1
| * | | ast: simplifications suggested by @chrisethYoichi Hirai2016-10-201-7/+4
| * | | When a contract type is super, its members do not contain the functions of it...Yoichi Hirai2016-10-201-1/+8
| * | | Add a test for #1151Yoichi Hirai2016-10-201-0/+17
* | | | Merge pull request #1267 from ethereum/optimizerchriseth2016-10-242-2/+5
|\ \ \ \ | |_|/ / |/| | |
| * | | Optimizer: generate code starting with empty statechriseth2016-10-222-2/+5
|/ / /
* | | Merge pull request #1243 from ethereum/1131chriseth2016-10-214-0/+88
|\ \ \
| * | | test: add a test about accessing an enum member without the name of the enumYoichi Hirai2016-10-211-0/+15
| * | | ast: add a null checkYoichi Hirai2016-10-211-0/+1
| * | | Changelog: add a point about #1243Yoichi Hirai2016-10-211-0/+1
| * | | ast: ContractDefinition::inheritableMembers contains enums as well as structsYoichi Hirai2016-10-211-0/+3
| * | | test: add tests for #1131Yoichi Hirai2016-10-212-0/+68
|/ / /
* | | Merge pull request #1261 from ethereum/inline-assembly-in-modifierschriseth2016-10-214-1/+75
|\ \ \ | |_|/ |/| |
| * | Add tests for inline assembly in modifiersAlex Beregszaszi2016-10-212-0/+73
| * | Add changelog entryAlex Beregszaszi2016-10-211-0/+1
| * | Support variable references within modifiers for inline assemblyAlex Beregszaszi2016-10-211-1/+1
|/ /
* | Merge pull request #1224 from ethereum/inline-assembly-stack-warningAlex Beregszaszi2016-10-216-9/+59
|\ \
| * | Add two test cases for unbalanced inline assemblyAlex Beregszaszi2016-10-201-0/+28
| * | Allow warnings for inline assembly blockAlex Beregszaszi2016-10-202-2/+2
| * | Issue warnings if stack is not balanced after inline assembly blockAlex Beregszaszi2016-10-201-2/+24
| * | Mention in changelogAlex Beregszaszi2016-10-201-0/+1
| * | Use warning function in TypeCheckerAlex Beregszaszi2016-10-201-5/+4
| |/
* | Merge pull request #1254 from ethereum/appveyorPaweł Bylica2016-10-201-0/+4
|\ \ | |/ |/|
| * AppVeyor: build only pushes to master and develop branchPaweł Bylica2016-10-201-0/+4
|/
* Merge pull request #1034 from ethereum/shift-constantschriseth2016-10-204-0/+113
|\
| * Add constant shift to the changelogAlex Beregszaszi2016-10-201-0/+1
| * Use >> (SAR) to denote constant shiftsAlex Beregszaszi2016-10-201-1/+3
| * Add tests for constant shiftsAlex Beregszaszi2016-10-202-0/+84
| * Reject negative shifts within constantsAlex Beregszaszi2016-10-201-4/+8
| * Support shifting constantsRJ2016-10-201-0/+22
|/
* Merge pull request #1182 from ethereum/inline-assembly-magic-variablesAlex Beregszaszi2016-10-203-6/+17
|\
| * Update Changelog.mdchriseth2016-10-201-9/+8
| * Disallow unsupported RValues in inline assemblyAlex Beregszaszi2016-10-201-4/+2
| * Add tests for magic variables in inline assemblyAlex Beregszaszi2016-10-201-0/+7
| * Disallow magic variables in inline assemblyAlex Beregszaszi2016-10-202-0/+7
|/
* Merge pull request #1220 from ethereum/doc-updateschriseth2016-10-198-195/+84
|\
| * Mapping-in-mapping can have accessors tooAlex Beregszaszi2016-10-191-0/+3
| * Explain accessors on arraysAlex Beregszaszi2016-10-191-0/+3
| * FAQ: remove address(this) section (already explained elsewhere)Alex Beregszaszi2016-10-191-12/+0
| * FAQ: remove event section (already explained elsewhere)Alex Beregszaszi2016-10-191-9/+0
| * Merge the constructor sectionsAlex Beregszaszi2016-10-192-23/+3
| * Mention why Homestead was different for librariesAlex Beregszaszi2016-10-191-1/+1
| * FAQ: remove visibility section (already explained elsewhere)Alex Beregszaszi2016-10-191-23/+0
| * FAQ: remove create example (already explained elsewhereAlex Beregszaszi2016-10-191-10/+0
| * Merge the documentation about mappingsAlex Beregszaszi2016-10-192-46/+27
| * Document constant functionsAlex Beregszaszi2016-10-192-17/+24
| * FAQ: remove removal of external accountsAlex Beregszaszi2016-10-192-6/+2
| * Improve the description of SolidityAlex Beregszaszi2016-10-192-11/+7
| * FAQ: remove modifier sectionAlex Beregszaszi2016-10-191-8/+0
| * FAQ: remove compilation sectionAlex Beregszaszi2016-10-191-13/+0
| * Merge the selfdestruct sectionsAlex Beregszaszi2016-10-192-12/+9
| * Update changelog linkAlex Beregszaszi2016-10-191-1/+1
| * Minor documentation fixesAlex Beregszaszi2016-10-193-3/+4
|/
* Merge pull request #1194 from ethereum/bound-functionschriseth2016-10-194-3/+33
|\
| * Omit non-convertible bound functionsAlex Beregszaszi2016-10-191-1/+2
| * Ensure that bound functions cannot be defined without self typeAlex Beregszaszi2016-10-193-2/+12
| * Add test case for bound types without selfAlex Beregszaszi2016-10-191-0/+19
* | Merge pull request #1225 from wincinderith/import-remap-docschriseth2016-10-191-1/+4
|\ \
| * | Add import remapping documentation to `solc --help`Kevin Boxhoorn2016-10-151-1/+4
* | | Merge pull request #1223 from ethereum/solc-bin-publishchriseth2016-10-191-3/+12
|\ \ \ | |_|/ |/| |
| * | Simplify publish scriptAlex Beregszaszi2016-10-151-2/+4
| * | Change solc-bin publish script to support npmAlex Beregszaszi2016-10-151-1/+8
| |/
* | Merge pull request #1244 from ethereum/1242chriseth2016-10-193-0/+11
|\ \
| * | Changelog: Add a point about fixing #1242Yoichi Hirai2016-10-181-0/+1
| * | `super`'s size on stack is zero, because the expression compiler does not pus...Yoichi Hirai2016-10-181-0/+1
| * | Add a test for #1242Yoichi Hirai2016-10-181-0/+9
* | | Merge pull request #1228 from ethereum/lll-units-parserchriseth2016-10-192-7/+5
|\ \ \ | |/ / |/| |
| * | LLL: add Ethereum subunit macrosAlex Beregszaszi2016-10-151-0/+4
| * | LLL: remove Ethereum subunits from the parserAlex Beregszaszi2016-10-151-7/+1
| |/
* | Merge pull request #1239 from LefterisJP/contract_endowment_solidity_040chriseth2016-10-181-2/+4
|\ \
| * | Docs: Change contract init with value sectionLefteris Karapetsas2016-10-181-2/+4
* | | Merge pull request #1234 from wingyplus/remove_vector_ref_cleanseYoichi Hirai2016-10-181-20/+0
|\ \ \ | |/ / |/| |
| * | Removed 'vector_ref::cleanse'Thanabodee Charoenpiriyakij2016-10-161-20/+0
* | | Merge pull request #1229 from ethereum/lll-error-reportingchriseth2016-10-175-16/+38
|\ \ \ | |/ / |/| |
| * | LLL: throw proper ParserExceptionAlex Beregszaszi2016-10-153-2/+5
| * | LLL: fix the commented out debugging codeAlex Beregszaszi2016-10-151-8/+9
| * | LLL: better error reportingAlex Beregszaszi2016-10-151-6/+24
| |/
* | Merge pull request #1231 from ethereum/debugbreakchriseth2016-10-161-4/+7
|\ \
| * | Properly define trap_instructionAlex Beregszaszi2016-10-151-4/+7
| |/
* | Merge pull request #1232 from ethereum/devcore-unused-includeschriseth2016-10-164-369/+1
|\ \
| * | Remove unused picosha2Alex Beregszaszi2016-10-151-360/+0
| * | Don't include random in CommonDataAlex Beregszaszi2016-10-151-7/+0
| * | Remove unused SHA2 include in SHA3Alex Beregszaszi2016-10-152-2/+1
| |/
* | Merge pull request #1227 from wingyplus/remove_secure_vectorchriseth2016-10-161-41/+0
|\ \ | |/ |/|
| * Removed 'secure_vector'Thanabodee Charoenpiriyakij2016-10-151-41/+0
* | Merge pull request #1196 from ethereum/solc-bin-publish-updatechriseth2016-10-141-4/+2
|\ \
| * | Make "-a" more visible.chriseth2016-10-121-1/+1
| * | solc-bin publish script should let the update script decide which files changedAlex Beregszaszi2016-10-111-4/+2
* | | Merge pull request #1217 from ethereum/instruction_tablechriseth2016-10-141-3/+3
|\ \ \
| * | | Small points on the instruction tableYoichi Hirai2016-10-141-3/+3
| | |/ | |/|
* | | Merge pull request #1218 from ethereum/null-integer-typechriseth2016-10-141-1/+5
|\ \ \
| * | | Check if a fixedBytes fits an integer typeYoichi Hirai2016-10-141-1/+5
| |/ /
* | | Merge pull request #1195 from ethereum/memory-docchriseth2016-10-142-4/+23
|\ \ \
| * | | Mention that memory is organised as 256-bit wordsAlex Beregszaszi2016-10-141-4/+4
| * | | Explain how scratch space affects the free memory pointerAlex Beregszaszi2016-10-121-1/+6
| * | | Merge the two EVM memory introduction sectionsAlex Beregszaszi2016-10-122-5/+5
| * | | Document memory layoutAlex Beregszaszi2016-10-111-0/+14
| | |/ | |/|
* | | Merge pull request #1079 from VoR0220/fixedTypeTestFrameworkRJ2016-10-141-1/+9
|\ \ \ | |_|/ |/| |
| * | Replace `fixed` by standard `encode` function.chriseth2016-10-121-6/+8
| * | Solidity helper function for testing fixed pointsVoR02202016-09-101-1/+7
* | | Merge pull request #1203 from ethereum/exlpainupforgrabschriseth2016-10-131-1/+3
|\ \ \
| * | | Explain up-for-grabs issues.chriseth2016-10-131-1/+3
* | | | Merge pull request #1185 from ethereum/grammar-docYoichi Hirai2016-10-131-0/+5
|\ \ \ \
| * | | | Add link to grammar.txt in the documentationAlex Beregszaszi2016-10-111-0/+5
| | |_|/ | |/| |
* | | | Merge pull request #1198 from zigguratt/developchriseth2016-10-131-9/+1
|\ \ \ \
| * | | | Removed obsolete built in macros. Added a new macro to support the use of 'ke...Daniel Ellison2016-10-131-9/+1
|/ / / /
* | | | Merge pull request #1167 from ethereum/when_solidity_throwsYoichi Hirai2016-10-131-8/+10
|\ \ \ \ | |_|/ / |/| | |
| * | | Accommodate further reviewsYoichi Hirai2016-10-131-6/+6
| * | | Change prenouns from `on` to `at`Yoichi Hirai2016-10-131-2/+2
| * | | Accommodating reviewsYoichi Hirai2016-10-131-9/+8
| * | | Mention `payable` in the description when Solidity throwsYoichi Hirai2016-10-121-1/+2
| * | | Codify `bytes`Yoichi Hirai2016-10-121-1/+1
| * | | Change phrasing around too small indexYoichi Hirai2016-10-121-2/+2
| * | | Merge two similar sections; the original survivesYoichi Hirai2016-10-122-23/+8
| * | | Various fixes based on comments on #1167Yoichi Hirai2016-10-121-4/+5
| * | | English clarificationsYoichi Hirai2016-10-121-4/+4
| * | | Adding "When Solidity Throws" section in the documentationYoichi Hirai2016-10-121-0/+16
* | | | Merge pull request #1126 from ethereum/isolateTestschriseth2016-10-121-0/+24
|\ \ \ \ | |/ / / |/| | |
| * | | Extend comment.chriseth2016-10-111-1/+2
| * | | Add script to extract test cases.chriseth2016-09-301-0/+23
* | | | Merge pull request #1169 from ethereum/inline-assembly-tagsAlex Beregszaszi2016-10-123-1/+9
|\ \ \ \
| * | | | Fix assignment after tags in inline assemblyAlex Beregszaszi2016-10-113-1/+9
| | |/ / | |/| |
* | | | Merge pull request #1181 from ethereum/formal_ignore_pragmachriseth2016-10-112-0/+15
|\ \ \ \
| * | | | Chack for non-version pragmasYoichi Hirai2016-10-111-1/+10
| * | | | formal: ignore pragmas during Why3 code generationYoichi Hirai2016-10-112-0/+6
| |/ / /
* | | | Merge pull request #1193 from ethereum/pragma_keyword_checkchriseth2016-10-111-1/+1
|\ \ \ \ | |/ / / |/| | |
| * | | Fix pragma keyword checkYoichi Hirai2016-10-111-1/+1
|/ / /
* | | Merge pull request #1189 from NicolaiSoeborg/developchriseth2016-10-111-2/+2
|\ \ \
| * | | Fix: HexLiteral must be even number of nibblesNicolai2016-10-111-1/+1
| * | | Add HexLiteral to grammar, fixes #1186Nicolai2016-10-111-2/+2
* | | | Merge pull request #1191 from ethereum/fixbuildAlex Beregszaszi2016-10-111-4/+6
|\ \ \ \
| * | | | Fix build error.chriseth2016-10-111-4/+6
|/ / / /
* | | | Merge pull request #1168 from ethereum/rename-dev-sha3chriseth2016-10-1117-53/+69
|\ \ \ \
| * | | | sha3: actually support both FIPS SHA3 and KeccakAlex Beregszaszi2016-10-061-1/+22
| * | | | sha3: remove unused counterAlex Beregszaszi2016-10-062-5/+0
| * | | | Rename dev::sha3 to dev::keccak256Alex Beregszaszi2016-10-0617-50/+50
* | | | | Merge pull request #1148 from ethereum/fixdeploychriseth2016-10-101-2/+3
|\ \ \ \ \
| * | | | | Fix deploy script.chriseth2016-10-051-2/+3