{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":560012281,"defaultBranch":"master","name":"QNP","ownerLogin":"plum-umd","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-31T15:02:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2153125?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1701319018.0","currentOid":""},"activityList":{"items":[{"before":"0d5f358b8b7d5179798a0124f9ece227f258aec2","after":"3d8da1a5d8e8186868e59d3dd7d9e4e6e85fa699","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-24T07:01:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saitej-avinash","name":"Avinash","path":"/saitej-avinash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46066213?s=80&v=4"},"commit":{"message":"Update QafnySQIR.v","shortMessageHtmlLink":"Update QafnySQIR.v"}},{"before":"a9c7772fc5fe970a51c0f405eed54d03b3e4c3ee","after":"0d5f358b8b7d5179798a0124f9ece227f258aec2","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-24T06:38:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saitej-avinash","name":"Avinash","path":"/saitej-avinash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46066213?s=80&v=4"},"commit":{"message":"Update","shortMessageHtmlLink":"Update"}},{"before":"1a89a753ce11a68e48a9b46ac940a8b7f45a721f","after":"a9c7772fc5fe970a51c0f405eed54d03b3e4c3ee","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-24T05:59:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saitej-avinash","name":"Avinash","path":"/saitej-avinash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46066213?s=80&v=4"},"commit":{"message":"Update","shortMessageHtmlLink":"Update"}},{"before":"5f353b12f08a1bdf9d57ecf25071890b354c2a9d","after":"1a89a753ce11a68e48a9b46ac940a8b7f45a721f","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-23T23:05:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saitej-avinash","name":"Avinash","path":"/saitej-avinash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46066213?s=80&v=4"},"commit":{"message":"Update","shortMessageHtmlLink":"Update"}},{"before":"e492aace28efc85b9dc8c7caa8c4b2e6876943e1","after":"5f353b12f08a1bdf9d57ecf25071890b354c2a9d","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-21T00:36:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"2532e036bf9dd8fb7fa41bae9d28bf17dc22482e","after":"e492aace28efc85b9dc8c7caa8c4b2e6876943e1","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-19T21:36:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saitej-avinash","name":"Avinash","path":"/saitej-avinash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46066213?s=80&v=4"},"commit":{"message":"Update","shortMessageHtmlLink":"Update"}},{"before":"484281f306f088bd6cea50780e4f9a9395d1e495","after":"2532e036bf9dd8fb7fa41bae9d28bf17dc22482e","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-19T19:43:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saitej-avinash","name":"Avinash","path":"/saitej-avinash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46066213?s=80&v=4"},"commit":{"message":"Update","shortMessageHtmlLink":"Update"}},{"before":"9fe77ee72808eb2299050893bd1beba4f2edc910","after":"484281f306f088bd6cea50780e4f9a9395d1e495","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-19T17:39:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saitej-avinash","name":"Avinash","path":"/saitej-avinash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46066213?s=80&v=4"},"commit":{"message":"Update","shortMessageHtmlLink":"Update"}},{"before":"162192625a956482c37cb151bf179dea690f41d6","after":"9fe77ee72808eb2299050893bd1beba4f2edc910","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-19T17:37:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saitej-avinash","name":"Avinash","path":"/saitej-avinash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46066213?s=80&v=4"},"commit":{"message":"Update: Trans_state and Lemma","shortMessageHtmlLink":"Update: Trans_state and Lemma"}},{"before":"5f665d11f16a010b0d6cfe5bd5ff2056e3e3b02c","after":"162192625a956482c37cb151bf179dea690f41d6","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-18T01:30:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"93c632939331a597ddcdd4bc675608b81a0904f7","after":"5f665d11f16a010b0d6cfe5bd5ff2056e3e3b02c","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-17T03:02:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"41a355f04bb5f2778f943794b79482a4f27829fd","after":"8063dd39fd422eee72a03c8bbcfb5f11d46fd919","ref":"refs/heads/master","pushedAt":"2024-01-17T02:40:02.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"53301465db74f76b987724617212beb12e768fbc","after":"93c632939331a597ddcdd4bc675608b81a0904f7","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-16T06:22:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"a61cdb4c811d238f6f36de42bca81b0242f06e4f","after":"53301465db74f76b987724617212beb12e768fbc","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-16T06:08:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saitej-avinash","name":"Avinash","path":"/saitej-avinash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46066213?s=80&v=4"},"commit":{"message":"Update  (abort removal)","shortMessageHtmlLink":"Update (abort removal)"}},{"before":"f638bb3a3f7e99940e9888d0b6741df0ecc161d2","after":"a61cdb4c811d238f6f36de42bca81b0242f06e4f","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-16T05:57:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"saitej-avinash","name":"Avinash","path":"/saitej-avinash","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46066213?s=80&v=4"},"commit":{"message":"Update","shortMessageHtmlLink":"Update"}},{"before":"8461ba6fac0e0bcd23900c022cad9c0170fbe39e","after":"f638bb3a3f7e99940e9888d0b6741df0ecc161d2","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-16T04:33:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"starting proving type preservation.","shortMessageHtmlLink":"starting proving type preservation."}},{"before":"363d6dd22c79bf48e6727cbf4f0411fa5268aaf8","after":"8461ba6fac0e0bcd23900c022cad9c0170fbe39e","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-16T04:05:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update semantics.","shortMessageHtmlLink":"update semantics."}},{"before":"e1c28134e0feb3401efad19b76544799ea964936","after":"363d6dd22c79bf48e6727cbf4f0411fa5268aaf8","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-15T05:27:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"810b4cd4f4489d70d8536aa4522fd30978dd2e63","after":"e1c28134e0feb3401efad19b76544799ea964936","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-15T04:45:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"6a3999a097717012fba44ba1fac0cc0de5671057","after":"41a355f04bb5f2778f943794b79482a4f27829fd","ref":"refs/heads/master","pushedAt":"2024-01-12T22:05:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update grovers.","shortMessageHtmlLink":"update grovers."}},{"before":"078bd5c026f2de91ac079f1e524c3f4038444f6d","after":"6a3999a097717012fba44ba1fac0cc0de5671057","ref":"refs/heads/master","pushedAt":"2024-01-12T22:04:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"0eef90116023be6dd76a72d9c56de9d32fa7b88d","after":"078bd5c026f2de91ac079f1e524c3f4038444f6d","ref":"refs/heads/master","pushedAt":"2024-01-12T01:30:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"670cc2b08a6e8bebcefa066313bf3dd36689b17d","after":"810b4cd4f4489d70d8536aa4522fd30978dd2e63","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-11T20:58:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"23ece319a611c24cb39edf84629c321d32b982a5","after":"670cc2b08a6e8bebcefa066313bf3dd36689b17d","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-11T20:55:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"601db74429eb290b1cb9c609b461ff767dc0eca2","after":"23ece319a611c24cb39edf84629c321d32b982a5","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-09T23:42:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update semantics.","shortMessageHtmlLink":"update semantics."}},{"before":"d710cfe2ee3111f4ef8ec829099abbafcf751fac","after":"0eef90116023be6dd76a72d9c56de9d32fa7b88d","ref":"refs/heads/master","pushedAt":"2024-01-09T03:34:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"8ef943b02e5cb5b9c9add2eb59a6dc2b05f7002a","after":"d710cfe2ee3111f4ef8ec829099abbafcf751fac","ref":"refs/heads/master","pushedAt":"2024-01-09T03:33:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"ea1f45a48a24766fdb4e16e87ee48ef28345ed0e","after":"8ef943b02e5cb5b9c9add2eb59a6dc2b05f7002a","ref":"refs/heads/master","pushedAt":"2024-01-09T03:32:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"0eac372a7644374492196d37bd29b4964ba496b4","after":"601db74429eb290b1cb9c609b461ff767dc0eca2","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-09T03:28:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"update.","shortMessageHtmlLink":"update."}},{"before":"3ac505c502d9d86330192f6fc3c48f3d7b9fb01c","after":"0eac372a7644374492196d37bd29b4964ba496b4","ref":"refs/heads/QafnySQIR-Development","pushedAt":"2024-01-06T05:55:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyili2","name":"Liyi Li","path":"/liyili2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5891627?s=80&v=4"},"commit":{"message":"updarte.","shortMessageHtmlLink":"updarte."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0yNFQwNzowMToyOS4wMDAwMDBazwAAAAPnnodo","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0yNFQwNzowMToyOS4wMDAwMDBazwAAAAPnnodo","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0wNlQwNTo1NToxMS4wMDAwMDBazwAAAAPZEq32"}},"title":"Activity · plum-umd/QNP"}