Commit Graph

5963 Commits

Author SHA1 Message Date
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
chriseth
5e63e61a90 Merge pull request #1033 from ethereum/fix-using-notype
Include assert for selfType on bound functions to avoid crash
2016-09-07 15:07:41 +02:00
Yoichi Hirai
c9b23d9829 Fix a typo and whitespaces 2016-09-07 14:29:01 +02:00
chriseth
2e70f6bfd1 Merge pull request #1032 from ethereum/fix-std-owned
Fix owned std contract
2016-09-07 12:33:26 +02:00
chriseth
21570b15b6 Merge pull request #1031 from ethereum/changelog
Consistency changes in the Changelog
2016-09-07 12:21:46 +02:00
chriseth
057db59844 Review suggestions. 2016-09-07 12:20:35 +02:00
Bob Summerwill
24524d6230 Merge pull request #1035 from bobsummerwill/install_deps
Added missing "stop on error" to scripts/install.sh
2016-09-07 01:25:16 -07:00
Bob Summerwill
18906cce2b Added missing "stop on error" to scripts/install.sh. 2016-09-07 01:23:59 -07:00
Alex Beregszaszi
15cd479103 Fix owned std contract 2016-09-06 22:11:17 +01:00
Alex Beregszaszi
2d9c407456 Include assert for selfType on bound functions to avoid crash 2016-09-06 22:10:51 +01:00
Alex Beregszaszi
4e5fbef145 Consistency changes in the Changelog 2016-09-06 18:43:34 +01:00
chriseth
4f5a95d569 Update documentation to version 0.4.0. 2016-09-06 19:11:41 +02:00
chriseth
fbe0edb32c Merge pull request #1019 from ethereum/constructor-modifier
Enforce constructor visibility
2016-09-06 18:14:13 +02:00
Alex Beregszaszi
65c4e65cb3 Tests for constructor visibility 2016-09-06 17:53:13 +02:00
Alex Beregszaszi
7af8ecc27a Constructor must be internal or public 2016-09-06 17:53:13 +02:00
chriseth
e8cb4d2897 Merge pull request #1018 from ethereum/constructor-constant
Constructor constant
2016-09-06 17:52:17 +02:00
chriseth
347b6b4843 Update Changelog.md 2016-09-06 17:31:39 +02:00
Alex Beregszaszi
05ae5e4f5a Tests for constant constructors 2016-09-06 17:31:39 +02:00
Alex Beregszaszi
319ec34093 Reject constant constructors 2016-09-06 17:31:29 +02:00
chriseth
453490cb61 Merge pull request #1003 from winsvega/docs
add "pragma solidity ^0.4.0;" to code examples
2016-09-06 15:59:49 +02:00
chriseth
462fc84e53 Merge pull request #1016 from ethereum/reserved
Report the usage of reserved keywords more nicely
2016-09-06 15:52:44 +02:00
chriseth
3588125692 Merge pull request #1014 from ethereum/strict-fallback
Reject constant modifier on the fallback function
2016-09-06 15:51:45 +02:00
chriseth
fb73da30d8 Merge pull request #1011 from walter-weinmann/wwe_grammar
Changes related to issues #984, #989, #999, #1001 and #1004.
2016-09-06 15:43:06 +02:00
chriseth
5ade1bc20f Merge pull request #1008 from ethereum/stipendwithsend
Provide gas stipend manually for send(0).
2016-09-06 15:37:05 +02:00
chriseth
afca2acb77 Merge pull request #1012 from ethereum/reserved-keywords
Reserve view and pure as keywords
2016-09-06 13:35:52 +02:00
Alex Beregszaszi
a13c5b3157 Raise proper error on reserved keywords 2016-09-06 12:03:05 +01:00
Alex Beregszaszi
cfb6dfc35e Introduce isReservedKeyword() 2016-09-06 12:01:02 +01:00
chriseth
2f133b99be Merge pull request #1021 from ethereum/assembly-docs
Fix the return value of call in inline assembly
2016-09-06 12:55:59 +02:00
chriseth
5535f96e2c Merge pull request #1022 from ethereum/changelogpay
Add "payable" to changelog.
2016-09-06 12:55:02 +02:00