{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":805582040,"defaultBranch":"main","name":"verify-rust-std","ownerLogin":"model-checking","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-05-24T22:47:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/78765001?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725909949.0","currentOid":""},"activityList":{"items":[{"before":"351e958c1a5601b704343a34a44e66cd03c5cdc0","after":"65bcda2e5a89e356453e9c713d883626db750319","ref":"refs/heads/main","pushedAt":"2024-09-21T01:53:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Improve documentation with links and additional steps (#90)\n\nMinor changes to documentation to clarify some confusion and make it\r\nmore accessible.\r\n\r\nRelated to :- https://github.com/model-checking/verify-rust-std/pull/85\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.\r\n\r\n---------\r\n\r\nCo-authored-by: Carolyn Zech <cmzech@amazon.com>","shortMessageHtmlLink":"Improve documentation with links and additional steps (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539416913\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/90\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/90/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/90\">#90</a>)"}},{"before":"149f6dd5409fac01a983d7b98c51d51666c74e45","after":"351e958c1a5601b704343a34a44e66cd03c5cdc0","ref":"refs/heads/main","pushedAt":"2024-09-18T18:00:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"Fix check_cast harness (#86)\n\nModifies the `check_cast` harness to:\r\n- Be a proof instead of a proof for contract\r\n- Remove the generic type parameter\r\n\r\nCurrently, Kani doesn't run this harness. (See the\r\n[log](https://github.com/model-checking/verify-rust-std/actions/runs/10887990165/job/30211482361?pr=85)\r\nfrom a recent PR). It doesn't run the harness because it has a generic\r\ntype parameter, and Kani's error handling for contract proofs doesn't\r\ncheck for this condition. (PR to fix is\r\n[here](https://github.com/model-checking/kani/pull/3522)). Once we\r\nremove the generic type parameter so that the harness runs, Kani\r\ncomplains that we can't run it as a proof for contract because there are\r\nno contracts, so we make it a regular proof instead.\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":"Fix check_cast harness (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2532069071\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/86\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/86/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/86\">#86</a>)"}},{"before":null,"after":"149f6dd5409fac01a983d7b98c51d51666c74e45","ref":"refs/heads/subtree-backup","pushedAt":"2024-09-09T19:25:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"ascii_char contracts","shortMessageHtmlLink":"ascii_char contracts"}},{"before":"c6cecce731b6bea3bd6a46d9351151fd2a6363f6","after":"149f6dd5409fac01a983d7b98c51d51666c74e45","ref":"refs/heads/main","pushedAt":"2024-09-09T18:51:33.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"ascii_char contracts","shortMessageHtmlLink":"ascii_char contracts"}},{"before":"149f6dd5409fac01a983d7b98c51d51666c74e45","after":null,"ref":"refs/heads/origin/main","pushedAt":"2024-09-09T17:33:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"}},{"before":null,"after":"149f6dd5409fac01a983d7b98c51d51666c74e45","ref":"refs/heads/origin/main","pushedAt":"2024-09-09T17:32:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"ascii_char contracts","shortMessageHtmlLink":"ascii_char contracts"}},{"before":"e29fb31924727eb5ffbedab34d919d2d4ce05966","after":"c6cecce731b6bea3bd6a46d9351151fd2a6363f6","ref":"refs/heads/main","pushedAt":"2024-09-07T18:19:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"feliperodri","name":"Felipe R. Monteiro","path":"/feliperodri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294522?s=80&v=4"},"commit":{"message":"Fix challenges numbering (#79)","shortMessageHtmlLink":"Fix challenges numbering (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2511176416\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/79\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/79/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/79\">#79</a>)"}},{"before":"bc7bce746f62627b219f5784c67058eb50821cec","after":"e29fb31924727eb5ffbedab34d919d2d4ce05966","ref":"refs/heads/main","pushedAt":"2024-09-06T21:39:22.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Prevent skipping due to \"if\" statement (#80)\n\nPrevent pr approval from getting skipped when there is a non-approval\r\nreview submitted on the PR.\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":"Prevent skipping due to \"if\" statement (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2511197614\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/80\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/80/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/80\">#80</a>)"}},{"before":"f16e2972d62565598aaadca5188db3005fee3495","after":"bc7bce746f62627b219f5784c67058eb50821cec","ref":"refs/heads/main","pushedAt":"2024-08-30T18:31:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"`align_offset` Contracts (#69)\n\nBy submitting this pull request, I confirm that my contribution is made\r\nunder the terms of the Apache 2.0 and MIT licenses.\r\n\r\n---------\r\n\r\nCo-authored-by: Michael Tautschnig <mt@debian.org>\r\nCo-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>\r\nCo-authored-by: Michael Tautschnig <tautschn@amazon.com>","shortMessageHtmlLink":"<code>align_offset</code> Contracts (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2483402060\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/69\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/69/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/69\">#69</a>)"}},{"before":"1f0fc95ea7eac1d21af33c36aef0d2947dd385c2","after":"f16e2972d62565598aaadca5188db3005fee3495","ref":"refs/heads/main","pushedAt":"2024-08-28T21:01:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Remove all section numbers to prevent confusing labelling (#75)\n\nRemove all section numbers to prevent confusing labelling.\r\n\r\nThis is what the book looks like after this change\r\n\r\n![Screenshot 2024-08-28 at 4 50\r\n59 PM](https://github.com/user-attachments/assets/e812f01c-da3d-493c-8b99-424355340f37)\r\n\r\n\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":"Remove all section numbers to prevent confusing labelling (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2492971189\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/75\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/75/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/75\">#75</a>)"}},{"before":"c191318f5b45d32d063d3462bcd0cd77529d460d","after":"1f0fc95ea7eac1d21af33c36aef0d2947dd385c2","ref":"refs/heads/main","pushedAt":"2024-08-27T18:14:17.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":"Challenge Proposal: Floats/Ints (#58)","shortMessageHtmlLink":"Challenge Proposal: Floats/Ints (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2476020955\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/58\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/58/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/58\">#58</a>)"}},{"before":"b588f710c3aad3492d3c5ee40082424a6c3121cb","after":"c191318f5b45d32d063d3462bcd0cd77529d460d","ref":"refs/heads/main","pushedAt":"2024-08-27T18:06:05.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":"Simplify pr workflow to require 2 approvals on all PR's (#74)\n\nSimplify pr workflow to require 2 approvals on all PR's\r\n\r\n## Call Outs\r\nAll PR's will need 2 approvals from the commitee for this check to pass.\r\nA more intelligent approach is on the way, but till then all PR's will\r\nneed 2 approvals.\r\n\r\nThis is done to prevent sneak attacks where someone gets approval for\r\nnon-std related changes, and after approval, they make changes to the\r\nstd files.","shortMessageHtmlLink":"Simplify pr workflow to require 2 approvals on all PR's (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2489989183\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/74\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/74/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/74\">#74</a>)"}},{"before":"e0d66762a74964548a7e1784bb545c2744e7e8d9","after":"b588f710c3aad3492d3c5ee40082424a6c3121cb","ref":"refs/heads/main","pushedAt":"2024-08-27T17:33:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"feliperodri","name":"Felipe R. Monteiro","path":"/feliperodri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294522?s=80&v=4"},"commit":{"message":"`NonZero` Challenge (#70)\n\nBy submitting this pull request, I confirm that my contribution is made\r\nunder the terms of the Apache 2.0 and MIT licenses.\r\n\r\n---------\r\n\r\nCo-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>","shortMessageHtmlLink":"<code>NonZero</code> Challenge (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2483746554\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/70\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/70/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/70\">#70</a>)"}},{"before":"962b36ba90acf2916da8a6d9af1214ef6a426418","after":"e0d66762a74964548a7e1784bb545c2744e7e8d9","ref":"refs/heads/main","pushedAt":"2024-08-27T17:03:22.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"feliperodri","name":"Felipe R. Monteiro","path":"/feliperodri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294522?s=80&v=4"},"commit":{"message":"Challenge Proposal: `core::time::Duration` (#73)\n\nBy submitting this pull request, I confirm that my contribution is made\r\nunder the terms of the Apache 2.0 and MIT licenses.\r\n\r\n---------\r\n\r\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>","shortMessageHtmlLink":"Challenge Proposal: <code>core::time::Duration</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2485002280\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/73\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/73/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/73\">#73</a>)"}},{"before":"957d2bb75b4d2caafd72e74917f1ec8a51fdf4c6","after":"962b36ba90acf2916da8a6d9af1214ef6a426418","ref":"refs/heads/main","pushedAt":"2024-08-26T08:31:06.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":"Challenge proposal: NonNull (#52)","shortMessageHtmlLink":"Challenge proposal: NonNull (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2470171463\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/52\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/52/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/52\">#52</a>)"}},{"before":"b3fb221733f86d1ab3df63b54accc3691af14390","after":"957d2bb75b4d2caafd72e74917f1ec8a51fdf4c6","ref":"refs/heads/main","pushedAt":"2024-08-22T22:30:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add \"ranjitjhala\" and \"carolynzech\" to commitee (#68)\n\nAdd \"ranjitjhala\" and \"carolynzech\" to commitee toml\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":"Add \"ranjitjhala\" and \"carolynzech\" to commitee (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2481905705\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/68\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/68/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/68\">#68</a>)"}},{"before":"46352cfdf318b8c7aff310719aad3ec193de3a23","after":"b3fb221733f86d1ab3df63b54accc3691af14390","ref":"refs/heads/main","pushedAt":"2024-08-22T18:27:12.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":"Fix challenge number (#63)\n\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":"Fix challenge number (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2476362394\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/63\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/63/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/63\">#63</a>)"}},{"before":"8f3252f0a82b22f9f16f580117d92e8c34a8bf51","after":"46352cfdf318b8c7aff310719aad3ec193de3a23","ref":"refs/heads/main","pushedAt":"2024-08-22T16:14:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rahulku","name":null,"path":"/rahulku","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8743193?s=80&v=4"},"commit":{"message":"Introduce tool template (#64)","shortMessageHtmlLink":"Introduce tool template (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2479337328\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/64\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/64/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/64\">#64</a>)"}},{"before":"359fe20d6317f9e6238272cc27688052360e77ca","after":"8f3252f0a82b22f9f16f580117d92e8c34a8bf51","ref":"refs/heads/main","pushedAt":"2024-08-22T15:27:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add self to pull_requests.toml (#65)\n\nAs mentioned elsewhere, add self to list of people willing to help\r\nevaluate submissions.\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":"Add self to pull_requests.toml (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2480287698\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/65\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/65/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/65\">#65</a>)"}},{"before":"62e241afb3ecab009aa6e2c42045a44caa956717","after":"359fe20d6317f9e6238272cc27688052360e77ca","ref":"refs/heads/main","pushedAt":"2024-08-20T18:49:48.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":"Add challenge on memory safety of String (#55)\n\nBy submitting this pull request, I confirm that my contribution is made\r\nunder the terms of the Apache 2.0 and MIT licenses.\r\n\r\n---------\r\n\r\nCo-authored-by: Michael Tautschnig <tautschn@amazon.com>","shortMessageHtmlLink":"Add challenge on memory safety of String (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2471164377\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/55\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/55/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/55\">#55</a>)"}},{"before":null,"after":"71c27d8d79a5290c7356dfae3b920aec02275c89","ref":"refs/heads/ascii-challenge","pushedAt":"2024-08-20T18:24:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"feliperodri","name":"Felipe R. Monteiro","path":"/feliperodri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294522?s=80&v=4"},"commit":{"message":"Adds challenge for core::time::Duration\n\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>","shortMessageHtmlLink":"Adds challenge for core::time::Duration"}},{"before":"5595535fba25fa6868e12fa4e4623b9279f9ad00","after":"62e241afb3ecab009aa6e2c42045a44caa956717","ref":"refs/heads/main","pushedAt":"2024-08-20T16:59:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"qinheping","name":"Qinheping Hu","path":"/qinheping","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16714939?s=80&v=4"},"commit":{"message":"Add MD extension to SmallSort challenge (#60)\n\nThe SmallSort challenge file is missing the `.md` extension, so our book\r\nrenders an empty page (see\r\n[here](https://model-checking.github.io/verify-rust-std/challenges/0008-smallsort.html)).\r\nThis PR adds the `.md` extension. I tested locally with `mdbook serve`\r\nto ensure it renders correctly.\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":"Add MD extension to SmallSort challenge (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2476036075\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/60\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/60/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/60\">#60</a>)"}},{"before":"03c735b90d25f6c0965fce039d447f49976f686d","after":"5595535fba25fa6868e12fa4e4623b9279f9ad00","ref":"refs/heads/main","pushedAt":"2024-08-20T13:22:30.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":"Challenge proposal: SmallSort (#57)","shortMessageHtmlLink":"Challenge proposal: SmallSort (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2471780797\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/57\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/57/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/57\">#57</a>)"}},{"before":"c155b262ab0155c58faa49cfa6b464954ba4d16c","after":"03c735b90d25f6c0965fce039d447f49976f686d","ref":"refs/heads/main","pushedAt":"2024-08-20T12:25:12.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":"Add harnesses for all functions in Alignment (#42)","shortMessageHtmlLink":"Add harnesses for all functions in Alignment (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2424888328\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/42\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/42/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/42\">#42</a>)"}},{"before":"24a0b16959a4124db01fa888d7dd8ac4acdf6a7a","after":"c155b262ab0155c58faa49cfa6b464954ba4d16c","ref":"refs/heads/main","pushedAt":"2024-08-20T12:13:58.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":"Contracts and harnesses for `ptr::Unique` (#45)","shortMessageHtmlLink":"Contracts and harnesses for <code>ptr::Unique</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2437656438\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/45\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/45/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/45\">#45</a>)"}},{"before":"ec6d98ed385dbcdc62c1eba7643c099f13836341","after":"24a0b16959a4124db01fa888d7dd8ac4acdf6a7a","ref":"refs/heads/main","pushedAt":"2024-08-19T14:57:13.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"remove unstable ptr-to-ref-cast-checks and update submodules","shortMessageHtmlLink":"remove unstable ptr-to-ref-cast-checks and update submodules"}},{"before":null,"after":"a094cabe95bbbb340c66c5ac2f168403dc3c474c","ref":"refs/heads/remove-deprecated","pushedAt":"2024-08-15T22:43:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"remove deprecated ptr-to-ref-cast-checks","shortMessageHtmlLink":"remove deprecated ptr-to-ref-cast-checks"}},{"before":null,"after":"b698eef26f88c0bcaccc9fe0f8152b136a817344","ref":"refs/heads/sync-2024-08-07","pushedAt":"2024-08-15T21:11:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"update rust toolchain","shortMessageHtmlLink":"update rust toolchain"}},{"before":"0be79d6fcccac8a9c735e84badaf67c4be4a8c6e","after":"ec6d98ed385dbcdc62c1eba7643c099f13836341","ref":"refs/heads/main","pushedAt":"2024-08-12T19:50:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add scripts for local subtree update (#46)\n\nThe CI job for subtree update timesout because it takes more than 6hrs.\r\nWhile we figure out how to solve that problem, this process makes sure\r\nthere's an automated way for anyone to update the repo's subtree hosted\r\nlibrary, with a one click script/command.\r\n\r\nThe structure of this process follows the (would-be) CI workflow closely\r\ni.e\r\n\r\n1. Call `scripts/run_update_with_checks.sh` \r\n2. This script in turn calls the other scripts in order\r\n3. Pull and update local `subtree/library` with updates from\r\n[rust-lang](https://github.com/rust-lang/rust)\r\n4. Merge `subtree/library` onto local `SYNC-{DATE}` where {DATE} is the\r\ndate tracked by Kani's `features/verify-rust-std` branch.\r\n5. Update toolchain to the date tracked by kani's\r\n`features/verify-rust-std` branch and commit.\r\n6. Test this branch with `check_rustc` which checks for compilation\r\ncompatibility of the updated library and `check_kani` which checks that\r\nKani's injected harnesses verify as expected.\r\n\r\n## Call-out\r\n\r\nThis currently only automates the process of updating the subtree and\r\nrunning all checks on it. After that, the process of issuing a PR from\r\nthe SYNC-DATE branch of the local repo is still in the responsibility of\r\nthe dev running the script.\r\n\r\nThere is ongoing work to automate the process of writing/pushing\r\nbranches as well.\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":"Add scripts for local subtree update (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2438123135\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/46\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/46/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/46\">#46</a>)"}},{"before":"4f4d03220a9bf4c921ec264c66321c3c81ec274a","after":"0be79d6fcccac8a9c735e84badaf67c4be4a8c6e","ref":"refs/heads/main","pushedAt":"2024-08-01T20:29:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"char and ascii_char contracts (#48)\n\nAdd contracts for `char_try_from_u32`, `from_u32_unchecked`,\r\n`from_u8_unchecked`, `from_u8`, and `as_ascii`.\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":"char and ascii_char contracts (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2442820721\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/48\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/48/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/48\">#48</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMVQwMTo1Mzo0Mi4wMDAwMDBazwAAAAS8fLip","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMVQwMTo1Mzo0Mi4wMDAwMDBazwAAAAS8fLip","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wMVQyMDoyOToxNi4wMDAwMDBazwAAAASPiufm"}},"title":"Activity · model-checking/verify-rust-std"}