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,817 Commits 348 Branches 121 Tags
5fb0bcce4532e9dec8a5aa0ef056d5a1c12405a2
Commit Graph
5817 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth 5fb0bcce45 Replace fixed by standard encode function. 
This way, we can use
```
BOOST_CHECK(callContractFunction("t(fixed8x128)", make_pair(rational(2, 3), 128)) == encodeArgs(u256(9)));
```
which is a bit more self-explanatory, I would say.
 2016-10-12 17:28:47 +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
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
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.
v0.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