Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | Changelog: add an entry about super.x lookup | Yoichi Hirai | 2016-10-20 | 1 | -0/+1 | |
| * | | | ast: simplifications suggested by @chriseth | Yoichi Hirai | 2016-10-20 | 1 | -7/+4 | |
| * | | | When a contract type is super, its members do not contain the functions of it... | Yoichi Hirai | 2016-10-20 | 1 | -1/+8 | |
| * | | | Add a test for #1151 | Yoichi Hirai | 2016-10-20 | 1 | -0/+17 | |
* | | | | Merge pull request #1267 from ethereum/optimizer | chriseth | 2016-10-24 | 2 | -2/+5 | |
|\ \ \ \ | |_|/ / |/| | | | ||||||
| * | | | Optimizer: generate code starting with empty state | chriseth | 2016-10-22 | 2 | -2/+5 | |
|/ / / | ||||||
* | | | Merge pull request #1243 from ethereum/1131 | chriseth | 2016-10-21 | 4 | -0/+88 | |
|\ \ \ | ||||||
| * | | | test: add a test about accessing an enum member without the name of the enum | Yoichi Hirai | 2016-10-21 | 1 | -0/+15 | |
| * | | | ast: add a null check | Yoichi Hirai | 2016-10-21 | 1 | -0/+1 | |
| * | | | Changelog: add a point about #1243 | Yoichi Hirai | 2016-10-21 | 1 | -0/+1 | |
| * | | | ast: ContractDefinition::inheritableMembers contains enums as well as structs | Yoichi Hirai | 2016-10-21 | 1 | -0/+3 | |
| * | | | test: add tests for #1131 | Yoichi Hirai | 2016-10-21 | 2 | -0/+68 | |
|/ / / | ||||||
* | | | Merge pull request #1261 from ethereum/inline-assembly-in-modifiers | chriseth | 2016-10-21 | 4 | -1/+75 | |
|\ \ \ | |_|/ |/| | | ||||||
| * | | Add tests for inline assembly in modifiers | Alex Beregszaszi | 2016-10-21 | 2 | -0/+73 | |
| * | | Add changelog entry | Alex Beregszaszi | 2016-10-21 | 1 | -0/+1 | |
| * | | Support variable references within modifiers for inline assembly | Alex Beregszaszi | 2016-10-21 | 1 | -1/+1 | |
|/ / | ||||||
* | | Merge pull request #1224 from ethereum/inline-assembly-stack-warning | Alex Beregszaszi | 2016-10-21 | 6 | -9/+59 | |
|\ \ | ||||||
| * | | Add two test cases for unbalanced inline assembly | Alex Beregszaszi | 2016-10-20 | 1 | -0/+28 | |
| * | | Allow warnings for inline assembly block | Alex Beregszaszi | 2016-10-20 | 2 | -2/+2 | |
| * | | Issue warnings if stack is not balanced after inline assembly block | Alex Beregszaszi | 2016-10-20 | 1 | -2/+24 | |
| * | | Mention in changelog | Alex Beregszaszi | 2016-10-20 | 1 | -0/+1 | |
| * | | Use warning function in TypeChecker | Alex Beregszaszi | 2016-10-20 | 1 | -5/+4 | |
| |/ | ||||||
* | | Merge pull request #1254 from ethereum/appveyor | Paweł Bylica | 2016-10-20 | 1 | -0/+4 | |
|\ \ | |/ |/| | ||||||
| * | AppVeyor: build only pushes to master and develop branch | Paweł Bylica | 2016-10-20 | 1 | -0/+4 | |
|/ | ||||||
* | Merge pull request #1034 from ethereum/shift-constants | chriseth | 2016-10-20 | 4 | -0/+113 | |
|\ | ||||||
| * | Add constant shift to the changelog | Alex Beregszaszi | 2016-10-20 | 1 | -0/+1 | |
| * | Use >> (SAR) to denote constant shifts | Alex Beregszaszi | 2016-10-20 | 1 | -1/+3 | |
| * | Add tests for constant shifts | Alex Beregszaszi | 2016-10-20 | 2 | -0/+84 | |
| * | Reject negative shifts within constants | Alex Beregszaszi | 2016-10-20 | 1 | -4/+8 | |
| * | Support shifting constants | RJ | 2016-10-20 | 1 | -0/+22 | |
|/ | ||||||
* | Merge pull request #1182 from ethereum/inline-assembly-magic-variables | Alex Beregszaszi | 2016-10-20 | 3 | -6/+17 | |
|\ | ||||||
| * | Update Changelog.md | chriseth | 2016-10-20 | 1 | -9/+8 | |
| * | Disallow unsupported RValues in inline assembly | Alex Beregszaszi | 2016-10-20 | 1 | -4/+2 | |
| * | Add tests for magic variables in inline assembly | Alex Beregszaszi | 2016-10-20 | 1 | -0/+7 | |
| * | Disallow magic variables in inline assembly | Alex Beregszaszi | 2016-10-20 | 2 | -0/+7 | |
|/ | ||||||
* | Merge pull request #1220 from ethereum/doc-updates | chriseth | 2016-10-19 | 8 | -195/+84 | |
|\ | ||||||
| * | Mapping-in-mapping can have accessors too | Alex Beregszaszi | 2016-10-19 | 1 | -0/+3 | |
| * | Explain accessors on arrays | Alex Beregszaszi | 2016-10-19 | 1 | -0/+3 | |
| * | FAQ: remove address(this) section (already explained elsewhere) | Alex Beregszaszi | 2016-10-19 | 1 | -12/+0 | |
| * | FAQ: remove event section (already explained elsewhere) | Alex Beregszaszi | 2016-10-19 | 1 | -9/+0 | |
| * | Merge the constructor sections | Alex Beregszaszi | 2016-10-19 | 2 | -23/+3 | |
| * | Mention why Homestead was different for libraries | Alex Beregszaszi | 2016-10-19 | 1 | -1/+1 | |
| * | FAQ: remove visibility section (already explained elsewhere) | Alex Beregszaszi | 2016-10-19 | 1 | -23/+0 | |
| * | FAQ: remove create example (already explained elsewhere | Alex Beregszaszi | 2016-10-19 | 1 | -10/+0 | |
| * | Merge the documentation about mappings | Alex Beregszaszi | 2016-10-19 | 2 | -46/+27 | |
| * | Document constant functions | Alex Beregszaszi | 2016-10-19 | 2 | -17/+24 | |
| * | FAQ: remove removal of external accounts | Alex Beregszaszi | 2016-10-19 | 2 | -6/+2 | |
| * | Improve the description of Solidity | Alex Beregszaszi | 2016-10-19 | 2 | -11/+7 | |
| * | FAQ: remove modifier section | Alex Beregszaszi | 2016-10-19 | 1 | -8/+0 | |
| * | FAQ: remove compilation section | Alex Beregszaszi | 2016-10-19 | 1 | -13/+0 | |
| * | Merge the selfdestruct sections | Alex Beregszaszi | 2016-10-19 | 2 | -12/+9 | |
| * | Update changelog link | Alex Beregszaszi | 2016-10-19 | 1 | -1/+1 | |
| * | Minor documentation fixes | Alex Beregszaszi | 2016-10-19 | 3 | -3/+4 | |
|/ | ||||||
* | Merge pull request #1194 from ethereum/bound-functions | chriseth | 2016-10-19 | 4 | -3/+33 | |
|\ | ||||||
| * | Omit non-convertible bound functions | Alex Beregszaszi | 2016-10-19 | 1 | -1/+2 | |
| * | Ensure that bound functions cannot be defined without self type | Alex Beregszaszi | 2016-10-19 | 3 | -2/+12 | |
| * | Add test case for bound types without self | Alex Beregszaszi | 2016-10-19 | 1 | -0/+19 | |
* | | Merge pull request #1225 from wincinderith/import-remap-docs | chriseth | 2016-10-19 | 1 | -1/+4 | |
|\ \ | ||||||
| * | | Add import remapping documentation to `solc --help` | Kevin Boxhoorn | 2016-10-15 | 1 | -1/+4 | |
* | | | Merge pull request #1223 from ethereum/solc-bin-publish | chriseth | 2016-10-19 | 1 | -3/+12 | |
|\ \ \ | |_|/ |/| | | ||||||
| * | | Simplify publish script | Alex Beregszaszi | 2016-10-15 | 1 | -2/+4 | |
| * | | Change solc-bin publish script to support npm | Alex Beregszaszi | 2016-10-15 | 1 | -1/+8 | |
| |/ | ||||||
* | | Merge pull request #1244 from ethereum/1242 | chriseth | 2016-10-19 | 3 | -0/+11 | |
|\ \ | ||||||
| * | | Changelog: Add a point about fixing #1242 | Yoichi Hirai | 2016-10-18 | 1 | -0/+1 | |
| * | | `super`'s size on stack is zero, because the expression compiler does not pus... | Yoichi Hirai | 2016-10-18 | 1 | -0/+1 | |
| * | | Add a test for #1242 | Yoichi Hirai | 2016-10-18 | 1 | -0/+9 | |
* | | | Merge pull request #1228 from ethereum/lll-units-parser | chriseth | 2016-10-19 | 2 | -7/+5 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | LLL: add Ethereum subunit macros | Alex Beregszaszi | 2016-10-15 | 1 | -0/+4 | |
| * | | LLL: remove Ethereum subunits from the parser | Alex Beregszaszi | 2016-10-15 | 1 | -7/+1 | |
| |/ | ||||||
* | | Merge pull request #1239 from LefterisJP/contract_endowment_solidity_040 | chriseth | 2016-10-18 | 1 | -2/+4 | |
|\ \ | ||||||
| * | | Docs: Change contract init with value section | Lefteris Karapetsas | 2016-10-18 | 1 | -2/+4 | |
* | | | Merge pull request #1234 from wingyplus/remove_vector_ref_cleanse | Yoichi Hirai | 2016-10-18 | 1 | -20/+0 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | Removed 'vector_ref::cleanse' | Thanabodee Charoenpiriyakij | 2016-10-16 | 1 | -20/+0 | |
* | | | Merge pull request #1229 from ethereum/lll-error-reporting | chriseth | 2016-10-17 | 5 | -16/+38 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | LLL: throw proper ParserException | Alex Beregszaszi | 2016-10-15 | 3 | -2/+5 | |
| * | | LLL: fix the commented out debugging code | Alex Beregszaszi | 2016-10-15 | 1 | -8/+9 | |
| * | | LLL: better error reporting | Alex Beregszaszi | 2016-10-15 | 1 | -6/+24 | |
| |/ | ||||||
* | | Merge pull request #1231 from ethereum/debugbreak | chriseth | 2016-10-16 | 1 | -4/+7 | |
|\ \ | ||||||
| * | | Properly define trap_instruction | Alex Beregszaszi | 2016-10-15 | 1 | -4/+7 | |
| |/ | ||||||
* | | Merge pull request #1232 from ethereum/devcore-unused-includes | chriseth | 2016-10-16 | 4 | -369/+1 | |
|\ \ | ||||||
| * | | Remove unused picosha2 | Alex Beregszaszi | 2016-10-15 | 1 | -360/+0 | |
| * | | Don't include random in CommonData | Alex Beregszaszi | 2016-10-15 | 1 | -7/+0 | |
| * | | Remove unused SHA2 include in SHA3 | Alex Beregszaszi | 2016-10-15 | 2 | -2/+1 | |
| |/ | ||||||
* | | Merge pull request #1227 from wingyplus/remove_secure_vector | chriseth | 2016-10-16 | 1 | -41/+0 | |
|\ \ | |/ |/| | ||||||
| * | Removed 'secure_vector' | Thanabodee Charoenpiriyakij | 2016-10-15 | 1 | -41/+0 | |
* | | Merge pull request #1196 from ethereum/solc-bin-publish-update | chriseth | 2016-10-14 | 1 | -4/+2 | |
|\ \ | ||||||
| * | | Make "-a" more visible. | chriseth | 2016-10-12 | 1 | -1/+1 | |
| * | | solc-bin publish script should let the update script decide which files changed | Alex Beregszaszi | 2016-10-11 | 1 | -4/+2 | |
* | | | Merge pull request #1217 from ethereum/instruction_table | chriseth | 2016-10-14 | 1 | -3/+3 | |
|\ \ \ | ||||||
| * | | | Small points on the instruction table | Yoichi Hirai | 2016-10-14 | 1 | -3/+3 | |
| | |/ | |/| | ||||||
* | | | Merge pull request #1218 from ethereum/null-integer-type | chriseth | 2016-10-14 | 1 | -1/+5 | |
|\ \ \ | ||||||
| * | | | Check if a fixedBytes fits an integer type | Yoichi Hirai | 2016-10-14 | 1 | -1/+5 | |
| |/ / | ||||||
* | | | Merge pull request #1195 from ethereum/memory-doc | chriseth | 2016-10-14 | 2 | -4/+23 | |
|\ \ \ | ||||||
| * | | | Mention that memory is organised as 256-bit words | Alex Beregszaszi | 2016-10-14 | 1 | -4/+4 | |
| * | | | Explain how scratch space affects the free memory pointer | Alex Beregszaszi | 2016-10-12 | 1 | -1/+6 | |
| * | | | Merge the two EVM memory introduction sections | Alex Beregszaszi | 2016-10-12 | 2 | -5/+5 | |
| * | | | Document memory layout | Alex Beregszaszi | 2016-10-11 | 1 | -0/+14 | |
| | |/ | |/| | ||||||
* | | | Merge pull request #1079 from VoR0220/fixedTypeTestFramework | RJ | 2016-10-14 | 1 | -1/+9 | |
|\ \ \ | |_|/ |/| | | ||||||
| * | | Replace `fixed` by standard `encode` function. | chriseth | 2016-10-12 | 1 | -6/+8 | |
| * | | Solidity helper function for testing fixed points | VoR0220 | 2016-09-10 | 1 | -1/+7 | |
* | | | Merge pull request #1203 from ethereum/exlpainupforgrabs | chriseth | 2016-10-13 | 1 | -1/+3 | |
|\ \ \ | ||||||
| * | | | Explain up-for-grabs issues. | chriseth | 2016-10-13 | 1 | -1/+3 | |
* | | | | Merge pull request #1185 from ethereum/grammar-doc | Yoichi Hirai | 2016-10-13 | 1 | -0/+5 | |
|\ \ \ \ | ||||||
| * | | | | Add link to grammar.txt in the documentation | Alex Beregszaszi | 2016-10-11 | 1 | -0/+5 | |
| | |_|/ | |/| | | ||||||
* | | | | Merge pull request #1198 from zigguratt/develop | chriseth | 2016-10-13 | 1 | -9/+1 | |
|\ \ \ \ | ||||||
| * | | | | Removed obsolete built in macros. Added a new macro to support the use of 'ke... | Daniel Ellison | 2016-10-13 | 1 | -9/+1 | |
|/ / / / | ||||||
* | | | | Merge pull request #1167 from ethereum/when_solidity_throws | Yoichi Hirai | 2016-10-13 | 1 | -8/+10 | |
|\ \ \ \ | |_|/ / |/| | | | ||||||
| * | | | Accommodate further reviews | Yoichi Hirai | 2016-10-13 | 1 | -6/+6 | |
| * | | | Change prenouns from `on` to `at` | Yoichi Hirai | 2016-10-13 | 1 | -2/+2 | |
| * | | | Accommodating reviews | Yoichi Hirai | 2016-10-13 | 1 | -9/+8 | |
| * | | | Mention `payable` in the description when Solidity throws | Yoichi Hirai | 2016-10-12 | 1 | -1/+2 | |
| * | | | Codify `bytes` | Yoichi Hirai | 2016-10-12 | 1 | -1/+1 | |
| * | | | Change phrasing around too small index | Yoichi Hirai | 2016-10-12 | 1 | -2/+2 | |
| * | | | Merge two similar sections; the original survives | Yoichi Hirai | 2016-10-12 | 2 | -23/+8 | |
| * | | | Various fixes based on comments on #1167 | Yoichi Hirai | 2016-10-12 | 1 | -4/+5 | |
| * | | | English clarifications | Yoichi Hirai | 2016-10-12 | 1 | -4/+4 | |
| * | | | Adding "When Solidity Throws" section in the documentation | Yoichi Hirai | 2016-10-12 | 1 | -0/+16 | |
* | | | | Merge pull request #1126 from ethereum/isolateTests | chriseth | 2016-10-12 | 1 | -0/+24 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | Extend comment. | chriseth | 2016-10-11 | 1 | -1/+2 | |
| * | | | Add script to extract test cases. | chriseth | 2016-09-30 | 1 | -0/+23 | |
* | | | | Merge pull request #1169 from ethereum/inline-assembly-tags | Alex Beregszaszi | 2016-10-12 | 3 | -1/+9 | |
|\ \ \ \ | ||||||
| * | | | | Fix assignment after tags in inline assembly | Alex Beregszaszi | 2016-10-11 | 3 | -1/+9 | |
| | |/ / | |/| | | ||||||
* | | | | Merge pull request #1181 from ethereum/formal_ignore_pragma | chriseth | 2016-10-11 | 2 | -0/+15 | |
|\ \ \ \ | ||||||
| * | | | | Chack for non-version pragmas | Yoichi Hirai | 2016-10-11 | 1 | -1/+10 | |
| * | | | | formal: ignore pragmas during Why3 code generation | Yoichi Hirai | 2016-10-11 | 2 | -0/+6 | |
| |/ / / | ||||||
* | | | | Merge pull request #1193 from ethereum/pragma_keyword_check | chriseth | 2016-10-11 | 1 | -1/+1 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | Fix pragma keyword check | Yoichi Hirai | 2016-10-11 | 1 | -1/+1 | |
|/ / / | ||||||
* | | | Merge pull request #1189 from NicolaiSoeborg/develop | chriseth | 2016-10-11 | 1 | -2/+2 | |
|\ \ \ | ||||||
| * | | | Fix: HexLiteral must be even number of nibbles | Nicolai | 2016-10-11 | 1 | -1/+1 | |
| * | | | Add HexLiteral to grammar, fixes #1186 | Nicolai | 2016-10-11 | 1 | -2/+2 | |
* | | | | Merge pull request #1191 from ethereum/fixbuild | Alex Beregszaszi | 2016-10-11 | 1 | -4/+6 | |
|\ \ \ \ | ||||||
| * | | | | Fix build error. | chriseth | 2016-10-11 | 1 | -4/+6 | |
|/ / / / | ||||||
* | | | | Merge pull request #1168 from ethereum/rename-dev-sha3 | chriseth | 2016-10-11 | 17 | -53/+69 | |
|\ \ \ \ | ||||||
| * | | | | sha3: actually support both FIPS SHA3 and Keccak | Alex Beregszaszi | 2016-10-06 | 1 | -1/+22 | |
| * | | | | sha3: remove unused counter | Alex Beregszaszi | 2016-10-06 | 2 | -5/+0 | |
| * | | | | Rename dev::sha3 to dev::keccak256 | Alex Beregszaszi | 2016-10-06 | 17 | -50/+50 | |
* | | | | | Merge pull request #1148 from ethereum/fixdeploy | chriseth | 2016-10-10 | 1 | -2/+3 | |
|\ \ \ \ \ | ||||||
| * | | | | | Fix deploy script. | chriseth | 2016-10-05 | 1 | -2/+3 | |
* | | | | | | Merge pull request #1156 from ethereum/inline-assembly-address | Yoichi Hirai | 2016-10-07 | 3 | -1/+5 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Add test for address in inline assembly | Alex Beregszaszi | 2016-10-07 | 1 | -1/+1 | |
| * | | | | | | Support address in inline assembly | Alex Beregszaszi | 2016-10-07 | 2 | -0/+4 | |
* | | | | | | | Merge pull request #1175 from ethereum/document-reserved-keywords | Yoichi Hirai | 2016-10-07 | 1 | -0/+8 | |
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | | ||||||
| * | | | | | | Document the reserved keywords | Alex Beregszaszi | 2016-10-07 | 1 | -0/+8 | |
|/ / / / / / | ||||||
* | | | | | | Merge pull request #1164 from ethereum/keccak256-alias | Yoichi Hirai | 2016-10-07 | 9 | -27/+52 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Rename sha3 to keccak256 in the documentation | Alex Beregszaszi | 2016-10-06 | 6 | -27/+30 | |
| * | | | | | | Add alias keccak256() for sha3() | Alex Beregszaszi | 2016-10-06 | 3 | -0/+22 | |
* | | | | | | | Merge pull request #1165 from ethereum/solc-disallow-unknown | Yoichi Hirai | 2016-10-07 | 2 | -1/+4 | |
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | | ||||||
| * | | | | | | Disallow unknown options in solc | Alex Beregszaszi | 2016-10-06 | 2 | -1/+4 | |
|/ / / / / / | ||||||
* | | | | | | Merge pull request #1158 from ethereum/inline-assembly-suicide | Yoichi Hirai | 2016-10-06 | 3 | -2/+14 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | ||||||
| * | | | | | Add test for suicide/selfdestruct | Alex Beregszaszi | 2016-10-06 | 1 | -0/+5 | |
| * | | | | | Support both suicide/selfdestruct in inline assembly | Alex Beregszaszi | 2016-10-06 | 2 | -2/+9 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #1147 from gitexperience/patch-1 | chriseth | 2016-10-05 | 1 | -1/+1 | |
|\ \ \ \ \ | ||||||
| * | | | | | A typo fix | Anubhav singh | 2016-10-05 | 1 | -1/+1 | |
* | | | | | | Merge pull request #1146 from ethereum/chriseth-patch-1 | chriseth | 2016-10-05 | 1 | -4/+5 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | ||||||
| * | | | | | Disable macos for now. | chriseth | 2016-10-05 | 1 | -4/+5 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #1136 from cathalgarvey/develop | chriseth | 2016-10-05 | 1 | -6/+6 | |
|\ \ \ \ \ | ||||||
| * | | | | | Change std/Token to an abstract contract | Cathal Garvey | 2016-10-01 | 1 | -6/+6 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #1139 from D-Nice/patch-1 | chriseth | 2016-10-05 | 1 | -1/+1 | |
|\ \ \ \ \ | ||||||
| * | | | | | Typo Fix | D-Nice | 2016-10-04 | 1 | -1/+1 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #1109 from ethereum/fixmultipublish | chriseth | 2016-10-04 | 4 | -12/+35 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Update publish_binary.sh | chriseth | 2016-10-01 | 1 | -1/+1 | |
| * | | | | Use "develop" for debian version name. | chriseth | 2016-09-18 | 1 | -1/+1 | |
| * | | | | Do not create prerelease build for release branch. | chriseth | 2016-09-18 | 1 | -1/+6 | |
| * | | | | Also publish from release branch. | chriseth | 2016-09-18 | 2 | -10/+28 | |
| * | | | | Fix problem that caused multiple binaries per day. | chriseth | 2016-09-18 | 1 | -1/+1 | |
| | |/ / | |/| | | ||||||
* | | | | Merge pull request #1115 from ShrutiAppiah/develop | chriseth | 2016-10-01 | 1 | -5/+6 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | list formatting | Shruti Appiah | 2016-09-24 | 1 | -5/+6 | |
|/ / / | ||||||
* | | | Merge pull request #1108 from ethereum/bumpversion | chriseth | 2016-09-18 | 3 | -3/+5 | |
|\ \ \ | ||||||
| * | | | Bump version in develop. | chriseth | 2016-09-17 | 3 | -3/+5 | |
|/ / / | ||||||
* | | | Merge pull request #1106 from ethereum/version042 | chriseth | 2016-09-17 | 1 | -1/+3 | |
|\ \ \ | ||||||
| * | | | Finished version 0.4.2 | chriseth | 2016-09-17 | 1 | -1/+3 | |
|/ / / | ||||||
* | | | Merge pull request #1104 from ethereum/fixmemcosts | chriseth | 2016-09-17 | 3 | -4/+42 | |
|\ \ \ | ||||||
| * | | | Changelog entry. | chriseth | 2016-09-17 | 1 | -0/+2 | |
| * | | | Access output memory area so that we do not pay for resize during call. | chriseth | 2016-09-17 | 2 | -5/+14 | |
| * | | | Test case. | chriseth | 2016-09-17 | 1 | -0/+27 | |
* | | | | Merge pull request #1102 from ethereum/fixlibraryvalue | chriseth | 2016-09-17 | 3 | -1/+21 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | Allow value transfer to library functions. | chriseth | 2016-09-17 | 3 | -1/+21 | |
|/ / / | ||||||
* | | | Merge pull request #1101 from ethereum/fixcrash | chriseth | 2016-09-17 | 3 | -1/+19 | |
|\ \ \ | ||||||
| * | | | Fix crash for TypeName[k]. | chriseth | 2016-09-16 | 3 | -1/+19 | |
* | | | | Merge pull request #1097 from ethereum/forceeight | chriseth | 2016-09-17 | 3 | -7/+10 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | Fix hex check. | chriseth | 2016-09-15 | 1 | -1/+1 | |
| * | | | Force commit hash to 8 digits. | chriseth | 2016-09-15 | 3 | -7/+10 | |
* | | | | Merge pull request #1072 from ethereum/versioning | chriseth | 2016-09-15 | 1 | -0/+26 | |
|\ \ \ \ | ||||||
| * | | | | Split versioning into two sections | Alex Beregszaszi | 2016-09-14 | 1 | -15/+19 | |
| * | | | | Document versioning behaviour | Alex Beregszaszi | 2016-09-09 | 1 | -0/+22 | |
* | | | | | Merge pull request #1085 from LefterisJP/centos_install | chriseth | 2016-09-15 | 1 | -0/+47 | |
|\ \ \ \ \ | |_|/ / / |/| | | | | ||||||
| * | | | | Add warning for CentOS dependencies | Lefteris Karapetsas | 2016-09-15 | 1 | -26/+32 | |
| * | | | | Add Centos to install_deps.sh | Lefteris Karapetsas | 2016-09-12 | 1 | -0/+41 | |
| | |_|/ | |/| | | ||||||
* | | | | Merge pull request #1078 from nicksavers/patch-1 | chriseth | 2016-09-13 | 1 | -2/+2 | |
|\ \ \ \ | ||||||
| * | | | | Update Solidity docs version to 0.4.1 | Nick Savers | 2016-09-10 | 1 | -2/+2 | |
| |/ / / | ||||||
* | | | | Merge pull request #1045 from pirapira/formal_type_of_mapping | chriseth | 2016-09-12 | 3 | -31/+87 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | Prepare for leaky exceptions | Yoichi Hirai | 2016-09-10 | 1 | -0/+4 | |
| * | | | toFormalType reports errors by an exception | Yoichi Hirai | 2016-09-10 | 2 | -21/+71 | |
| * | | | Translate mapping types into Why3 arrays when keys are integers | Yoichi Hirai | 2016-09-10 | 1 | -0/+14 | |
| * | | | Explicitly convert the assert condition using bool() | Yoichi Hirai | 2016-09-10 | 1 | -13/+1 | |
|/ / / | ||||||
* | | | Merge pull request #1074 from ethereum/noleadingzeros | chriseth | 2016-09-10 | 5 | -3/+10 | |
|\ \ \ | ||||||
| * | | | Style. | chriseth | 2016-09-09 | 1 | -1/+1 | |
| * | | | Remove leading zeroes in prerelease components. | chriseth | 2016-09-09 | 5 | -3/+10 | |
* | | | | Merge pull request #1047 from pirapira/address-in-prelude | chriseth | 2016-09-09 | 1 | -0/+9 | |
|\ \ \ \ | ||||||
| * | | | | Add Address module in the WhyML prelude | Yoichi Hirai | 2016-09-08 | 1 | -0/+9 | |
* | | | | | Version bump | chriseth | 2016-09-09 | 1 | -1/+1 | |
| |/ / / |/| | | | ||||||
* | | | | Merge pull request #1069 from ethereum/emscriptenbinaries | chriseth | 2016-09-09 | 1 | -3/+3 | |
|\ \ \ \ | ||||||
| * | | | | Store emscripten binaries usig new naming scheme. | chriseth | 2016-09-09 | 1 | -3/+3 | |
* | | | | | Merge pull request #1068 from ethereum/modfix | chriseth | 2016-09-09 | 1 | -1/+1 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Suffix the "mod" version modifier using a dot. | chriseth | 2016-09-09 | 1 | -1/+1 | |
|/ / / / | ||||||
* | | | | Merge pull request #1070 from ethereum/devversion | chriseth | 2016-09-09 | 5 | -7/+9 | |
|\ \ \ \ | ||||||
| * | | | | Fix problem with release version string. | chriseth | 2016-09-08 | 2 | -4/+6 | |
| * | | | | Fix version pragma in tests. | chriseth | 2016-09-08 | 3 | -3/+3 | |
|/ / / / | ||||||
* | | | | Merge pull request #1067 from ethereum/bumpversion | chriseth | 2016-09-08 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * | | | | Bump version. | chriseth | 2016-09-08 | 1 | -1/+1 | |
|/ / / / | ||||||
* | | | | Merge pull request #1061 from ethereum/version | chriseth | 2016-09-08 | 2 | -2/+2 | |
|\ \ \ \ | ||||||
| * | | | | Set version to 0.4.0. | chriseth | 2016-09-08 | 2 | -2/+2 | |
|/ / / / | ||||||
* | | | | Merge pull request #1060 from ethereum/version040 | chriseth | 2016-09-08 | 1 | -3/+10 | |
|\ \ \ \ | |_|/ / |/| | | | ||||||
| * | | | Final changelog entries. | chriseth | 2016-09-08 | 1 | -3/+10 | |
|/ / / | ||||||
* | | | Merge pull request #1024 from ethereum/docupdate | chriseth | 2016-09-08 | 13 | -88/+139 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | Review suggestions. | chriseth | 2016-09-07 | 2 | -7/+7 | |
| * | | Update documentation to version 0.4.0. | chriseth | 2016-09-07 | 13 | -88/+139 | |
* | | | Merge pull request #1041 from pirapira/typo_and_whitespace | chriseth | 2016-09-08 | 4 | -4/+4 | |
|\ \ \ | ||||||
| * | | | Fix a typo and whitespaces | Yoichi Hirai | 2016-09-07 | 4 | -4/+4 | |
* | | | | Merge pull request #1044 from pirapira/todo_item_to_issue | chriseth | 2016-09-08 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * | | | | Append an issue id #1043 to a @todo comment about it | Yoichi Hirai | 2016-09-07 | 1 | -1/+1 | |
| |/ / / | ||||||
* | | | | Merge pull request #1009 from pirapira/separate_exceptions | chriseth | 2016-09-07 | 1 | -1/+15 | |
|\ \ \ \ | ||||||
| * | | | | Separate the try/catch blocks on JSON output generation and formal method out... | Yoichi Hirai | 2016-09-06 | 1 | -1/+15 | |
| |/ / / | ||||||
* | | | | Merge pull request #1033 from ethereum/fix-using-notype | chriseth | 2016-09-07 | 1 | -1/+2 | |
|\ \ \ \ | ||||||
| * | | | | Include assert for selfType on bound functions to avoid crash | Alex Beregszaszi | 2016-09-07 | 1 | -1/+2 | |
| | |/ / | |/| | | ||||||
* | | | | Merge pull request #1032 from ethereum/fix-std-owned | chriseth | 2016-09-07 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * | | | | Fix owned std contract | Alex Beregszaszi | 2016-09-07 | 1 | -1/+1 | |
| |/ / / | ||||||
* | | | | Merge pull request #1031 from ethereum/changelog | chriseth | 2016-09-07 | 1 | -12/+12 | |
|\ \ \ \ | ||||||
| * | | | | Consistency changes in the Changelog | Alex Beregszaszi | 2016-09-07 | 1 | -12/+12 | |
| |/ / / | ||||||
* | | | | Merge pull request #1035 from bobsummerwill/install_deps | Bob Summerwill | 2016-09-07 | 1 | -0/+2 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | Added missing "stop on error" to scripts/install.sh. | Bob Summerwill | 2016-09-07 | 1 | -0/+2 | |
|/ / / | ||||||
* | | | Merge pull request #1019 from ethereum/constructor-modifier | chriseth | 2016-09-07 | 2 | -0/+12 | |
|\ \ \ | ||||||
| * | | | Tests for constructor visibility | Alex Beregszaszi | 2016-09-06 | 1 | -0/+10 | |
| * | | | Constructor must be internal or public | Alex Beregszaszi | 2016-09-06 | 1 | -0/+2 | |
|/ / / | ||||||
* | | | Merge pull request #1018 from ethereum/constructor-constant | chriseth | 2016-09-06 | 3 | -2/+18 | |
|\ \ \ | ||||||
| * | | | Update Changelog.md | chriseth | 2016-09-06 | 1 | -0/+1 | |
| * | | | Tests for constant constructors | Alex Beregszaszi | 2016-09-06 | 1 | -0/+11 | |
| * | | | Reject constant constructors | Alex Beregszaszi | 2016-09-06 | 1 | -2/+6 | |
|/ / / | ||||||
* | | | Merge pull request #1003 from winsvega/docs | chriseth | 2016-09-06 | 9 | -0/+96 | |
|\ \ \ | ||||||
| * | | | add "pragma solidity ^0.4.0;" to code examples | Dimitry | 2016-09-05 | 9 | -0/+96 | |
* | | | | Merge pull request #1016 from ethereum/reserved | chriseth | 2016-09-06 | 2 | -1/+12 | |
|\ \ \ \ | ||||||
| * | | | | Raise proper error on reserved keywords | Alex Beregszaszi | 2016-09-06 | 1 | -1/+11 | |
| * | | | | Introduce isReservedKeyword() | Alex Beregszaszi | 2016-09-06 | 1 | -0/+1 | |
* | | | | | Merge pull request #1014 from ethereum/strict-fallback | chriseth | 2016-09-06 | 4 | -3/+13 | |
|\ \ \ \ \ | ||||||
| * | | | | | Reject constant modifier on the fallback function | Alex Beregszaszi | 2016-09-06 | 4 | -3/+13 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #1011 from walter-weinmann/wwe_grammar | chriseth | 2016-09-06 | 1 | -3/+3 | |
|\ \ \ \ \ | ||||||
| * | | | | | Considering comment from @chriseth regarding FunctionCall. | walter-weinmann | 2016-09-06 | 1 | -3/+1 | |
| * | | | | | Considering comments from @chriseth regarding ExpressionStatement and Functio... | walter-weinmann | 2016-09-06 | 1 | -4/+6 | |
| * | | | | | Changes related to issues #984, #989, #999, #1001 and #1004. | walter-weinmann | 2016-09-06 | 1 | -4/+4 | |
* | | | | | | Merge pull request #1008 from ethereum/stipendwithsend | chriseth | 2016-09-06 | 3 | -1/+27 | |
|\ \ \ \ \ \ |