{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":56403253,"defaultBranch":"master","name":"dafny","ownerLogin":"dafny-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-04-16T20:05:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/52358127?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716016528.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"322ee9dec6c57df20d3433bb64e75865115fdb6e","ref":"refs/heads/alexchew/podesc-expr-3","pushedAt":"2024-05-18T07:15:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alex-chew","name":"Alex Chew","path":"/alex-chew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5844231?s=80&v=4"},"commit":{"message":"add asserted expr for PatternShapeIsValid/ValidConstructorNames/DestructorValid/NotGhostVariant","shortMessageHtmlLink":"add asserted expr for PatternShapeIsValid/ValidConstructorNames/Destr…"}},{"before":"1798aa1fddeaa261963d4400e90329588c349d02","after":null,"ref":"refs/heads/alexchew/podesc-expr-2","pushedAt":"2024-05-18T00:53:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alex-chew","name":"Alex Chew","path":"/alex-chew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5844231?s=80&v=4"}},{"before":"cfc7760b7985e3acd8b7b0ce054da545f6953b93","after":"2f5a17e1076cf60118760b16348b9b417f528d74","ref":"refs/heads/master","pushedAt":"2024-05-18T00:53:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"alex-chew","name":"Alex Chew","path":"/alex-chew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5844231?s=80&v=4"},"commit":{"message":"Add more ProofObligationDescription expressions (#5455)","shortMessageHtmlLink":"Add more ProofObligationDescription expressions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2301686031\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5455\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5455/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5455\">#5455</a>)"}},{"before":"089a7db3406b3b381a70e56ebf9b1ec1b337464d","after":"1798aa1fddeaa261963d4400e90329588c349d02","ref":"refs/heads/alexchew/podesc-expr-2","pushedAt":"2024-05-17T23:09:57.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 alexchew/podesc-expr-2","shortMessageHtmlLink":"Merge branch 'master' into alexchew/podesc-expr-2"}},{"before":"894cb3f6c0d0706834422c90fff12c43cdbc3cff","after":"089a7db3406b3b381a70e56ebf9b1ec1b337464d","ref":"refs/heads/alexchew/podesc-expr-2","pushedAt":"2024-05-17T23:08:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alex-chew","name":"Alex Chew","path":"/alex-chew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5844231?s=80&v=4"},"commit":{"message":"extract numeric bounds SubrangeCheckContext","shortMessageHtmlLink":"extract numeric bounds SubrangeCheckContext"}},{"before":"3ddca0635fcf2c7da2d2fd0176529bb5739ad154","after":"36e27b7cb3bc5df1d707b526f4dd4dfa309e4c91","ref":"refs/heads/iterator-exp","pushedAt":"2024-05-17T23:01:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ssomayyajula","name":"Siva Somayyajula","path":"/ssomayyajula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14946194?s=80&v=4"},"commit":{"message":"rely/guarantee reasoning","shortMessageHtmlLink":"rely/guarantee reasoning"}},{"before":"4445b9666ec5ac8268cddc667d9fa25837e1f918","after":null,"ref":"refs/heads/fix-5369-crash-new-resolver","pushedAt":"2024-05-17T21:25:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"}},{"before":"9a7f992cce3299a6f120e02c613d385db079da38","after":"cfc7760b7985e3acd8b7b0ce054da545f6953b93","ref":"refs/heads/master","pushedAt":"2024-05-17T21:25:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Fix: Optional pre-type won't cause a crash anymore (#5442)\n\nThis PR fixes #5369\r\nI added the corresponding test.\r\n\r\n\r\n<small>By submitting this pull request, I confirm that my contribution\r\nis made under the terms of the [MIT\r\nlicense](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>\r\n\r\n---------\r\n\r\nCo-authored-by: Remy Willems <rwillems@amazon.com>","shortMessageHtmlLink":"Fix: Optional pre-type won't cause a crash anymore (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2296217580\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5442\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5442/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5442\">#5442</a>)"}},{"before":"0faf79386f1e6ceb53cd1d66e9bb34b7440f5095","after":"4445b9666ec5ac8268cddc667d9fa25837e1f918","ref":"refs/heads/fix-5369-crash-new-resolver","pushedAt":"2024-05-17T18:25:39.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Merge branch 'master' into fix-5369-crash-new-resolver","shortMessageHtmlLink":"Merge branch 'master' into fix-5369-crash-new-resolver"}},{"before":"8f39de9c1a468ad9aabfa1fe1065ba8bba937a84","after":"fe30ca03dbb554e5d1c322fd62e617923ad0c180","ref":"refs/heads/fix-5331-internal-error-system-nullreferenceexception","pushedAt":"2024-05-17T18:25:18.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Merge branch 'master' into fix-5331-internal-error-system-nullreferenceexception","shortMessageHtmlLink":"Merge branch 'master' into fix-5331-internal-error-system-nullreferen…"}},{"before":"8134d79fdb42b08a411fbc0b888ca537421b8704","after":"894cb3f6c0d0706834422c90fff12c43cdbc3cff","ref":"refs/heads/alexchew/podesc-expr-2","pushedAt":"2024-05-17T17:02:58.000Z","pushType":"push","commitsCount":3,"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 alexchew/podesc-expr-2","shortMessageHtmlLink":"Merge branch 'master' into alexchew/podesc-expr-2"}},{"before":"20c457b4d55939f722c91d6297a7d39c5ea9fa7e","after":"8134d79fdb42b08a411fbc0b888ca537421b8704","ref":"refs/heads/alexchew/podesc-expr-2","pushedAt":"2024-05-17T17:02:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alex-chew","name":"Alex Chew","path":"/alex-chew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5844231?s=80&v=4"},"commit":{"message":"fix whitespace","shortMessageHtmlLink":"fix whitespace"}},{"before":"f3c76edc03dd31be55c393a26fff1d54315606fc","after":null,"ref":"refs/heads/fix-5283-reserved-keywords-go-need-of-escape","pushedAt":"2024-05-17T16:59:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"}},{"before":"80583b7e577c8ff9c3dace832cfa2538b1baec63","after":"9a7f992cce3299a6f120e02c613d385db079da38","ref":"refs/heads/master","pushedAt":"2024-05-17T16:59:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Fix: Support for user-defined module fmt for all compilers (#5441)\n\nThis PR fixes #5283\r\nI added the corresponding test.\r\n\r\n<small>By submitting this pull request, I confirm that my contribution\r\nis made under the terms of the [MIT\r\nlicense](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>","shortMessageHtmlLink":"Fix: Support for user-defined module fmt for all compilers (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2296062389\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5441\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5441/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5441\">#5441</a>)"}},{"before":"94401b21f943f50a82defb886e2883d15e3cd973","after":"f3c76edc03dd31be55c393a26fff1d54315606fc","ref":"refs/heads/fix-5283-reserved-keywords-go-need-of-escape","pushedAt":"2024-05-17T15:56:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"fabiomadge","name":"Fabio Madge","path":"/fabiomadge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/143799?s=80&v=4"},"commit":{"message":"Merge branch 'master' into fix-5283-reserved-keywords-go-need-of-escape","shortMessageHtmlLink":"Merge branch 'master' into fix-5283-reserved-keywords-go-need-of-escape"}},{"before":"29e5b71abf38218a83f2bad263f7cf2b06ceca5c","after":"94401b21f943f50a82defb886e2883d15e3cd973","ref":"refs/heads/fix-5283-reserved-keywords-go-need-of-escape","pushedAt":"2024-05-17T15:56:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabiomadge","name":"Fabio Madge","path":"/fabiomadge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/143799?s=80&v=4"},"commit":{"message":"Update 5283.fix","shortMessageHtmlLink":"Update 5283.fix"}},{"before":"55ab7fd656f2ae6216b843a2e03933efb542face","after":"80583b7e577c8ff9c3dace832cfa2538b1baec63","ref":"refs/heads/master","pushedAt":"2024-05-17T14:04:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Attempt to fix the stability of DocumentAddedToExistingProjectDoesNotCrash (#5456)\n\nFixes https://github.com/dafny-lang/dafny/issues/5434\r\n\r\n<small>By submitting this pull request, I confirm that my contribution\r\nis made under the terms of the [MIT\r\nlicense](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>","shortMessageHtmlLink":"Attempt to fix the stability of DocumentAddedToExistingProjectDoesNot…"}},{"before":"12310a8514b6fcd8e10d3a180155c117e9e4d710","after":"0faf79386f1e6ceb53cd1d66e9bb34b7440f5095","ref":"refs/heads/fix-5369-crash-new-resolver","pushedAt":"2024-05-17T09:50:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Update fix and expect file","shortMessageHtmlLink":"Update fix and expect file"}},{"before":"63b8b8b9fb46b2fcaa2ec07c1018c2d8da30fce5","after":"20c457b4d55939f722c91d6297a7d39c5ea9fa7e","ref":"refs/heads/alexchew/podesc-expr-2","pushedAt":"2024-05-17T07:55:48.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":"fix extraneous type ascriptions in primed bvars","shortMessageHtmlLink":"fix extraneous type ascriptions in primed bvars"}},{"before":"a75aa3e9c74b33bc4e59a7ba6e29eade7754911a","after":"63b8b8b9fb46b2fcaa2ec07c1018c2d8da30fce5","ref":"refs/heads/alexchew/podesc-expr-2","pushedAt":"2024-05-17T04:33:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alex-chew","name":"Alex Chew","path":"/alex-chew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5844231?s=80&v=4"},"commit":{"message":"update error messages in tests","shortMessageHtmlLink":"update error messages in tests"}},{"before":"b071236b3672151f955cfecfa043645921c58064","after":"a75aa3e9c74b33bc4e59a7ba6e29eade7754911a","ref":"refs/heads/alexchew/podesc-expr-2","pushedAt":"2024-05-17T03:22:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alex-chew","name":"Alex Chew","path":"/alex-chew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5844231?s=80&v=4"},"commit":{"message":"fix typo","shortMessageHtmlLink":"fix typo"}},{"before":"a652199bfa2e8854275410cacb4b33d15710b080","after":"b071236b3672151f955cfecfa043645921c58064","ref":"refs/heads/alexchew/podesc-expr-2","pushedAt":"2024-05-17T02:38:37.000Z","pushType":"push","commitsCount":7,"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 alexchew/podesc-expr-2","shortMessageHtmlLink":"Merge branch 'master' into alexchew/podesc-expr-2"}},{"before":"71265c502dcbefca51447959d03899a18ca11ade","after":"a652199bfa2e8854275410cacb4b33d15710b080","ref":"refs/heads/alexchew/podesc-expr-2","pushedAt":"2024-05-17T02:38:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alex-chew","name":"Alex Chew","path":"/alex-chew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5844231?s=80&v=4"},"commit":{"message":"fix whitespace","shortMessageHtmlLink":"fix whitespace"}},{"before":"36dcb43297cb5d695413e9682e818b093eb648cc","after":"71265c502dcbefca51447959d03899a18ca11ade","ref":"refs/heads/alexchew/podesc-expr-2","pushedAt":"2024-05-17T02:24:20.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"alex-chew","name":"Alex Chew","path":"/alex-chew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5844231?s=80&v=4"},"commit":{"message":"add asserted expr for FrameDereferenceNonNull","shortMessageHtmlLink":"add asserted expr for FrameDereferenceNonNull"}},{"before":"9a32b36684dd25c02b3f87d9bae4faa0a618ccb4","after":"29e5b71abf38218a83f2bad263f7cf2b06ceca5c","ref":"refs/heads/fix-5283-reserved-keywords-go-need-of-escape","pushedAt":"2024-05-16T22:28:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Merge branch 'master' into fix-5283-reserved-keywords-go-need-of-escape","shortMessageHtmlLink":"Merge branch 'master' into fix-5283-reserved-keywords-go-need-of-escape"}},{"before":"6181aa57001127808a976f4b33bf59e51b715912","after":null,"ref":"refs/heads/dependabot/bundler/docs/rexml-3.2.8","pushedAt":"2024-05-16T22:26:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fabiomadge","name":"Fabio Madge","path":"/fabiomadge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/143799?s=80&v=4"}},{"before":"8d7fe03977b97ed1e7840ca59d54ac3d03fb78b3","after":"55ab7fd656f2ae6216b843a2e03933efb542face","ref":"refs/heads/master","pushedAt":"2024-05-16T22:26:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fabiomadge","name":"Fabio Madge","path":"/fabiomadge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/143799?s=80&v=4"},"commit":{"message":"chore(deps): bump rexml from 3.2.6 to 3.2.8 in /docs (#5454)\n\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"chore(deps): bump rexml from 3.2.6 to 3.2.8 in /docs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2301423273\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5454\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5454/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5454\">#5454</a>)"}},{"before":"36cffc76adb551ed912f8d7210069fd345393334","after":"9a32b36684dd25c02b3f87d9bae4faa0a618ccb4","ref":"refs/heads/fix-5283-reserved-keywords-go-need-of-escape","pushedAt":"2024-05-16T22:25:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Update Source/DafnyCore/Backends/GoLang/GoCodeGenerator.cs","shortMessageHtmlLink":"Update Source/DafnyCore/Backends/GoLang/GoCodeGenerator.cs"}},{"before":"1191b14583b8374f4b77f935aa3de607a91d740f","after":"36cffc76adb551ed912f8d7210069fd345393334","ref":"refs/heads/fix-5283-reserved-keywords-go-need-of-escape","pushedAt":"2024-05-16T22:25:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Update docs/dev/news/5283.fix","shortMessageHtmlLink":"Update docs/dev/news/5283.fix"}},{"before":"63432915b221a34e45a53804bd79bbfc4c716504","after":"1191b14583b8374f4b77f935aa3de607a91d740f","ref":"refs/heads/fix-5283-reserved-keywords-go-need-of-escape","pushedAt":"2024-05-16T22:24:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Apply suggestions from code review\n\nCo-authored-by: Fabio Madge <fmadge@amazon.com>","shortMessageHtmlLink":"Apply suggestions from code review"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAETYBWywA","startCursor":null,"endCursor":null}},"title":"Activity · dafny-lang/dafny"}