index
:
dexon-solidity
develop
release
DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)
LAN-TW
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
LLL: change -o to be a flag
Alex Beregszaszi
2016-10-25
1
-2
/
+2
*
LLL: turn off optimiser by default
Alex Beregszaszi
2016-10-25
1
-2
/
+2
*
LLL: document optimise flag
Alex Beregszaszi
2016-10-25
1
-0
/
+1
*
Merge pull request #1279 from ethereum/semver-helper
chriseth
2016-10-25
1
-0
/
+6
|
\
|
*
Export major/minor/patch helpers on SemVerVersion
Alex Beregszaszi
2016-10-25
1
-0
/
+6
*
|
Merge pull request #1264 from ethereum/988
chriseth
2016-10-25
6
-10
/
+150
|
\
\
|
*
|
analysis: determine if a member access on a contract is an l-value
Yoichi Hirai
2016-10-25
1
-0
/
+5
|
*
|
test: add more tests about state variable access under base contract names
Yoichi Hirai
2016-10-25
1
-2
/
+35
|
*
|
test: add tests from #988
Yoichi Hirai
2016-10-24
2
-0
/
+79
|
*
|
Changelog: add a point about fixing #988
Yoichi Hirai
2016-10-24
1
-1
/
+2
|
*
|
codegen: refactor common code
Yoichi Hirai
2016-10-24
2
-20
/
+15
|
*
|
codegen: if a member access has been resolved as a variable, follow that
Yoichi Hirai
2016-10-24
1
-0
/
+12
|
*
|
test: add a test case for accessing a state variable under the contract's name
Yoichi Hirai
2016-10-24
1
-0
/
+15
*
|
|
Merge pull request #1273 from ethereum/chriseth-patch-1
chriseth
2016-10-25
1
-0
/
+1
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Re-added accidentally deleted changelog entry
chriseth
2016-10-25
1
-0
/
+1
|
/
/
*
|
Merge pull request #1266 from ethereum/fixcrash
chriseth
2016-10-24
6
-15
/
+62
|
\
\
|
|
/
|
/
|
|
*
More checks for missing mobile type.
chriseth
2016-10-24
5
-12
/
+46
|
*
Test.
chriseth
2016-10-24
1
-3
/
+16
|
/
*
Merge pull request #1271 from wingyplus/iss-781
chriseth
2016-10-24
1
-26
/
+0
|
\
|
*
Remove non-solidity exceptions
Thanabodee Charoenpiriyakij
2016-10-23
1
-26
/
+0
*
|
Merge pull request #1263 from ethereum/1116
chriseth
2016-10-24
3
-1
/
+49
|
\
\
|
*
|
Changelog: add a comment about fixing #1116
Yoichi Hirai
2016-10-24
1
-0
/
+1
|
*
|
codegen: skip contract L for L.Foo where Foo is a type
Yoichi Hirai
2016-10-24
1
-1
/
+6
|
*
|
test: add a test about using an inherited enum definition as an expression,
Yoichi Hirai
2016-10-24
1
-0
/
+42
*
|
|
Merge pull request #1270 from ethereum/optimise-eq0
chriseth
2016-10-24
1
-0
/
+1
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Optimiser the PUSH 0, EQ case as ISZERO
Alex Beregszaszi
2016-10-23
1
-0
/
+1
|
|
/
*
|
Merge pull request #1251 from ethereum/fixthrow
chriseth
2016-10-24
3
-7
/
+19
|
\
\
|
*
|
Changelog entry.
chriseth
2016-10-24
1
-6
/
+6
|
*
|
Fix crash in throw.
chriseth
2016-10-24
2
-1
/
+13
|
/
/
*
|
Merge pull request #1240 from ethereum/1151
chriseth
2016-10-24
3
-1
/
+23
|
\
\
|
*
|
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
|
\
\
\
\
[next]