{"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://github.com/avatars/u/107117217?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721968401.0","currentOid":""},"activityList":{"items":[{"before":"81e40433a2b91618683bb633fba17f925c9b0945","after":"324e554d8691661a5ba245fc536d8285c63f45fc","ref":"refs/heads/main","pushedAt":"2024-09-05T14:21:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Turn off nightly workflow runs until we get the run working","shortMessageHtmlLink":"Turn off nightly workflow runs until we get the run working"}},{"before":"f7fdceebaf8bfaf867c78e28ed0d5075a18e5997","after":"835ef54315eb21c914f922bd2a895740aa24e8cb","ref":"refs/heads/infra","pushedAt":"2024-08-02T19:05:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Opt for crate-type=lib when we find a lib.rs file","shortMessageHtmlLink":"Opt for crate-type=lib when we find a lib.rs file"}},{"before":"f3e5530b4b02d25f3a179956b2fe286ae9887275","after":"f7fdceebaf8bfaf867c78e28ed0d5075a18e5997","ref":"refs/heads/infra","pushedAt":"2024-08-02T17:02:39.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Fix rust-analyzer -> verus-analyzer strings for LSP extensions,\nso server matches client","shortMessageHtmlLink":"Fix rust-analyzer -&gt; verus-analyzer strings for LSP extensions,"}},{"before":"f2909d9a5012fd012c9a0c6c6fa3fb905d0b72f6","after":"81e40433a2b91618683bb633fba17f925c9b0945","ref":"refs/heads/main","pushedAt":"2024-08-02T15:56:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Generated","shortMessageHtmlLink":"Generated"}},{"before":"0f3dde138ef78b5abb0f9372c2769e079b76cfdf","after":"f3e5530b4b02d25f3a179956b2fe286ae9887275","ref":"refs/heads/infra","pushedAt":"2024-08-02T15:54:20.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Generated grammar","shortMessageHtmlLink":"Generated grammar"}},{"before":"4d9dba305616c1c30a66b4d3a09f72d6f48e1ea2","after":"f2909d9a5012fd012c9a0c6c6fa3fb905d0b72f6","ref":"refs/heads/main","pushedAt":"2024-08-01T15:06:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Support aarch64-linux  (#31)","shortMessageHtmlLink":"Support aarch64-linux (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2435940031\" data-permission-text=\"Title is private\" data-url=\"https://github.com/verus-lang/verus-analyzer/issues/31\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/verus-lang/verus-analyzer/pull/31/hovercard\" href=\"https://github.com/verus-lang/verus-analyzer/pull/31\">#31</a>)"}},{"before":"856df9baa4856d1de938aaca02158e202849866d","after":"0f3dde138ef78b5abb0f9372c2769e079b76cfdf","ref":"refs/heads/infra","pushedAt":"2024-08-01T15:04:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Eliminate a warning","shortMessageHtmlLink":"Eliminate a warning"}},{"before":"1b7bd731bcb9639f32a7d9defc129bc7f16c9325","after":"856df9baa4856d1de938aaca02158e202849866d","ref":"refs/heads/infra","pushedAt":"2024-07-30T21:14:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Add new client dependencies","shortMessageHtmlLink":"Add new client dependencies"}},{"before":"2f8a161ddecba7a83993306afa44b96ecb925694","after":"1b7bd731bcb9639f32a7d9defc129bc7f16c9325","ref":"refs/heads/infra","pushedAt":"2024-07-30T18:25:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Remove unused code for running verus/verusfmt","shortMessageHtmlLink":"Remove unused code for running verus/verusfmt"}},{"before":"de6373fd0c53d6c8a75dda386bc8cccbd5b871f9","after":"2f8a161ddecba7a83993306afa44b96ecb925694","ref":"refs/heads/infra","pushedAt":"2024-07-30T17:54:58.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Remove more dbg printing","shortMessageHtmlLink":"Remove more dbg printing"}},{"before":"54900fd3612fe841e696a131293d1c8ccea6c6e0","after":"4d9dba305616c1c30a66b4d3a09f72d6f48e1ea2","ref":"refs/heads/main","pushedAt":"2024-07-30T16:20:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Add support for lowering broadcast use/group","shortMessageHtmlLink":"Add support for lowering broadcast use/group"}},{"before":"c307476e318a27ae08638ca3cea1fae50eaeac5e","after":"de6373fd0c53d6c8a75dda386bc8cccbd5b871f9","ref":"refs/heads/infra","pushedAt":"2024-07-30T02:24:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Try to cobble together a basic test","shortMessageHtmlLink":"Try to cobble together a basic test"}},{"before":"2bcb9ffd38af3120bd8c13d6460a6ad1f7b25d84","after":"c307476e318a27ae08638ca3cea1fae50eaeac5e","ref":"refs/heads/infra","pushedAt":"2024-07-29T21:21:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"More debug messages","shortMessageHtmlLink":"More debug messages"}},{"before":"ed97195ad8a3bfe873ea2c8c626f6c61bce37fa2","after":"2bcb9ffd38af3120bd8c13d6460a6ad1f7b25d84","ref":"refs/heads/infra","pushedAt":"2024-07-29T02:16:03.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Add lots of tracing info to figure out why a single .rs file on its own\ncauses things to become stuck.","shortMessageHtmlLink":"Add lots of tracing info to figure out why a single .rs file on its own"}},{"before":"5c4f654ca994909d33c96c12a4447115fb3b93e4","after":"ed97195ad8a3bfe873ea2c8c626f6c61bce37fa2","ref":"refs/heads/infra","pushedAt":"2024-07-28T20:55:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"We can create a vsix file that runs the server and invokes Verus.","shortMessageHtmlLink":"We can create a vsix file that runs the server and invokes Verus."}},{"before":"7e54797a7edf5a0833e742ac354f806ab6c4f226","after":"5c4f654ca994909d33c96c12a4447115fb3b93e4","ref":"refs/heads/infra","pushedAt":"2024-07-28T18:19:09.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Cargo fmt and clean up","shortMessageHtmlLink":"Cargo fmt and clean up"}},{"before":"9d51a2af75c854784618ccec97b527f7443ed4c5","after":"7e54797a7edf5a0833e742ac354f806ab6c4f226","ref":"refs/heads/infra","pushedAt":"2024-07-26T20:49:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Update release action to use verus-analyzer","shortMessageHtmlLink":"Update release action to use verus-analyzer"}},{"before":"8035857b04982a3609a949ed21608ce45ee6acc4","after":"9d51a2af75c854784618ccec97b527f7443ed4c5","ref":"refs/heads/infra","pushedAt":"2024-07-26T20:43:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"vsix instructions","shortMessageHtmlLink":"vsix instructions"}},{"before":"8404bdb9bdb6b7f65e6a84019e32e10b30bfbf13","after":"8035857b04982a3609a949ed21608ce45ee6acc4","ref":"refs/heads/infra","pushedAt":"2024-07-26T18:24:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Remove unused imports","shortMessageHtmlLink":"Remove unused imports"}},{"before":"9e05ffdcbcbf7cd0ef5afb575cb92b411c7af633","after":"8404bdb9bdb6b7f65e6a84019e32e10b30bfbf13","ref":"refs/heads/infra","pushedAt":"2024-07-26T16:32:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Use tempfile crate instead of our own homebrew solution when running Verus","shortMessageHtmlLink":"Use tempfile crate instead of our own homebrew solution when running …"}},{"before":"11d15dc7ed793656fc92dc59f6cc59e11f98e46e","after":"9e05ffdcbcbf7cd0ef5afb575cb92b411c7af633","ref":"refs/heads/infra","pushedAt":"2024-07-26T04:41:34.000Z","pushType":"push","commitsCount":28,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Merge branch 'main' into infra","shortMessageHtmlLink":"Merge branch 'main' into infra"}},{"before":"21b57b346bf24a637b4cd09e278c39dcf5b943dd","after":"54900fd3612fe841e696a131293d1c8ccea6c6e0","ref":"refs/heads/main","pushedAt":"2024-07-26T04:35:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"More doc updates","shortMessageHtmlLink":"More doc updates"}},{"before":"b67929efc9c30e12a2969c5f509f19424870b979","after":null,"ref":"refs/heads/syntax-update-jul-2024","pushedAt":"2024-07-26T04:33:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"}},{"before":"7470d9e472eb4ed6e6802a12d25bd888a2fddc5c","after":"21b57b346bf24a637b4cd09e278c39dcf5b943dd","ref":"refs/heads/main","pushedAt":"2024-07-26T04:33:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Syntax update, July 2024 (#30)\n\n- Update documentation for performing syntax updates\r\n- Add support for ensures clauses on while loops\r\n- Add support for invariant_except_break\r\n- Add support for Verus annotations on `loop`\r\n- Add support for Verus-style `for` loops\r\n- Add support for broadcast group/use\r\n- Don't emit errors when a function returns an anonymous tuple\r\n- Add support for struct/enum `is`, `->`, and `matches`","shortMessageHtmlLink":"Syntax update, July 2024 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2426347116\" data-permission-text=\"Title is private\" data-url=\"https://github.com/verus-lang/verus-analyzer/issues/30\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/verus-lang/verus-analyzer/pull/30/hovercard\" href=\"https://github.com/verus-lang/verus-analyzer/pull/30\">#30</a>)"}},{"before":"c33e35ecef04c01c5e7bf6c76d01cbc29d3db7ae","after":"b67929efc9c30e12a2969c5f509f19424870b979","ref":"refs/heads/syntax-update-jul-2024","pushedAt":"2024-07-26T04:25:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Fix an issue when parsing return values and clean up a proof action","shortMessageHtmlLink":"Fix an issue when parsing return values and clean up a proof action"}},{"before":"9a3e9482d1a628cb606fa5e56a4e67a9a7c5160f","after":"c33e35ecef04c01c5e7bf6c76d01cbc29d3db7ae","ref":"refs/heads/syntax-update-jul-2024","pushedAt":"2024-07-26T00:49:10.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Merge branch 'main' into syntax-update-jul-2024","shortMessageHtmlLink":"Merge branch 'main' into syntax-update-jul-2024"}},{"before":"f7f76f5706ea26fdf2b88c9f134d6f370229f2fa","after":"7470d9e472eb4ed6e6802a12d25bd888a2fddc5c","ref":"refs/heads/main","pushedAt":"2024-07-26T00:41:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Consolidate docs","shortMessageHtmlLink":"Consolidate docs"}},{"before":"75eef848ceb0b48333244fa2122467b2be728260","after":"f7f76f5706ea26fdf2b88c9f134d6f370229f2fa","ref":"refs/heads/main","pushedAt":"2024-07-26T00:39:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Update documentation","shortMessageHtmlLink":"Update documentation"}},{"before":"de21cdcc69fa795950f8b26466296cdc528e47ae","after":"75eef848ceb0b48333244fa2122467b2be728260","ref":"refs/heads/main","pushedAt":"2024-07-26T00:34:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Use verusfmt as a library, instead of a commandline.  This simplifies\nthings, and it also fixes a race condition when testing the proof\nactions, which would sometimes collide when they generated the same\ntemporary file name","shortMessageHtmlLink":"Use verusfmt as a library, instead of a commandline. This simplifies"}},{"before":"eb6d473a27be1a744de32276b0a6caa98d863f8c","after":"de21cdcc69fa795950f8b26466296cdc528e47ae","ref":"refs/heads/main","pushedAt":"2024-07-25T21:40:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://github.com/avatars/u/1816417?s=80&v=4"},"commit":{"message":"Remove unused imports","shortMessageHtmlLink":"Remove unused imports"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wNVQxNDoyMToxMS4wMDAwMDBazwAAAASt8N4I","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wNVQxNDoyMToxMS4wMDAwMDBazwAAAASt8N4I","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0yNVQyMTo0MDo1Ni4wMDAwMDBazwAAAASJdhct"}},"title":"Activity · verus-lang/verus-analyzer"}