Commit Graph

6216 Commits

Author SHA1 Message Date
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
chriseth
60f432e869 Merge pull request #1102 from ethereum/fixlibraryvalue
Allow value transfer to library functions.
2016-09-17 12:20:26 +02:00
chriseth
a4f6e5b16c Changelog entry. 2016-09-17 11:30:13 +02:00
chriseth
5a45990458 Access output memory area so that we do not pay for resize during call. 2016-09-17 11:29:54 +02:00
chriseth
dd2f878e59 Test case. 2016-09-17 11:29:54 +02:00
chriseth
727c6fac85 Allow value transfer to library functions. 2016-09-17 11:29:27 +02:00
chriseth
0bc8476aea Merge pull request #1101 from ethereum/fixcrash
Fix crash for TypeName[k].
2016-09-17 11:28:44 +02:00
chriseth
62f13ad8bf Merge pull request #1097 from ethereum/forceeight
Force commit hash to 8 digits.
2016-09-17 11:28:26 +02:00
chriseth
031fd568cc Fix crash for TypeName[k]. 2016-09-15 18:16:34 +02:00
chriseth
3b6e131d85 Fix hex check. 2016-09-15 17:34:12 +02:00
chriseth
6a80511ffb Merge pull request #1072 from ethereum/versioning
Document versioning behaviour
2016-09-15 15:13:09 +02:00
chriseth
8a4f8c236c Merge pull request #1085 from LefterisJP/centos_install
Add Centos to install_deps.sh
2016-09-15 15:10:59 +02:00
chriseth
af86bfb07d Force commit hash to 8 digits. 2016-09-15 01:47:37 +02:00
Lefteris Karapetsas
9280954e72 Add warning for CentOS dependencies 2016-09-14 22:29:11 +02:00
Alex Beregszaszi
3cd760446e Split versioning into two sections 2016-09-14 00:41:34 +01:00
chriseth
2bee7e9171 Merge pull request #1078 from nicksavers/patch-1
Update Solidity docs version to 0.4.1
2016-09-13 13:44:14 +02:00
chriseth
149dba9ba2 Merge pull request #1045 from pirapira/formal_type_of_mapping
formal verification: Why3 translation of mapping types
2016-09-12 13:41:38 +02:00
Lefteris Karapetsas
b720e7b03d Add Centos to install_deps.sh
Added steps to otain solidity dependencies in CentOS. Tested those steps
on a CentOS 6.8 machine, but the instructions are from memory. May need
some tweaking.
2016-09-12 11:15:49 +02:00
VoR0220
cbd933ceed
Solidity helper function for testing fixed points
Signed-off-by: VoR0220 <rj@erisindustries.com>
2016-09-09 21:03:23 -05:00
Nick Savers
ba7199720d Update Solidity docs version to 0.4.1 2016-09-09 21:36:59 +02:00
Yoichi Hirai
4337e70cca Prepare for leaky exceptions
Now toFormalType() reports errors by exceptions, they will be
sometimes leaked to the wider context.  This commits adds a catch.
2016-09-09 20:15:13 +02:00
Yoichi Hirai
ac7c6ae7d2 toFormalType reports errors by an exception
This allows error reporting without passing `ASTNode` to `toFormalType()`
2016-09-09 20:15:08 +02:00
Yoichi Hirai
c861cf579d Translate mapping types into Why3 arrays when keys are integers
Even when the keys are signed the translation is supposed to work
because Why3 arrays allow negative indices.
2016-09-09 19:11:15 +02:00
Yoichi Hirai
00e8b059ea Explicitly convert the assert condition using bool()
This allows a shared pointer as a condition because bool(std::shared_ptr<T>) is defined.
2016-09-09 19:11:15 +02:00