{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":545531678,"defaultBranch":"main","name":"kakarot","ownerLogin":"kkrt-labs","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-04T14:33:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/115784313?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1722508269.0","currentOid":""},"activityList":{"items":[{"before":"36998e3148b6424b8f918c808204ca89197060aa","after":"ce568f208c38fafa7d3f6303a5c1646ebb72a28b","ref":"refs/heads/main","pushedAt":"2024-08-01T15:28:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"feat: add code hash to storage account (#1309)\n\n<!--- Please provide a general summary of your changes in the title\r\nabove -->\r\n\r\n<!-- Give an estimate of the time you spent on this PR in terms of work\r\ndays.\r\nDid you spend 0.5 days on this PR or rather 2 days?  -->\r\n\r\nTime spent on this PR:\r\n\r\n## Pull request type\r\n\r\n<!-- Please try to limit your pull request to one type,\r\nsubmit multiple pull requests if needed. -->\r\n\r\nPlease check the type of change your PR introduces:\r\n\r\n- [ ] Bugfix\r\n- [x] Feature\r\n- [ ] Code style update (formatting, renaming)\r\n- [ ] Refactoring (no functional changes, no api changes)\r\n- [ ] Build related changes\r\n- [ ] Documentation content changes\r\n- [ ] Other (please describe):\r\n\r\n## What is the current behavior?\r\n\r\n<!-- Please describe the current behavior that you are modifying,\r\nor link to a relevant issue. -->\r\n\r\nResolves #1267\r\n\r\n## What is the new behavior?\r\n\r\n- code hash is added to model.Account\r\n- it is computed only once when creating a contract account\r\n\r\n<!-- Reviewable:start -->\r\n- - -\r\nThis change is [<img src=\"https://reviewable.io/review_button.svg\"\r\nheight=\"34\" align=\"absmiddle\"\r\nalt=\"Reviewable\"/>](https://reviewable.io/reviews/kkrt-labs/kakarot/1309)\r\n<!-- Reviewable:end -->\r\n\r\n---------\r\n\r\nCo-authored-by: Mathieu <60658558+enitrat@users.noreply.github.com>","shortMessageHtmlLink":"feat: add code hash to storage account (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2430198214\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kkrt-labs/kakarot/issues/1309\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kkrt-labs/kakarot/pull/1309/hovercard\" href=\"https://github.com/kkrt-labs/kakarot/pull/1309\">#1309</a>)"}},{"before":"7f81e0f26a1d38b26579f8e67d9198b2864cfbfd","after":"2a260dbbbbde5d0cc53377fa497efcb11d537653","ref":"refs/heads/feat/nightly-release","pushedAt":"2024-08-01T14:11:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"dont make latest","shortMessageHtmlLink":"dont make latest"}},{"before":"a41fe3b3e2f4d77a81028777e37813775b824e55","after":"36998e3148b6424b8f918c808204ca89197060aa","ref":"refs/heads/main","pushedAt":"2024-08-01T13:50:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":" refactor: remove dead code in test_should_return_evm_address_in_bytes32 (#1320)\n\n## Pull request type\r\n\r\nPlease check the type of change your PR introduces:\r\n\r\n- [ ] Bugfix\r\n- [ ] Feature\r\n- [ ] Code style update (formatting, renaming)\r\n- [x] Refactoring (no functional changes, no api changes)\r\n- [ ] Build related changes\r\n- [ ] Documentation content changes\r\n- [ ] Other (please describe):\r\n\r\n## What is the current behavior?\r\n\r\nResolves #1308 \r\n\r\n## What is the new behavior?\r\n\r\n-\r\n-\r\n-\r\n\r\n<!-- Reviewable:start -->\r\n- - -\r\nThis change is [<img src=\"https://reviewable.io/review_button.svg\"\r\nheight=\"34\" align=\"absmiddle\"\r\nalt=\"Reviewable\"/>](https://reviewable.io/reviews/kkrt-labs/kakarot/1320)\r\n<!-- Reviewable:end -->","shortMessageHtmlLink":" refactor: remove dead code in test_should_return_evm_address_in_byte…"}},{"before":"ae2f4205b2f1405fa5670a1c0dab5e2465105099","after":"7f81e0f26a1d38b26579f8e67d9198b2864cfbfd","ref":"refs/heads/feat/nightly-release","pushedAt":"2024-08-01T13:49:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"add pre-release workflow","shortMessageHtmlLink":"add pre-release workflow"}},{"before":"7c258fd0e8df37ac2daee5e464911dd63ac3171e","after":"e59675d526c6fce055b3042d67f8d49b2885ec3d","ref":"refs/heads/felt-bytes-to-little-underconstrained-fix","pushedAt":"2024-08-01T10:45:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"obatirou","name":"Oba","path":"/obatirou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92337658?s=80&v=4"},"commit":{"message":"fix: revoked reference","shortMessageHtmlLink":"fix: revoked reference"}},{"before":null,"after":"7c258fd0e8df37ac2daee5e464911dd63ac3171e","ref":"refs/heads/felt-bytes-to-little-underconstrained-fix","pushedAt":"2024-08-01T10:31:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"obatirou","name":"Oba","path":"/obatirou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92337658?s=80&v=4"},"commit":{"message":"dev: fix test range value hypothesis","shortMessageHtmlLink":"dev: fix test range value hypothesis"}},{"before":"fabf455df85657b52a463dd7606d85f5011c1b53","after":"0cf4174a3a2a7efee6a671334fef4a38636683be","ref":"refs/heads/temp-oba2","pushedAt":"2024-08-01T10:09:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"obatirou","name":"Oba","path":"/obatirou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92337658?s=80&v=4"},"commit":{"message":"dev: add tests felt_to_bytes_little","shortMessageHtmlLink":"dev: add tests felt_to_bytes_little"}},{"before":"cf14b1973b3b055a8471ab1672eb0098783655a2","after":"fabf455df85657b52a463dd7606d85f5011c1b53","ref":"refs/heads/temp-oba2","pushedAt":"2024-08-01T09:37:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"dev: constrain felt_to_bytes_little","shortMessageHtmlLink":"dev: constrain felt_to_bytes_little"}},{"before":null,"after":"cf14b1973b3b055a8471ab1672eb0098783655a2","ref":"refs/heads/temp-oba2","pushedAt":"2024-08-01T08:28:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"dev: constrain felt_to_bytes_little","shortMessageHtmlLink":"dev: constrain felt_to_bytes_little"}},{"before":null,"after":"87965512cbc3f4cc3dc42c11c3a34c4a899e40b3","ref":"refs/heads/audit/split_int_soundness","pushedAt":"2024-07-31T20:00:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"audit: unsound split_int","shortMessageHtmlLink":"audit: unsound split_int"}},{"before":null,"after":"ae2f4205b2f1405fa5670a1c0dab5e2465105099","ref":"refs/heads/feat/nightly-release","pushedAt":"2024-07-31T10:17:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"feat: nightly release flow","shortMessageHtmlLink":"feat: nightly release flow"}},{"before":"0a7e01f3e2d49423cb4a01f627e14ca45ceb77da","after":"be3939a4cdeae34bfb3b36511a6bf9ea5fa62888","ref":"refs/heads/feat/storage-root","pushedAt":"2024-07-29T16:42:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"wip: trie root","shortMessageHtmlLink":"wip: trie root"}},{"before":"4eda30350f793c93b57b22bbe8ed0f0f3b3f2bdb","after":"0a7e01f3e2d49423cb4a01f627e14ca45ceb77da","ref":"refs/heads/feat/storage-root","pushedAt":"2024-07-26T15:17:00.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"feat: compute storage root on par with exec-specs","shortMessageHtmlLink":"feat: compute storage root on par with exec-specs"}},{"before":"80a8a4357edb759cc34d417b8a975606623bcf78","after":null,"ref":"refs/heads/tests/univ3","pushedAt":"2024-07-25T20:41:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"}},{"before":"e3469f87a8ef28f074f789e974e93262f3891e10","after":"a41fe3b3e2f4d77a81028777e37813775b824e55","ref":"refs/heads/main","pushedAt":"2024-07-25T20:41:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"tests: add univ3 svg generation test (#1292)\n\n<!--- Please provide a general summary of your changes in the title\r\nabove -->\r\n\r\n<!-- Give an estimate of the time you spent on this PR in terms of work\r\ndays.\r\nDid you spend 0.5 days on this PR or rather 2 days?  -->\r\n\r\nTime spent on this PR: 1d\r\n\r\nAdds Mock UniswapV3 contracts that allow querying a dynamically\r\ngenerated on-chain SVG representing a position.\r\nThe values are mocked, and due to some issues, the base64 encoding of\r\nthe image crashes with a stack underflow error (tbd).\r\n\r\nHowever, the encoding of the rest takes ~27M steps\r\n\r\nAlso added a way to do library linking in the python kakarot scripts \r\n\r\n## Pull request type\r\n\r\n<!-- Please try to limit your pull request to one type,\r\nsubmit multiple pull requests if needed. -->\r\n\r\nPlease check the type of change your PR introduces:\r\n\r\n- [ ] Bugfix\r\n- [ ] Feature\r\n- [ ] Code style update (formatting, renaming)\r\n- [ ] Refactoring (no functional changes, no api changes)\r\n- [ ] Build related changes\r\n- [ ] Documentation content changes\r\n- [ ] Other (please describe):\r\n\r\n## What is the current behavior?\r\n\r\n<!-- Please describe the current behavior that you are modifying,\r\nor link to a relevant issue. -->\r\n\r\nResolves #<Issue number>\r\n\r\n## What is the new behavior?\r\n\r\n<!-- Please describe the behavior or changes that are being added by\r\nthis PR. -->\r\n\r\n-\r\n-\r\n-\r\n\r\n<!-- Reviewable:start -->\r\n- - -\r\nThis change is [<img src=\"https://reviewable.io/review_button.svg\"\r\nheight=\"34\" align=\"absmiddle\"\r\nalt=\"Reviewable\"/>](https://reviewable.io/reviews/kkrt-labs/kakarot/1292)\r\n<!-- Reviewable:end -->","shortMessageHtmlLink":"tests: add univ3 svg generation test (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2419284127\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kkrt-labs/kakarot/issues/1292\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kkrt-labs/kakarot/pull/1292/hovercard\" href=\"https://github.com/kkrt-labs/kakarot/pull/1292\">#1292</a>)"}},{"before":"4727e0f41ea15544ed40061be9d9ea954db3e233","after":null,"ref":"refs/heads/dev/update-ci","pushedAt":"2024-07-25T15:51:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"}},{"before":"cdc6320d54dd3044f61500eeef590edb1827d183","after":"e3469f87a8ef28f074f789e974e93262f3891e10","ref":"refs/heads/main","pushedAt":"2024-07-25T15:51:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"ci: point ef-test to main (#1310)\n\n<!--- Please provide a general summary of your changes in the title\r\nabove -->\r\n\r\n<!-- Give an estimate of the time you spent on this PR in terms of work\r\ndays.\r\nDid you spend 0.5 days on this PR or rather 2 days?  -->\r\n\r\nTime spent on this PR:\r\n\r\n## Pull request type\r\n\r\n<!-- Please try to limit your pull request to one type,\r\nsubmit multiple pull requests if needed. -->\r\n\r\nPlease check the type of change your PR introduces:\r\n\r\n- [ ] Bugfix\r\n- [ ] Feature\r\n- [ ] Code style update (formatting, renaming)\r\n- [ ] Refactoring (no functional changes, no api changes)\r\n- [ ] Build related changes\r\n- [ ] Documentation content changes\r\n- [ ] Other (please describe):\r\n\r\n## What is the current behavior?\r\n\r\n<!-- Please describe the current behavior that you are modifying,\r\nor link to a relevant issue. -->\r\n\r\nResolves #<Issue number>\r\n\r\n## What is the new behavior?\r\n\r\n<!-- Please describe the behavior or changes that are being added by\r\nthis PR. -->\r\n\r\n-\r\n-\r\n-\r\n\r\n<!-- Reviewable:start -->\r\n- - -\r\nThis change is [<img src=\"https://reviewable.io/review_button.svg\"\r\nheight=\"34\" align=\"absmiddle\"\r\nalt=\"Reviewable\"/>](https://reviewable.io/reviews/kkrt-labs/kakarot/1310)\r\n<!-- Reviewable:end -->","shortMessageHtmlLink":"ci: point ef-test to main (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2430203114\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kkrt-labs/kakarot/issues/1310\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kkrt-labs/kakarot/pull/1310/hovercard\" href=\"https://github.com/kkrt-labs/kakarot/pull/1310\">#1310</a>)"}},{"before":"8a1fd9f21276eacf676e61509e883ce713ec16f5","after":"80a8a4357edb759cc34d417b8a975606623bcf78","ref":"refs/heads/tests/univ3","pushedAt":"2024-07-25T15:45:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"fix messaging tests","shortMessageHtmlLink":"fix messaging tests"}},{"before":"f17bd946998dad55628e6e120023a2c885d47a82","after":"cdc6320d54dd3044f61500eeef590edb1827d183","ref":"refs/heads/main","pushedAt":"2024-07-25T15:22:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ClementWalter","name":"Clément Walter","path":"/ClementWalter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18620296?s=80&v=4"},"commit":{"message":"fix: enforce len < 32 split word (#1305)\n\n<!--- Please provide a general summary of your changes in the title\r\nabove -->\r\n\r\n<!-- Give an estimate of the time you spent on this PR in terms of work\r\ndays.\r\nDid you spend 0.5 days on this PR or rather 2 days?  -->\r\n\r\nTime spent on this PR:\r\n\r\n## Pull request type\r\n\r\n<!-- Please try to limit your pull request to one type,\r\nsubmit multiple pull requests if needed. -->\r\n\r\nPlease check the type of change your PR introduces:\r\n\r\n- [X] Bugfix\r\n- [ ] Feature\r\n- [ ] Code style update (formatting, renaming)\r\n- [ ] Refactoring (no functional changes, no api changes)\r\n- [ ] Build related changes\r\n- [ ] Documentation content changes\r\n- [ ] Other (please describe):\r\n\r\n## What is the current behavior?\r\n\r\nSplit word is underconstrained and not tested\r\n\r\nResolves #1278\r\n\r\n## What is the new behavior?\r\n\r\nSplit word raise if len > 32 and is tested\r\n\r\n<!-- Reviewable:start -->\r\n- - -\r\nThis change is [<img src=\"https://reviewable.io/review_button.svg\"\r\nheight=\"34\" align=\"absmiddle\"\r\nalt=\"Reviewable\"/>](https://reviewable.io/reviews/kkrt-labs/kakarot/1305)\r\n<!-- Reviewable:end -->\r\n\r\n---------\r\n\r\nCo-authored-by: Clément Walter <clement0walter@gmail.com>","shortMessageHtmlLink":"fix: enforce len &lt; 32 split word (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2427771706\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kkrt-labs/kakarot/issues/1305\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kkrt-labs/kakarot/pull/1305/hovercard\" href=\"https://github.com/kkrt-labs/kakarot/pull/1305\">#1305</a>)"}},{"before":null,"after":"4727e0f41ea15544ed40061be9d9ea954db3e233","ref":"refs/heads/dev/update-ci","pushedAt":"2024-07-25T14:53:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"point ef-test to main","shortMessageHtmlLink":"point ef-test to main"}},{"before":"aa6895a9d2fec6e0ce7efc52882f2b13fe9b4b92","after":"8a1fd9f21276eacf676e61509e883ce713ec16f5","ref":"refs/heads/tests/univ3","pushedAt":"2024-07-25T14:51:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"dev: rework library linking","shortMessageHtmlLink":"dev: rework library linking"}},{"before":"2f4304f2697e2c2462af5320a9d25eeb58156e21","after":"aa6895a9d2fec6e0ce7efc52882f2b13fe9b4b92","ref":"refs/heads/tests/univ3","pushedAt":"2024-07-25T13:46:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"dev: rework library linking","shortMessageHtmlLink":"dev: rework library linking"}},{"before":"c40206a7d8974b617cea2d8fdd0a5c20f50f6be2","after":"4eda30350f793c93b57b22bbe8ed0f0f3b3f2bdb","ref":"refs/heads/feat/storage-root","pushedAt":"2024-07-25T09:47:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"enitrat","name":"Mathieu","path":"/enitrat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60658558?s=80&v=4"},"commit":{"message":"wip: patricialization","shortMessageHtmlLink":"wip: patricialization"}},{"before":"d94a1bf104601f36640f97b255d8c15772e24e75","after":"f17bd946998dad55628e6e120023a2c885d47a82","ref":"refs/heads/main","pushedAt":"2024-07-25T08:07:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ClementWalter","name":"Clément Walter","path":"/ClementWalter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18620296?s=80&v=4"},"commit":{"message":"refactor: bytes_used_128 using unsigned_div_rem (#1301)\n\n<!--- Please provide a general summary of your changes in the title\r\nabove -->\r\n\r\n<!-- Give an estimate of the time you spent on this PR in terms of work\r\ndays.\r\nDid you spend 0.5 days on this PR or rather 2 days?  -->\r\n\r\nTime spent on this PR:\r\n\r\n## Pull request type\r\n\r\n<!-- Please try to limit your pull request to one type,\r\nsubmit multiple pull requests if needed. -->\r\n\r\nPlease check the type of change your PR introduces:\r\n\r\n- [X] Bugfix\r\n- [ ] Feature\r\n- [ ] Code style update (formatting, renaming)\r\n- [X] Refactoring (no functional changes, no api changes)\r\n- [ ] Build related changes\r\n- [ ] Documentation content changes\r\n- [ ] Other (please describe):\r\n\r\n## What is the current behavior?\r\n\r\n<!-- Please describe the current behavior that you are modifying,\r\nor link to a relevant issue. -->\r\n\r\nResolves #1282\r\n\r\n## What is the new behavior?\r\n\r\nIt uses `unsigned_div_rem` to decompose the value\r\n\r\n<!-- Reviewable:start -->\r\n- - -\r\nThis change is [<img src=\"https://reviewable.io/review_button.svg\"\r\nheight=\"34\" align=\"absmiddle\"\r\nalt=\"Reviewable\"/>](https://reviewable.io/reviews/kkrt-labs/kakarot/1301)\r\n<!-- Reviewable:end -->","shortMessageHtmlLink":"refactor: bytes_used_128 using unsigned_div_rem (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2427381559\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kkrt-labs/kakarot/issues/1301\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kkrt-labs/kakarot/pull/1301/hovercard\" href=\"https://github.com/kkrt-labs/kakarot/pull/1301\">#1301</a>)"}},{"before":"c0a05a19c11121e6d79d488695814a1315530a0f","after":"d94a1bf104601f36640f97b255d8c15772e24e75","ref":"refs/heads/main","pushedAt":"2024-07-25T07:55:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ClementWalter","name":"Clément Walter","path":"/ClementWalter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18620296?s=80&v=4"},"commit":{"message":"Raise in patch_hint if hint is not found (#1304)\n\nTime spent on this PR: 0.05\r\n\r\n## Pull request type\r\n\r\nPlease check the type of change your PR introduces:\r\n\r\n- [ ] Bugfix\r\n- [x] Feature\r\n- [ ] Code style update (formatting, renaming)\r\n- [ ] Refactoring (no functional changes, no api changes)\r\n- [ ] Build related changes\r\n- [ ] Documentation content changes\r\n- [ ] Other (please describe):\r\n\r\n## What is the current behavior?\r\n\r\nNo raise if hint is not found\r\n\r\nNow raises if the patch doesn't do anything\r\n\r\n<!-- Reviewable:start -->\r\n- - -\r\nThis change is [<img src=\"https://reviewable.io/review_button.svg\"\r\nheight=\"34\" align=\"absmiddle\"\r\nalt=\"Reviewable\"/>](https://reviewable.io/reviews/kkrt-labs/kakarot/1304)\r\n<!-- Reviewable:end -->","shortMessageHtmlLink":"Raise in patch_hint if hint is not found (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2427673173\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kkrt-labs/kakarot/issues/1304\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kkrt-labs/kakarot/pull/1304/hovercard\" href=\"https://github.com/kkrt-labs/kakarot/pull/1304\">#1304</a>)"}},{"before":"640c2eb171b060e0a71f0b85a9269140ecd77623","after":"c0a05a19c11121e6d79d488695814a1315530a0f","ref":"refs/heads/main","pushedAt":"2024-07-24T10:23:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ClementWalter","name":"Clément Walter","path":"/ClementWalter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18620296?s=80&v=4"},"commit":{"message":"fix: load_packed_bytes is underconstrained (#1299)\n\n<!--- Please provide a general summary of your changes in the title\r\nabove -->\r\n\r\n<!-- Give an estimate of the time you spent on this PR in terms of work\r\ndays.\r\nDid you spend 0.5 days on this PR or rather 2 days?  -->\r\n\r\nTime spent on this PR:\r\n\r\n## Pull request type\r\n\r\n<!-- Please try to limit your pull request to one type,\r\nsubmit multiple pull requests if needed. -->\r\n\r\nPlease check the type of change your PR introduces:\r\n\r\n- [X] Bugfix\r\n- [ ] Feature\r\n- [ ] Code style update (formatting, renaming)\r\n- [ ] Refactoring (no functional changes, no api changes)\r\n- [ ] Build related changes\r\n- [ ] Documentation content changes\r\n- [ ] Other (please describe):\r\n\r\n## What is the current behavior?\r\n\r\nMissing contraints in load_packed_bytes\r\n\r\nResolves #1283\r\n\r\n## What is the new behavior?\r\n\r\nload_packed_bytes is not underconstrained\r\n\r\n<!-- Reviewable:start -->\r\n- - -\r\nThis change is [<img src=\"https://reviewable.io/review_button.svg\"\r\nheight=\"34\" align=\"absmiddle\"\r\nalt=\"Reviewable\"/>](https://reviewable.io/reviews/kkrt-labs/kakarot/1299)\r\n<!-- Reviewable:end -->","shortMessageHtmlLink":"fix: load_packed_bytes is underconstrained (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2426858088\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kkrt-labs/kakarot/issues/1299\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kkrt-labs/kakarot/pull/1299/hovercard\" href=\"https://github.com/kkrt-labs/kakarot/pull/1299\">#1299</a>)"}},{"before":"29e3930c213a30b932bbd2cdc149aa988d7e369e","after":"640c2eb171b060e0a71f0b85a9269140ecd77623","ref":"refs/heads/main","pushedAt":"2024-07-23T20:28:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ClementWalter","name":"Clément Walter","path":"/ClementWalter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18620296?s=80&v=4"},"commit":{"message":"fix: check overflow on uint256_mul for BYTE (#1288)\n\n<!--- Please provide a general summary of your changes in the title\r\nabove -->\r\n\r\n<!-- Give an estimate of the time you spent on this PR in terms of work\r\ndays.\r\nDid you spend 0.5 days on this PR or rather 2 days?  -->\r\n\r\nTime spent on this PR:\r\n\r\n## Pull request type\r\n\r\n<!-- Please try to limit your pull request to one type,\r\nsubmit multiple pull requests if needed. -->\r\n\r\nPlease check the type of change your PR introduces:\r\n\r\n- [x] Bugfix\r\n- [ ] Feature\r\n- [ ] Code style update (formatting, renaming)\r\n- [ ] Refactoring (no functional changes, no api changes)\r\n- [ ] Build related changes\r\n- [ ] Documentation content changes\r\n- [ ] Other (please describe):\r\n\r\n## What is the current behavior?\r\n\r\nNo overflow check on uint256_mul for BYTE\r\n\r\nResolves #1260\r\n\r\n## What is the new behavior?\r\n\r\n<!-- Please describe the behavior or changes that are being added by\r\nthis PR. -->\r\n\r\nCheck for overflow on uint256_mul for BYTE\r\n\r\n<!-- Reviewable:start -->\r\n- - -\r\nThis change is [<img src=\"https://reviewable.io/review_button.svg\"\r\nheight=\"34\" align=\"absmiddle\"\r\nalt=\"Reviewable\"/>](https://reviewable.io/reviews/kkrt-labs/kakarot/1288)\r\n<!-- Reviewable:end -->","shortMessageHtmlLink":"fix: check overflow on uint256_mul for BYTE (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2418400454\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kkrt-labs/kakarot/issues/1288\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kkrt-labs/kakarot/pull/1288/hovercard\" href=\"https://github.com/kkrt-labs/kakarot/pull/1288\">#1288</a>)"}},{"before":"c366211194674130b94feff8361e22f5624cab68","after":"29e3930c213a30b932bbd2cdc149aa988d7e369e","ref":"refs/heads/main","pushedAt":"2024-07-23T20:27:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ClementWalter","name":"Clément Walter","path":"/ClementWalter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18620296?s=80&v=4"},"commit":{"message":"fix: assert value is 0 at the end of load_bytecode (#1290)\n\n<!--- Please provide a general summary of your changes in the title\r\nabove -->\r\n\r\n<!-- Give an estimate of the time you spent on this PR in terms of work\r\ndays.\r\nDid you spend 0.5 days on this PR or rather 2 days?  -->\r\n\r\nTime spent on this PR:\r\n\r\n## Pull request type\r\n\r\n<!-- Please try to limit your pull request to one type,\r\nsubmit multiple pull requests if needed. -->\r\n\r\nPlease check the type of change your PR introduces:\r\n\r\n- [x] Bugfix\r\n- [ ] Feature\r\n- [ ] Code style update (formatting, renaming)\r\n- [ ] Refactoring (no functional changes, no api changes)\r\n- [ ] Build related changes\r\n- [ ] Documentation content changes\r\n- [ ] Other (please describe):\r\n\r\n## What is the current behavior?\r\n\r\nDo not assert the value is 0 at the end of load_bytecode leading to\r\nprover being able to\r\n\r\nResolves #1279, resolves #1293\r\n\r\n## What is the new behavior?\r\nassert value is 0 at the end of load_bytecode\r\n\r\n<!-- Reviewable:start -->\r\n- - -\r\nThis change is [<img src=\"https://reviewable.io/review_button.svg\"\r\nheight=\"34\" align=\"absmiddle\"\r\nalt=\"Reviewable\"/>](https://reviewable.io/reviews/kkrt-labs/kakarot/1290)\r\n<!-- Reviewable:end -->\r\n\r\n---------\r\n\r\nCo-authored-by: Clément Walter <clement0walter@gmail.com>","shortMessageHtmlLink":"fix: assert value is 0 at the end of load_bytecode (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2418950406\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kkrt-labs/kakarot/issues/1290\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kkrt-labs/kakarot/pull/1290/hovercard\" href=\"https://github.com/kkrt-labs/kakarot/pull/1290\">#1290</a>)"}},{"before":"4e7dfe0546d84cde365152dedcafbeec42f309f2","after":"c366211194674130b94feff8361e22f5624cab68","ref":"refs/heads/main","pushedAt":"2024-07-23T15:36:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ClementWalter","name":"Clément Walter","path":"/ClementWalter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18620296?s=80&v=4"},"commit":{"message":"Use transparent proxy for accounts (#1285)\n\n## Pull request type\r\n\r\nPlease check the type of change your PR introduces:\r\n\r\n- [ ] Bugfix\r\n- [x] Feature\r\n- [ ] Code style update (formatting, renaming)\r\n- [ ] Refactoring (no functional changes, no api changes)\r\n- [ ] Build related changes\r\n- [ ] Documentation content changes\r\n- [ ] Other (please describe):\r\n\r\n## What is the current behavior?\r\n\r\nAccounts have their own implementation and needs to be upgraded when\r\nKakarot is.\r\n\r\nResolves #1280\r\nResolves #1275\r\n\r\n## What is the new behavior?\r\n\r\nAccounts class is never updated and is a transparent proxy. Each call to\r\nthe account starts by fetching\r\nthe current implementation in Kakarot, then make a `library_call`.\r\n\r\n<!-- Reviewable:start -->\r\n- - -\r\nThis change is [<img src=\"https://reviewable.io/review_button.svg\"\r\nheight=\"34\" align=\"absmiddle\"\r\nalt=\"Reviewable\"/>](https://reviewable.io/reviews/kkrt-labs/kakarot/1285)\r\n<!-- Reviewable:end -->\r\n\r\n---------\r\n\r\nCo-authored-by: enitrat <msaug@protonmail.com>","shortMessageHtmlLink":"Use transparent proxy for accounts (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2416639743\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kkrt-labs/kakarot/issues/1285\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kkrt-labs/kakarot/pull/1285/hovercard\" href=\"https://github.com/kkrt-labs/kakarot/pull/1285\">#1285</a>)"}},{"before":"7bc70ad9965ecb69d5242957594339975a0b3a8c","after":"4e7dfe0546d84cde365152dedcafbeec42f309f2","ref":"refs/heads/main","pushedAt":"2024-07-23T13:46:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ClementWalter","name":"Clément Walter","path":"/ClementWalter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18620296?s=80&v=4"},"commit":{"message":"Fix memory expansion cost (#1298)\n\nTime spent on this PR: 0.3d\r\n\r\n## Pull request type\r\n\r\nPlease check the type of change your PR introduces:\r\n\r\n- [x] Bugfix\r\n- [ ] Feature\r\n- [ ] Code style update (formatting, renaming)\r\n- [ ] Refactoring (no functional changes, no api changes)\r\n- [ ] Build related changes\r\n- [ ] Documentation content changes\r\n- [ ] Other (please describe):\r\n\r\n## What is the current behavior?\r\n\r\n- overflow not checked\r\n- wrong result when one of the sizes is 0\r\n\r\nResolves #1297\r\n\r\n## What is the new behavior?\r\n\r\nFixed\r\n\r\n<!-- Reviewable:start -->\r\n- - -\r\nThis change is [<img src=\"https://reviewable.io/review_button.svg\"\r\nheight=\"34\" align=\"absmiddle\"\r\nalt=\"Reviewable\"/>](https://reviewable.io/reviews/kkrt-labs/kakarot/1298)\r\n<!-- Reviewable:end -->","shortMessageHtmlLink":"Fix memory expansion cost (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2424926662\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kkrt-labs/kakarot/issues/1298\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kkrt-labs/kakarot/pull/1298/hovercard\" href=\"https://github.com/kkrt-labs/kakarot/pull/1298\">#1298</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEj02YBwA","startCursor":null,"endCursor":null}},"title":"Activity · kkrt-labs/kakarot"}