{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":687042890,"defaultBranch":"main","name":"metamorpho","ownerLogin":"morpho-org","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-04T13:34:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/130973927?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717058247.0","currentOid":""},"activityList":{"items":[{"before":"79371b5c7442c99d5e4827e3f266d812e856845e","after":"c7d01c4330f746285f4740a3b9457742e03742a7","ref":"refs/heads/certora/supply-cap","pushedAt":"2024-05-30T14:47:13.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":"fix: splitParallel option naming","shortMessageHtmlLink":"fix: splitParallel option naming"}},{"before":"547b2361cd17e7fe5f9e3b8c7cb8609e2079e89c","after":"1cd6a0325b3691904056b446e2efa9d201e6daf7","ref":"refs/heads/docs/reallocate","pushedAt":"2024-05-30T08:42:47.000Z","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":"docs: update reallocate natspec","shortMessageHtmlLink":"docs: update reallocate natspec"}},{"before":null,"after":"547b2361cd17e7fe5f9e3b8c7cb8609e2079e89c","ref":"refs/heads/docs/reallocate","pushedAt":"2024-05-30T08:37:27.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":"docs: update reallocate natspec","shortMessageHtmlLink":"docs: update reallocate natspec"}},{"before":"37b91d404f56a1fb670a5500c87b7e940b9b7a78","after":"79371b5c7442c99d5e4827e3f266d812e856845e","ref":"refs/heads/certora/supply-cap","pushedAt":"2024-05-21T16:01:33.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":"feat: dispatch tokens","shortMessageHtmlLink":"feat: dispatch tokens"}},{"before":"c41080c1d6cbf6dab7fa1cb3bc11ede4a4344c5b","after":"37b91d404f56a1fb670a5500c87b7e940b9b7a78","ref":"refs/heads/certora/supply-cap","pushedAt":"2024-05-20T18:30:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"fix: summarize external balanceOf call","shortMessageHtmlLink":"fix: summarize external balanceOf call"}},{"before":"335f8f4f3ac9b99fdc51a8daaab9b9565709eeec","after":"c41080c1d6cbf6dab7fa1cb3bc11ede4a4344c5b","ref":"refs/heads/certora/supply-cap","pushedAt":"2024-05-20T14:16:54.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":"refactor: internalize supplyAsset definition","shortMessageHtmlLink":"refactor: internalize supplyAsset definition"}},{"before":"f55e21740e15db78711ba103df8d8754b7eb18e2","after":"335f8f4f3ac9b99fdc51a8daaab9b9565709eeec","ref":"refs/heads/certora/supply-cap","pushedAt":"2024-05-20T13:28:30.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":"refactor: simplify with accrue interest","shortMessageHtmlLink":"refactor: simplify with accrue interest"}},{"before":"cf5ad63a877b733e652e9b4a41e8398abe3f6493","after":"f55e21740e15db78711ba103df8d8754b7eb18e2","ref":"refs/heads/certora/supply-cap","pushedAt":"2024-05-20T09:18:01.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":"fix: expected supply assets with market params","shortMessageHtmlLink":"fix: expected supply assets with market params"}},{"before":null,"after":"cf5ad63a877b733e652e9b4a41e8398abe3f6493","ref":"refs/heads/certora/supply-cap","pushedAt":"2024-05-17T15:51:35.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":"feat: add respect supply cap rule","shortMessageHtmlLink":"feat: add respect supply cap rule"}},{"before":"3066d68b91f41e86dd6b7478a76ff264d8de0124","after":"e6c50dc9691dfa81f5dc0a4ffe4ffd44efa12fe8","ref":"refs/heads/main","pushedAt":"2024-04-23T09:39:36.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"MathisGD","name":null,"path":"/MathisGD","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/74971347?s=80&v=4"},"commit":{"message":"Merge pull request #418 from jhoenicke/certora/MarketInteractionSanity\n\n[Certora] Added sanity checks for MarketInteractions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2251021334\" data-permission-text=\"Title is private\" data-url=\"https://github.com/morpho-org/metamorpho/issues/418\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/morpho-org/metamorpho/pull/418/hovercard\" href=\"https://github.com/morpho-org/metamorpho/pull/418\">#418</a> from jhoenicke/certora/MarketInteractionSanity"}},{"before":"6e3ce22929561ccc09e651c06f85b73beec4b412","after":null,"ref":"refs/heads/certora/distinct-performance","pushedAt":"2024-04-18T14:58:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MerlinEgalite","name":"Merlin Egalite","path":"/MerlinEgalite","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44097430?s=80&v=4"}},{"before":"549cc210da15b2311b038c9c60883363a90f05db","after":"3066d68b91f41e86dd6b7478a76ff264d8de0124","ref":"refs/heads/main","pushedAt":"2024-04-18T14:58:01.000Z","pushType":"pr_merge","commitsCount":14,"pusher":{"login":"MerlinEgalite","name":"Merlin Egalite","path":"/MerlinEgalite","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44097430?s=80&v=4"},"commit":{"message":"Merge pull request #411 from morpho-org/certora/distinct-performance\n\n[Certora] Fix solver setup","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2206287015\" data-permission-text=\"Title is private\" data-url=\"https://github.com/morpho-org/metamorpho/issues/411\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/morpho-org/metamorpho/pull/411/hovercard\" href=\"https://github.com/morpho-org/metamorpho/pull/411\">#411</a> from morpho-org/certora/distinct-performance"}},{"before":"564f2864b13c1b4c253b6c7a157212ea4f228a06","after":null,"ref":"refs/heads/certora/import-invariant-statement","pushedAt":"2024-04-18T13:29:12.000Z","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":"8bdfee3a5edefefbe9434aa0b068afe7c9227bc9","after":"6e3ce22929561ccc09e651c06f85b73beec4b412","ref":"refs/heads/certora/distinct-performance","pushedAt":"2024-04-18T13:29:11.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"Merge pull request #417 from morpho-org/certora/import-invariant-statement\n\n[Certora] import invariant statement","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2243748800\" data-permission-text=\"Title is private\" data-url=\"https://github.com/morpho-org/metamorpho/issues/417\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/morpho-org/metamorpho/pull/417/hovercard\" href=\"https://github.com/morpho-org/metamorpho/pull/417\">#417</a> from morpho-org/certora/import-invariant-stat…"}},{"before":"e24bc7bdff96b1a7703db74a02a4681376659de5","after":"564f2864b13c1b4c253b6c7a157212ea4f228a06","ref":"refs/heads/certora/import-invariant-statement","pushedAt":"2024-04-18T13:28:35.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"QGarchery","name":"Quentin Garchery","path":"/QGarchery","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22668539?s=80&v=4"},"commit":{"message":"Merge branch 'certora/distinct-performance' into certora/import-invariant-statement","shortMessageHtmlLink":"Merge branch 'certora/distinct-performance' into certora/import-invar…"}},{"before":"e1f08ae63bdf68d078031fefcbbf717a8d538a58","after":"8bdfee3a5edefefbe9434aa0b068afe7c9227bc9","ref":"refs/heads/certora/distinct-performance","pushedAt":"2024-04-18T13:13:19.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":"refactor: enable caching on reverts","shortMessageHtmlLink":"refactor: enable caching on reverts"}},{"before":"0c374bfb78336df85c875854e926343060e79d0e","after":"e1f08ae63bdf68d078031fefcbbf717a8d538a58","ref":"refs/heads/certora/distinct-performance","pushedAt":"2024-04-18T13:11:36.000Z","pushType":"push","commitsCount":9,"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 certora/distinct-performance","shortMessageHtmlLink":"Merge branch 'main' into certora/distinct-performance"}},{"before":"7b0bd6ed3e5a493ccdac79eae45f5c0224e2db95","after":"0c374bfb78336df85c875854e926343060e79d0e","ref":"refs/heads/certora/distinct-performance","pushedAt":"2024-04-18T12:55:53.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":"fix: revert timeout","shortMessageHtmlLink":"fix: revert timeout"}},{"before":"7bbd846058c5eb0c8b044af12733f150c09aa6a8","after":null,"ref":"refs/heads/fix/ERC1820Registry-SPDX","pushedAt":"2024-04-16T07:41:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MerlinEgalite","name":"Merlin Egalite","path":"/MerlinEgalite","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44097430?s=80&v=4"}},{"before":"08b5962b2b18c2da6ce1839b21c7a33568cfb91c","after":"549cc210da15b2311b038c9c60883363a90f05db","ref":"refs/heads/main","pushedAt":"2024-04-16T07:41:50.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"MerlinEgalite","name":"Merlin Egalite","path":"/MerlinEgalite","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44097430?s=80&v=4"},"commit":{"message":"Merge pull request #415 from morpho-org/fix/ERC1820Registry-SPDX\n\nAdd SPDX identifier to ERC1820Registry.sol","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2235699560\" data-permission-text=\"Title is private\" data-url=\"https://github.com/morpho-org/metamorpho/issues/415\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/morpho-org/metamorpho/pull/415/hovercard\" href=\"https://github.com/morpho-org/metamorpho/pull/415\">#415</a> from morpho-org/fix/ERC1820Registry-SPDX"}},{"before":"6629a43f902b5b00ed7e3c438af6860d0df2b0ca","after":"e24bc7bdff96b1a7703db74a02a4681376659de5","ref":"refs/heads/certora/import-invariant-statement","pushedAt":"2024-04-15T13:56:18.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":"fix: require as an invariant","shortMessageHtmlLink":"fix: require as an invariant"}},{"before":"533de140b264346d3375b6af430a1158153273c8","after":"6629a43f902b5b00ed7e3c438af6860d0df2b0ca","ref":"refs/heads/certora/import-invariant-statement","pushedAt":"2024-04-15T13:52:54.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":"fix: typo requireInvariant","shortMessageHtmlLink":"fix: typo requireInvariant"}},{"before":"7b0bd6ed3e5a493ccdac79eae45f5c0224e2db95","after":"533de140b264346d3375b6af430a1158153273c8","ref":"refs/heads/certora/import-invariant-statement","pushedAt":"2024-04-15T13:50:31.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":"refactor: use native import invariant statement","shortMessageHtmlLink":"refactor: use native import invariant statement"}},{"before":null,"after":"7b0bd6ed3e5a493ccdac79eae45f5c0224e2db95","ref":"refs/heads/certora/import-invariant-statement","pushedAt":"2024-04-15T13:50: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: move back to certora-cli","shortMessageHtmlLink":"chore: move back to certora-cli"}},{"before":"85e1882b888a6614e1eb61d56a2045514cbb7746","after":"7b0bd6ed3e5a493ccdac79eae45f5c0224e2db95","ref":"refs/heads/certora/distinct-performance","pushedAt":"2024-04-15T09:09:17.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: move back to certora-cli","shortMessageHtmlLink":"chore: move back to certora-cli"}},{"before":"1f26537545b0d1c480b4290b07887a05f975d069","after":"022f9fbf258cc44667518573eb774fe99d3421a0","ref":"refs/heads/certora/revert-timeout","pushedAt":"2024-04-15T08:23:17.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":"fix: bump timeout revert","shortMessageHtmlLink":"fix: bump timeout revert"}},{"before":null,"after":"1f26537545b0d1c480b4290b07887a05f975d069","ref":"refs/heads/certora/revert-timeout","pushedAt":"2024-04-15T08:02:55.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":"fix: revert timeout on reallocate input validation","shortMessageHtmlLink":"fix: revert timeout on reallocate input validation"}},{"before":"9b2099f48efdefd6c8ba7fadddbeebeae7fb05c1","after":"7bbd846058c5eb0c8b044af12733f150c09aa6a8","ref":"refs/heads/fix/ERC1820Registry-SPDX","pushedAt":"2024-04-11T14:29:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Jean-Grimal","name":null,"path":"/Jean-Grimal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/83286814?s=80&v=4"},"commit":{"message":"fix: remove CC0 line in EERC1820 registry.sol","shortMessageHtmlLink":"fix: remove CC0 line in EERC1820 registry.sol"}},{"before":null,"after":"9b2099f48efdefd6c8ba7fadddbeebeae7fb05c1","ref":"refs/heads/fix/ERC1820Registry-SPDX","pushedAt":"2024-04-10T14:08:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Jean-Grimal","name":null,"path":"/Jean-Grimal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/83286814?s=80&v=4"},"commit":{"message":"fix: add SPDX identifier to ERC1820Registry.sol","shortMessageHtmlLink":"fix: add SPDX identifier to ERC1820Registry.sol"}},{"before":"f715d4f35545aa6b321ab68adc334627f62442e9","after":"59869ece3310293f0b3a0b4fc085d2a7c6b3bb0a","ref":"refs/heads/fix/license","pushedAt":"2024-04-09T10:00:51.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: add BUSL at the end of the license","shortMessageHtmlLink":"chore: add BUSL at the end of the license"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWCFldgA","startCursor":null,"endCursor":null}},"title":"Activity · morpho-org/metamorpho"}