{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":512700417,"defaultBranch":"main","name":"morpho-utils","ownerLogin":"morpho-org","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-07-11T09:50:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/130973927?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1691910264.0","currentOid":""},"activityList":{"items":[{"before":"65cd0ca3577ff4ad2968f89e9d6bc2adf501183c","after":null,"ref":"refs/heads/certora/update-script","pushedAt":"2023-08-13T07:04:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MathisGD","name":null,"path":"/MathisGD","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/74971347?s=80&v=4"}},{"before":"d50e424540893c496f5c2522d7899a539ff625db","after":"8ddb14e7baf4915240b17a728393ba354ed6a0cd","ref":"refs/heads/main","pushedAt":"2023-08-13T07:04:23.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"MathisGD","name":null,"path":"/MathisGD","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/74971347?s=80&v=4"},"commit":{"message":"Merge pull request #115 from morpho-org/certora/update-script","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1793165421\" data-permission-text=\"Title is private\" data-url=\"https://github.com/morpho-org/morpho-utils/issues/115\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/morpho-org/morpho-utils/pull/115/hovercard\" href=\"https://github.com/morpho-org/morpho-utils/pull/115\">#115</a> from morpho-org/certora/update-script"}},{"before":"0e24973c2244971407bdad1490cc3ed7a7f04801","after":"65cd0ca3577ff4ad2968f89e9d6bc2adf501183c","ref":"refs/heads/certora/update-script","pushedAt":"2023-08-10T09:58:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"chore: update ci triggers","shortMessageHtmlLink":"chore: update ci triggers"}},{"before":null,"after":"0e24973c2244971407bdad1490cc3ed7a7f04801","ref":"refs/heads/certora/update-script","pushedAt":"2023-07-07T09:30:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"chore: update to version 4.4.0","shortMessageHtmlLink":"chore: update to version 4.4.0"}},{"before":"5b1d784f4196adf331b4d1e44dad59cf6a105177","after":null,"ref":"refs/heads/refactor/factorize-math-constants","pushedAt":"2023-06-27T15:17:52.692Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MathisGD","name":null,"path":"/MathisGD","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/74971347?s=80&v=4"}},{"before":"4b11ba638f7d50101846000e8996320ff2cb6007","after":"74f194356d1eb131fcd1b35ece16a01e7c0d0386","ref":"refs/heads/feat/eip712-ownable","pushedAt":"2023-06-21T14:47:13.123Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Rubilmax","name":"Romain Milon","path":"/Rubilmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3147812?s=80&v=4"},"commit":{"message":"fix(imports): use . instead of src","shortMessageHtmlLink":"fix(imports): use . instead of src"}},{"before":"54116fee697d70093a70e54a95f9908b651e9b39","after":"4b11ba638f7d50101846000e8996320ff2cb6007","ref":"refs/heads/feat/eip712-ownable","pushedAt":"2023-06-21T14:46:34.519Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Rubilmax","name":"Romain Milon","path":"/Rubilmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3147812?s=80&v=4"},"commit":{"message":"fix(imports): use . instead of src","shortMessageHtmlLink":"fix(imports): use . instead of src"}},{"before":"191a020797b9ac3d8c73251ed26c1da1a731fccc","after":"54116fee697d70093a70e54a95f9908b651e9b39","ref":"refs/heads/feat/eip712-ownable","pushedAt":"2023-06-21T14:44:24.959Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Rubilmax","name":"Romain Milon","path":"/Rubilmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3147812?s=80&v=4"},"commit":{"message":"fix(imports): use . instead of src","shortMessageHtmlLink":"fix(imports): use . instead of src"}},{"before":"97080d1a81920c86070864c3fdd795edcb19c4f4","after":"191a020797b9ac3d8c73251ed26c1da1a731fccc","ref":"refs/heads/feat/eip712-ownable","pushedAt":"2023-06-21T14:43:48.923Z","pushType":"push","commitsCount":1,"pusher":{"login":"Rubilmax","name":"Romain Milon","path":"/Rubilmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3147812?s=80&v=4"},"commit":{"message":"fix(imports): use . instead of src","shortMessageHtmlLink":"fix(imports): use . instead of src"}},{"before":"82669d78654519725ecccbd3f8f4f3358bb48c76","after":null,"ref":"refs/heads/test/abs-certora","pushedAt":"2023-06-21T09:26:06.637Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MathisGD","name":null,"path":"/MathisGD","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/74971347?s=80&v=4"}},{"before":"540207b2d4cf8eeff0b63685e07c1775ddf58c4d","after":"d50e424540893c496f5c2522d7899a539ff625db","ref":"refs/heads/main","pushedAt":"2023-06-21T09:26:05.422Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"MathisGD","name":null,"path":"/MathisGD","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/74971347?s=80&v=4"},"commit":{"message":"Merge pull request #106 from morpho-org/test/abs-certora\n\nAdd Certora verification for `abs` and `safeAbs`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1745575044\" data-permission-text=\"Title is private\" data-url=\"https://github.com/morpho-org/morpho-utils/issues/106\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/morpho-org/morpho-utils/pull/106/hovercard\" href=\"https://github.com/morpho-org/morpho-utils/pull/106\">#106</a> from morpho-org/test/abs-certora"}},{"before":"a826a08429fd118e75523c0fb8192252ceb92474","after":"97080d1a81920c86070864c3fdd795edcb19c4f4","ref":"refs/heads/feat/eip712-ownable","pushedAt":"2023-06-20T15:19:10.969Z","pushType":"push","commitsCount":1,"pusher":{"login":"Rubilmax","name":"Romain Milon","path":"/Rubilmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3147812?s=80&v=4"},"commit":{"message":"refacgtor(remappings): update solmate remapping","shortMessageHtmlLink":"refacgtor(remappings): update solmate remapping"}},{"before":"5a7ae7d759d3696309e6d118110ac7a2746dd2cf","after":"a826a08429fd118e75523c0fb8192252ceb92474","ref":"refs/heads/feat/eip712-ownable","pushedAt":"2023-06-20T15:13:44.302Z","pushType":"push","commitsCount":1,"pusher":{"login":"Rubilmax","name":"Romain Milon","path":"/Rubilmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3147812?s=80&v=4"},"commit":{"message":"feat(erc2330): add erc2330 alternative","shortMessageHtmlLink":"feat(erc2330): add erc2330 alternative"}},{"before":"60035db1e7e7f5194e8959c609a0b1440a55be49","after":"5a7ae7d759d3696309e6d118110ac7a2746dd2cf","ref":"refs/heads/feat/eip712-ownable","pushedAt":"2023-06-20T14:55:26.869Z","pushType":"push","commitsCount":1,"pusher":{"login":"Rubilmax","name":"Romain Milon","path":"/Rubilmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3147812?s=80&v=4"},"commit":{"message":"test(erc3156x): test lender/borrower","shortMessageHtmlLink":"test(erc3156x): test lender/borrower"}},{"before":"c221ee35e84376b4a8b2a9cd004ad55f118a6916","after":"60035db1e7e7f5194e8959c609a0b1440a55be49","ref":"refs/heads/feat/eip712-ownable","pushedAt":"2023-06-20T13:34:27.800Z","pushType":"push","commitsCount":1,"pusher":{"login":"Rubilmax","name":"Romain Milon","path":"/Rubilmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3147812?s=80&v=4"},"commit":{"message":"test(erc712): fix erc712 tests","shortMessageHtmlLink":"test(erc712): fix erc712 tests"}},{"before":"5c96ca44e2b3c166228c866183f8e077a59c1fde","after":"c221ee35e84376b4a8b2a9cd004ad55f118a6916","ref":"refs/heads/feat/eip712-ownable","pushedAt":"2023-06-20T12:52:12.009Z","pushType":"push","commitsCount":4,"pusher":{"login":"Rubilmax","name":"Romain Milon","path":"/Rubilmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3147812?s=80&v=4"},"commit":{"message":"fix(erc3156): make it compile","shortMessageHtmlLink":"fix(erc3156): make it compile"}},{"before":null,"after":"5c96ca44e2b3c166228c866183f8e077a59c1fde","ref":"refs/heads/feat/eip712-ownable","pushedAt":"2023-06-20T10:39:54.361Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Rubilmax","name":"Romain Milon","path":"/Rubilmax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3147812?s=80&v=4"},"commit":{"message":"test(eip712): added eip712 tests","shortMessageHtmlLink":"test(eip712): added eip712 tests"}},{"before":"d5133d66d740a23f90fd5300e61fdda7e88990fa","after":null,"ref":"refs/heads/test/fix-bounds","pushedAt":"2023-06-17T08:21:19.970Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"}},{"before":"c8cc8be043a1a550e8c98d866d4aacde08588bbf","after":"540207b2d4cf8eeff0b63685e07c1775ddf58c4d","ref":"refs/heads/main","pushedAt":"2023-06-17T08:21:18.659Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"Merge pull request #113 from morpho-org/test/fix-bounds\n\n[Tests] Fix bounds in the revert conditions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1756384197\" data-permission-text=\"Title is private\" data-url=\"https://github.com/morpho-org/morpho-utils/issues/113\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/morpho-org/morpho-utils/pull/113/hovercard\" href=\"https://github.com/morpho-org/morpho-utils/pull/113\">#113</a> from morpho-org/test/fix-bounds"}},{"before":"61edcbd0a364ba9acd1b3e7caf8b65c719a3997f","after":null,"ref":"refs/heads/refactor/constant-comments","pushedAt":"2023-06-16T12:38:51.180Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"}},{"before":"7141ef633f74fed943c919403e94e5f80e9c5b72","after":"c8cc8be043a1a550e8c98d866d4aacde08588bbf","ref":"refs/heads/main","pushedAt":"2023-06-16T12:38:46.622Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"Merge pull request #111 from morpho-org/refactor/constant-comments\n\nRefactor constant comments","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1752942993\" data-permission-text=\"Title is private\" data-url=\"https://github.com/morpho-org/morpho-utils/issues/111\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/morpho-org/morpho-utils/pull/111/hovercard\" href=\"https://github.com/morpho-org/morpho-utils/pull/111\">#111</a> from morpho-org/refactor/constant-comments"}},{"before":"437483236621a1ffe40d39306460456f3b55ddbb","after":"82669d78654519725ecccbd3f8f4f3358bb48c76","ref":"refs/heads/test/abs-certora","pushedAt":"2023-06-14T18:09:03.762Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"fix: verify the corresponding specification","shortMessageHtmlLink":"fix: verify the corresponding specification"}},{"before":"562118556dc86f0f5d49fdcef510e99c49473732","after":"437483236621a1ffe40d39306460456f3b55ddbb","ref":"refs/heads/test/abs-certora","pushedAt":"2023-06-14T18:04:33.538Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"fix: use bv encoding only when needed","shortMessageHtmlLink":"fix: use bv encoding only when needed"}},{"before":"26f8c834248f269ee62d2fb6ae359f2241f6f008","after":"d5133d66d740a23f90fd5300e61fdda7e88990fa","ref":"refs/heads/test/fix-bounds","pushedAt":"2023-06-14T08:46:34.613Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"test: fix bounds in the revert conditions","shortMessageHtmlLink":"test: fix bounds in the revert conditions"}},{"before":"31c2b6b2cbea0048785d954c0bb205627b8ddc1e","after":"26f8c834248f269ee62d2fb6ae359f2241f6f008","ref":"refs/heads/test/fix-bounds","pushedAt":"2023-06-14T08:43:21.285Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"test: fix bounds in the revert conditions","shortMessageHtmlLink":"test: fix bounds in the revert conditions"}},{"before":null,"after":"31c2b6b2cbea0048785d954c0bb205627b8ddc1e","ref":"refs/heads/test/fix-bounds","pushedAt":"2023-06-14T08:15:33.518Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"test: fix bounds in the revert conditions","shortMessageHtmlLink":"test: fix bounds in the revert conditions"}},{"before":null,"after":"5b1d784f4196adf331b4d1e44dad59cf6a105177","ref":"refs/heads/refactor/factorize-math-constants","pushedAt":"2023-06-13T13:44:48.322Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"refactor: factorize math constants in MathConstants.sol","shortMessageHtmlLink":"refactor: factorize math constants in MathConstants.sol"}},{"before":"d1899532b91cb016d1c42129f3f81b9c05878da8","after":"61edcbd0a364ba9acd1b3e7caf8b65c719a3997f","ref":"refs/heads/refactor/constant-comments","pushedAt":"2023-06-13T13:31:33.892Z","pushType":"push","commitsCount":1,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"docs: move internal up","shortMessageHtmlLink":"docs: move internal up"}},{"before":"1a50bbf8ea96c057e861d8ad1ca1488ff38ef70d","after":"562118556dc86f0f5d49fdcef510e99c49473732","ref":"refs/heads/test/abs-certora","pushedAt":"2023-06-12T15:31:41.828Z","pushType":"push","commitsCount":15,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"Merge branch 'main' into test/abs-certora","shortMessageHtmlLink":"Merge branch 'main' into test/abs-certora"}},{"before":null,"after":"d1899532b91cb016d1c42129f3f81b9c05878da8","ref":"refs/heads/refactor/constant-comments","pushedAt":"2023-06-12T14:51:20.407Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"test: clearer revert limit for wadToRay rule","shortMessageHtmlLink":"test: clearer revert limit for wadToRay rule"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADaaSvJgA","startCursor":null,"endCursor":null}},"title":"Activity · morpho-org/morpho-utils"}