aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Fix crash in throw.chriseth2016-10-242-1/+13
|
* Merge pull request #1240 from ethereum/1151chriseth2016-10-243-1/+23
|\ | | | | ast: super contract type does not contain native members
| * 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 ↵Yoichi Hirai2016-10-201-1/+8
| | | | | | | | | | | | itself Fixes #1151
| * 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 state
| * | Optimizer: generate code starting with empty statechriseth2016-10-222-2/+5
|/ /
* | Merge pull request #1243 from ethereum/1131chriseth2016-10-214-0/+88
|\ \ | | | | | | Add enums as inheritable members
| * | 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
| | | | | | | | | | | | This fixes #1131
| * | test: add tests for #1131Yoichi Hirai2016-10-212-0/+68
|/ / | | | | | | The tests are about enum inheritance.
* | Merge pull request #1261 from ethereum/inline-assembly-in-modifierschriseth2016-10-214-1/+75
|\ \ | | | | | | Fix inline assembly variable access within modifiers
| * | 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
|\ \ | | | | | | Issue inline assembly stack warning if not balanced
| * | 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 branch
| * AppVeyor: build only pushes to master and develop branchPaweł Bylica2016-10-201-0/+4
|/ | | | This fixes the issue when PRs from a branch in main repo are built twice.
* Merge pull request #1034 from ethereum/shift-constantschriseth2016-10-204-0/+113
|\ | | | | Shift constants (<< and >>)
| * 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
|\ | | | | Disallow magic variables in inline assembly
| * 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
|\ | | | | Documentation updates
| * 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
|\ | | | | Proper type checking for bound functions
| * 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`
| * | Add import remapping documentation to `solc --help`Kevin Boxhoorn2016-10-151-1/+4
| | | | | | | | | | | | | | | Derived from the docs found [here](https://solidity.readthedocs.io/en/develop/miscellaneous.html#using-the-commandline-compiler). Fixes #1207.
* | | Merge pull request #1223 from ethereum/solc-bin-publishchriseth2016-10-191-3/+12
|\ \ \ | |_|/ |/| | Change solc-bin publish script to support npm
| * | 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
|\ \ | | | | | | `super`'s size on stack is zero
| * | 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 ↵Yoichi Hirai2016-10-181-0/+1
| | | | | | | | | | | | | | | | | | push an address. This is different from `this`, which is translated to `ADDRESS` instruction.
| * | Add a test for #1242Yoichi Hirai2016-10-181-0/+9
| | | | | | | | | | | | This is about `super` as an expression.
* | | Merge pull request #1228 from ethereum/lll-units-parserchriseth2016-10-192-7/+5
|\ \ \ | |/ / |/| | LLL: move broken parsing of Ethereum subunits to macros
| * | 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 section to be solc 0.4.0 compatible.
| * | Docs: Change contract init with value sectionLefteris Karapetsas2016-10-181-2/+4
| | | | | | | | | | | | | | | After solidity 0.4.0 we need to make the constructor `payable` if we are to provide value during contract creation.
* | | Merge pull request #1234 from wingyplus/remove_vector_ref_cleanseYoichi Hirai2016-10-181-20/+0
|\ \ \ | |/ / |/| | Removed 'vector_ref::cleanse'
| * | Removed 'vector_ref::cleanse'Thanabodee Charoenpiriyakij2016-10-161-20/+0
| | | | | | | | | | | | Close #785
* | | Merge pull request #1229 from ethereum/lll-error-reportingchriseth2016-10-175-16/+38
|\ \ \ | |/ / |/| | LLL: better error reporting
| * | 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_instruction
| * | Properly define trap_instructionAlex Beregszaszi2016-10-151-4/+7
| |/
* | Merge pull request #1232 from ethereum/devcore-unused-includeschriseth2016-10-164-369/+1
|\ \ | | | | | | Remove unused libdevcore includes
| * | 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'
| * Removed 'secure_vector'Thanabodee Charoenpiriyakij2016-10-151-41/+0
| | | | | | | | Close #780
* | Merge pull request #1196 from ethereum/solc-bin-publish-updatechriseth2016-10-141-4/+2
|\ \ | | | | | | solc-bin publish script should let the update script decide which files changed
| * | 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 table
| * | | Small points on the instruction tableYoichi Hirai2016-10-141-3/+3
| | |/ | |/| | | | | | | | | | | | | Fixes #1205 `sload` was not marked with a `-`, contrary to the description of #1205
* | | Merge pull request #1218 from ethereum/null-integer-typechriseth2016-10-141-1/+5
|\ \ \ | | | | | | | | Add a null-pointer check
| * | | Check if a fixedBytes fits an integer typeYoichi Hirai2016-10-141-1/+5
| |/ / | | | | | | | | | | | | | | | before looking up the size of the integer type. Fixes #1150.
* | | Merge pull request #1195 from ethereum/memory-docchriseth2016-10-142-4/+23
|\ \ \ | | | | | | | | Document memory layout
| * | | 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
|\ \ \ | |_|/ |/| | Solidity helper function for testing fixed points
| * | Replace `fixed` by standard `encode` function.chriseth2016-10-121-6/+8
| | | | | | | | | | | | | | | | | | | | | This way, we can use ``` BOOST_CHECK(callContractFunction("t(fixed8x128)", make_pair(rational(2, 3), 128)) == encodeArgs(u256(9))); ``` which is a bit more self-explanatory, I would say.
| * | Solidity helper function for testing fixed pointsVoR02202016-09-101-1/+7
| | | | | | | | | | | | Signed-off-by: VoR0220 <rj@erisindustries.com>
* | | Merge pull request #1203 from ethereum/exlpainupforgrabschriseth2016-10-131-1/+3
|\ \ \ | | | | | | | | Explain up-for-grabs issues.
| * | | 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 documentation
| * | | | Add link to grammar.txt in the documentationAlex Beregszaszi2016-10-111-0/+5
| | |_|/ | |/| |
* | | | Merge pull request #1198 from zigguratt/developchriseth2016-10-131-9/+1
|\ \ \ \ | | | | | | | | | | Remove obsolete built in macros and add a `keccak256` macro alias for `sha3`.
| * | | | Removed obsolete built in macros. Added a new macro to support the use of ↵Daniel Ellison2016-10-131-9/+1
|/ / / / | | | | | | | | | | | | 'keccak256' in addition to 'sha3'.
* | | | Merge pull request #1167 from ethereum/when_solidity_throwsYoichi Hirai2016-10-131-8/+10
|\ \ \ \ | |_|/ / |/| | | Adding "When Solidity Throws" section in the documentation
| * | | 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
| | | | | | | | | | | | | | | | https://github.com/ethereum/solidity/pull/1167#pullrequestreview-4031601
| * | | 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
| | | | | | | | | | | | | | | | mostly based on suggestions by @axic
| * | | Adding "When Solidity Throws" section in the documentationYoichi Hirai2016-10-121-0/+16
| | | |
* | | | Merge pull request #1126 from ethereum/isolateTestschriseth2016-10-121-0/+24
|\ \ \ \ | |/ / / |/| | | Add script to extract test cases.
| * | | 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 assembly
| * | | | 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
|\ \ \ \ | | | | | | | | | | formal: ignore pragmas during Why3 code generation
| * | | | Chack for non-version pragmasYoichi Hirai2016-10-111-1/+10
| | | | |
| * | | | formal: ignore pragmas during Why3 code generationYoichi Hirai2016-10-112-0/+6
| |/ / / | | | | | | | | | | | | Fixes #1177
* | | | Merge pull request #1193 from ethereum/pragma_keyword_checkchriseth2016-10-111-1/+1
|\ \ \ \ | |/ / / |/| | | Pragma keyword check
| * | | Fix pragma keyword checkYoichi Hirai2016-10-111-1/+1
|/ / / | | | | | | | | | Fixes #1192
* | | Merge pull request #1189 from NicolaiSoeborg/developchriseth2016-10-111-2/+2
|\ \ \ | | | | | | | | Add HexLiteral to grammar, fixes #1186
| * | | Fix: HexLiteral must be even number of nibblesNicolai2016-10-111-1/+1
| | | | | | | | | | | | | | | | | | | | solc even allow 0 nibbles: bytes a = hex"";
| * | | 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.
| * | | | Fix build error.chriseth2016-10-111-4/+6
|/ / / /
* | | | Merge pull request #1168 from ethereum/rename-dev-sha3chriseth2016-10-1117-53/+69
|\ \ \ \ | | | | | | | | | | Rename dev::sha3 to dev::keccak256
| * | | | 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.
| * | | | | Fix deploy script.chriseth2016-10-051-2/+3
| | | | | |
* | | | | | Merge pull request #1156 from ethereum/inline-assembly-addressYoichi Hirai2016-10-073-1/+5
|\ \ \ \ \ \ | | | | | | | | | | | | | | Support address in inline assembly
| * | | | | | Add test for address in inline assemblyAlex Beregszaszi2016-10-071-1/+1
| | | | | | |
| * | | | | | Support address in inline assemblyAlex Beregszaszi2016-10-072-0/+4
| | | | | | |
* | | | | | | Merge pull request #1175 from ethereum/document-reserved-keywordsYoichi Hirai2016-10-071-0/+8
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | Document the reserved keywords
| * | | | | | Document the reserved keywordsAlex Beregszaszi2016-10-071-0/+8
|/ / / / / /
* | | | | | Merge pull request #1164 from ethereum/keccak256-aliasYoichi Hirai2016-10-079-27/+52
|\ \ \ \ \ \ | | | | | | | | | | | | | | Add alias keccak256() for sha3()
| * | | | | | Rename sha3 to keccak256 in the documentationAlex Beregszaszi2016-10-066-27/+30
| | | | | | |
| * | | | | | Add alias keccak256() for sha3()Alex Beregszaszi2016-10-063-0/+22
| | | | | | |
* | | | | | | Merge pull request #1165 from ethereum/solc-disallow-unknownYoichi Hirai2016-10-072-1/+4
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | Disallow unknown options in solc
| * | | | | | Disallow unknown options in solcAlex Beregszaszi2016-10-062-1/+4
|/ / / / / /
* | | | | | Merge pull request #1158 from ethereum/inline-assembly-suicideYoichi Hirai2016-10-063-2/+14
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Support suicide in inline assembly
| * | | | | Add test for suicide/selfdestructAlex Beregszaszi2016-10-061-0/+5
| | | | | |
| * | | | | Support both suicide/selfdestruct in inline assemblyAlex Beregszaszi2016-10-062-2/+9
| |/ / / /
* | | | | Merge pull request #1147 from gitexperience/patch-1chriseth2016-10-051-1/+1
|\ \ \ \ \ | | | | | | | | | | | | A typo fix
| * | | | | A typo fixAnubhav singh2016-10-051-1/+1
| | | | | |
* | | | | | Merge pull request #1146 from ethereum/chriseth-patch-1chriseth2016-10-051-4/+5
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Disable macos for now.
| * | | | | Disable macos for now.chriseth2016-10-051-4/+5
|/ / / / /
* | | | | Merge pull request #1136 from cathalgarvey/developchriseth2016-10-051-6/+6
|\ \ \ \ \ | | | | | | | | | | | | Change std/Token to an abstract contract
| * | | | | Change std/Token to an abstract contractCathal Garvey2016-10-011-6/+6
| |/ / / /
* | | | | Merge pull request #1139 from D-Nice/patch-1chriseth2016-10-051-1/+1
|\ \ \ \ \ | | | | | | | | | | | | Typo Fix
| * | | | | Typo FixD-Nice2016-10-041-1/+1
| |/ / / / | | | | | | | | | | On line 126, though of changed to thought of.
* | | | | Merge pull request #1109 from ethereum/fixmultipublishchriseth2016-10-044-12/+35
|\ \ \ \ \ | |/ / / / |/| | | | Fix multiple binaries and publish from release branch
| * | | | Update publish_binary.shchriseth2016-10-011-1/+1
| | | | |
| * | | | Use "develop" for debian version name.chriseth2016-09-181-1/+1
| | | | |
| * | | | Do not create prerelease build for release branch.chriseth2016-09-181-1/+6
| | | | |
| * | | | Also publish from release branch.chriseth2016-09-182-10/+28
| | | | |
| * | | | Fix problem that caused multiple binaries per day.chriseth2016-09-181-1/+1
| | |/ / | |/| |
* | | | Merge pull request #1115 from ShrutiAppiah/developchriseth2016-10-011-5/+6
|\ \ \ \ | |/ / / |/| | | list formatting 2
| * | | list formattingShruti Appiah2016-09-241-5/+6
|/ / /
* | | Merge pull request #1108 from ethereum/bumpversionchriseth2016-09-183-3/+5
|\ \ \ | | | | | | | | Bump version in develop.
| * | | Bump version in develop.chriseth2016-09-173-3/+5
|/ / /
* | | Merge pull request #1106 from ethereum/version042chriseth2016-09-171-1/+3
|\ \ \ | | | | | | | | Finished version 0.4.2
| * | | Finished version 0.4.2chriseth2016-09-171-1/+3
|/ / /
* | | Merge pull request #1104 from ethereum/fixmemcostschriseth2016-09-173-4/+42
|\ \ \ | | | | | | | | Fix memory resize costs during call
| * | | 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.
| * | | 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].
| * | | Fix crash for TypeName[k].chriseth2016-09-163-1/+19
| | | |
* | | | Merge pull request #1097 from ethereum/forceeightchriseth2016-09-173-7/+10
|\ \ \ \ | |/ / / |/| | | Force commit hash to 8 digits.
| * | | 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
|\ \ \ \ | | | | | | | | | | Document versioning behaviour
| * | | | 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 Centos to install_deps.sh
| * | | | Add warning for CentOS dependenciesLefteris Karapetsas2016-09-151-26/+32
| | | | |
| * | | | Add Centos to install_deps.shLefteris Karapetsas2016-09-121-0/+41
| | |_|/ | |/| | | | | | | | | | | | | | | | | | Added steps to otain solidity dependencies in CentOS. Tested those steps on a CentOS 6.8 machine, but the instructions are from memory. May need some tweaking.
* | | | Merge pull request #1078 from nicksavers/patch-1chriseth2016-09-131-2/+2
|\ \ \ \ | | | | | | | | | | Update Solidity docs version to 0.4.1
| * | | | 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
|\ \ \ \ | |/ / / |/| | | formal verification: Why3 translation of mapping types
| * | | Prepare for leaky exceptionsYoichi Hirai2016-09-101-0/+4
| | | | | | | | | | | | | | | | | | | | Now toFormalType() reports errors by exceptions, they will be sometimes leaked to the wider context. This commits adds a catch.
| * | | toFormalType reports errors by an exceptionYoichi Hirai2016-09-102-21/+71
| | | | | | | | | | | | | | | | This allows error reporting without passing `ASTNode` to `toFormalType()`
| * | | Translate mapping types into Why3 arrays when keys are integersYoichi Hirai2016-09-101-0/+14
| | | | | | | | | | | | | | | | | | | | Even when the keys are signed the translation is supposed to work because Why3 arrays allow negative indices.
| * | | Explicitly convert the assert condition using bool()Yoichi Hirai2016-09-101-13/+1
|/ / / | | | | | | | | | This allows a shared pointer as a condition because bool(std::shared_ptr<T>) is defined.
* | | Merge pull request #1074 from ethereum/noleadingzeroschriseth2016-09-105-3/+10
|\ \ \ | | | | | | | | Remove leading zeroes in prerelease components.
| * | | 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
|\ \ \ \ | | | | | | | | | | formal verification: Add Address module in the WhyML prelude
| * | | | Add Address module in the WhyML preludeYoichi Hirai2016-09-081-0/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In the `--formal` output, this commit adds a module called `Address`, which defines the address type as unsigned integer type bounded at 2^160-1.
* | | | | Version bumpchriseth2016-09-091-1/+1
| |/ / / |/| | |
* | | | Merge pull request #1069 from ethereum/emscriptenbinarieschriseth2016-09-091-3/+3
|\ \ \ \ | | | | | | | | | | Store emscripten binaries usig new naming scheme.
| * | | | 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.
| * | | | 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 problems with version strings.
| * | | | 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.
| * | | | Bump version.chriseth2016-09-081-1/+1
|/ / / /
* | | | Merge pull request #1061 from ethereum/versionchriseth2016-09-082-2/+2
|\ \ \ \ | | | | | | | | | | Set version to 0.4.0.
| * | | | 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.
| * | | Final changelog entries.chriseth2016-09-081-3/+10
|/ / /
* | | Merge pull request #1024 from ethereum/docupdatechriseth2016-09-0813-88/+139
|\ \ \ | |/ / |/| | Update documentation to version 0.4.0.
| * | 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 a whitespace inconsistency
| * | | 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 it
| * | | | 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 and formal methods output generation
| * | | | Separate the try/catch blocks on JSON output generation and formal method ↵Yoichi Hirai2016-09-061-1/+15
| |/ / / | | | | | | | | | | | | | | | | | | | | | | | | output generation. For the reason, see @axic's comment here https://github.com/ethereum/solidity/pull/994#discussion_r77272236 and the following discussion.
* | | | Merge pull request #1033 from ethereum/fix-using-notypechriseth2016-09-071-1/+2
|\ \ \ \ | | | | | | | | | | Include assert for selfType on bound functions to avoid crash
| * | | | 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 contract
| * | | | Fix owned std contractAlex Beregszaszi2016-09-071-1/+1
| |/ / /
* | | | Merge pull request #1031 from ethereum/changelogchriseth2016-09-071-12/+12
|\ \ \ \ | | | | | | | | | | Consistency changes in the Changelog
| * | | | 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
| * | | 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
|\ \ \ | | | | | | | | Enforce constructor visibility
| * | | 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
|\ \ \ | | | | | | | | Constructor constant
| * | | 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 examples
| * | | add "pragma solidity ^0.4.0;" to code examplesDimitry2016-09-059-0/+96
| | | |
* | | | Merge pull request #1016 from ethereum/reservedchriseth2016-09-062-1/+12
|\ \ \ \ | | | | | | | | | | Report the usage of reserved keywords more nicely
| * | | | 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 function
| * | | | | 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
|\ \ \ \ \ | | | | | | | | | | | | Changes related to issues #984, #989, #999, #1001 and #1004.
| * | | | | Considering comment from @chriseth regarding FunctionCall.walter-weinmann2016-09-061-3/+1
| | | | | |
| * | | | | Considering comments from @chriseth regarding ExpressionStatement and ↵walter-weinmann2016-09-061-4/+6
| | | | | | | | | | | | | | | | | | | | | | | | FunctionCall.
generated by cgit (git 2.34.1) at 2024-11-17 17:02:24 +0800