{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":412230333,"defaultBranch":"main","name":"kani","ownerLogin":"jaisnan","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2021-09-30T21:15:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/91620234?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1724874172.0","currentOid":""},"activityList":{"items":[{"before":"cd53bcf04f94d7fc0cde228fa5dc5ca75a82bfa6","after":null,"ref":"refs/heads/fix-toolchain-820","pushedAt":"2024-08-28T19:42:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"}},{"before":"9818fec251675a0f3f8e08c12c26c4f74b912db4","after":"cd53bcf04f94d7fc0cde228fa5dc5ca75a82bfa6","ref":"refs/heads/fix-toolchain-820","pushedAt":"2024-08-28T16:37:25.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Cargo fmt + clippy","shortMessageHtmlLink":"Cargo fmt + clippy"}},{"before":"f205511853b21c45558f9b6bf085be3315798aeb","after":"9818fec251675a0f3f8e08c12c26c4f74b912db4","ref":"refs/heads/fix-toolchain-820","pushedAt":"2024-08-28T12:20:13.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'fix-toolchain-820' of https://github.com/jaisnan/kani into fix-toolchain-820","shortMessageHtmlLink":"Merge branch 'fix-toolchain-820' of <a href=\"https://github.com/jaisnan/kani\">https://github.com/jaisnan/kani</a> i…"}},{"before":"c8bfdb06412774b78cfe0ac2d5c178463965c463","after":"f205511853b21c45558f9b6bf085be3315798aeb","ref":"refs/heads/fix-toolchain-820","pushedAt":"2024-08-27T20:19:38.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' into fix-toolchain-820","shortMessageHtmlLink":"Merge branch 'main' into fix-toolchain-820"}},{"before":"9cdca7fc3acefd31f075c97b9e21db59080cfc3f","after":"c8bfdb06412774b78cfe0ac2d5c178463965c463","ref":"refs/heads/fix-toolchain-820","pushedAt":"2024-08-27T20:18:56.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Upgrade to 8/27 and fix breaks in cargo","shortMessageHtmlLink":"Upgrade to 8/27 and fix breaks in cargo"}},{"before":"c9607701f4b3e87bdd74e178f1dd5ef699a0c02a","after":"9cdca7fc3acefd31f075c97b9e21db59080cfc3f","ref":"refs/heads/fix-toolchain-820","pushedAt":"2024-08-20T19:54:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'fix-toolchain-820' of https://github.com/jaisnan/kani into fix-toolchain-820","shortMessageHtmlLink":"Merge branch 'fix-toolchain-820' of <a href=\"https://github.com/jaisnan/kani\">https://github.com/jaisnan/kani</a> i…"}},{"before":"6777e7c8e7230802f39fa223e6fd383d51ecb286","after":"c9607701f4b3e87bdd74e178f1dd5ef699a0c02a","ref":"refs/heads/fix-toolchain-820","pushedAt":"2024-08-20T19:52:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' into fix-toolchain-820","shortMessageHtmlLink":"Merge branch 'main' into fix-toolchain-820"}},{"before":"621519aac197692c3ff92337516d8d1a8fa52dba","after":"6777e7c8e7230802f39fa223e6fd383d51ecb286","ref":"refs/heads/fix-toolchain-820","pushedAt":"2024-08-20T19:37:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Upgrade toolchain to 08/20","shortMessageHtmlLink":"Upgrade toolchain to 08/20"}},{"before":null,"after":"621519aac197692c3ff92337516d8d1a8fa52dba","ref":"refs/heads/fix-toolchain-820","pushedAt":"2024-08-20T19:37:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Make points-to analysis handle all intrinsics explicitly (#3452)\n\nInitially, points-to analysis tried to determine the body of an\nintrinsic (if it was available) to avoid enumerating them all. However,\nit turned out this logic was faulty, and the analysis attempted to query\nthe body for intrinsics that didn't have it and ICEd.\n\nI added a couple of missing intrinsics, which had a side benefit of\nremoving some duplicate assertion failures.\n\nResolves #3447\n\nBy submitting this pull request, I confirm that my contribution is made\nunder the terms of the Apache 2.0 and MIT licenses.","shortMessageHtmlLink":"Make points-to analysis handle all intrinsics explicitly (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2473693618\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3452\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3452/hovercard\" href=\"https://github.com/model-checking/kani/pull/3452\">model-check…</a>"}},{"before":"30613dfc531d402d528dda4a11f160595c81fae8","after":null,"ref":"refs/heads/clean-kani-core","pushedAt":"2024-08-06T16:57:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"}},{"before":"834cba70b7b1c49dddefbc1af05b5e8a0533fef2","after":"30613dfc531d402d528dda4a11f160595c81fae8","ref":"refs/heads/clean-kani-core","pushedAt":"2024-08-06T14:28:10.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' into clean-kani-core","shortMessageHtmlLink":"Merge branch 'main' into clean-kani-core"}},{"before":"8c34eaa69bf6e95c774c89474a1690d1438693ca","after":"834cba70b7b1c49dddefbc1af05b5e8a0533fef2","ref":"refs/heads/clean-kani-core","pushedAt":"2024-08-05T18:01:39.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' into clean-kani-core","shortMessageHtmlLink":"Merge branch 'main' into clean-kani-core"}},{"before":"772643dc5869f0ccf15702d6e059ee891bd16a6b","after":"8c34eaa69bf6e95c774c89474a1690d1438693ca","ref":"refs/heads/clean-kani-core","pushedAt":"2024-08-03T04:18:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Remove comments","shortMessageHtmlLink":"Remove comments"}},{"before":"070b0c278da94301d16c06f28be7a95b409dfa87","after":"772643dc5869f0ccf15702d6e059ee891bd16a6b","ref":"refs/heads/clean-kani-core","pushedAt":"2024-08-03T04:10:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add warning over macro","shortMessageHtmlLink":"Add warning over macro"}},{"before":"85280b02f16133fe3e0eb20edbb9139c916f77e3","after":"070b0c278da94301d16c06f28be7a95b409dfa87","ref":"refs/heads/clean-kani-core","pushedAt":"2024-08-03T04:04:19.000Z","pushType":"push","commitsCount":16,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Fix clippy warning","shortMessageHtmlLink":"Fix clippy warning"}},{"before":"c318232d3400e4ac9a39882cdd61a0cd0d64dbab","after":"85280b02f16133fe3e0eb20edbb9139c916f77e3","ref":"refs/heads/clean-kani-core","pushedAt":"2024-08-03T03:43:42.000Z","pushType":"push","commitsCount":43,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'clean-kani-core-2' into clean-kani-core","shortMessageHtmlLink":"Merge branch 'clean-kani-core-2' into clean-kani-core"}},{"before":null,"after":"b1681e7c6b07baf57b5fa41b2145c2dca7212cf1","ref":"refs/heads/update-verify-std-07-16","pushedAt":"2024-07-18T16:19:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Automatic toolchain upgrade to nightly-2024-07-16 (#3346)\n\nUpdate Rust toolchain from nightly-2024-07-15 to nightly-2024-07-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/d9284afea99e0969a0e692b9e9fd61ea4ba21366\r\nup to\r\nhttps://github.com/rust-lang/rust/commit/24d2ac0b56fcbde13d827745f66e73efb1e17156.","shortMessageHtmlLink":"Automatic toolchain upgrade to nightly-2024-07-16 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2410092016\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3346\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3346/hovercard\" href=\"https://github.com/model-checking/kani/pull/3346\">model-checking#3346</a>)"}},{"before":"352a50b6d56bbd5dde1104749787f1896e323fab","after":"c318232d3400e4ac9a39882cdd61a0cd0d64dbab","ref":"refs/heads/clean-kani-core","pushedAt":"2024-07-16T15:08:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' into clean-kani-core","shortMessageHtmlLink":"Merge branch 'main' into clean-kani-core"}},{"before":"ff2d867f33572147b6cdcde4fdb85bc32cb4fda0","after":"352a50b6d56bbd5dde1104749787f1896e323fab","ref":"refs/heads/clean-kani-core","pushedAt":"2024-07-15T16:52:26.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/model-checking/kani into clean-kani-core","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/model-checking/kani\">https://github.com/model-checking/kani</a> into cl…"}},{"before":"f794dd0de9fe27524b3dbc6b398f43da27719153","after":"959dc55dca8a09389245ec1d7d601381b7ede333","ref":"refs/heads/upgrade-toolchain-july1","pushedAt":"2024-07-12T18:34:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Fix clippy warning","shortMessageHtmlLink":"Fix clippy warning"}},{"before":"ada9720a32067f8188642adf23e47c65f6aaded1","after":"f794dd0de9fe27524b3dbc6b398f43da27719153","ref":"refs/heads/upgrade-toolchain-july1","pushedAt":"2024-07-12T18:11:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/model-checking/kani into upgrade-toolchain-july1","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/model-checking/kani\">https://github.com/model-checking/kani</a> into up…"}},{"before":null,"after":"ada9720a32067f8188642adf23e47c65f6aaded1","ref":"refs/heads/upgrade-toolchain-july1","pushedAt":"2024-07-12T17:55:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Move to 7/12","shortMessageHtmlLink":"Move to 7/12"}},{"before":"012019eede98b84168838751e666e159240db993","after":"ff2d867f33572147b6cdcde4fdb85bc32cb4fda0","ref":"refs/heads/clean-kani-core","pushedAt":"2024-07-11T19:45:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Remove files, update expected and remove unnecessary attributes","shortMessageHtmlLink":"Remove files, update expected and remove unnecessary attributes"}},{"before":"2c2acfc3fa3d576bda35450f7632f906a0fa24aa","after":"012019eede98b84168838751e666e159240db993","ref":"refs/heads/clean-kani-core","pushedAt":"2024-07-09T19:26:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' into clean-kani-core","shortMessageHtmlLink":"Merge branch 'main' into clean-kani-core"}},{"before":"5eff16720d35b1b3e23a66efa10834f24c89f3b8","after":"2c2acfc3fa3d576bda35450f7632f906a0fa24aa","ref":"refs/heads/clean-kani-core","pushedAt":"2024-07-09T19:25:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'clean-kani-core' of https://github.com/jaisnan/kani into clean-kani-core","shortMessageHtmlLink":"Merge branch 'clean-kani-core' of <a href=\"https://github.com/jaisnan/kani\">https://github.com/jaisnan/kani</a> int…"}},{"before":"3e3b9663f9fce5e62e07f05d4733f4a5ef573d1e","after":"5eff16720d35b1b3e23a66efa10834f24c89f3b8","ref":"refs/heads/clean-kani-core","pushedAt":"2024-07-09T16:32:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' into clean-kani-core","shortMessageHtmlLink":"Merge branch 'main' into clean-kani-core"}},{"before":"2a15ae3a6ed24c6b607ec34e7f47738aca1e3c50","after":"3e3b9663f9fce5e62e07f05d4733f4a5ef573d1e","ref":"refs/heads/clean-kani-core","pushedAt":"2024-07-09T16:23:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add mem to cleanup and fix regressions","shortMessageHtmlLink":"Add mem to cleanup and fix regressions"}},{"before":null,"after":"2a15ae3a6ed24c6b607ec34e7f47738aca1e3c50","ref":"refs/heads/clean-kani-core","pushedAt":"2024-07-09T14:47:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/model-checking/kani into clean-kani-core","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/model-checking/kani\">https://github.com/model-checking/kani</a> into cl…"}},{"before":"c39f40eb2a13d40c42aa1da6afda84df937d9c74","after":null,"ref":"refs/heads/toolchain-upgrade-3303","pushedAt":"2024-07-01T19:21:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"}},{"before":"2887b6bfc80da6aef49f5269ae54fe2cbd82ed25","after":"c39f40eb2a13d40c42aa1da6afda84df937d9c74","ref":"refs/heads/toolchain-upgrade-3303","pushedAt":"2024-07-01T18:44:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' into toolchain-upgrade-3303","shortMessageHtmlLink":"Merge branch 'main' into toolchain-upgrade-3303"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yOFQxOTo0Mjo1Mi4wMDAwMDBazwAAAASm5AX9","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yOFQxOTo0Mjo1Mi4wMDAwMDBazwAAAASm5AX9","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wMVQxODo0NDozNi4wMDAwMDBazwAAAAR0FCNy"}},"title":"Activity · jaisnan/kani"}