Commit Graph

5841 Commits

Author SHA1 Message Date
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
c641ca26ec Merge pull request #1009 from pirapira/separate_exceptions
Separate the try/catch blocks on JSON and formal methods output generation
2016-09-07 15:13:41 +02:00