{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":495966883,"defaultBranch":"main","name":"VeriNum.github.io","ownerLogin":"VeriNum","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-05-24T19:48:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/100858532?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1663263414.2965991","currentOid":""},"activityList":{"items":[{"before":"99f8458cfaf72459acbb1632dc060e72eb878c1f","after":"118400a4d2044e9263da555218630b1f8a9bd65d","ref":"refs/heads/main","pushedAt":"2024-03-01T18:04:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrew-appel","name":"Andrew Appel","path":"/andrew-appel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9196811?s=80&v=4"},"commit":{"message":"Update bib info for VCFloat2 paper","shortMessageHtmlLink":"Update bib info for VCFloat2 paper"}},{"before":"93f65b2448f743af79324bb785e151f1f8b3f232","after":"99f8458cfaf72459acbb1632dc060e72eb878c1f","ref":"refs/heads/main","pushedAt":"2024-03-01T17:59:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrew-appel","name":"Andrew Appel","path":"/andrew-appel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9196811?s=80&v=4"},"commit":{"message":"Update README.md with Yichen and Sahil","shortMessageHtmlLink":"Update README.md with Yichen and Sahil"}},{"before":"f407c747eae10a30eba0f65c521fad4827de4c6e","after":"93f65b2448f743af79324bb785e151f1f8b3f232","ref":"refs/heads/main","pushedAt":"2023-12-06T16:31:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrew-appel","name":"Andrew Appel","path":"/andrew-appel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9196811?s=80&v=4"},"commit":{"message":"Update Mohit's info in README.md","shortMessageHtmlLink":"Update Mohit's info in README.md"}},{"before":"0911b7357148437d51c26c3187d2174738ec0dd6","after":"f407c747eae10a30eba0f65c521fad4827de4c6e","ref":"refs/heads/main","pushedAt":"2023-09-01T14:43:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrew-appel","name":"Andrew Appel","path":"/andrew-appel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9196811?s=80&v=4"},"commit":{"message":"Update README.md with two recent papers\n\n(Jacobi and LAProof)","shortMessageHtmlLink":"Update README.md with two recent papers"}},{"before":"15854df673d23fe9307269176f20dc87e477dad1","after":"0911b7357148437d51c26c3187d2174738ec0dd6","ref":"refs/heads/main","pushedAt":"2023-04-13T14:08:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrew-appel","name":"Andrew Appel","path":"/andrew-appel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9196811?s=80&v=4"},"commit":{"message":"Fix some formatting","shortMessageHtmlLink":"Fix some formatting"}},{"before":"c33289babdbb0a630ad6f8df08c884d19db86472","after":"15854df673d23fe9307269176f20dc87e477dad1","ref":"refs/heads/main","pushedAt":"2023-04-13T14:04:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrew-appel","name":"Andrew Appel","path":"/andrew-appel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9196811?s=80&v=4"},"commit":{"message":"minor tweak","shortMessageHtmlLink":"minor tweak"}},{"before":"aba9b5a1f6f73819aa2179d4e538f58ba46c084b","after":"c33289babdbb0a630ad6f8df08c884d19db86472","ref":"refs/heads/main","pushedAt":"2023-04-13T14:04:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrew-appel","name":"Andrew Appel","path":"/andrew-appel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9196811?s=80&v=4"},"commit":{"message":"undo the last change","shortMessageHtmlLink":"undo the last change"}},{"before":"23d89c17f54f47039853935ec8336f9a8dabf0f7","after":"aba9b5a1f6f73819aa2179d4e538f58ba46c084b","ref":"refs/heads/main","pushedAt":"2023-04-13T14:00:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrew-appel","name":"Andrew Appel","path":"/andrew-appel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9196811?s=80&v=4"},"commit":{"message":"Adjusted vcfloat subdirectoryv","shortMessageHtmlLink":"Adjusted vcfloat subdirectoryv"}},{"before":"0c03ea7a80b91fe409da67ca33cc9a38c2c3d97c","after":"23d89c17f54f47039853935ec8336f9a8dabf0f7","ref":"refs/heads/main","pushedAt":"2023-04-13T13:56:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrew-appel","name":"Andrew Appel","path":"/andrew-appel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9196811?s=80&v=4"},"commit":{"message":"Added vcfloat subdirectory","shortMessageHtmlLink":"Added vcfloat subdirectory"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wMVQxODowNDo0MS4wMDAwMDBazwAAAAQKB1or","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0xM1QxMzo1Njo0Ny4wMDAwMDBazwAAAAMYDLu3"}},"title":"Activity · VeriNum/VeriNum.github.io"}