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
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
chriseth
63ab8f835f
Bump version.
2016-09-08 17:18:22 +02:00
chriseth
acd334c9d2
Merge pull request #1061 from ethereum/version
...
Set version to 0.4.0.
2016-09-08 14:38:10 +02:00
chriseth
1ccc5f6f5b
Set version to 0.4.0.
2016-09-08 14:36:31 +02:00
chriseth
f5a513a003
Merge pull request #1060 from ethereum/version040
...
Final changelog entries.
2016-09-08 13:59:48 +02:00
chriseth
955a38cbfe
Final changelog entries.
2016-09-08 13:55:53 +02:00
chriseth
8951affb62
Merge pull request #1024 from ethereum/docupdate
...
Update documentation to version 0.4.0.
2016-09-08 01:56:27 +02:00
Yoichi Hirai
a98edb22e5
Add Address module in the WhyML prelude
...
In the `--formal` output, this commit adds a module called `Address`,
which defines the address type as unsigned integer type bounded at
2^160-1.
2016-09-07 20:39:23 +02:00
chriseth
ce11580988
Merge pull request #1041 from pirapira/typo_and_whitespace
...
Fix a typo and a whitespace inconsistency
2016-09-07 20:05:30 +02:00
chriseth
f4172d342a
Merge pull request #1044 from pirapira/todo_item_to_issue
...
Append an issue id #1043 to a @todo comment about it
2016-09-07 18:23:22 +02:00
Yoichi Hirai
0a8f0fb051
Append an issue id #1043 to a @todo comment about it
2016-09-07 15:21:02 +02:00
chriseth
chriseth
Lefteris Karapetsas
Alex Beregszaszi
Nick Savers
Yoichi Hirai