{"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:1714606839.0","currentOid":""},"activityList":{"items":[{"before":"b286929c35e155fe1a2125296d73b73a6fd068bf","after":"e61e3bc01a45a22e10a8cbb55c17077aa3e24a38","ref":"refs/heads/feat-rust-operators-fixed","pushedAt":"2024-05-06T14:21:26.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":"Experiment 8","shortMessageHtmlLink":"Experiment 8"}},{"before":"e374dfe6b73d94fe19ee35f34d2502baf511ec80","after":"b286929c35e155fe1a2125296d73b73a6fd068bf","ref":"refs/heads/feat-rust-operators-fixed","pushedAt":"2024-05-04T03:06:26.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":"Experiment 7: Rust unstable, New MultiBackendTest.cs, ResolvedXXXX stable.","shortMessageHtmlLink":"Experiment 7: Rust unstable, New MultiBackendTest.cs, ResolvedXXXX st…"}},{"before":"31e236901a2fa1d4e729dae7ef5b36fb5dd90c53","after":"e374dfe6b73d94fe19ee35f34d2502baf511ec80","ref":"refs/heads/feat-rust-operators-fixed","pushedAt":"2024-05-03T21:44:33.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":"Experiment 6: Rust unstable, New MultiBackendTest.cs, ResolvedXXXX unstable.","shortMessageHtmlLink":"Experiment 6: Rust unstable, New MultiBackendTest.cs, ResolvedXXXX un…"}},{"before":"0b3dd7c28382eab1cccf836e426d284b0bf5a73a","after":"31e236901a2fa1d4e729dae7ef5b36fb5dd90c53","ref":"refs/heads/feat-rust-operators-fixed","pushedAt":"2024-05-03T18:53:38.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":"Experiment #5: Rust stable, ResolvableDafny unstable, restored changed on MultiBackendTest.","shortMessageHtmlLink":"Experiment <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"163443177\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5\" data-hovercard-type=\"issue\" data-hovercard-url=\"/dafny-lang/dafny/issues/5/hovercard\" href=\"https://github.com/dafny-lang/dafny/issues/5\">#5</a>: Rust stable, ResolvableDafny unstable, restored change…"}},{"before":"45c1aa9c85a151cb3bcdde170e9eb721aae1decc","after":"0b3dd7c28382eab1cccf836e426d284b0bf5a73a","ref":"refs/heads/feat-rust-operators-fixed","pushedAt":"2024-05-03T15:46:50.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 'feat-rust-operators-fixed' of https://github.com/dafny-lang/dafny into feat-rust-operators-fixed","shortMessageHtmlLink":"Merge branch 'feat-rust-operators-fixed' of <a href=\"https://github.com/dafny-lang/dafny\">https://github.com/dafny-…</a>"}},{"before":"9e4dbf48e9b9514811490f54108ea08ced2546e7","after":"45c1aa9c85a151cb3bcdde170e9eb721aae1decc","ref":"refs/heads/feat-rust-operators-fixed","pushedAt":"2024-05-03T15:07:58.000Z","pushType":"push","commitsCount":6,"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 feat-rust-operators-fixed","shortMessageHtmlLink":"Merge branch 'master' into feat-rust-operators-fixed"}},{"before":"e58010f992da6b9f01aa36ad767d5a4a0c570bb5","after":"9e4dbf48e9b9514811490f54108ea08ced2546e7","ref":"refs/heads/feat-rust-operators-fixed","pushedAt":"2024-05-02T22:49:14.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":"Experiment #3 - removing all changes from the MultiBackendTest.cs, making the Rust compiler as not stable","shortMessageHtmlLink":"Experiment <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"163005701\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/3\" data-hovercard-type=\"issue\" data-hovercard-url=\"/dafny-lang/dafny/issues/3/hovercard\" href=\"https://github.com/dafny-lang/dafny/issues/3\">#3</a> - removing all changes from the MultiBackendTest.cs, ma…"}},{"before":"075b2a831441c39bcf0342b93ff273f274425562","after":"55d1c40009f90d8070546ab0fdbf896f0911f13b","ref":"refs/heads/master","pushedAt":"2024-05-02T16:11:33.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":"Fix a bug in AwaitNextNotificationAsync that prevented the 'Waited fo… (#5386)\n\n### Changes\r\n\r\nFix a bug in AwaitNextNotificationAsync that prevented the 'Waited for'\r\nlog line to show up, to help debug\r\nhttps://github.com/dafny-lang/dafny/issues/5384\r\n\r\n### Testing\r\n\r\nSince this was a bug in the testing code, I'm OK with not testing it.\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 a bug in AwaitNextNotificationAsync that prevented the 'Waited fo… ("}},{"before":"79c323d2a66a227a37278b4231b0aeba02113f4d","after":"075b2a831441c39bcf0342b93ff273f274425562","ref":"refs/heads/master","pushedAt":"2024-05-02T11:56:07.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":"Timeout reporting (#5393)\n\n### Description\r\n- Fix bug in reporting of time taken when a verification timeout occurs\r\n- Make test 3855 stable by redacting the time taken\r\n\r\n### How has this been tested?\r\n- Fix is not tested\r\n- Flaky test is updated\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":"Timeout reporting (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2274917337\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5393\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5393/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5393\">#5393</a>)"}},{"before":"97d2d3889968be44122d1ca9e3878c3400d78184","after":"3ddca0635fcf2c7da2d2fd0176529bb5739ad154","ref":"refs/heads/iterator-exp","pushedAt":"2024-05-02T02:59: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":"it seems to work but i am skeptical","shortMessageHtmlLink":"it seems to work but i am skeptical"}},{"before":"90c5ed09ee1a0d4df93e727b243ce258aa10686a","after":null,"ref":"refs/heads/daily-ci-to-soak-flaky-tests","pushedAt":"2024-05-01T23:40:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"}},{"before":"dedaab97ee0fceaa245570d902da2ebf2b2f67b7","after":"79c323d2a66a227a37278b4231b0aeba02113f4d","ref":"refs/heads/master","pushedAt":"2024-05-01T23:40:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"ci: Daily CI to soak flaky tests (#5382)\n\n### Description\r\nSetting up a daily scheduled build to run the LSP tests 5 times on each\r\nplatform, in an effort to proactively uncover flaky test failures that\r\nshow up at the worst possible time as you're trying to get your\r\nwonderful PR you've been working on for weeks merged or even worse that\r\nbreak the nightly build for the third day in a row forcing the team to\r\ndrop everything to click Retry Failed Jobs two or three times before ANY\r\nPRs can be merged not that I'm frustrated or anything. :)\r\n\r\nThe PR CI was previously running the LSP tests twice every time for the\r\nsame reason. Given this daily job will soak them more deeply, and that\r\nthe `osx` unit test job on PRs in particular has been taking almost 45\r\nminutes and becoming the limiting factor, I've opted to just run them\r\nonce on PRs now.\r\n\r\nNote that unlike the original double run, it was simpler to use matrices\r\njust as we do for integration tests, only in this case just iterating\r\nthe same test run in parallel 5 times. It's possible running twice on\r\nthe same runner might trigger more failures, but it seems unlikely since\r\nthe second run happens in a fresh process and no state leaks between the\r\nruns AFAICT.\r\n\r\n### How has this been tested?\r\nDry-run on my fork:\r\nhttps://github.com/robin-aws/dafny/actions/runs/8914692810\r\n\r\nI've run it a few times without any failures yet, but we'll have to see\r\nwhat happens after a week or so of scheduled runs.\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":"ci: Daily CI to soak flaky tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2272462612\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5382\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5382/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5382\">#5382</a>)"}},{"before":"ac84fc7a50677fcb738a7289c1042cc81c4ff52a","after":"90c5ed09ee1a0d4df93e727b243ce258aa10686a","ref":"refs/heads/daily-ci-to-soak-flaky-tests","pushedAt":"2024-05-01T23:12:29.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Merge branch 'master' into daily-ci-to-soak-flaky-tests","shortMessageHtmlLink":"Merge branch 'master' into daily-ci-to-soak-flaky-tests"}},{"before":"c238e1fddf7a7804813123a489aa0313cb43f170","after":"dedaab97ee0fceaa245570d902da2ebf2b2f67b7","ref":"refs/heads/master","pushedAt":"2024-05-01T23:12:15.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":"Add more logging to QuickEditsInLargeFile (#5387)\n\n### Description\r\nAdd more logging to QuickEditsInLargeFile\r\n\r\n### How has this been tested?\r\nTest logging change, no additional tests needed\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":"Add more logging to QuickEditsInLargeFile (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2273460809\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5387\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5387/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5387\">#5387</a>)"}},{"before":"7c03e58f3259b386831bb11ae1f27ca59735d6cf","after":null,"ref":"refs/heads/release-4.6.0","pushedAt":"2024-05-01T21:38:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"}},{"before":"8ed91c45c45fb767da4d24f9071344e9b3ba454d","after":"c238e1fddf7a7804813123a489aa0313cb43f170","ref":"refs/heads/master","pushedAt":"2024-05-01T21:38:33.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":"Release 4.6.0 (#5268)\n\n### Description\r\nMerging from the released 4.6 branch.\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":"Release 4.6.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2213807566\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5268\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5268/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5268\">#5268</a>)"}},{"before":"ef2c4904b80713737bfe7b9748e3d2fb3e26a0bc","after":"ac84fc7a50677fcb738a7289c1042cc81c4ff52a","ref":"refs/heads/daily-ci-to-soak-flaky-tests","pushedAt":"2024-05-01T21:05:24.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Better scheduled time","shortMessageHtmlLink":"Better scheduled time"}},{"before":"59f25d644ba996be0da875d87b3f5f35712f7b99","after":"7c03e58f3259b386831bb11ae1f27ca59735d6cf","ref":"refs/heads/release-4.6.0","pushedAt":"2024-05-01T20:41:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Merge branch 'master' into release-4.6.0","shortMessageHtmlLink":"Merge branch 'master' into release-4.6.0"}},{"before":"99e231c9b6c26588bf311d5d0d1ab0d7d9354a9f","after":"97d2d3889968be44122d1ca9e3878c3400d78184","ref":"refs/heads/iterator-exp","pushedAt":"2024-05-01T20:07:21.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":"fixed breakage of resolution order","shortMessageHtmlLink":"fixed breakage of resolution order"}},{"before":"5a599761a342508ecfc3e78cb0fbc889fc752cfc","after":"ef2c4904b80713737bfe7b9748e3d2fb3e26a0bc","ref":"refs/heads/daily-ci-to-soak-flaky-tests","pushedAt":"2024-05-01T18:51:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Merge branch 'daily-ci-to-soak-flaky-tests' of github.com:dafny-lang/dafny into daily-ci-to-soak-flaky-tests","shortMessageHtmlLink":"Merge branch 'daily-ci-to-soak-flaky-tests' of github.com:dafny-lang/…"}},{"before":"f5ab9bd1397e5ac6be88070984bcbb6dcbae3616","after":"5a599761a342508ecfc3e78cb0fbc889fc752cfc","ref":"refs/heads/daily-ci-to-soak-flaky-tests","pushedAt":"2024-05-01T18:44:52.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Merge branch 'master' into daily-ci-to-soak-flaky-tests","shortMessageHtmlLink":"Merge branch 'master' into daily-ci-to-soak-flaky-tests"}},{"before":"33d2a2f2b112012808c4c4bef9725a1cfc7ab51a","after":"d55e9db4b960a790ff60984a8ae899d10859751a","ref":"refs/heads/chore-rust-operators-followup","pushedAt":"2024-05-01T18:04:12.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":"Fixed the logic of the Go compiler","shortMessageHtmlLink":"Fixed the logic of the Go compiler"}},{"before":"3c25b8679936506ae2693b4e429b17f86f93fe29","after":"e58010f992da6b9f01aa36ad767d5a4a0c570bb5","ref":"refs/heads/feat-rust-operators-fixed","pushedAt":"2024-05-01T17:44:22.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":"Experiment #2:\n- Removed a now obsolete change of passthroughEnvironmentVariables, since environment variables are different on Windows.","shortMessageHtmlLink":"Experiment <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"162813823\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/2\" data-hovercard-type=\"issue\" data-hovercard-url=\"/dafny-lang/dafny/issues/2/hovercard\" href=\"https://github.com/dafny-lang/dafny/issues/2\">#2</a>:"}},{"before":"86cfdfd3204d2515603c2444e8e1c1da65af01ef","after":"3c25b8679936506ae2693b4e429b17f86f93fe29","ref":"refs/heads/feat-rust-operators-fixed","pushedAt":"2024-05-01T16:46:45.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":"Experiment #1: Remove Rust from the backends to see if it times out.","shortMessageHtmlLink":"Experiment <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"161814605\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/1\" data-hovercard-type=\"issue\" data-hovercard-url=\"/dafny-lang/dafny/issues/1/hovercard\" href=\"https://github.com/dafny-lang/dafny/issues/1\">#1</a>: Remove Rust from the backends to see if it times out."}},{"before":null,"after":"86cfdfd3204d2515603c2444e8e1c1da65af01ef","ref":"refs/heads/feat-rust-operators-fixed","pushedAt":"2024-05-01T16:36:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Feat: Rust operators","shortMessageHtmlLink":"Feat: Rust operators"}},{"before":"d0506d14c1de7d6440ab2496b02683ba00b3eaed","after":"2522bb1c9e160dde4d2c658abf99b3af05c8d78a","ref":"refs/heads/fix-dafny-issue-script","pushedAt":"2024-05-01T15:32:36.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":"Full testing of the Q&A","shortMessageHtmlLink":"Full testing of the Q&amp;A"}},{"before":"88808ee74a9309eb393f36f9a7858fc473038d4e","after":"8ed91c45c45fb767da4d24f9071344e9b3ba454d","ref":"refs/heads/master","pushedAt":"2024-05-01T13:37:54.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":"Add support for base field in project files (#5359)\n\nFixes https://github.com/dafny-lang/dafny/issues/5337\r\n\r\n### Description\r\n- Add the field `base` to Dafny project files, which allows a project\r\nfile to inherit fields from another one. Options from the current file\r\noverride options from the base. Includes from the current file override\r\nexcludes from the base, and excludes from the current file override\r\nincludes from the base. The base may itself also have a base.\r\n- Small improvements to project file error reporting. See the updates in\r\nexisting tests for more information.\r\n\r\n### How has this been tested?\r\n - Added the test `cli/projectFile/base/included.dfy`\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":"Add support for base field in project files (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2263240548\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5359\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5359/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5359\">#5359</a>)"}},{"before":"e34a2132c89a1b82102dc9504340eb43059919c6","after":"59f25d644ba996be0da875d87b3f5f35712f7b99","ref":"refs/heads/release-4.6.0","pushedAt":"2024-05-01T09:05:25.000Z","pushType":"push","commitsCount":2,"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 release-4.6.0","shortMessageHtmlLink":"Merge branch 'master' into release-4.6.0"}},{"before":"a79ea8ad131720e127ee99de80477b94a02a778f","after":"88808ee74a9309eb393f36f9a7858fc473038d4e","ref":"refs/heads/master","pushedAt":"2024-05-01T03:09:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Revert \"Feat rust operators (#5380)\" (again) (#5383)\n\nThis reverts commit 0b629eae7a518d5b735a0f34519dcb85ad5fb996 to fix\r\nfailing nightly:\r\nhttps://github.com/dafny-lang/dafny/actions/runs/8896634004/job/24436389955\r\n\r\nUnfortunately I approved https://github.com/dafny-lang/dafny/pull/5380\r\nbefore all of the deep tests had run, and because the extra checks\r\naren't normally run for a PR unless it has the `run-deep-tests` label,\r\nthey can't be required checks, so the PR was auto-merged even though\r\nseveral Windows runs timed out after 2 hours.","shortMessageHtmlLink":"Revert \"Feat rust operators (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2269615504\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5380\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5380/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5380\">#5380</a>)\" (again) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2272487490\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5383\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5383/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5383\">#5383</a>)"}},{"before":"40f7fed04a51266ec72d6bc0eaceaf85b02b64d6","after":"d0506d14c1de7d6440ab2496b02683ba00b3eaed","ref":"refs/heads/fix-dafny-issue-script","pushedAt":"2024-04-30T22:02:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Testing the scripts","shortMessageHtmlLink":"Testing the scripts"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQp1FTwA","startCursor":null,"endCursor":null}},"title":"Activity · dafny-lang/dafny"}