{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":630554439,"defaultBranch":"ghostptrtoken","name":"rust-horn-belt","ownerLogin":"dewert99","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-20T16:18:41.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33990711?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1698167815.0","currentOid":""},"activityList":{"items":[{"before":"0477c10dd814e4b0b73942c31b2b7f4e489ae585","after":"20f83724add2e66987de1026ecd290dc40fc0bfd","ref":"refs/heads/thesis","pushedAt":"2023-11-02T15:38:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"54fff6332214729b09e5ed50ee81dd2e1b57ba10","after":"0477c10dd814e4b0b73942c31b2b7f4e489ae585","ref":"refs/heads/thesis","pushedAt":"2023-11-02T15:34:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Fix title in README","shortMessageHtmlLink":"Fix title in README"}},{"before":"54fff6332214729b09e5ed50ee81dd2e1b57ba10","after":null,"ref":"refs/heads/thesis_readme","pushedAt":"2023-10-24T17:16:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"}},{"before":null,"after":"54fff6332214729b09e5ed50ee81dd2e1b57ba10","ref":"refs/heads/thesis","pushedAt":"2023-10-24T17:16:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Update README.md\n\nAdded thesis","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"54fff6332214729b09e5ed50ee81dd2e1b57ba10","ref":"refs/heads/thesis_readme","pushedAt":"2023-10-24T17:16:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Update README.md\n\nAdded thesis","shortMessageHtmlLink":"Update README.md"}},{"before":"54fff6332214729b09e5ed50ee81dd2e1b57ba10","after":null,"ref":"refs/heads/thesis_readme","pushedAt":"2023-10-24T17:16:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"}},{"before":"af47b28f38dd0cbeb620c2cb9ade29f0aad24c27","after":"54fff6332214729b09e5ed50ee81dd2e1b57ba10","ref":"refs/heads/thesis_readme","pushedAt":"2023-10-24T17:10:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Update README.md\n\nAdded thesis","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"af47b28f38dd0cbeb620c2cb9ade29f0aad24c27","ref":"refs/heads/thesis_readme","pushedAt":"2023-10-23T22:11:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Reverified vectors and slices (after proph model change)","shortMessageHtmlLink":"Reverified vectors and slices (after proph model change)"}},{"before":"1d098b23f272df5d634f4cfd57fcc0a65689b5cd","after":"af47b28f38dd0cbeb620c2cb9ade29f0aad24c27","ref":"refs/heads/ghostptrtoken","pushedAt":"2023-10-10T21:33:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Reverified vectors and slices (after proph model change)","shortMessageHtmlLink":"Reverified vectors and slices (after proph model change)"}},{"before":"00c8cd39dc2b473fa2ae5a44a72082bd64078df4","after":"1d098b23f272df5d634f4cfd57fcc0a65689b5cd","ref":"refs/heads/ghostptrtoken","pushedAt":"2023-10-07T04:02:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Merge branch 'ghost'","shortMessageHtmlLink":"Merge branch 'ghost'"}},{"before":"e353aa202444ca91c0d18c8be3c391e3f2f34908","after":"00c8cd39dc2b473fa2ae5a44a72082bd64078df4","ref":"refs/heads/ghostptrtoken","pushedAt":"2023-10-07T01:05:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Overhaul ghost functions and add extra proofs","shortMessageHtmlLink":"Overhaul ghost functions and add extra proofs"}},{"before":"0402e1060258fb6737909244fd4877231e6f17f1","after":"e353aa202444ca91c0d18c8be3c391e3f2f34908","ref":"refs/heads/ghostptrtoken","pushedAt":"2023-08-25T01:52:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Verified shrink_token_ref and re-verified take_mut","shortMessageHtmlLink":"Verified shrink_token_ref and re-verified take_mut"}},{"before":"0aa988ecbe377c790fb322bdf680aec1b6fb14e4","after":"0402e1060258fb6737909244fd4877231e6f17f1","ref":"refs/heads/ghostptrtoken","pushedAt":"2023-08-21T00:46:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Added support for shared references to ghostseq and permdata and GhostPtrToken borrow to use it","shortMessageHtmlLink":"Added support for shared references to ghostseq and permdata and Ghos…"}},{"before":"afd9f80c2f269ce567d93b3c5a2c0feaef80a31c","after":"0aa988ecbe377c790fb322bdf680aec1b6fb14e4","ref":"refs/heads/ghostptrtoken","pushedAt":"2023-08-07T18:19:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Strengthened postcondition for remove","shortMessageHtmlLink":"Strengthened postcondition for remove"}},{"before":"bb4508c8131122107d9aa3bc84268daf1c1a0a91","after":"afd9f80c2f269ce567d93b3c5a2c0feaef80a31c","ref":"refs/heads/ghostptrtoken","pushedAt":"2023-07-21T00:01:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Extracted remove proof, added some hints to solve_typing  to help with lctx_lft_alive proofs, TODO these should probably be moved","shortMessageHtmlLink":"Extracted remove proof, added some hints to solve_typing to help with…"}},{"before":null,"after":"bb4508c8131122107d9aa3bc84268daf1c1a0a91","ref":"refs/heads/ghostptrtoken","pushedAt":"2023-07-17T00:57:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Extracted out more of GhostPtrToken proofs to use properties about GhostSeq and PermData","shortMessageHtmlLink":"Extracted out more of GhostPtrToken proofs to use properties about Gh…"}},{"before":null,"after":"dde04466c47f9ec00d5ffa29923ec50c7fce8e01","ref":"refs/heads/ghost","pushedAt":"2023-06-15T19:01:14.489Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Switched more lib files to support changes for ghost","shortMessageHtmlLink":"Switched more lib files to support changes for ghost"}},{"before":null,"after":"f1851899cb4308cc09bef5a315369f9d31739457","ref":"refs/heads/ghost_ptr","pushedAt":"2023-04-20T16:21:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dewert99","name":"David Ewert","path":"/dewert99","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33990711?s=80&v=4"},"commit":{"message":"Added extra specs about the association list not having duplicates","shortMessageHtmlLink":"Added extra specs about the association list not having duplicates"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0wMlQxNTozODo0Mi4wMDAwMDBazwAAAAOmALww","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0wMlQxNTozODo0Mi4wMDAwMDBazwAAAAOmALww","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0yMFQxNjoyMTozMy4wMDAwMDBazwAAAAMdAWuL"}},"title":"Activity · dewert99/rust-horn-belt"}