Commit Graph

6039 Commits

Author SHA1 Message Date
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
Yoichi Hirai
3f833c9ef4 Merge pull request #1164 from ethereum/keccak256-alias
Add alias keccak256() for sha3()
2016-10-06 18:32:59 +02:00
Yoichi Hirai
2bd80056ed Merge pull request #1165 from ethereum/solc-disallow-unknown
Disallow unknown options in solc
2016-10-06 18:27:00 +02:00
Alex Beregszaszi
111d33d7ac Rename sha3 to keccak256 in the documentation 2016-10-06 16:34:41 +02:00
Alex Beregszaszi
34df80c502 Add alias keccak256() for sha3() 2016-10-06 16:34:41 +02:00
Alex Beregszaszi
bab96ee1e0 Disallow unknown options in solc 2016-10-06 16:32:56 +02:00
Yoichi Hirai
e69173f910 Merge pull request #1158 from ethereum/inline-assembly-suicide
Support suicide in inline assembly
2016-10-06 16:31:17 +02:00
Alex Beregszaszi
f77a4585ec sha3: actually support both FIPS SHA3 and Keccak 2016-10-06 14:53:40 +01:00
Alex Beregszaszi
53cbece3a6 sha3: remove unused counter 2016-10-06 14:53:40 +01:00
Alex Beregszaszi
aefb6e5fcf Rename dev::sha3 to dev::keccak256 2016-10-06 14:53:40 +01:00
Alex Beregszaszi
c7508942fe Add test for suicide/selfdestruct 2016-10-06 12:44:33 +01:00
Alex Beregszaszi
6afdee5958 Support both suicide/selfdestruct in inline assembly 2016-10-06 12:44:33 +01:00
chriseth
c841eb0a9c Fix deploy script. 2016-10-04 23:10:30 +02:00
chriseth
f52634a339 Merge pull request #1147 from gitexperience/patch-1
A typo fix
2016-10-04 22:44:55 +02:00
chriseth
a2b29d0096 Merge pull request #1146 from ethereum/chriseth-patch-1
Disable macos for now.
2016-10-04 22:44:26 +02:00
Anubhav singh
205b5dd1e2 A typo fix 2016-10-05 00:36:13 +05:30
chriseth
ff22715e41 Disable macos for now. 2016-10-04 20:28:44 +02:00
chriseth
3a363ad62d Merge pull request #1136 from cathalgarvey/develop
Change std/Token to an abstract contract
2016-10-04 20:27:55 +02:00
chriseth
f8c548b91d Merge pull request #1139 from D-Nice/patch-1
Typo Fix
2016-10-04 20:27:06 +02:00
chriseth
c63b2452e5 Merge pull request #1109 from ethereum/fixmultipublish
Fix multiple binaries and publish from release branch
2016-10-04 12:00:40 +02:00
D-Nice
b4c2880bff Typo Fix
On line 126, though of changed to thought of.
2016-10-03 17:28:03 -04:00
Cathal Garvey
9d185ae20c Change std/Token to an abstract contract 2016-09-30 20:45:58 +01:00
chriseth
a8353b7028 Update publish_binary.sh 2016-09-30 18:27:18 +02:00
chriseth
d5cfb17b32 Merge pull request #1115 from ShrutiAppiah/develop
list formatting 2
2016-09-30 18:22:09 +02:00
chriseth
a5810e3793 Add script to extract test cases. 2016-09-30 13:10:17 +02:00
Shruti Appiah
1edcf61b9c list formatting 2016-09-23 12:27:23 -04:00
chriseth
0f08c1366b Use "develop" for debian version name. 2016-09-17 18:37:47 +02:00
chriseth
10c0953d0c Do not create prerelease build for release branch. 2016-09-17 18:37:42 +02:00
chriseth
07538346bd Also publish from release branch. 2016-09-17 18:24:31 +02:00
chriseth
82ba5c9615 Fix problem that caused multiple binaries per day. 2016-09-17 18:17:57 +02:00
chriseth
c06ba01136 Merge pull request #1108 from ethereum/bumpversion
Bump version in develop.
2016-09-17 18:15:31 +02:00
chriseth
0165814ec4 Bump version in develop. 2016-09-17 15:27:46 +02:00
chriseth
a78e779422 Merge pull request #1106 from ethereum/version042
Finished version 0.4.2
2016-09-17 15:04:55 +02:00
chriseth
1910e9585d Finished version 0.4.2 2016-09-17 15:04:16 +02:00
chriseth
212e016091 Merge pull request #1104 from ethereum/fixmemcosts
Fix memory resize costs during call
2016-09-17 12:30:41 +02:00