{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":531573306,"defaultBranch":"main","name":"verus-analyzer","ownerLogin":"verus-lang","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-09-01T15:14:17.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/107117217?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721145436.0","currentOid":""},"activityList":{"items":[{"before":"3e9d0d0666bb86e366fee1416011db315707ad18","after":"ff4758ba763ecc711a422c7ca73b48abb70d4940","ref":"refs/heads/syntax-update-jul-2024","pushedAt":"2024-07-18T19:22:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Commit the generated files","shortMessageHtmlLink":"Commit the generated files"}},{"before":"37a525abc2aeb25a963b8b51131bde65d755cf9b","after":"28cf664a329704b2e948c3d57842f360dc3f4657","ref":"refs/heads/infra","pushedAt":"2024-07-16T18:01:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Notes on building a VSIX and some more string fixes","shortMessageHtmlLink":"Notes on building a VSIX and some more string fixes"}},{"before":"16750d6323c6ce9ea6f87892fb7adfd470798e58","after":"37a525abc2aeb25a963b8b51131bde65d755cf9b","ref":"refs/heads/infra","pushedAt":"2024-07-16T16:00:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Larger V","shortMessageHtmlLink":"Larger V"}},{"before":null,"after":"16750d6323c6ce9ea6f87892fb7adfd470798e58","ref":"refs/heads/infra","pushedAt":"2024-07-16T15:57:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Information about building a local vsix file","shortMessageHtmlLink":"Information about building a local vsix file"}},{"before":"1507954731fed6079b6301eeb012606c0afb639a","after":"3e9d0d0666bb86e366fee1416011db315707ad18","ref":"refs/heads/syntax-update-jul-2024","pushedAt":"2024-07-16T13:47:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"More work trying to get Broadcast* to go through.  Still hitting a lot\nof unsatisfied trait bounds","shortMessageHtmlLink":"More work trying to get Broadcast* to go through. Still hitting a lot"}},{"before":"3cfa1ad86b563cd26843f8bfdce4c23a541bab45","after":"1507954731fed6079b6301eeb012606c0afb639a","ref":"refs/heads/syntax-update-jul-2024","pushedAt":"2024-07-16T02:31:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Partial progress on adding support for broadcast groups","shortMessageHtmlLink":"Partial progress on adding support for broadcast groups"}},{"before":"54c2f6267ae8ec9613866491a0180e0f8447e598","after":"3cfa1ad86b563cd26843f8bfdce4c23a541bab45","ref":"refs/heads/syntax-update-jul-2024","pushedAt":"2024-07-16T01:29:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Fix handling of for loops","shortMessageHtmlLink":"Fix handling of for loops"}},{"before":"0c9fb5b42c36551be545b28edf06bcaf926b3fe0","after":"54c2f6267ae8ec9613866491a0180e0f8447e598","ref":"refs/heads/syntax-update-jul-2024","pushedAt":"2024-07-15T21:19:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Add support for Verus-style for loops.  Still needs work.","shortMessageHtmlLink":"Add support for Verus-style for loops. Still needs work."}},{"before":"69a2f895b64eea32e8b7a7eccaa0c98ee93f0762","after":"0c9fb5b42c36551be545b28edf06bcaf926b3fe0","ref":"refs/heads/syntax-update-jul-2024","pushedAt":"2024-07-15T20:34:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Add support for Verus annotations on `loop`s","shortMessageHtmlLink":"Add support for Verus annotations on <code>loop</code>s"}},{"before":"950c37b656f4c528654e728eb7a7467c858bfcc9","after":"69a2f895b64eea32e8b7a7eccaa0c98ee93f0762","ref":"refs/heads/syntax-update-jul-2024","pushedAt":"2024-07-15T20:04:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Add support for ensures clauses on while loops","shortMessageHtmlLink":"Add support for ensures clauses on while loops"}},{"before":null,"after":"950c37b656f4c528654e728eb7a7467c858bfcc9","ref":"refs/heads/syntax-update-jul-2024","pushedAt":"2024-07-15T17:42:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Update Mac examples to use aarch64","shortMessageHtmlLink":"Update Mac examples to use aarch64"}},{"before":"5e9d927d72f392ad0f596e680b67dcbdee9513bd","after":null,"ref":"refs/heads/dev/fixes-and-cargo-handle","pushedAt":"2024-07-11T17:28:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"}},{"before":"a79cba17fd6753e264c0308b6a7ff5f148cd2082","after":"e3bf6e9d820ca35d694ecf619dd64b8b61286603","ref":"refs/heads/main","pushedAt":"2024-07-11T17:28:37.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Merge pull request #28 from verus-lang/dev/fixes-and-cargo-handle\n\nReplacing CargoHandle with CommandHandle and some fixes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2403622961\" data-permission-text=\"Title is private\" data-url=\"https://github.com/verus-lang/verus-analyzer/issues/28\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/verus-lang/verus-analyzer/pull/28/hovercard\" href=\"https://github.com/verus-lang/verus-analyzer/pull/28\">#28</a> from verus-lang/dev/fixes-and-cargo-handle"}},{"before":"fa61d262a2696e9ef5eb184a7ff8cc6f399540f1","after":"5e9d927d72f392ad0f596e680b67dcbdee9513bd","ref":"refs/heads/dev/fixes-and-cargo-handle","pushedAt":"2024-07-11T16:49:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"achreto","name":"Reto Achermann","path":"/achreto","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13241960?s=80&v=4"},"commit":{"message":"fixing typos\n\nSigned-off-by: Reto Achermann <achreto@gmail.com>","shortMessageHtmlLink":"fixing typos"}},{"before":null,"after":"fa61d262a2696e9ef5eb184a7ff8cc6f399540f1","ref":"refs/heads/dev/fixes-and-cargo-handle","pushedAt":"2024-07-11T16:41:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"achreto","name":"Reto Achermann","path":"/achreto","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13241960?s=80&v=4"},"commit":{"message":"replace CargoHandle with CommandHandle and some fixes regarding dead code\n\nSigned-off-by: Reto Achermann <achreto@gmail.com>","shortMessageHtmlLink":"replace CargoHandle with CommandHandle and some fixes regarding dead …"}},{"before":"58a0281b557b96fb807a0312858b1f81a9ae9191","after":null,"ref":"refs/heads/main-without-proof-action","pushedAt":"2024-07-11T02:49:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chanheec","name":"Chanhee Cho","path":"/chanheec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61118183?s=80&v=4"}},{"before":"a4be2c4af50735413e44f80e9161e5619f1441bc","after":null,"ref":"refs/heads/proof-action","pushedAt":"2024-07-11T02:48:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chanheec","name":"Chanhee Cho","path":"/chanheec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61118183?s=80&v=4"}},{"before":"535573780344f20c1e250da268ccc0eb0edf45f7","after":null,"ref":"refs/heads/verus-error","pushedAt":"2024-07-11T02:45:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chanheec","name":"Chanhee Cho","path":"/chanheec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61118183?s=80&v=4"}},{"before":"31b39bd25ab9182db869384cef4a8e07bff3f067","after":null,"ref":"refs/heads/upstream_target","pushedAt":"2024-07-11T02:45:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chanheec","name":"Chanhee Cho","path":"/chanheec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61118183?s=80&v=4"}},{"before":"7e3a0bd54de71fc72c19746528c34dbbed5691b8","after":null,"ref":"refs/heads/standalone","pushedAt":"2024-07-11T02:45:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chanheec","name":"Chanhee Cho","path":"/chanheec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61118183?s=80&v=4"}},{"before":"3b875a94fc64005d0772f709ea2e5f09b3fe442c","after":null,"ref":"refs/heads/connect-verus","pushedAt":"2024-07-11T02:44:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chanheec","name":"Chanhee Cho","path":"/chanheec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61118183?s=80&v=4"}},{"before":"1f15a204e5cd80cb91c1a538886effff3b5f4e08","after":null,"ref":"refs/heads/verus","pushedAt":"2024-07-11T02:44:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chanheec","name":"Chanhee Cho","path":"/chanheec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61118183?s=80&v=4"}},{"before":"8f4b455078575b205bc9c1fef1d277552859c585","after":null,"ref":"refs/heads/november-08-2022","pushedAt":"2024-07-11T02:43:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chanheec","name":"Chanhee Cho","path":"/chanheec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61118183?s=80&v=4"}},{"before":"66cd977f7c1587b892425c282947a3fd7bd83365","after":null,"ref":"refs/heads/verus_syntax","pushedAt":"2024-07-11T02:43:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chanheec","name":"Chanhee Cho","path":"/chanheec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61118183?s=80&v=4"}},{"before":"1f1ea43074850371e5d3dfd3ecad20a84eebb2a3","after":null,"ref":"refs/heads/fixes-proof-action","pushedAt":"2024-07-11T02:42:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chanheec","name":"Chanhee Cho","path":"/chanheec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61118183?s=80&v=4"}},{"before":"a79cba17fd6753e264c0308b6a7ff5f148cd2082","after":null,"ref":"refs/heads/dev/rebase-2024-06","pushedAt":"2024-07-10T15:15:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"}},{"before":null,"after":"a79cba17fd6753e264c0308b6a7ff5f148cd2082","ref":"refs/heads/main","pushedAt":"2024-07-10T15:15:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"apply rustfmt\n\nSigned-off-by: Reto Achermann <achreto@gmail.com>","shortMessageHtmlLink":"apply rustfmt"}},{"before":"4dfb179592a28751f29f75ff5a1256764eb2e149","after":null,"ref":"refs/heads/old_master","pushedAt":"2024-07-10T15:15:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"}},{"before":null,"after":"4dfb179592a28751f29f75ff5a1256764eb2e149","ref":"refs/heads/pre-2023-rebase-master","pushedAt":"2024-07-10T15:15:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"let_stmt syntax update: `let ghost`, `let tracked` (#11)\n\n* modify ungram file for let ghost\r\n* consume ghost tracked keyword and add a testcase","shortMessageHtmlLink":"let_stmt syntax update: <code>let ghost</code>, <code>let tracked</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1669590255\" data-permission-text=\"Title is private\" data-url=\"https://github.com/verus-lang/verus-analyzer/issues/11\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/verus-lang/verus-analyzer/pull/11/hovercard\" href=\"https://github.com/verus-lang/verus-analyzer/pull/11\">#11</a>)"}},{"before":"498fbc6c4fe57ae4e47b367ea5772162240f0294","after":null,"ref":"refs/heads/main","pushedAt":"2024-07-10T15:14:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEg0TgDwA","startCursor":null,"endCursor":null}},"title":"Activity · verus-lang/verus-analyzer"}