{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":781618329,"defaultBranch":"main","name":"verified-memory-allocator","ownerLogin":"verus-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-04-03T18:13:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/107117217?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1723986107.0","currentOid":""},"activityList":{"items":[{"before":"637bb5f52925d5f42138b3479b9aa9ef90fdf4fb","after":"0330cb6e3673760d1399710da11aa534f483f97c","ref":"refs/heads/main","pushedAt":"2024-09-10T18:37:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"remove Duplicable; use Shared from vstd","shortMessageHtmlLink":"remove Duplicable; use Shared from vstd"}},{"before":"34a3c53e2fbe900b5f7e936cf64867a28f05cabb","after":"637bb5f52925d5f42138b3479b9aa9ef90fdf4fb","ref":"refs/heads/main","pushedAt":"2024-08-22T04:07:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"migrate from PPtr to raw_ptr","shortMessageHtmlLink":"migrate from PPtr to raw_ptr"}},{"before":"18973a8212af03a2c0b07af8bf69e6bdfe4af850","after":"34a3c53e2fbe900b5f7e936cf64867a28f05cabb","ref":"refs/heads/main","pushedAt":"2024-08-22T03:59:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"fix line count script","shortMessageHtmlLink":"fix line count script"}},{"before":"34a3c53e2fbe900b5f7e936cf64867a28f05cabb","after":"18973a8212af03a2c0b07af8bf69e6bdfe4af850","ref":"refs/heads/main","pushedAt":"2024-08-22T03:59:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"migrate from PPtr to raw_ptr","shortMessageHtmlLink":"migrate from PPtr to raw_ptr"}},{"before":"6ee4b4fc8ac107f10d3ad420a2c42e26e3033ba7","after":"34a3c53e2fbe900b5f7e936cf64867a28f05cabb","ref":"refs/heads/main","pushedAt":"2024-08-22T03:26:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"fix line count script","shortMessageHtmlLink":"fix line count script"}},{"before":"b34bf3ab487e94614a6ac732ed6b4a85d1bfde2f","after":"6ee4b4fc8ac107f10d3ad420a2c42e26e3033ba7","ref":"refs/heads/main","pushedAt":"2024-08-20T17:20:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"add patch for the flaky arithmetic issue","shortMessageHtmlLink":"add patch for the flaky arithmetic issue"}},{"before":"b32b239321e292726d436f7319a4dda91a8dd733","after":"b34bf3ab487e94614a6ac732ed6b4a85d1bfde2f","ref":"refs/heads/main","pushedAt":"2024-08-19T23:04:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"more logging","shortMessageHtmlLink":"more logging"}},{"before":"9a2b449bb960fef5802ef805be6d89b3b681abaf","after":"b32b239321e292726d436f7319a4dda91a8dd733","ref":"refs/heads/main","pushedAt":"2024-08-19T23:03:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"rename","shortMessageHtmlLink":"rename"}},{"before":"923c8db17b8065b25c1c0cb95f1a57cdf98c3af2","after":"9a2b449bb960fef5802ef805be6d89b3b681abaf","ref":"refs/heads/main","pushedAt":"2024-08-19T22:56:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"rename some stuff","shortMessageHtmlLink":"rename some stuff"}},{"before":"23a22b577ff483b22dd140f922611ce5483663c7","after":"923c8db17b8065b25c1c0cb95f1a57cdf98c3af2","ref":"refs/heads/main","pushedAt":"2024-08-19T22:52:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"add build-comparison.sh script","shortMessageHtmlLink":"add build-comparison.sh script"}},{"before":"ed196834921c9e2ba2b24b95476a082ce5719fcb","after":"23a22b577ff483b22dd140f922611ce5483663c7","ref":"refs/heads/main","pushedAt":"2024-08-19T12:50:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"fix count_lines script, sorta","shortMessageHtmlLink":"fix count_lines script, sorta"}},{"before":"3d22602f5e07c90caa55747915fa232562c501b3","after":"ed196834921c9e2ba2b24b95476a082ce5719fcb","ref":"refs/heads/main","pushedAt":"2024-08-19T12:47:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"fix count_lines script, sorta","shortMessageHtmlLink":"fix count_lines script, sorta"}},{"before":null,"after":"3b693db47d92b4a3e6905b680a6562276644eff6","ref":"refs/heads/utaal-stabilize","pushedAt":"2024-08-18T13:01:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"utaal","name":"Andrea Lattuada","path":"/utaal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/791335?s=80&v=4"},"commit":{"message":"add spinoff prover to seemingly unstable proof","shortMessageHtmlLink":"add spinoff prover to seemingly unstable proof"}},{"before":"480f450a2309c61a23e255cfcca57a5202c976b9","after":"3d22602f5e07c90caa55747915fa232562c501b3","ref":"refs/heads/main","pushedAt":"2024-08-18T10:23:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"utaal","name":"Andrea Lattuada","path":"/utaal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/791335?s=80&v=4"},"commit":{"message":"remove VERUS_DIR from setup-libc-dependency, it's unneeded","shortMessageHtmlLink":"remove VERUS_DIR from setup-libc-dependency, it's unneeded"}},{"before":"40c54610ecec7db472b6c2ced1e3dfecb45b8e67","after":"480f450a2309c61a23e255cfcca57a5202c976b9","ref":"refs/heads/main","pushedAt":"2024-08-16T14:13:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"update commit in README","shortMessageHtmlLink":"update commit in README"}},{"before":null,"after":"1e84ded368866f9bdb9bfe4232157cdf37e9b686","ref":"refs/heads/new-ptr","pushedAt":"2024-08-15T00:06:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"fix uses of is_nonnull","shortMessageHtmlLink":"fix uses of is_nonnull"}},{"before":"c674c3d990982af69c9d2fbdadc06fb3f8e89606","after":"40c54610ecec7db472b6c2ced1e3dfecb45b8e67","ref":"refs/heads/main","pushedAt":"2024-07-15T18:22:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"update verus with bv changes","shortMessageHtmlLink":"update verus with bv changes"}},{"before":"8025f87cc3f934152d6612a2124dc278cb5cf8d8","after":"c674c3d990982af69c9d2fbdadc06fb3f8e89606","ref":"refs/heads/main","pushedAt":"2024-06-19T21:47:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"clean up the top-level specs a bit, update for latest verus","shortMessageHtmlLink":"clean up the top-level specs a bit, update for latest verus"}},{"before":"1a28543d07114212b1a17a5e02ec16c132662217","after":"8025f87cc3f934152d6612a2124dc278cb5cf8d8","ref":"refs/heads/main","pushedAt":"2024-06-19T15:19:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"remove the incomplete naive allocator","shortMessageHtmlLink":"remove the incomplete naive allocator"}},{"before":"59b393d46895e5f970270a7acf060a2dbc8b0d59","after":"1a28543d07114212b1a17a5e02ec16c132662217","ref":"refs/heads/main","pushedAt":"2024-05-13T15:11:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"remove atomic_ghost_modified and use vstd's atomic_ghost","shortMessageHtmlLink":"remove atomic_ghost_modified and use vstd's atomic_ghost"}},{"before":"51bc26b38b5f717694eeb0689ccb23e668de6aab","after":"59b393d46895e5f970270a7acf060a2dbc8b0d59","ref":"refs/heads/main","pushedAt":"2024-04-30T18:30:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"remove unused fields in tokens.rs","shortMessageHtmlLink":"remove unused fields in tokens.rs"}},{"before":"e3d0957ef82195cb540de7e48cd9f1ea87be35e5","after":"51bc26b38b5f717694eeb0689ccb23e668de6aab","ref":"refs/heads/main","pushedAt":"2024-04-29T17:10:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"update Verus version in README","shortMessageHtmlLink":"update Verus version in README"}},{"before":"9ee40b614443962b15e7315106568f20a1810ebf","after":"e3d0957ef82195cb540de7e48cd9f1ea87be35e5","ref":"refs/heads/main","pushedAt":"2024-04-29T17:05:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"update Verus version in README","shortMessageHtmlLink":"update Verus version in README"}},{"before":null,"after":"bf1cbf6ecd757182b529815ea74696dda0150483","ref":"refs/heads/count_lines-no-hardcoded-paths","pushedAt":"2024-04-18T13:39:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"utaal","name":"Andrea Lattuada","path":"/utaal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/791335?s=80&v=4"},"commit":{"message":"remove the hardcoded paths in count_lines.sh","shortMessageHtmlLink":"remove the hardcoded paths in count_lines.sh"}},{"before":"6ff6919f7808580e23a25ab05fa77cc4747665e0","after":null,"ref":"refs/heads/update-to-verus-32e7ae0","pushedAt":"2024-04-17T21:29:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"utaal","name":"Andrea Lattuada","path":"/utaal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/791335?s=80&v=4"}},{"before":"5b447f73a04b9517bed750c8ea46de1d6f465257","after":"9ee40b614443962b15e7315106568f20a1810ebf","ref":"refs/heads/main","pushedAt":"2024-04-17T21:29:43.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"utaal","name":"Andrea Lattuada","path":"/utaal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/791335?s=80&v=4"},"commit":{"message":"update to verus 0.2024.04.17.32e7ae0","shortMessageHtmlLink":"update to verus 0.2024.04.17.32e7ae0"}},{"before":"f5c6870827aefc7272b63f69802e9a2c2d6ed03a","after":"6ff6919f7808580e23a25ab05fa77cc4747665e0","ref":"refs/heads/update-to-verus-32e7ae0","pushedAt":"2024-04-17T21:19:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"utaal","name":"Andrea Lattuada","path":"/utaal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/791335?s=80&v=4"},"commit":{"message":"update to verus 0.2024.04.17.32e7ae0","shortMessageHtmlLink":"update to verus 0.2024.04.17.32e7ae0"}},{"before":"e110e0664caea96fb26cde1c9db13b58e2a78f55","after":"f5c6870827aefc7272b63f69802e9a2c2d6ed03a","ref":"refs/heads/update-to-verus-32e7ae0","pushedAt":"2024-04-17T20:48:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"utaal","name":"Andrea Lattuada","path":"/utaal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/791335?s=80&v=4"},"commit":{"message":"update to verus 0.2024.04.17.32e7ae0","shortMessageHtmlLink":"update to verus 0.2024.04.17.32e7ae0"}},{"before":null,"after":"e110e0664caea96fb26cde1c9db13b58e2a78f55","ref":"refs/heads/update-to-verus-32e7ae0","pushedAt":"2024-04-17T20:31:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"utaal","name":"Andrea Lattuada","path":"/utaal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/791335?s=80&v=4"},"commit":{"message":"update to verus 0.2024.04.17.32e7ae0","shortMessageHtmlLink":"update to verus 0.2024.04.17.32e7ae0"}},{"before":"70772d1689c892ef332d6519ebc3d0ec5c8fa95c","after":"5b447f73a04b9517bed750c8ea46de1d6f465257","ref":"refs/heads/main","pushedAt":"2024-04-04T20:07:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjhance","name":"Travis Hance","path":"/tjhance","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/592054?s=80&v=4"},"commit":{"message":"Update LICENSE","shortMessageHtmlLink":"Update LICENSE"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMFQxODozNzoyMS4wMDAwMDBazwAAAASyaB5E","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMFQxODozNzoyMS4wMDAwMDBazwAAAASyaB5E","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0wNFQyMDowNzoyNi4wMDAwMDBazwAAAAQoMnHE"}},"title":"Activity · verus-lang/verified-memory-allocator"}