aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | 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
* | | | | | Merge pull request #1156 from ethereum/inline-assembly-addressYoichi Hirai2016-10-073-1/+5
|\ \ \ \ \ \
| * | | | | | 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 keywordsAlex Beregszaszi2016-10-071-0/+8
|/ / / / / /
* | | | | | Merge pull request #1164 from ethereum/keccak256-aliasYoichi Hirai2016-10-079-27/+52
|\ \ \ \ \ \
| * | | | | | 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 solcAlex Beregszaszi2016-10-062-1/+4
|/ / / / / /
* | | | | | Merge pull request #1158 from ethereum/inline-assembly-suicideYoichi Hirai2016-10-063-2/+14
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | 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 fixAnubhav singh2016-10-051-1/+1
* | | | | | Merge pull request #1146 from ethereum/chriseth-patch-1chriseth2016-10-051-4/+5
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | 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 contractCathal Garvey2016-10-011-6/+6
| |/ / / /
* | | | | Merge pull request #1139 from D-Nice/patch-1chriseth2016-10-051-1/+1
|\ \ \ \ \
| * | | | | Typo FixD-Nice2016-10-041-1/+1
| |/ / / /
* | | | | Merge pull request #1109 from ethereum/fixmultipublishchriseth2016-10-044-12/+35
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | 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 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
|\ \ \ \
generated by cgit (git 2.34.1) at 2024-11-18 13:15:48 +0800