{"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:1720021442.0","currentOid":""},"activityList":{"items":[{"before":"7e1b426f419924d42f5f35fa5cb42119d42f72be","after":"b36e83f6a664d8973adc78975bcaebd8ea973c67","ref":"refs/heads/gh-pages","pushedAt":"2024-07-03T14:48:35.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@fcc9d8b6a0fed99065f0d204d8962600001f8f8d ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ fcc9d8b ๐"}},{"before":"f6d33854ca95e25cbd52d52f3ca842b7eb07793f","after":"fcc9d8b6a0fed99065f0d204d8962600001f8f8d","ref":"refs/heads/main","pushedAt":"2024-07-03T14:46:26.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":"Bump Kani version to 0.53.0 (#3317)\n\nBump Kani version to 0.53.0 and add notes for the upcoming release.","shortMessageHtmlLink":"Bump Kani version to 0.53.0 (#3317)"}},{"before":"ffc567f56eb1dfbdea57f70d7e90352be41c0c7e","after":"7e1b426f419924d42f5f35fa5cb42119d42f72be","ref":"refs/heads/gh-pages","pushedAt":"2024-07-03T05:46:29.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@f6d33854ca95e25cbd52d52f3ca842b7eb07793f ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ f6d3385 ๐"}},{"before":"d926482f7a724770d8f6818f312e8dda7b17738b","after":"f6d33854ca95e25cbd52d52f3ca842b7eb07793f","ref":"refs/heads/main","pushedAt":"2024-07-03T05:44:22.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":"Remove deprecated `--enable-stubbing` (#3309)\n\nPart of #2279 \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: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>","shortMessageHtmlLink":"Remove deprecated --enable-stubbing
(#3309)"}},{"before":"325d5c8cf9c27f3b398801f03143df52d0efb4fb","after":"ffc567f56eb1dfbdea57f70d7e90352be41c0c7e","ref":"refs/heads/gh-pages","pushedAt":"2024-07-02T19:09: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@d926482f7a724770d8f6818f312e8dda7b17738b ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ d926482 ๐"}},{"before":"2fb97d28b457bf7eb86086ea44a3c5db23e41e38","after":"d926482f7a724770d8f6818f312e8dda7b17738b","ref":"refs/heads/main","pushedAt":"2024-07-02T19:07:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"artemagvanian","name":"Artem Agvanian","path":"/artemagvanian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24368350?s=80&v=4"},"commit":{"message":"Towards Proving Memory Initialization (#3264)\n\nThis PR enables automatic memory initialization proofs for raw pointers\r\nin Kani. This is done without any extra instrumentation from the user.\r\n\r\nCurrently, due to high memory consumption and only partial support of\r\npointee types for which memory initialization proofs work, this feature\r\nis gated behind `-Z uninit-checks` flag. Note that because it uses\r\nshadow memory under the hood, programs using this feature need to pass\r\n`-Z ghost-state` flag as well.\r\n\r\nThis PR is a part of working towards #3300.\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: Celina G. Val ","shortMessageHtmlLink":"Towards Proving Memory Initialization (#3264)"}},{"before":"047ee0f7f532fb6a7e9e049910e6c2d85d6e551f","after":"325d5c8cf9c27f3b398801f03143df52d0efb4fb","ref":"refs/heads/gh-pages","pushedAt":"2024-07-02T09:30:19.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@2fb97d28b457bf7eb86086ea44a3c5db23e41e38 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 2fb97d2 ๐"}},{"before":"67d6ac9adb2731d6942c26bbe42ab19e54bef3b3","after":"2fb97d28b457bf7eb86086ea44a3c5db23e41e38","ref":"refs/heads/main","pushedAt":"2024-07-02T09:28:14.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 `nightly-2024-07-01` (#3314)\n\nUpgrade toolchain to `nightly-2024-07-01` so we're up to date. No other\r\nchanges are required.","shortMessageHtmlLink":"Upgrade toolchain to nightly-2024-07-01
(#3314)"}},{"before":"9c632a8773504ea5d3e9ff0f35ef4006e69162c8","after":"047ee0f7f532fb6a7e9e049910e6c2d85d6e551f","ref":"refs/heads/gh-pages","pushedAt":"2024-07-02T08:58:25.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@67d6ac9adb2731d6942c26bbe42ab19e54bef3b3 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 67d6ac9 ๐"}},{"before":"448b268df0ba96466cff77e1bc52168f213e5469","after":null,"ref":"refs/heads/toolchain-2024-06-29","pushedAt":"2024-07-02T08:56:08.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":"d55f25b81c8fa6a0bed1b7e7f9af3383b397a525","after":"67d6ac9adb2731d6942c26bbe42ab19e54bef3b3","ref":"refs/heads/main","pushedAt":"2024-07-02T08:56: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":"Automatic toolchain upgrade to nightly-2024-06-29 (#3315)\n\nUpdate Rust toolchain from nightly-2024-06-28 to nightly-2024-06-29\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/9c3bc805dd9cb84019c124b9a50fdff1e62a7ec9\r\nup to\r\nhttps://github.com/rust-lang/rust/commit/e9e6e2e444c30c23a9c878a88fbc3978c2acad95.","shortMessageHtmlLink":"Automatic toolchain upgrade to nightly-2024-06-29 (#3315)"}},{"before":null,"after":"448b268df0ba96466cff77e1bc52168f213e5469","ref":"refs/heads/toolchain-2024-06-29","pushedAt":"2024-07-02T03:01:49.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-06-29","shortMessageHtmlLink":"Upgrade Rust toolchain to nightly-2024-06-29"}},{"before":"8c617ddaa2056b6fa9880c0832e56600036d4366","after":"9c632a8773504ea5d3e9ff0f35ef4006e69162c8","ref":"refs/heads/gh-pages","pushedAt":"2024-07-01T19:17:02.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@d55f25b81c8fa6a0bed1b7e7f9af3383b397a525 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ d55f25b ๐"}},{"before":"6f0c0b5b97c6861a3113af85c5d94bc17ee3e306","after":"d55f25b81c8fa6a0bed1b7e7f9af3383b397a525","ref":"refs/heads/main","pushedAt":"2024-07-01T19:14:44.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":"Add support for f16 and f128 for toolchain upgrade to 6/28 (#3306)\n\nAdds support for f16 and f128, i.e \r\n1. adding translation to `irep` .\r\n2. generating arbitrary values for the new types\r\n3. generating basic invariants (checking if safe) for new types\r\n4. Adds sanity testing for arbitrary on the new types.\r\n\r\nResolves #3303","shortMessageHtmlLink":"Add support for f16 and f128 for toolchain upgrade to 6/28 (#3306)"}},{"before":"1d1ba1dff59e70f0231e9eda0e800031d8183102","after":"8c617ddaa2056b6fa9880c0832e56600036d4366","ref":"refs/heads/gh-pages","pushedAt":"2024-07-01T16:41:35.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@6f0c0b5b97c6861a3113af85c5d94bc17ee3e306 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 6f0c0b5 ๐"}},{"before":"0994887f481a657c80044a32eea60092499393ed","after":"6f0c0b5b97c6861a3113af85c5d94bc17ee3e306","ref":"refs/heads/main","pushedAt":"2024-07-01T16:39:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"pi314mm","name":"Matias Scharager","path":"/pi314mm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18103309?s=80&v=4"},"commit":{"message":"Function Contracts: Closure Type Inference (#3307)\n\nThe rust type inference for closures doesn't work in the particular use\r\ncase we are using it for ensures clauses. By creating a helper function,\r\nwe change the path the rust type inference takes and lets the type of\r\nthe closure be identified properly. This means type annotations are no\r\nlonger required within ensures clauses.\r\n\r\nResolves #3304\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":"Function Contracts: Closure Type Inference (#3307)"}},{"before":"3ce7af50b5c00cced6cf3725cf3ad3b2c1936e42","after":"1d1ba1dff59e70f0231e9eda0e800031d8183102","ref":"refs/heads/gh-pages","pushedAt":"2024-07-01T15:34:31.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@0994887f481a657c80044a32eea60092499393ed ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 0994887 ๐"}},{"before":"28bb3f91e57efbf3a06932a9b8940fa42b39e501","after":null,"ref":"refs/heads/cargo-update-2024-07-01","pushedAt":"2024-07-01T15:32:23.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":"5a6a5f30aac71b6a78cf4242348fd52df34ae0cf","after":"0994887f481a657c80044a32eea60092499393ed","ref":"refs/heads/main","pushedAt":"2024-07-01T15:32:21.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 cargo update to 2024-07-01 (#3310)\n\nDependency upgrade resulting from `cargo update`.","shortMessageHtmlLink":"Automatic cargo update to 2024-07-01 (#3310)"}},{"before":null,"after":"28bb3f91e57efbf3a06932a9b8940fa42b39e501","ref":"refs/heads/cargo-update-2024-07-01","pushedAt":"2024-07-01T03:36:17.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-07-01","shortMessageHtmlLink":"Upgrade cargo dependencies to 2024-07-01"}},{"before":"73c3c24ed930deda4af3401693376e12c39d1516","after":"3ce7af50b5c00cced6cf3725cf3ad3b2c1936e42","ref":"refs/heads/gh-pages","pushedAt":"2024-06-28T08:09:55.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@5a6a5f30aac71b6a78cf4242348fd52df34ae0cf ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 5a6a5f3 ๐"}},{"before":"2fd370230561276cd45d8e1e1c314c9bdeefe43f","after":null,"ref":"refs/heads/toolchain-2024-06-27","pushedAt":"2024-06-28T08:07:47.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":"3b9665fcebe1a3d773996dbd54895ce483c34ea0","after":"5a6a5f30aac71b6a78cf4242348fd52df34ae0cf","ref":"refs/heads/main","pushedAt":"2024-06-28T08:07:46.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":"Automatic toolchain upgrade to nightly-2024-06-27 (#3301)\n\nUpdate Rust toolchain from nightly-2024-06-26 to nightly-2024-06-27\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/fda509e817abeeecb5b76bc1de844f355675c81e\r\nup to\r\nhttps://github.com/rust-lang/rust/commit/4bc39f028d14c24b04dd17dc425432c6ec354536.","shortMessageHtmlLink":"Automatic toolchain upgrade to nightly-2024-06-27 (#3301)"}},{"before":null,"after":"2fd370230561276cd45d8e1e1c314c9bdeefe43f","ref":"refs/heads/toolchain-2024-06-27","pushedAt":"2024-06-27T21:25:06.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-06-27","shortMessageHtmlLink":"Upgrade Rust toolchain to nightly-2024-06-27"}},{"before":"6512a224749df426d9a47d08171ee6652c2ab641","after":"73c3c24ed930deda4af3401693376e12c39d1516","ref":"refs/heads/gh-pages","pushedAt":"2024-06-27T20:56:26.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@3b9665fcebe1a3d773996dbd54895ce483c34ea0 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 3b9665f ๐"}},{"before":"3adb2620d22d6e3ca654aa0a8c86b4f30da15e00","after":"3b9665fcebe1a3d773996dbd54895ce483c34ea0","ref":"refs/heads/main","pushedAt":"2024-06-27T20:54:06.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":"Upgrade rust toolchain to 06-26 (#3299)\n\nRelated change:\r\n- https://github.com/rust-lang/rust/commit/24e41f1d13\r\n\r\n\r\nResolves #3294\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":"Upgrade rust toolchain to 06-26 (#3299)"}},{"before":"731ff199076e7e85c077564644723becb4de25f6","after":"6512a224749df426d9a47d08171ee6652c2ab641","ref":"refs/heads/gh-pages","pushedAt":"2024-06-27T19:06:32.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@3adb2620d22d6e3ca654aa0a8c86b4f30da15e00 ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ 3adb262 ๐"}},{"before":"c8746e2e942a137078d3ef7ed458d2a2234337cd","after":"3adb2620d22d6e3ca654aa0a8c86b4f30da15e00","ref":"refs/heads/main","pushedAt":"2024-06-27T19:04:11.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":"C library: declare malloc (#3296)\n\nIn #1812 we removed standard library includes and instead provided\r\nforward declarations of `free`, `calloc`, and `memcpy` -- but seemingly\r\nforgot to include `malloc`, which we also use.\r\n\r\nThis avoids a warning seen when dialling up `goto-cc` verbosity.","shortMessageHtmlLink":"C library: declare malloc (#3296)"}},{"before":"10d8c47f6f9d48685086dcc590314b444c83ecbb","after":"731ff199076e7e85c077564644723becb4de25f6","ref":"refs/heads/gh-pages","pushedAt":"2024-06-27T17:49: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@c8746e2e942a137078d3ef7ed458d2a2234337cd ๐","shortMessageHtmlLink":"Deploying to gh-pages from @ c8746e2 ๐"}},{"before":"997c95cc041fac75b7aa0e1b0d2c1eda5453d715","after":"c8746e2e942a137078d3ef7ed458d2a2234337cd","ref":"refs/heads/main","pushedAt":"2024-06-27T17:46:58.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":"Fix operand in fat pointer comparison (#3297)\n\nFixing a typo that causes potential issues in compilation.\r\n\r\nCo-authored-by: Matias Scharager ","shortMessageHtmlLink":"Fix operand in fat pointer comparison (#3297)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEdgGY0QA","startCursor":null,"endCursor":null}},"title":"Activity ยท model-checking/kani"}