{"push_id":1288838978,"size":15,"distinct_size":8,"ref":"refs/heads/formal_type_of_address","head":"6b46530cc854a014ae2cca165d28c0566e7ccdc0","before":"4c41b81e967182932d6599e66f77cbf22ef44408","commits":[{"sha":"4f5a95d569408e6a0a94c54b1eb39ea62b873c5e","author":{"name":"chriseth","email":"a8191586920af588c2527ba6f1ac10c50d941eb7@ethdev.com"},"message":"Update documentation to version 0.4.0.","distinct":false,"url":"https://api.github.com/repos/pirapira/solidity/commits/4f5a95d569408e6a0a94c54b1eb39ea62b873c5e"},{"sha":"057db5984418f06282bba75875dc5cf5dbb30c4d","author":{"name":"chriseth","email":"a8191586920af588c2527ba6f1ac10c50d941eb7@ethdev.com"},"message":"Review suggestions.","distinct":false,"url":"https://api.github.com/repos/pirapira/solidity/commits/057db5984418f06282bba75875dc5cf5dbb30c4d"},{"sha":"8951affb62d3f3ead3f0b24f9026cac1042ab85e","author":{"name":"chriseth","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@ethereum.org"},"message":"Merge pull request #1024 from ethereum/docupdate\n\nUpdate documentation to version 0.4.0.","distinct":false,"url":"https://api.github.com/repos/pirapira/solidity/commits/8951affb62d3f3ead3f0b24f9026cac1042ab85e"},{"sha":"955a38cbfede7fa3b824e27ce8388b462fa0b4c7","author":{"name":"chriseth","email":"a8191586920af588c2527ba6f1ac10c50d941eb7@ethdev.com"},"message":"Final changelog entries.","distinct":false,"url":"https://api.github.com/repos/pirapira/solidity/commits/955a38cbfede7fa3b824e27ce8388b462fa0b4c7"},{"sha":"f5a513a0037603bbd686f912ced761e45da1335c","author":{"name":"chriseth","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@ethereum.org"},"message":"Merge pull request #1060 from ethereum/version040\n\nFinal changelog entries.","distinct":false,"url":"https://api.github.com/repos/pirapira/solidity/commits/f5a513a0037603bbd686f912ced761e45da1335c"},{"sha":"1ccc5f6f5b675bb6ff52476185b6d3ce2afe2056","author":{"name":"chriseth","email":"a8191586920af588c2527ba6f1ac10c50d941eb7@ethdev.com"},"message":"Set version to 0.4.0.","distinct":false,"url":"https://api.github.com/repos/pirapira/solidity/commits/1ccc5f6f5b675bb6ff52476185b6d3ce2afe2056"},{"sha":"acd334c9d289a7cc4674dde2534d8728450cedde","author":{"name":"chriseth","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@ethereum.org"},"message":"Merge pull request #1061 from ethereum/version\n\nSet version to 0.4.0.","distinct":false,"url":"https://api.github.com/repos/pirapira/solidity/commits/acd334c9d289a7cc4674dde2534d8728450cedde"},{"sha":"62b03095b8afb758ec3e79befcf8deac666d2a95","author":{"name":"Yoichi Hirai","email":"20c9ad801dcd325d64175857c60044bb4e617492@yoichihirai.com"},"message":"Add Address module in the WhyML prelude\n\nIn the `--formal` output, this commit adds a module called `Address`,\nwhich defines the address type as unsigned integer type bounded at\n2^160-1.","distinct":true,"url":"https://api.github.com/repos/pirapira/solidity/commits/62b03095b8afb758ec3e79befcf8deac666d2a95"},{"sha":"ddd7537837e0a1b4274e40de8001ad3591457d3e","author":{"name":"Yoichi Hirai","email":"20c9ad801dcd325d64175857c60044bb4e617492@yoichihirai.com"},"message":"Explicitly convert the assert condition using bool()\n\nThis allows a shared pointer as a condition because bool(std::shared_ptr<T>) is defined.","distinct":true,"url":"https://api.github.com/repos/pirapira/solidity/commits/ddd7537837e0a1b4274e40de8001ad3591457d3e"},{"sha":"d03d3487809914542babbaa06133f5dddd0167ff","author":{"name":"Yoichi Hirai","email":"20c9ad801dcd325d64175857c60044bb4e617492@yoichihirai.com"},"message":"Translate mapping types into Why3 arrays when keys are integers\n\nEven when the keys are signed the translation is supposed to work\nbecause Why3 arrays allow negative indices.","distinct":true,"url":"https://api.github.com/repos/pirapira/solidity/commits/d03d3487809914542babbaa06133f5dddd0167ff"},{"sha":"8dde5656723416623813981d16f08a2d40489649","author":{"name":"Yoichi Hirai","email":"20c9ad801dcd325d64175857c60044bb4e617492@yoichihirai.com"},"message":"toFormalType reports errors by an exception\n\nThis allows error reporting without passing `ASTNode` to `toFormalType()`","distinct":true,"url":"https://api.github.com/repos/pirapira/solidity/commits/8dde5656723416623813981d16f08a2d40489649"},{"sha":"4dc535db1a71d0c79a2c17425ac3f4bba2b3f979","author":{"name":"Yoichi Hirai","email":"20c9ad801dcd325d64175857c60044bb4e617492@yoichihirai.com"},"message":"Prepare for leaky exceptions\n\nNow toFormalType() reports errors by exceptions, they will be\nsometimes leaked to the wider context.  This commits adds a catch.","distinct":true,"url":"https://api.github.com/repos/pirapira/solidity/commits/4dc535db1a71d0c79a2c17425ac3f4bba2b3f979"},{"sha":"e273cec679cfd40e2236d7ca3019517ddc35bd64","author":{"name":"Yoichi Hirai","email":"20c9ad801dcd325d64175857c60044bb4e617492@yoichihirai.com"},"message":"Move the `invariant { ... }` clause to the `account` declaration\n\nBefore this commit, when an invariant is specified for a contract,\nthe invariant was copied to the declaration of `external_call` function\nthat models reentrancy.\n\nAfter this commit, the invariant specification moves to\n`type account` that keeps the whole state of the account,\nincluding the storage and the balance.\n\nThis commit fixes #1054 .","distinct":true,"url":"https://api.github.com/repos/pirapira/solidity/commits/e273cec679cfd40e2236d7ca3019517ddc35bd64"},{"sha":"8d8d32c86d080fbc52af3a7d13edd859573c98ec","author":{"name":"Yoichi Hirai","email":"20c9ad801dcd325d64175857c60044bb4e617492@yoichihirai.com"},"message":"Remove invariant clause from function definitions.\n\nWhyML (as of Why3 0.8.2) refuses invariants after function headers.\nThe previous commit has added the invariant to the `account` data type,\nso the invariant is automatically enforced even when each function does not\nmention it.","distinct":true,"url":"https://api.github.com/repos/pirapira/solidity/commits/8d8d32c86d080fbc52af3a7d13edd859573c98ec"},{"sha":"6b46530cc854a014ae2cca165d28c0566e7ccdc0","author":{"name":"Yoichi Hirai","email":"20c9ad801dcd325d64175857c60044bb4e617492@yoichihirai.com"},"message":"Extend `toFormalType()` function to deal with address types\n\nFixes #1062","distinct":true,"url":"https://api.github.com/repos/pirapira/solidity/commits/6b46530cc854a014ae2cca165d28c0566e7ccdc0"}]}
{"actor":{"display_login":"pirapira"}}