cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
5,859 Commits 348 Branches 121 Tags
f52634a3391e75a00985c5d3cae9c1b9bb00952f
Commit Graph
5859 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
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
chriseth 51a98ab84a Merge pull request #1074 from ethereum/noleadingzeros 
Remove leading zeroes in prerelease components.
 2016-09-09 18:01:08 +02:00
chriseth 6c757ce4b8 Style. 2016-09-09 17:43:36 +02:00
chriseth 2c4e9ece07 Merge pull request #1047 from pirapira/address-in-prelude 
formal verification: Add Address module in the WhyML prelude
 2016-09-09 17:34:52 +02:00
chriseth 8040656d08 Version bump 2016-09-09 17:24:02 +02:00
Alex Beregszaszi fb856c3f8d Document versioning behaviour 2016-09-09 16:07:57 +01:00
chriseth 29ecc6fe31 Remove leading zeroes in prerelease components. 2016-09-09 14:23:33 +02:00
chriseth 79867f49b2 Merge pull request #1069 from ethereum/emscriptenbinaries 
Store emscripten binaries usig new naming scheme.
 2016-09-09 11:06:55 +02:00