Commit Graph

5973 Commits

Author SHA1 Message Date
chriseth
1584c5992e Merge pull request #1218 from ethereum/null-integer-type
Add a null-pointer check
2016-10-14 11:51:08 +02:00
chriseth
0635b6e008 Merge pull request #1195 from ethereum/memory-doc
Document memory layout
2016-10-14 11:13:36 +02:00
RJ
d9af51be51 Merge pull request #1079 from VoR0220/fixedTypeTestFramework
Solidity helper function for testing fixed points
2016-10-13 15:18:45 -05:00
Yoichi Hirai
8e11bac8de
Check if a fixedBytes fits an integer type
before looking up the size of the integer type.

Fixes #1150.
2016-10-13 20:17:13 +02:00
Alex Beregszaszi
9521188bde Mention that memory is organised as 256-bit words 2016-10-13 19:00:57 +01:00
Yoichi Hirai
550c92cb2f
Small points on the instruction table
Fixes #1205

`sload` was not marked with a `-`, contrary to the description of #1205
2016-10-13 19:30:43 +02:00
chriseth
5e75cae28a Merge pull request #1203 from ethereum/exlpainupforgrabs
Explain up-for-grabs issues.
2016-10-13 17:07:14 +02:00
Yoichi Hirai
8ddef7a2dd Merge pull request #1185 from ethereum/grammar-doc
Add link to grammar.txt in the documentation
2016-10-13 16:38:57 +02:00
chriseth
ec08615b72 Merge pull request #1198 from zigguratt/develop
Remove obsolete built in macros and add a `keccak256` macro alias for `sha3`.
2016-10-13 16:11:37 +02:00
Daniel Ellison
00278fdea8 Removed obsolete built in macros. Added a new macro to support the use of 'keccak256' in addition to 'sha3'. 2016-10-13 10:03:54 -04:00
Yoichi Hirai
2951c1eba9 Merge pull request #1167 from ethereum/when_solidity_throws
Adding "When Solidity Throws" section in the documentation
2016-10-13 15:13:17 +02:00
chriseth
e268b5fa3e Explain up-for-grabs issues. 2016-10-13 15:10:12 +02:00
Yoichi Hirai
8b5f0d5997
Accommodate further reviews 2016-10-13 12:44:27 +02:00
Yoichi Hirai
d32160a5b8
Change prenouns from on to at 2016-10-13 12:16:14 +02:00
Yoichi Hirai
ff0f44352e
Accommodating reviews
https://github.com/ethereum/solidity/pull/1167#pullrequestreview-4031601
2016-10-13 12:12:40 +02:00
chriseth
5fb0bcce45 Replace fixed by standard encode function.
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.
2016-10-12 17:28:47 +02:00
chriseth
4825cdb62e Make "-a" more visible. 2016-10-12 15:23:18 +02:00
chriseth
def3f3ea46 Merge pull request #1126 from ethereum/isolateTests
Add script to extract test cases.
2016-10-12 15:20:32 +02:00
Yoichi Hirai
f492380688 Mention payable in the description when Solidity throws 2016-10-12 10:59:22 +02:00
Yoichi Hirai
246d91438f Codify bytes 2016-10-12 10:46:55 +02:00
Alex Beregszaszi
66c6c74699 Explain how scratch space affects the free memory pointer 2016-10-12 09:15:06 +01:00
Alex Beregszaszi
3d12c2ddc7 Merge the two EVM memory introduction sections 2016-10-12 09:15:06 +01:00
Yoichi Hirai
32c3bd8e78 Change phrasing around too small index 2016-10-12 09:39:43 +02:00
Yoichi Hirai
d6394c46a1 Merge two similar sections; the original survives 2016-10-12 09:35:05 +02:00
Yoichi Hirai
03ef5bfd5e Various fixes based on comments on #1167 2016-10-12 09:35:05 +02:00
Yoichi Hirai
8f59ec791e English clarifications
mostly based on suggestions by @axic
2016-10-12 09:35:05 +02:00
Yoichi Hirai
618410de11 Adding "When Solidity Throws" section in the documentation 2016-10-12 09:35:05 +02:00
Alex Beregszaszi
48ac970677 Merge pull request #1169 from ethereum/inline-assembly-tags
Fix assignment after tags in inline assembly
2016-10-12 00:00:28 +01:00
chriseth
821fe6e916 Merge pull request #1181 from ethereum/formal_ignore_pragma
formal: ignore pragmas during Why3 code generation
2016-10-11 16:29:32 +02:00
chriseth
aa18a6bd2b Merge pull request #1193 from ethereum/pragma_keyword_check
Pragma keyword check
2016-10-11 15:02:07 +02:00
Alex Beregszaszi
3f70e4879f Add link to grammar.txt in the documentation 2016-10-11 13:46:14 +01:00
Alex Beregszaszi
f0524ed45a Document memory layout 2016-10-11 13:20:58 +01:00
Alex Beregszaszi
d0791fb365 Fix assignment after tags in inline assembly 2016-10-11 12:28:49 +01:00
Yoichi Hirai
ab1f4632aa Chack for non-version pragmas 2016-10-11 00:07:11 +02:00
Yoichi Hirai
092e5829d8 formal: ignore pragmas during Why3 code generation
Fixes #1177
2016-10-11 00:01:29 +02:00
Yoichi Hirai
7ae68e1e47 Fix pragma keyword check
Fixes #1192
2016-10-11 00:00:22 +02:00
Alex Beregszaszi
302affeb29 solc-bin publish script should let the update script decide which files changed 2016-10-10 22:54:37 +01:00
chriseth
d3f410d8a8 Merge pull request #1189 from NicolaiSoeborg/develop
Add HexLiteral to grammar, fixes #1186
2016-10-10 23:41:55 +02:00
Alex Beregszaszi
fa6c20e81c Merge pull request #1191 from ethereum/fixbuild
Fix build error.
2016-10-10 22:27:40 +01:00
Nicolai
e923a5e190 Fix: HexLiteral must be even number of nibbles
solc even allow 0 nibbles:
bytes a = hex"";
2016-10-10 23:08:44 +02:00
chriseth
c4f4d6b971 Fix build error. 2016-10-10 22:14:46 +02:00
chriseth
ff18c7404a Extend comment. 2016-10-10 22:04:11 +02:00
chriseth
0b1d449057 Merge pull request #1168 from ethereum/rename-dev-sha3
Rename dev::sha3 to dev::keccak256
2016-10-10 21:23:27 +02:00
Nicolai
f6195c0a46 Add HexLiteral to grammar, fixes #1186 2016-10-10 19:42:42 +02:00
chriseth
119bd4addc Merge pull request #1148 from ethereum/fixdeploy
Fix deploy script.
2016-10-10 14:29:31 +02:00
Yoichi Hirai
8572664ac2 Merge pull request #1156 from ethereum/inline-assembly-address
Support address in inline assembly
2016-10-07 11:28:16 +02:00
Yoichi Hirai
d855f645ee Merge pull request #1175 from ethereum/document-reserved-keywords
Document the reserved keywords
2016-10-07 10:39:15 +02:00
Alex Beregszaszi
70201e9273 Document the reserved keywords 2016-10-06 22:37:57 +01:00
Alex Beregszaszi
9f61ae924e Add test for address in inline assembly 2016-10-06 22:05:01 +01:00
Alex Beregszaszi
ae0477744c Support address in inline assembly 2016-10-06 22:05:01 +01:00