{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":40892817,"defaultBranch":"develop","name":"solidity","ownerLogin":"ethereum","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-08-17T12:27:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6250754?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714667154.0","currentOid":""},"activityList":{"items":[{"before":"b901affcc67a2fbafab87366ed6f9815ed96202e","after":"ae79d13a083edcefa2b22e8d4267edcfc5da10f4","ref":"refs/heads/develop","pushedAt":"2024-05-02T17:25:44.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"Merge pull request #15064 from PatrickAlphaC/patch-2\n\nCorrect minor inconsistency in cheatsheet.rst","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2267113111\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ethereum/solidity/issues/15064\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ethereum/solidity/pull/15064/hovercard\" href=\"https://github.com/ethereum/solidity/pull/15064\">#15064</a> from PatrickAlphaC/patch-2"}},{"before":"007205a27493e11e3a49943f51f0bc3b30e43a2a","after":null,"ref":"refs/heads/instructions-order","pushedAt":"2024-05-02T16:25:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"r0qs","name":"r0qs","path":"/r0qs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/457348?s=80&v=4"}},{"before":"5afa25ea0db4caf973379d7d08dd63b27ce986ea","after":"b901affcc67a2fbafab87366ed6f9815ed96202e","ref":"refs/heads/develop","pushedAt":"2024-05-02T16:25:53.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"r0qs","name":"r0qs","path":"/r0qs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/457348?s=80&v=4"},"commit":{"message":"Merge pull request #15069 from ethereum/instructions-order\n\nOrder `Instructions.h` by opcodes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2270811662\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ethereum/solidity/issues/15069\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ethereum/solidity/pull/15069/hovercard\" href=\"https://github.com/ethereum/solidity/pull/15069\">#15069</a> from ethereum/instructions-order"}},{"before":"9064a1610cb4c874f35dfded4975d223296b3623","after":"f00b00e0a0887c4184d1ddf58dfb00895434807a","ref":"refs/heads/transientStorageParserHack","pushedAt":"2024-05-01T16:46:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"fixup! more tests","shortMessageHtmlLink":"fixup! more tests"}},{"before":"29e04e22a22462b7ba17aae240088693fb86452e","after":"9064a1610cb4c874f35dfded4975d223296b3623","ref":"refs/heads/transientStorageParserHack","pushedAt":"2024-05-01T01:18:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"fixup! more tests","shortMessageHtmlLink":"fixup! more tests"}},{"before":"024ecfb73851d74ad6ff465717c402aef6d3db91","after":"05ac8c33ba3c4c95d3b9d9384afaf48701be6ae0","ref":"refs/heads/smt-fix-bytearray-equality","pushedAt":"2024-04-30T21:31:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"SMTChecker: Fix equality of array literals\n\nThere are two kinds of array literals in Solidity: string literals\n(arrays of characters/bytes) and proper array literals (e.g., [1,2,3]).\nWhile array literals cannot be directly tested for equality in Solidity,\nit is possible to compute hash of these values and compare hashes.\nThe expectation is that hashes of the same array literals would be the\nsame, but previously SMTChecker returned false positive in this case,\nsaying that they don't have to be equal.\n\nThe reason for the false positive was the following.\nWe represent Solidity array literal as a tuple `(elements, length)` where\n`length` is an integer representing the actualy length of the array\nliteral, and `elements` are an SMT-LIB array, where the first `length`\nelements represent the actual content of the array literal.\nHowever, SMT-LIB arrays are infinite objects (more like functions from\nindices to elements). Previously, we left the part after `length`-th\nelement unspecified. For the solver this meant that two array literals\nequal at the Solidity level were represented with two different SMT-LIB\narrays.\n\nThe proposed solution is to always start from a constant-zero array, and\nuse store operations to build an SMT-LIB array that matches the Solidity\narray literal.","shortMessageHtmlLink":"SMTChecker: Fix equality of array literals"}},{"before":"b3f997512f85608eb6111c8f5f4f017942043dff","after":"29e04e22a22462b7ba17aae240088693fb86452e","ref":"refs/heads/transientStorageParserHack","pushedAt":"2024-04-30T21:10:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"fixup! more tests","shortMessageHtmlLink":"fixup! more tests"}},{"before":"048ce0b19dc488ad10ac3eb1419f29edfb5e153b","after":null,"ref":"refs/heads/smt-eld-invariants","pushedAt":"2024-04-30T14:31:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"}},{"before":"d74b8af761de5e8c60795723289097918cb905a5","after":"5afa25ea0db4caf973379d7d08dd63b27ce986ea","ref":"refs/heads/develop","pushedAt":"2024-04-30T14:31:48.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"Merge pull request #15032 from ethereum/smt-eld-invariants\n\nSMTChecker: Parse invariants from SMT-LIB response","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2245940408\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ethereum/solidity/issues/15032\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ethereum/solidity/pull/15032/hovercard\" href=\"https://github.com/ethereum/solidity/pull/15032\">#15032</a> from ethereum/smt-eld-invariants"}},{"before":"e92ce8430bec52203daedc99eca582d7bb72d925","after":null,"ref":"refs/heads/test-nightly","pushedAt":"2024-04-30T14:21:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"r0qs","name":"r0qs","path":"/r0qs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/457348?s=80&v=4"}},{"before":"271bb4f2c5cd2dd15084d82b6d44f39279d55dfc","after":"048ce0b19dc488ad10ac3eb1419f29edfb5e153b","ref":"refs/heads/smt-eld-invariants","pushedAt":"2024-04-30T13:27:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"blishko","name":"Martin Blicha","path":"/blishko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16404346?s=80&v=4"},"commit":{"message":"SMTChecker: Add command-line test for invariants from Eldarica","shortMessageHtmlLink":"SMTChecker: Add command-line test for invariants from Eldarica"}},{"before":"d698e56486bae777e7a63963d48f9af0482f837f","after":"4fdf172af8f3a56f2d25d538cdb0eea6d7b43f3c","ref":"refs/heads/smallRevertOptimization","pushedAt":"2024-04-30T11:37:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nikola-matic","name":"Nikola Matić","path":"/nikola-matic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4415530?s=80&v=4"},"commit":{"message":"Workaround for StringLiteralType","shortMessageHtmlLink":"Workaround for StringLiteralType"}},{"before":null,"after":"007205a27493e11e3a49943f51f0bc3b30e43a2a","ref":"refs/heads/instructions-order","pushedAt":"2024-04-30T08:14:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"axic","name":"Alex Beregszaszi","path":"/axic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20340?s=80&v=4"},"commit":{"message":"Order `Instructions.h` by opcodes\n\nTLOAD/TSTORE was out of order","shortMessageHtmlLink":"Order <code>Instructions.h</code> by opcodes"}},{"before":"0ab7dbcfe6cf444606c0117a71b73020c4ea5719","after":"cb2b661fc26502fe3a2463dcd31e6f421433ed2b","ref":"refs/heads/replace-jsoncpp-with-nlohmann-json","pushedAt":"2024-04-29T20:22:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"aarlt","name":"Alexander Arlt","path":"/aarlt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5008794?s=80&v=4"},"commit":{"message":"iiiiiiiiii","shortMessageHtmlLink":"iiiiiiiiii"}},{"before":"3794bc1825d51f5927b3d99305f3ea97232ec55b","after":null,"ref":"refs/heads/replace-yarn-by-pnpm-hardhat","pushedAt":"2024-04-29T17:26:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nikola-matic","name":"Nikola Matić","path":"/nikola-matic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4415530?s=80&v=4"}},{"before":"2c3fc909c5bf482037b1f12db0705fb251fbcc4d","after":"d74b8af761de5e8c60795723289097918cb905a5","ref":"refs/heads/develop","pushedAt":"2024-04-29T17:26:41.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"nikola-matic","name":"Nikola Matić","path":"/nikola-matic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4415530?s=80&v=4"},"commit":{"message":"Merge pull request #15067 from ethereum/replace-yarn-by-pnpm-hardhat\n\nReplace yarn by pnpm and drop perpetual-pools external test","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2269406987\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ethereum/solidity/issues/15067\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ethereum/solidity/pull/15067/hovercard\" href=\"https://github.com/ethereum/solidity/pull/15067\">#15067</a> from ethereum/replace-yarn-by-pnpm-hardhat"}},{"before":"ccbc7cc193ead2da7f326289a9ad23ebb43b06ec","after":"3794bc1825d51f5927b3d99305f3ea97232ec55b","ref":"refs/heads/replace-yarn-by-pnpm-hardhat","pushedAt":"2024-04-29T15:51:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"r0qs","name":"r0qs","path":"/r0qs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/457348?s=80&v=4"},"commit":{"message":"Remove perpetual-pools external test","shortMessageHtmlLink":"Remove perpetual-pools external test"}},{"before":null,"after":"ccbc7cc193ead2da7f326289a9ad23ebb43b06ec","ref":"refs/heads/replace-yarn-by-pnpm-hardhat","pushedAt":"2024-04-29T15:12:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"r0qs","name":"r0qs","path":"/r0qs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/457348?s=80&v=4"},"commit":{"message":"Replace yarn with pnpm in the external tests since yarn seems to be unable to resolve Hardhat dependencies","shortMessageHtmlLink":"Replace yarn with pnpm in the external tests since yarn seems to be u…"}},{"before":"9e35ed69838bfb462d888d4e36f6828dca3370ca","after":"b3f997512f85608eb6111c8f5f4f017942043dff","ref":"refs/heads/transientStorageParserHack","pushedAt":"2024-04-29T13:23:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"fixup! test expectations","shortMessageHtmlLink":"fixup! test expectations"}},{"before":"a36cd9cb3199b91a5f9124e23fc6f7334e1c9b60","after":"d698e56486bae777e7a63963d48f9af0482f837f","ref":"refs/heads/smallRevertOptimization","pushedAt":"2024-04-29T12:55:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nikola-matic","name":"Nikola Matić","path":"/nikola-matic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4415530?s=80&v=4"},"commit":{"message":"fixup! Do not allocate memory on reverts with small errors.","shortMessageHtmlLink":"fixup! Do not allocate memory on reverts with small errors."}},{"before":"bc4ee3b31442005b663f6ba1ae4679c33cfd5bbb","after":"a36cd9cb3199b91a5f9124e23fc6f7334e1c9b60","ref":"refs/heads/smallRevertOptimization","pushedAt":"2024-04-29T12:22:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nikola-matic","name":"Nikola Matić","path":"/nikola-matic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4415530?s=80&v=4"},"commit":{"message":"Do not allocate memory on reverts with small errors.","shortMessageHtmlLink":"Do not allocate memory on reverts with small errors."}},{"before":"b80e79852b8b25c46456b2e585afd8cd6c512a67","after":"9e35ed69838bfb462d888d4e36f6828dca3370ca","ref":"refs/heads/transientStorageParserHack","pushedAt":"2024-04-29T05:49:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":" fixup! Refactor parser","shortMessageHtmlLink":" fixup! Refactor parser"}},{"before":"cd9c124bfd861b50f4e9ab2b4bdf9a945633ae13","after":"9747d70aeaf1a46e86a1169d16e40945d1098efa","ref":"refs/heads/optimizer-docs-add-missing-dependencies-and-info","pushedAt":"2024-04-27T20:02:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"Optimizer docs: Add missing info about steps that destroy the SSA and expression-split forms","shortMessageHtmlLink":"Optimizer docs: Add missing info about steps that destroy the SSA and…"}},{"before":"125225c9b1b110ba5b43644b48f5ec887415ea2f","after":"6702af25f2b359f4363f3ba0d005fd825e3938a1","ref":"refs/heads/optimizer-docs-style-cleanup","pushedAt":"2024-04-27T19:54:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"Optimizer docs: Style corrections\n\n- Add missing backticks.\n- Use consistent style for step naming (capitalized, without spaces, without backticks).\n- Correct minor text errors like missing plurals.","shortMessageHtmlLink":"Optimizer docs: Style corrections"}},{"before":"a7498de059d582e05df649ed7289e65393445a8e","after":"cd9c124bfd861b50f4e9ab2b4bdf9a945633ae13","ref":"refs/heads/optimizer-docs-add-missing-dependencies-and-info","pushedAt":"2024-04-27T19:54:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"Optimizer docs: Add missing info about steps that destroy the SSA and expression-split forms","shortMessageHtmlLink":"Optimizer docs: Add missing info about steps that destroy the SSA and…"}},{"before":"af0af5cdbc9cdfc7f158d3145e8fa0f23195eaa1","after":"125225c9b1b110ba5b43644b48f5ec887415ea2f","ref":"refs/heads/optimizer-docs-style-cleanup","pushedAt":"2024-04-27T12:06:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"Optimizer docs: Style corrections\n\n- Add missing backticks.\n- Use consistent style for step naming (capitalized, without spaces, without backticks).\n- Correct minor text errors like missing plurals.","shortMessageHtmlLink":"Optimizer docs: Style corrections"}},{"before":"4e88b330a68c975393f4ed4b55a03556a46d7d9d","after":"a7498de059d582e05df649ed7289e65393445a8e","ref":"refs/heads/optimizer-docs-add-missing-dependencies-and-info","pushedAt":"2024-04-27T12:06:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cameel","name":"Kamil Śliwak","path":"/cameel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137030?s=80&v=4"},"commit":{"message":"cheatsheet: List optimizer step dependencies","shortMessageHtmlLink":"cheatsheet: List optimizer step dependencies"}},{"before":"12921dd94e2f533cb41a19e152c6322cd3ca8d03","after":"b80e79852b8b25c46456b2e585afd8cd6c512a67","ref":"refs/heads/transientStorageParserHack","pushedAt":"2024-04-26T20:06:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"Update libsolidity/ast/AST.cpp","shortMessageHtmlLink":"Update libsolidity/ast/AST.cpp"}},{"before":"0d6748341308d424b35775027ba4342438e3db7c","after":"12921dd94e2f533cb41a19e152c6322cd3ca8d03","ref":"refs/heads/transientStorageParserHack","pushedAt":"2024-04-26T20:05:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"Apply suggestions from code review","shortMessageHtmlLink":"Apply suggestions from code review"}},{"before":"57662f3b53c4621f4138ee76d608f2209ede911b","after":"0d6748341308d424b35775027ba4342438e3db7c","ref":"refs/heads/transientStorageParserHack","pushedAt":"2024-04-26T20:00:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"matheusaaguiar","name":null,"path":"/matheusaaguiar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95899911?s=80&v=4"},"commit":{"message":"fixup! tests","shortMessageHtmlLink":"fixup! tests"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQA2_fwA","startCursor":null,"endCursor":null}},"title":"Activity · ethereum/solidity"}