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
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
chriseth
ec5aa44490
Merge pull request #1068 from ethereum/modfix
...
Suffix the "mod" version modifier using a dot.
2016-09-09 11:03:01 +02:00
chriseth
4bc0a2d00c
Suffix the "mod" version modifier using a dot.
2016-09-09 10:37:12 +02:00
chriseth
8ca31cebec
Store emscripten binaries usig new naming scheme.
2016-09-09 10:32:49 +02:00
chriseth
fb86d90e08
Merge pull request #1070 from ethereum/devversion
...
Fix problems with version strings.
2016-09-09 10:30:29 +02:00
chriseth
6a55405160
Fix problem with release version string.
2016-09-08 17:56:28 +02:00
chriseth
c1b39b8538
Fix version pragma in tests.
2016-09-08 17:27:14 +02:00
chriseth
8a057e3f85
Merge pull request #1067 from ethereum/bumpversion
...
Bump version.
2016-09-08 17:25:21 +02:00
