{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":438797850,"defaultBranch":"master","name":"dafny","ownerLogin":"atomb","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2021-12-15T23:04:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/24929?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1719441242.0","currentOid":""},"activityList":{"items":[{"before":"d54fe188cecf92d82c6d02cad1a0806d365af6ec","after":"475ab29c947eba40646a06345af2bfb68ce63702","ref":"refs/heads/fix-post-release-tests","pushedAt":"2024-06-27T10:16:31.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Merge branch 'master' into fix-post-release-tests","shortMessageHtmlLink":"Merge branch 'master' into fix-post-release-tests"}},{"before":null,"after":"d54fe188cecf92d82c6d02cad1a0806d365af6ec","ref":"refs/heads/fix-post-release-tests","pushedAt":"2024-06-26T22:34:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Fix tests that failed during the 4.7 release\n\nThese are trivial failures that are errors in the tests, not in Dafny,\nso they aren't worth interrupting the release process over.","shortMessageHtmlLink":"Fix tests that failed during the 4.7 release"}},{"before":null,"after":"d73ebf5fd5f84f3d9732716a8fd8b4327ae18014","ref":"refs/heads/update-release-process","pushedAt":"2024-06-26T21:39:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Update release process\n\n* Document the need to update `.doo` files on each version change.\n* Add a `set-next-version` action to `prepare_release.py` and document\n  when and how to use it.","shortMessageHtmlLink":"Update release process"}},{"before":"6eb8cd7fa3f0e7b83aa294efac5c96d311a88708","after":"9a045e74fd684c7f6e80a2832eab1b1422aa248b","ref":"refs/heads/po-desc-calc-step","pushedAt":"2024-06-07T23:47:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Merge branch 'master' into po-desc-calc-step","shortMessageHtmlLink":"Merge branch 'master' into po-desc-calc-step"}},{"before":null,"after":"6eb8cd7fa3f0e7b83aa294efac5c96d311a88708","ref":"refs/heads/po-desc-calc-step","pushedAt":"2024-06-07T23:41:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Implement `GetAssertedExpr` for `CalculationStep`","shortMessageHtmlLink":"Implement <code>GetAssertedExpr</code> for <code>CalculationStep</code>"}},{"before":"09982c034f8eae19f0e525ee9b9fac27597bfe2b","after":"96450d316f94acbdbe84863bf778dc9703e3bcc8","ref":"refs/heads/bounded-below-expr","pushedAt":"2024-05-30T20:56:47.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Fix rebasing errors","shortMessageHtmlLink":"Fix rebasing errors"}},{"before":"d8270b41647ec87a919ed7e9f031873c6db29a21","after":"09982c034f8eae19f0e525ee9b9fac27597bfe2b","ref":"refs/heads/bounded-below-expr","pushedAt":"2024-05-30T04:41:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alex-chew","name":"Alex Chew","path":"/alex-chew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5844231?s=80&v=4"},"commit":{"message":"Merge branch 'master' into bounded-below-expr","shortMessageHtmlLink":"Merge branch 'master' into bounded-below-expr"}},{"before":"91e60fbc61ec88b1dee6902d0089e3aa248b27be","after":"d8270b41647ec87a919ed7e9f031873c6db29a21","ref":"refs/heads/bounded-below-expr","pushedAt":"2024-05-29T23:46:58.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'upstream/master' into bounded-below-expr","shortMessageHtmlLink":"Merge remote-tracking branch 'upstream/master' into bounded-below-expr"}},{"before":"bd36dc762ffc30e3c47a302115c6860d66f38d7a","after":"91e60fbc61ec88b1dee6902d0089e3aa248b27be","ref":"refs/heads/bounded-below-expr","pushedAt":"2024-05-29T23:44:19.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"fix: Reference the correct `this` after removing the tail call of a function or method (#5474)\n\nFixes #4684\r\n\r\n---------\r\n\r\nCo-authored-by: Aaron Tomb <aarotomb@amazon.com>","shortMessageHtmlLink":"fix: Reference the correct <code>this</code> after removing the tail call of a f…"}},{"before":"a4181a49b8f715c839f9af4ea6300a3e21dd2f58","after":"15d21a42b520b16fe7af9d6e25313bbc9358b549","ref":"refs/heads/decreasesto","pushedAt":"2024-05-29T23:05:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Merge branch 'master' into decreasesto","shortMessageHtmlLink":"Merge branch 'master' into decreasesto"}},{"before":"5e846066f53904fc049784e8b150c12350d52b81","after":"a4181a49b8f715c839f9af4ea6300a3e21dd2f58","ref":"refs/heads/decreasesto","pushedAt":"2024-05-28T16:22:38.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Merge branch 'master' into decreasesto","shortMessageHtmlLink":"Merge branch 'master' into decreasesto"}},{"before":"aefe77579ad88296bc2a3f0ce5aa6cbc206e9777","after":"5e846066f53904fc049784e8b150c12350d52b81","ref":"refs/heads/decreasesto","pushedAt":"2024-05-24T22:25:23.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'upstream/master' into decreasesto","shortMessageHtmlLink":"Merge remote-tracking branch 'upstream/master' into decreasesto"}},{"before":"b49ec2fa54fadef5e89a07fb784867926065081c","after":"bd36dc762ffc30e3c47a302115c6860d66f38d7a","ref":"refs/heads/bounded-below-expr","pushedAt":"2024-05-24T18:33:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Move tests","shortMessageHtmlLink":"Move tests"}},{"before":"1856361f4b37b7910c2252d4177203f71550ecce","after":"aefe77579ad88296bc2a3f0ce5aa6cbc206e9777","ref":"refs/heads/decreasesto","pushedAt":"2024-05-24T18:33:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Fix tests","shortMessageHtmlLink":"Fix tests"}},{"before":null,"after":"b49ec2fa54fadef5e89a07fb784867926065081c","ref":"refs/heads/bounded-below-expr","pushedAt":"2024-05-24T18:16:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Implement GetAssertedExpr for  DecreasesBoundedBelow\n\nThis introduces more duplication than I’d like, but it’ll be a bit of\nwork to remove it. Ideally, the Boogie code would be generated by\ntranslating the Dafny code that’s now present, but that would likely\nchange the generated Boogie code in semantically equivalent ways that\nnonetheless might perturb verification. It’s also not clear that it’s\nfeasible to make the variable declarations that store the old value of\nloop decreases expressions come from translated Dafny code.","shortMessageHtmlLink":"Implement GetAssertedExpr for DecreasesBoundedBelow"}},{"before":"a1a3dcb7d203d34008f48b8021930fb3d9c7ce4c","after":"1856361f4b37b7910c2252d4177203f71550ecce","ref":"refs/heads/decreasesto","pushedAt":"2024-05-24T00:18:09.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'upstream/master' into decreasesto","shortMessageHtmlLink":"Merge remote-tracking branch 'upstream/master' into decreasesto"}},{"before":"ca3fab501c784984f84283071cf2d88b1bb2dddc","after":"a1a3dcb7d203d34008f48b8021930fb3d9c7ce4c","ref":"refs/heads/decreasesto","pushedAt":"2024-05-23T22:42:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Fix checking of `decreases to` reference examples","shortMessageHtmlLink":"Fix checking of <code>decreases to</code> reference examples"}},{"before":"cd930696c141dd3a63f344ccc6ff0a03047f0192","after":"ca3fab501c784984f84283071cf2d88b1bb2dddc","ref":"refs/heads/decreasesto","pushedAt":"2024-05-22T23:45:28.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Fix token on some DecreasesToExpr translations","shortMessageHtmlLink":"Fix token on some DecreasesToExpr translations"}},{"before":"31dbe3d89457a8811b9d55737a32b8a96cd1dc27","after":"cd930696c141dd3a63f344ccc6ff0a03047f0192","ref":"refs/heads/decreasesto","pushedAt":"2024-05-22T00:27:01.000Z","pushType":"push","commitsCount":13,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Support allowNoChange in DecreasesToExpr","shortMessageHtmlLink":"Support allowNoChange in DecreasesToExpr"}},{"before":"ad26c21b3099f067706ef2803681bcd688d5602f","after":"31dbe3d89457a8811b9d55737a32b8a96cd1dc27","ref":"refs/heads/decreasesto","pushedAt":"2024-05-15T22:27:16.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Create error IDs for new error messages","shortMessageHtmlLink":"Create error IDs for new error messages"}},{"before":"cc89ec18755f53e88807765fdc9c79c0d1f19a99","after":"ad26c21b3099f067706ef2803681bcd688d5602f","ref":"refs/heads/decreasesto","pushedAt":"2024-05-15T21:16:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Fix parsing of the unit value","shortMessageHtmlLink":"Fix parsing of the unit value"}},{"before":"4ad5ae115aee5367ef6c7ac9269d4798ea47c355","after":"cc89ec18755f53e88807765fdc9c79c0d1f19a99","ref":"refs/heads/decreasesto","pushedAt":"2024-05-15T17:14:57.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'upstream/master' into decreasesto","shortMessageHtmlLink":"Merge remote-tracking branch 'upstream/master' into decreasesto"}},{"before":"ee6059e0541778692f1a1694a73d05c079b452d7","after":"4ad5ae115aee5367ef6c7ac9269d4798ea47c355","ref":"refs/heads/decreasesto","pushedAt":"2024-05-15T17:06:40.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"More tests","shortMessageHtmlLink":"More tests"}},{"before":"3aa06090ed83c870d74dae184ae04ebb946f38ca","after":"ee6059e0541778692f1a1694a73d05c079b452d7","ref":"refs/heads/decreasesto","pushedAt":"2024-05-14T21:10:04.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Adjust parser for `decreases to`","shortMessageHtmlLink":"Adjust parser for <code>decreases to</code>"}},{"before":"5fe0e365f520507c25941b855cbe881a76a69b38","after":"3aa06090ed83c870d74dae184ae04ebb946f38ca","ref":"refs/heads/decreasesto","pushedAt":"2024-05-13T23:18:25.000Z","pushType":"push","commitsCount":23,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'upstream/master' into decreasesto","shortMessageHtmlLink":"Merge remote-tracking branch 'upstream/master' into decreasesto"}},{"before":null,"after":"5fe0e365f520507c25941b855cbe881a76a69b38","ref":"refs/heads/decreasesto","pushedAt":"2024-04-25T22:33:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Add initial test","shortMessageHtmlLink":"Add initial test"}},{"before":"d04d10606e37edd1443448dad654b4dbfa8af41e","after":"25cba7223403250f0f4a279fdd8358d678ac6fad","ref":"refs/heads/progress-reformat","pushedAt":"2024-04-22T16:47:24.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Merge branch 'master' into progress-reformat","shortMessageHtmlLink":"Merge branch 'master' into progress-reformat"}},{"before":"ce44c155e6cf4a3372af19c14bef4ef5bf4c2422","after":"8713fa894a3dfcb012772c635b389bc283cb133e","ref":"refs/heads/refactoring-for-decreases-to","pushedAt":"2024-04-19T22:57:09.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Merge branch 'master' into refactoring-for-decreases-to","shortMessageHtmlLink":"Merge branch 'master' into refactoring-for-decreases-to"}},{"before":"e33942ac33ed172fc87806668d9dbaa3ab5bfd33","after":"1e3b76c197e72e4d6450668392f690d36da3d85e","ref":"refs/heads/retry-lsp-tests","pushedAt":"2024-04-19T20:11:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Run LSP tests in the right directory","shortMessageHtmlLink":"Run LSP tests in the right directory"}},{"before":"4316f8c0bbeba8c25c818d67ed72b42b57b1ea6d","after":"e33942ac33ed172fc87806668d9dbaa3ab5bfd33","ref":"refs/heads/retry-lsp-tests","pushedAt":"2024-04-19T19:10:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Another fix attempt","shortMessageHtmlLink":"Another fix attempt"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEcK4srgA","startCursor":null,"endCursor":null}},"title":"Activity · atomb/dafny"}