{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":701156308,"defaultBranch":"master","name":"dafny","ownerLogin":"ChloeL19","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-10-06T03:40:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/21979631?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1700249954.0","currentOid":""},"activityList":{"items":[{"before":"9a4736ebbff3bf58d4b5ccf865d78ae4b834145f","after":"51121ee64693425b77c8479b86fefe4564463cc7","ref":"refs/heads/master","pushedAt":"2023-11-25T00:41:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ChloeL19","name":"Chloe","path":"/ChloeL19","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21979631?s=80&v=4"},"commit":{"message":"https://github.com/ChloeL19/dafny/blob/master/Source/DafnyCore/AST/Grammar/Printer.s","shortMessageHtmlLink":"https://github.com/ChloeL19/dafny/blob/master/Source/DafnyCore/AST/Gr…"}},{"before":null,"after":"9bdbd49d101054106e5f52d98110f2d05f294784","ref":"refs/heads/og","pushedAt":"2023-11-17T19:39:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ChloeL19","name":"Chloe","path":"/ChloeL19","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21979631?s=80&v=4"},"commit":{"message":"feat: import Collections library (#4756)\n\nImports the Collections libraries from `dafny-lang/libraries`,\r\nas a new `DafnyStdLibs` library.","shortMessageHtmlLink":"feat: import Collections library (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1984642227\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/4756\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/4756/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/4756\">dafny-lang#4756</a>)"}},{"before":"c3d328c8ee2ed5314fb2dfff2738c67096d1b163","after":"9a4736ebbff3bf58d4b5ccf865d78ae4b834145f","ref":"refs/heads/master","pushedAt":"2023-11-17T19:34:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ChloeL19","name":"Chloe","path":"/ChloeL19","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21979631?s=80&v=4"},"commit":{"message":"updating the dafny compiler stuff","shortMessageHtmlLink":"updating the dafny compiler stuff"}},{"before":"6d12d3c8e034ffc79aad57cd7c148cbd151810e8","after":"c3d328c8ee2ed5314fb2dfff2738c67096d1b163","ref":"refs/heads/master","pushedAt":"2023-11-09T20:44:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ChloeL19","name":"Chloe","path":"/ChloeL19","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21979631?s=80&v=4"},"commit":{"message":"idk if I changed stuff","shortMessageHtmlLink":"idk if I changed stuff"}},{"before":"ffc6cdde154dd4f066457f5304eeb837100b11af","after":"6d12d3c8e034ffc79aad57cd7c148cbd151810e8","ref":"refs/heads/master","pushedAt":"2023-11-03T14:16:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ChloeL19","name":"Chloe","path":"/ChloeL19","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21979631?s=80&v=4"},"commit":{"message":"can now selectively print parts of input program","shortMessageHtmlLink":"can now selectively print parts of input program"}},{"before":"1d959683cb06bdde41d4d79729dbd1cd23cf98b2","after":"ffc6cdde154dd4f066457f5304eeb837100b11af","ref":"refs/heads/master","pushedAt":"2023-10-26T13:37:54.000Z","pushType":"push","commitsCount":51,"pusher":{"login":"ChloeL19","name":"Chloe","path":"/ChloeL19","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21979631?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/dafny-lang/dafny","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/dafny-lang/dafny\">https://github.com/dafny-lang/dafny</a>"}},{"before":"58a803398f5f59ba341276e7bbc79aababbbce4c","after":"1d959683cb06bdde41d4d79729dbd1cd23cf98b2","ref":"refs/heads/master","pushedAt":"2023-10-06T23:33:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ChloeL19","name":"Chloe","path":"/ChloeL19","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21979631?s=80&v=4"},"commit":{"message":"now logging a function call graph","shortMessageHtmlLink":"now logging a function call graph"}},{"before":"161736149b29becc2f3fb7798a85fa6641b95697","after":"58a803398f5f59ba341276e7bbc79aababbbce4c","ref":"refs/heads/master","pushedAt":"2023-10-06T03:46:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ChloeL19","name":"Chloe","path":"/ChloeL19","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21979631?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/dafny-lang/dafny","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/dafny-lang/dafny\">https://github.com/dafny-lang/dafny</a>"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADtzqtjAA","startCursor":null,"endCursor":null}},"title":"Activity · ChloeL19/dafny"}