{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":351882164,"defaultBranch":"main","name":"kani","ownerLogin":"model-checking","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-03-26T18:49:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/78765001?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716232569.0","currentOid":""},"activityList":{"items":[{"before":"6345834018b778d97988aba17ba4d79fdbabd428","after":"28e24bc179eec58f1dd25e22aea7b803e4b8c0b3","ref":"refs/heads/gh-pages","pushedAt":"2024-05-20T19:18:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ model-checking/kani@1ba6cb23a4a373c60ec5fed78b97d3b5d387f523 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/1ba6cb23a4a373c60ec5fed78b97d3b5d387f523/hovercard\" href=\"https://github.com/model-checking/kani/commit/1ba6cb23a4a373c60ec5fed78b97d3b5d387f523\"><tt>1ba6cb2</tt></a> 🚀"}},{"before":"a52e095da49fc6cc1c0e6828991f4709af50285a","after":null,"ref":"refs/heads/dependabot/submodules/tests/perf/s2n-quic-f5d9d74","pushedAt":"2024-05-20T19:16:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"}},{"before":"14fc7b79acf306a3ce83259765080864057a93a2","after":"1ba6cb23a4a373c60ec5fed78b97d3b5d387f523","ref":"refs/heads/main","pushedAt":"2024-05-20T19:16:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Bump tests/perf/s2n-quic from `bd37960` to `f5d9d74` (#3196)\n\nBumps [tests/perf/s2n-quic](https://github.com/aws/s2n-quic) from\r\n`bd37960` to `f5d9d74`.\r\n<details>\r\n<summary>Commits</summary>\r\n<ul>\r\n<li><a\r\nhref=\"https://github.com/aws/s2n-quic/commit/f5d9d747805de846181536ecc2c0a6754a98e9ea\"><code>f5d9d74</code></a>\r\nbuild(deps): bump JamesIves/github-pages-deploy-action (<a\r\nhref=\"https://redirect.github.com/aws/s2n-quic/issues/2183\">#2183</a>)</li>\r\n<li><a\r\nhref=\"https://github.com/aws/s2n-quic/commit/02a47b7fd4094f1eea7d9bd6f74f34ad9b19ce71\"><code>02a47b7</code></a>\r\nfeat(s2n-quic): unstable dc provider (<a\r\nhref=\"https://redirect.github.com/aws/s2n-quic/issues/2210\">#2210</a>)</li>\r\n<li><a\r\nhref=\"https://github.com/aws/s2n-quic/commit/919ae6aa61f7f276a640bef9dd506ef2e0d13668\"><code>919ae6a</code></a>\r\nfeat(s2n-quic-tls, s2n-quic-rustls): pass <code>fips</code> flag to tls\r\nbackend (<a\r\nhref=\"https://redirect.github.com/aws/s2n-quic/issues/2209\">#2209</a>)</li>\r\n<li><a\r\nhref=\"https://github.com/aws/s2n-quic/commit/30ef24c8947b43832492a92828bf9b62f3b55c76\"><code>30ef24c</code></a>\r\nfeat(s2n-quic-core): add buffer::Deque implemention (<a\r\nhref=\"https://redirect.github.com/aws/s2n-quic/issues/2207\">#2207</a>)</li>\r\n<li>See full diff in <a\r\nhref=\"https://github.com/aws/s2n-quic/compare/bd37960965d5bc8ab9990dc400c886a7a83fb57e...f5d9d747805de846181536ecc2c0a6754a98e9ea\">compare\r\nview</a></li>\r\n</ul>\r\n</details>\r\n<br />\r\n\r\n\r\nDependabot will resolve any conflicts with this PR as long as you don't\r\nalter it yourself. You can also trigger a rebase manually by commenting\r\n`@dependabot rebase`.\r\n\r\n[//]: # (dependabot-automerge-start)\r\n[//]: # (dependabot-automerge-end)\r\n\r\n---\r\n\r\n<details>\r\n<summary>Dependabot commands and options</summary>\r\n<br />\r\n\r\nYou can trigger Dependabot actions by commenting on this PR:\r\n- `@dependabot rebase` will rebase this PR\r\n- `@dependabot recreate` will recreate this PR, overwriting any edits\r\nthat have been made to it\r\n- `@dependabot merge` will merge this PR after your CI passes on it\r\n- `@dependabot squash and merge` will squash and merge this PR after\r\nyour CI passes on it\r\n- `@dependabot cancel merge` will cancel a previously requested merge\r\nand block automerging\r\n- `@dependabot reopen` will reopen this PR if it is closed\r\n- `@dependabot close` will close this PR and stop Dependabot recreating\r\nit. You can achieve the same result by closing it manually\r\n- `@dependabot show <dependency name> ignore conditions` will show all\r\nof the ignore conditions of the specified dependency\r\n- `@dependabot ignore this major version` will close this PR and stop\r\nDependabot creating any more for this major version (unless you reopen\r\nthe PR or upgrade to it yourself)\r\n- `@dependabot ignore this minor version` will close this PR and stop\r\nDependabot creating any more for this minor version (unless you reopen\r\nthe PR or upgrade to it yourself)\r\n- `@dependabot ignore this dependency` will close this PR and stop\r\nDependabot creating any more for this dependency (unless you reopen the\r\nPR or upgrade to it yourself)\r\n\r\n\r\n</details>\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\r\nCo-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>","shortMessageHtmlLink":"Bump tests/perf/s2n-quic from <code>bd37960</code> to <code>f5d9d74</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2306312118\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3196\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3196/hovercard\" href=\"https://github.com/model-checking/kani/pull/3196\">#3196</a>)"}},{"before":"109c4853b56986f68bb8214c8c7d9103b0e4167d","after":"6345834018b778d97988aba17ba4d79fdbabd428","ref":"refs/heads/gh-pages","pushedAt":"2024-05-20T17:38:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ model-checking/kani@14fc7b79acf306a3ce83259765080864057a93a2 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/14fc7b79acf306a3ce83259765080864057a93a2/hovercard\" href=\"https://github.com/model-checking/kani/commit/14fc7b79acf306a3ce83259765080864057a93a2\"><tt>14fc7b7</tt></a> 🚀"}},{"before":"ad3f4a91138758ac619eab543b84ad84208a4533","after":"a52e095da49fc6cc1c0e6828991f4709af50285a","ref":"refs/heads/dependabot/submodules/tests/perf/s2n-quic-f5d9d74","pushedAt":"2024-05-20T17:37:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Merge branch 'main' into dependabot/submodules/tests/perf/s2n-quic-f5d9d74","shortMessageHtmlLink":"Merge branch 'main' into dependabot/submodules/tests/perf/s2n-quic-f5…"}},{"before":"d3fab547a7d76f80851910395a60979346022b81","after":null,"ref":"refs/heads/cargo-update-2024-05-20","pushedAt":"2024-05-20T17:36:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"}},{"before":"a8202c231f333df2e999253e9eae2a334b33b7ed","after":"14fc7b79acf306a3ce83259765080864057a93a2","ref":"refs/heads/main","pushedAt":"2024-05-20T17:36:43.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Automatic cargo update to 2024-05-20 (#3195)\n\nDependency upgrade resulting from `cargo update`.\r\n\r\nCo-authored-by: tautschnig <1144736+tautschnig@users.noreply.github.com>","shortMessageHtmlLink":"Automatic cargo update to 2024-05-20 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2305001427\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3195\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3195/hovercard\" href=\"https://github.com/model-checking/kani/pull/3195\">#3195</a>)"}},{"before":null,"after":"ad3f4a91138758ac619eab543b84ad84208a4533","ref":"refs/heads/dependabot/submodules/tests/perf/s2n-quic-f5d9d74","pushedAt":"2024-05-20T16:08:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump tests/perf/s2n-quic from `bd37960` to `f5d9d74`\n\nBumps [tests/perf/s2n-quic](https://github.com/aws/s2n-quic) from `bd37960` to `f5d9d74`.\n- [Release notes](https://github.com/aws/s2n-quic/releases)\n- [Commits](https://github.com/aws/s2n-quic/compare/bd37960965d5bc8ab9990dc400c886a7a83fb57e...f5d9d747805de846181536ecc2c0a6754a98e9ea)\n\n---\nupdated-dependencies:\n- dependency-name: tests/perf/s2n-quic\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump tests/perf/s2n-quic from <code>bd37960</code> to <code>f5d9d74</code>"}},{"before":null,"after":"d3fab547a7d76f80851910395a60979346022b81","ref":"refs/heads/cargo-update-2024-05-20","pushedAt":"2024-05-20T03:35:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Upgrade cargo dependencies to 2024-05-20","shortMessageHtmlLink":"Upgrade cargo dependencies to 2024-05-20"}},{"before":"3534ce8cfaaf18a9a132273dbef6ef5b9f76598c","after":"109c4853b56986f68bb8214c8c7d9103b0e4167d","ref":"refs/heads/gh-pages","pushedAt":"2024-05-17T19:39:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ model-checking/kani@a8202c231f333df2e999253e9eae2a334b33b7ed 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/a8202c231f333df2e999253e9eae2a334b33b7ed/hovercard\" href=\"https://github.com/model-checking/kani/commit/a8202c231f333df2e999253e9eae2a334b33b7ed\"><tt>a8202c2</tt></a> 🚀"}},{"before":"83e8275eca34dd1ffe6d8df3095c1df8958291c2","after":null,"ref":"refs/heads/toolchain-2024-05-17","pushedAt":"2024-05-17T19:37:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"}},{"before":"6161bfdf6a191cc5297e5792cea9951d5e3a492c","after":"a8202c231f333df2e999253e9eae2a334b33b7ed","ref":"refs/heads/main","pushedAt":"2024-05-17T19:37:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Automatic toolchain upgrade to nightly-2024-05-17 (#3191)\n\nUpdate Rust toolchain from nightly-2024-05-16 to nightly-2024-05-17\r\nwithout any other source changes.","shortMessageHtmlLink":"Automatic toolchain upgrade to nightly-2024-05-17 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2301715132\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3191\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3191/hovercard\" href=\"https://github.com/model-checking/kani/pull/3191\">#3191</a>)"}},{"before":"37a52ee87d58fa866f56f78eb0b43841367284f8","after":"3534ce8cfaaf18a9a132273dbef6ef5b9f76598c","ref":"refs/heads/gh-pages","pushedAt":"2024-05-17T17:23:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ model-checking/kani@6161bfdf6a191cc5297e5792cea9951d5e3a492c 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/6161bfdf6a191cc5297e5792cea9951d5e3a492c/hovercard\" href=\"https://github.com/model-checking/kani/commit/6161bfdf6a191cc5297e5792cea9951d5e3a492c\"><tt>6161bfd</tt></a> 🚀"}},{"before":"b92ca506c67f9345f0311c40a56cef8e2df01f9f","after":"83e8275eca34dd1ffe6d8df3095c1df8958291c2","ref":"refs/heads/toolchain-2024-05-17","pushedAt":"2024-05-17T17:21:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Merge branch 'main' into toolchain-2024-05-17","shortMessageHtmlLink":"Merge branch 'main' into toolchain-2024-05-17"}},{"before":"695bdfc2242dd3767bb5e0fd759a398ea8057b57","after":"6161bfdf6a191cc5297e5792cea9951d5e3a492c","ref":"refs/heads/main","pushedAt":"2024-05-17T17:20:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Perform cargo update because of yanked libc version (#3192)\n\nOur `Cargo.lock` uses https://crates.io/crates/libc/0.2.154, which has\r\nbeen yanked. Do a `cargo update` to use a different version.\r\n\r\nBy submitting this pull request, I confirm that my contribution is made\r\nunder the terms of the Apache 2.0 and MIT licenses.","shortMessageHtmlLink":"Perform cargo update because of yanked libc version (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2303123755\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3192\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3192/hovercard\" href=\"https://github.com/model-checking/kani/pull/3192\">#3192</a>)"}},{"before":null,"after":"b92ca506c67f9345f0311c40a56cef8e2df01f9f","ref":"refs/heads/toolchain-2024-05-17","pushedAt":"2024-05-17T02:58:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Upgrade Rust toolchain to nightly-2024-05-17","shortMessageHtmlLink":"Upgrade Rust toolchain to nightly-2024-05-17"}},{"before":"ecb731e66791c9e061b8d207bf0f80f7b14ca020","after":"37a52ee87d58fa866f56f78eb0b43841367284f8","ref":"refs/heads/gh-pages","pushedAt":"2024-05-16T05:46:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ model-checking/kani@695bdfc2242dd3767bb5e0fd759a398ea8057b57 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/695bdfc2242dd3767bb5e0fd759a398ea8057b57/hovercard\" href=\"https://github.com/model-checking/kani/commit/695bdfc2242dd3767bb5e0fd759a398ea8057b57\"><tt>695bdfc</tt></a> 🚀"}},{"before":"8cd4eb04cf71e2f1a258bf32797a23638eea5544","after":null,"ref":"refs/heads/toolchain-2024-05-16","pushedAt":"2024-05-16T05:44:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"}},{"before":"9b9e473f7c253b8141d45ec4d67bae0efc06e2e4","after":"695bdfc2242dd3767bb5e0fd759a398ea8057b57","ref":"refs/heads/main","pushedAt":"2024-05-16T05:44:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Automatic toolchain upgrade to nightly-2024-05-16 (#3189)\n\nUpdate Rust toolchain from nightly-2024-05-15 to nightly-2024-05-16\r\nwithout any other source changes.\r\nThis is an automatically generated pull request. If any of the CI checks\r\nfail, manual intervention is required. In such a case, review the\r\nchanges at https://github.com/rust-lang/rust from\r\nhttps://github.com/rust-lang/rust/commit/8387315ab3c26a57a1f53a90f188f0bc88514bca\r\nup to\r\nhttps://github.com/rust-lang/rust/commit/1871252fc8bb672d40787e67404e6eaae7059369.\r\nThe log for this commit range is:\r\nhttps://github.com/rust-lang/rust/commit/1871252fc8 Auto merge of\r\n#125164 - fmease:rollup-s5vwzlg, r=fmease\r\nhttps://github.com/rust-lang/rust/commit/734a109998 Rollup merge of\r\n#125159 - fmease:allow-unauth-labels-l-pg-z, r=jieyouxu\r\nhttps://github.com/rust-lang/rust/commit/601e5d199f Rollup merge of\r\n#125154 - FractalFir:fnabi_doc, r=compiler-errors\r\nhttps://github.com/rust-lang/rust/commit/09156291e5 Rollup merge of\r\n#125146 - Oneirical:panic-impl, r=jieyouxu\r\nhttps://github.com/rust-lang/rust/commit/80f991e09b Rollup merge of\r\n#125142 - GuillaumeGomez:migrate-rustdoc-themes, r=jieyouxu\r\nhttps://github.com/rust-lang/rust/commit/c5b17ec9d2 Rollup merge of\r\n#125003 - RalfJung:aligned_alloc, r=cuviper\r\nhttps://github.com/rust-lang/rust/commit/257d222e4b Improved the\r\ndocumentation of the FnAbi struct\r\nhttps://github.com/rust-lang/rust/commit/72a48fc68c Allow\r\nunauthenticated users to modify `L-*`, `PG-*` and `-Z*` labels\r\nhttps://github.com/rust-lang/rust/commit/b21b74b5e6 Auto merge of\r\n#125134 - compiler-errors:negative-traits-are-not-notable, r=fmease\r\nhttps://github.com/rust-lang/rust/commit/a7484d2e49 fix tidy\r\nhttps://github.com/rust-lang/rust/commit/cae17ff42b rewrite\r\npanic-impl-transitive\r\nhttps://github.com/rust-lang/rust/commit/ade234d574 Auto merge of\r\n#125144 - fmease:rollup-4uft293, r=fmease\r\nhttps://github.com/rust-lang/rust/commit/8d38f2fb11 Rollup merge of\r\n#125137 - RalfJung:mir-sh, r=scottmcm\r\nhttps://github.com/rust-lang/rust/commit/2659ff3882 Rollup merge of\r\n#125104 - Oneirical:test6, r=jieyouxu\r\nhttps://github.com/rust-lang/rust/commit/4f7d9d4ad8 Rollup merge of\r\n#125038 - ivan-shrimp:checked_sub, r=joboet\r\nhttps://github.com/rust-lang/rust/commit/2804d4223b Rollup merge of\r\n#125027 - Oneirical:c-test-with-remove, r=jieyouxu\r\nhttps://github.com/rust-lang/rust/commit/2e70bea168 Rollup merge of\r\n#124975 - lu-zero:move_file, r=clubby789\r\nhttps://github.com/rust-lang/rust/commit/3873a74f8a Rollup merge of\r\n#124307 - reitermarkus:escape-debug-size-hint-inline, r=joboet\r\nhttps://github.com/rust-lang/rust/commit/3cb0030fe9 Auto merge of\r\n#123413 - petrochenkov:delegmulti2, r=fmease\r\nhttps://github.com/rust-lang/rust/commit/c765480efe Migrate\r\n`run-make/rustdoc-themes` to new rmake\r\nhttps://github.com/rust-lang/rust/commit/c87ae947eb Add new `htmldocck`\r\nfunction to `run-make-support`\r\nhttps://github.com/rust-lang/rust/commit/a71c3ffce9 Auto merge of\r\n#125032 - compiler-errors:crash-dump-dir, r=onur-ozkan\r\nhttps://github.com/rust-lang/rust/commit/0afd50e852 MIR operators:\r\nclarify Shl/Shr handling of negative offsets\r\nhttps://github.com/rust-lang/rust/commit/44fa5fd39a Auto merge of\r\n#125136 - matthiaskrgr:rollup-ljm15m3, r=matthiaskrgr\r\nhttps://github.com/rust-lang/rust/commit/5f1a120ee5 Rollup merge of\r\n#125135 - chenyukang:yukang-fix-116502, r=compiler-errors\r\nhttps://github.com/rust-lang/rust/commit/f7c2934420 Rollup merge of\r\n#125132 - mejrs:diag, r=compiler-errors\r\nhttps://github.com/rust-lang/rust/commit/a8ff937b07 Rollup merge of\r\n#125108 - Zalathar:info-bitmap-bytes, r=nnethercote\r\nhttps://github.com/rust-lang/rust/commit/03ff673dcc Rollup merge of\r\n#124990 - fmease:expand-weak-aliases-within-cts, r=compiler-errors\r\nhttps://github.com/rust-lang/rust/commit/75895f59b0 Fix the dedup error\r\nbecause of spans from suggestion\r\nhttps://github.com/rust-lang/rust/commit/9e7aff7945 Auto merge of\r\n#125031 - Oneirical:dynamic-libs, r=jieyouxu\r\nhttps://github.com/rust-lang/rust/commit/8994840f7e rustdoc: Negative\r\nimpls are not notable\r\nhttps://github.com/rust-lang/rust/commit/91a3f04a3f fix the test\r\nhttps://github.com/rust-lang/rust/commit/0160bff4b1 Auto merge of\r\n#125084 - Jules-Bertholet:fix-125058, r=Nadrieril\r\nhttps://github.com/rust-lang/rust/commit/c30b41012d delegation:\r\nImplement list delegation\r\nhttps://github.com/rust-lang/rust/commit/18d7411719 Add\r\n`on_unimplemented\" typo suggestions\r\nhttps://github.com/rust-lang/rust/commit/81f7e54962 Port issue-11908 to\r\nrmake\r\nhttps://github.com/rust-lang/rust/commit/1f61cc3078 port\r\nno-cdylib-as-rdylib test\r\nhttps://github.com/rust-lang/rust/commit/b1e5e5161a remove cxx_flags\r\nhttps://github.com/rust-lang/rust/commit/1f5837ae25 rewrite\r\nc-link-to-rust-staticlib\r\nhttps://github.com/rust-lang/rust/commit/5cc020d3df avoid using\r\naligned_alloc; posix_memalign is better-behaved\r\nhttps://github.com/rust-lang/rust/commit/c81be68fb4 coverage: Remove\r\nconfusing comments from `CoverageKind`\r\nhttps://github.com/rust-lang/rust/commit/bfadc3a9b9 coverage:\r\n`CoverageIdsInfo::mcdc_bitmap_bytes` is never needed\r\nhttps://github.com/rust-lang/rust/commit/fe8f66e4bc `rustc_hir_typeck`:\r\nAccount for `skipped_ref_pats` in `expr_use_visitor`\r\nhttps://github.com/rust-lang/rust/commit/4db00fe229 Use an helper to\r\nmove the files\r\nhttps://github.com/rust-lang/rust/commit/7fde7308bf reverse condition in\r\n`uN::checked_sub`\r\nhttps://github.com/rust-lang/rust/commit/848f3c2c6e Make crashes dump\r\nmir to build dir\r\nhttps://github.com/rust-lang/rust/commit/35a5be2833 Also expand weak\r\nalias tys inside consts inside `expand_weak_alias_tys`\r\nhttps://github.com/rust-lang/rust/commit/4edf12d33e Improve escape\r\nmethods.\r\nhttps://github.com/rust-lang/rust/commit/16981ba406 Avoid panicking\r\nbranch in `EscapeIterInner`.\r\nhttps://github.com/rust-lang/rust/commit/e3fc97be2b Inline\r\n`EscapeDebug::size_hint`.\r\n\r\nCo-authored-by: celinval <35149715+celinval@users.noreply.github.com>\r\nCo-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>","shortMessageHtmlLink":"Automatic toolchain upgrade to nightly-2024-05-16 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2299228456\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3189\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3189/hovercard\" href=\"https://github.com/model-checking/kani/pull/3189\">#3189</a>)"}},{"before":"4000f554f158b97ca3c324da91967d39fb2213ba","after":"8cd4eb04cf71e2f1a258bf32797a23638eea5544","ref":"refs/heads/toolchain-2024-05-16","pushedAt":"2024-05-16T04:29:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Merge branch 'main' into toolchain-2024-05-16","shortMessageHtmlLink":"Merge branch 'main' into toolchain-2024-05-16"}},{"before":null,"after":"4000f554f158b97ca3c324da91967d39fb2213ba","ref":"refs/heads/toolchain-2024-05-16","pushedAt":"2024-05-16T02:58:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Upgrade Rust toolchain to nightly-2024-05-16","shortMessageHtmlLink":"Upgrade Rust toolchain to nightly-2024-05-16"}},{"before":"37dfef34052e4a826c9a6ff8ec8ec3cf90d1cdb2","after":"ecb731e66791c9e061b8d207bf0f80f7b14ca020","ref":"refs/heads/gh-pages","pushedAt":"2024-05-16T02:45:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ model-checking/kani@9b9e473f7c253b8141d45ec4d67bae0efc06e2e4 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/9b9e473f7c253b8141d45ec4d67bae0efc06e2e4/hovercard\" href=\"https://github.com/model-checking/kani/commit/9b9e473f7c253b8141d45ec4d67bae0efc06e2e4\"><tt>9b9e473</tt></a> 🚀"}},{"before":"33b7d853c274aa4dc24cddd57fec196087225f01","after":"9b9e473f7c253b8141d45ec4d67bae0efc06e2e4","ref":"refs/heads/main","pushedAt":"2024-05-16T02:42:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Include `--check-cfg=cfg(kani)` in the rust flags to avoid a warning about an unknown `cfg`. (#3187)\n\nStarting with the 2024-05-05 toolchain (and the upcoming Rust 1.80\r\nrelease), the `unexpected_cfgs` lint has been turned on by default. As a\r\nresult, running `cargo kani` on a crate that has a `#[cfg(kani)]`\r\nresults in a warning (see #3186). To avoid this warning, this PR adds\r\n`--check-cfg=cfg(kani)` to `RUSTFLAGS` when Kani invokes `cargo`.\r\n\r\nCall-outs: On such packages, doing a `cargo build` will also result in\r\nthis warning, unless:\r\n```rust\r\nprintln!(\"cargo::rustc-check-cfg=cfg(kani)\");\r\n```\r\nis added to the package's `build.rs` file. However, this warning would\r\nonly occur with `cargo build` if the package uses the 2024-05-05\r\ntoolchain (or newer), or the Rust version used in the package is\r\nupgraded to 1.80 (when it's released at the end of July 2024). Since\r\nwe're likely to release a new version of Kani sooner than the 1.80\r\nrelease, this PR mitigates the issue that is more likely to impact users\r\n(a warning from `cargo kani`).\r\n\r\nResolves #3186 \r\n\r\nBy submitting this pull request, I confirm that my contribution is made\r\nunder the terms of the Apache 2.0 and MIT licenses.","shortMessageHtmlLink":"Include <code>--check-cfg=cfg(kani)</code> in the rust flags to avoid a warning …"}},{"before":"985e5e628da09045d0a380c8b1a5b95478ecc16e","after":"37dfef34052e4a826c9a6ff8ec8ec3cf90d1cdb2","ref":"refs/heads/gh-pages","pushedAt":"2024-05-15T12:15:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ model-checking/kani@33b7d853c274aa4dc24cddd57fec196087225f01 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/33b7d853c274aa4dc24cddd57fec196087225f01/hovercard\" href=\"https://github.com/model-checking/kani/commit/33b7d853c274aa4dc24cddd57fec196087225f01\"><tt>33b7d85</tt></a> 🚀"}},{"before":"27fdf158857d392b428ea5a4af362555dee13ffc","after":null,"ref":"refs/heads/toolchain-2024-05-15","pushedAt":"2024-05-15T12:13:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"adpaco-aws","name":"Adrian Palacios","path":"/adpaco-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/73246657?s=80&v=4"}},{"before":"52a5b77d18cae347160d5eac7a53acb69a207311","after":"33b7d853c274aa4dc24cddd57fec196087225f01","ref":"refs/heads/main","pushedAt":"2024-05-15T12:13:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"adpaco-aws","name":"Adrian Palacios","path":"/adpaco-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/73246657?s=80&v=4"},"commit":{"message":"Automatic toolchain upgrade to nightly-2024-05-15 (#3185)\n\nUpdate Rust toolchain from nightly-2024-05-14 to nightly-2024-05-15\r\nwithout any other source changes.\r\nThis is an automatically generated pull request. If any of the CI checks\r\nfail, manual intervention is required. In such a case, review the\r\nchanges at https://github.com/rust-lang/rust from\r\nhttps://github.com/rust-lang/rust/commit/ab14f944afe4234db378ced3801e637eae6c0f30\r\nup to\r\nhttps://github.com/rust-lang/rust/commit/8387315ab3c26a57a1f53a90f188f0bc88514bca.\r\nThe log for this commit range is:\r\nhttps://github.com/rust-lang/rust/commit/8387315ab3 Auto merge of\r\n#125125 - lovesegfault:opt-dist-specify-rustc-perf, r=Mark-Simulacrum\r\nhttps://github.com/rust-lang/rust/commit/c3c9783de2\r\nfeat(tools/opt-dist): allow local builds to specify a rustc-perf\r\ncheckout\r\nhttps://github.com/rust-lang/rust/commit/ac385a5af6 Auto merge of\r\n#125120 - compiler-errors:rollup-mnjybwv, r=compiler-errors\r\nhttps://github.com/rust-lang/rust/commit/31016d5879 Rollup merge of\r\n#125118 - GuillaumeGomez:cleanup-run-make, r=jieyouxu\r\nhttps://github.com/rust-lang/rust/commit/d59f430eec Rollup merge of\r\n#125100 - compiler-errors:faster, r=nnethercote\r\nhttps://github.com/rust-lang/rust/commit/712e7c37f7 Rollup merge of\r\n#125088 - compiler-errors:uplift-alias-ty, r=lcnr\r\nhttps://github.com/rust-lang/rust/commit/8c64acdbdc Rollup merge of\r\n#125080 - bvanjoi:fix-124946, r=nnethercote\r\nhttps://github.com/rust-lang/rust/commit/844c7e826e Rollup merge of\r\n#125047 - Oneirical:test5, r=jieyouxu\r\nhttps://github.com/rust-lang/rust/commit/0458d8a53b Rollup merge of\r\n#124844 - compiler-errors:shadow-probe, r=lcnr\r\nhttps://github.com/rust-lang/rust/commit/36287830a2 Rollup merge of\r\n#119838 - joshtriplett:style-guide-binop-indent, r=compiler-errors\r\nhttps://github.com/rust-lang/rust/commit/ade33b02f2 only find segs chain\r\nfor missing methods when no available candidates\r\nhttps://github.com/rust-lang/rust/commit/bdfd941f4d Auto merge of\r\n#123816 - tgross35:f16-f128-mangling, r=michaelwoerister\r\nhttps://github.com/rust-lang/rust/commit/f97d915173 Use new utility\r\nfunctions/methods in run-make tests\r\nhttps://github.com/rust-lang/rust/commit/792a9bdd4b Enable v0 mangling\r\ntests and add checks for `f16`/`f128`\r\nhttps://github.com/rust-lang/rust/commit/809b84edba Add v0 symbol\r\nmangling for `f16` and `f128`\r\nhttps://github.com/rust-lang/rust/commit/31026b7fe3 Auto merge of\r\n#125023 - morr0ne:linux-none-target, r=Nilstrieb\r\nhttps://github.com/rust-lang/rust/commit/68407f9049 fix typo in\r\nx86_64-unknown-linux-none docs\r\nhttps://github.com/rust-lang/rust/commit/c45e831d8f Auto merge of\r\n#124228 - compiler-errors:lint-overcaptures, r=oli-obk\r\nhttps://github.com/rust-lang/rust/commit/58426f4a5b Auto merge of\r\n#125026 - Oneirical:clink-tests, r=jieyouxu\r\nhttps://github.com/rust-lang/rust/commit/e098eb14ae Wording improvement\r\nhttps://github.com/rust-lang/rust/commit/e2d9c0d938 Fix missing word\r\nhttps://github.com/rust-lang/rust/commit/57c32a193f style-guide: When\r\nbreaking binops handle multi-line first operand better\r\nhttps://github.com/rust-lang/rust/commit/dbd2ca6478 Use a proper probe\r\nfor shadowing impl\r\nhttps://github.com/rust-lang/rust/commit/052de1da4f And finally add\r\ntests\r\nhttps://github.com/rust-lang/rust/commit/1529c661e4 Warn against\r\nredundant use<...>\r\nhttps://github.com/rust-lang/rust/commit/f3fb727b08 Don't suggest using\r\nuse<> syntax to capture APITs\r\nhttps://github.com/rust-lang/rust/commit/6afe1352d9 Suggest adding use<>\r\nsyntax\r\nhttps://github.com/rust-lang/rust/commit/554becc180 Add some commenting\r\nhttps://github.com/rust-lang/rust/commit/d57e57ca1f Implement initial\r\nIMPL_TRAIT_OVERCAPTURES lint\r\nhttps://github.com/rust-lang/rust/commit/8f97a2588c Add test to make\r\nsure suggestions are still quick\r\nhttps://github.com/rust-lang/rust/commit/fba5f44bd8 Auto merge of\r\n#125098 - jhpratt:rollup-2qm4gga, r=jhpratt\r\nhttps://github.com/rust-lang/rust/commit/45b50d303c lto function,\r\nstatic_library call, rename\r\nhttps://github.com/rust-lang/rust/commit/9f8cdb286e Remove to_term\r\nhttps://github.com/rust-lang/rust/commit/1ad28a6f53 Uplift AliasTy\r\nhttps://github.com/rust-lang/rust/commit/812f89728a fix fmt\r\nhttps://github.com/rust-lang/rust/commit/2e4c90c3f7 Don't do\r\npost-method-probe error reporting steps if we're in a suggestion\r\nhttps://github.com/rust-lang/rust/commit/32d74f1800 Rollup merge of\r\n#125090 - erickt:bump-fuchsia, r=tmandry\r\nhttps://github.com/rust-lang/rust/commit/209703af85 Rollup merge of\r\n#125072 - Darksonn:pin-dyn-dispatch-sound, r=jhpratt\r\nhttps://github.com/rust-lang/rust/commit/18d9c039bb Rollup merge of\r\n#124997 - gurry:124848-ice-should-be-sized, r=Nadrieril\r\nhttps://github.com/rust-lang/rust/commit/74a78af0e2 Rollup merge of\r\n#116675 - joshlf:patch-10, r=scottmcm\r\nhttps://github.com/rust-lang/rust/commit/9105c57b7f Auto merge of\r\n#124256 - nnethercote:rm-NtIdent-NtLifetime, r=petrochenkov\r\nhttps://github.com/rust-lang/rust/commit/34582118af Auto merge of\r\n#125076 - compiler-errors:alias-term, r=lcnr\r\nhttps://github.com/rust-lang/rust/commit/95e519ecbf Remove `NtIdent` and\r\n`NtLifetime`.\r\nhttps://github.com/rust-lang/rust/commit/fa84018c2e Apply nits\r\nhttps://github.com/rust-lang/rust/commit/58ee9192e0 Migrate fuchsia docs\r\nfrom `pm` to `ffx`\r\nhttps://github.com/rust-lang/rust/commit/293b5cb1ca [ptr] Document\r\nmaximum allocation size\r\nhttps://github.com/rust-lang/rust/commit/3bcdf3058e split out AliasTy ->\r\nAliasTerm\r\nhttps://github.com/rust-lang/rust/commit/b3a78c1d09 Add test for dynamic\r\ndispatch + Pin::new soundness\r\nhttps://github.com/rust-lang/rust/commit/9a63a42cb7 Remove a `Span` from\r\n`TokenKind::Interpolated`.\r\nhttps://github.com/rust-lang/rust/commit/71fd2cf5b4 fix function call\r\nand import\r\nhttps://github.com/rust-lang/rust/commit/a1b5ea0cc2 make tidy happy\r\nhttps://github.com/rust-lang/rust/commit/f2de5fb2ae rewrite issue-14500\r\nto rmake\r\nhttps://github.com/rust-lang/rust/commit/a6f237ca85 docs: fix typo in\r\nplatform-support docs\r\nhttps://github.com/rust-lang/rust/commit/923cdb35aa test: Add assembly\r\ntests for x86_64-unknown-linux-none target\r\nhttps://github.com/rust-lang/rust/commit/10c358f111 Make tidy happy\r\nhttps://github.com/rust-lang/rust/commit/e37d2989c1 remove trailing\r\nwhitespace\r\nhttps://github.com/rust-lang/rust/commit/a2e7e79a13 Port\r\nc-link-to-rust-va-list-fn to Rust\r\nhttps://github.com/rust-lang/rust/commit/9cf080099d docs: Document\r\nx86_64-unknown-linux-none target\r\nhttps://github.com/rust-lang/rust/commit/a3ef01b1fc Add\r\nx86_64-unknown-linux-none target\r\nhttps://github.com/rust-lang/rust/commit/fb619ec208 FIx ICE while\r\ncasting a type with error\r\n\r\nCo-authored-by: tautschnig <1144736+tautschnig@users.noreply.github.com>","shortMessageHtmlLink":"Automatic toolchain upgrade to nightly-2024-05-15 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2297139987\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3185\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3185/hovercard\" href=\"https://github.com/model-checking/kani/pull/3185\">#3185</a>)"}},{"before":null,"after":"27fdf158857d392b428ea5a4af362555dee13ffc","ref":"refs/heads/toolchain-2024-05-15","pushedAt":"2024-05-15T07:53:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Upgrade Rust toolchain to nightly-2024-05-15","shortMessageHtmlLink":"Upgrade Rust toolchain to nightly-2024-05-15"}},{"before":"6970f1630bc5172e3710733d7f1cf1c729c66158","after":"985e5e628da09045d0a380c8b1a5b95478ecc16e","ref":"refs/heads/gh-pages","pushedAt":"2024-05-15T07:30:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ model-checking/kani@52a5b77d18cae347160d5eac7a53acb69a207311 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/52a5b77d18cae347160d5eac7a53acb69a207311/hovercard\" href=\"https://github.com/model-checking/kani/commit/52a5b77d18cae347160d5eac7a53acb69a207311\"><tt>52a5b77</tt></a> 🚀"}},{"before":"58ea01ee92742511b7345cb116eec31eadf54ba7","after":null,"ref":"refs/heads/toolchain-2024-04-23","pushedAt":"2024-05-15T07:30:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"}},{"before":"997a54cc55d8eea26ec021e541582280da184712","after":"52a5b77d18cae347160d5eac7a53acb69a207311","ref":"refs/heads/main","pushedAt":"2024-05-15T07:28:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Upgrade toolchain to 2024-05-14 (#3183)\n\nRelevant upstream PRs: \r\n\r\nhttps://github.com/rust-lang/rust/pull/124797\r\nhttps://github.com/rust-lang/rust/pull/124957\r\nhttps://github.com/rust-lang/rust/pull/124003","shortMessageHtmlLink":"Upgrade toolchain to 2024-05-14 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2296586778\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3183\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3183/hovercard\" href=\"https://github.com/model-checking/kani/pull/3183\">#3183</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAETx36VgA","startCursor":null,"endCursor":null}},"title":"Activity · model-checking/kani"}