Alex Beregszaszi
bc537c7581
Properly define trap_instruction
2016-10-15 15:46:50 +01:00
chriseth
2d9109ba45
Merge pull request #1196 from ethereum/solc-bin-publish-update
...
solc-bin publish script should let the update script decide which files changed
2016-10-14 11:57:32 +02:00
chriseth
1f0f600878
Merge pull request #1217 from ethereum/instruction_table
...
Small points on the instruction table
2016-10-14 11:55:19 +02:00
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