{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":530769519,"defaultBranch":"main","name":"paralegal","ownerLogin":"brownsys","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-08-30T17:54:03.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1693490?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718324435.0","currentOid":""},"activityList":{"items":[{"before":"9ae5469d1c955c440f5e77b325699f9ec788066c","after":"d39de33cb246e7e3f9ae2790d5073b71ef5a5e1b","ref":"refs/heads/github-actions-suck","pushedAt":"2024-06-14T21:43:12.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":"Generate Documentation","shortMessageHtmlLink":"Generate Documentation"}},{"before":"c870cef22c3057d4e10e0312cb8731e3557ae2f2","after":"c7e74f875adca72ebecfe72c65dd9b370f6af017","ref":"refs/heads/main","pushedAt":"2024-06-14T21:40:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Enable plugin profiling via environment variable (#157)\n\n## What Changed?\r\n\r\nAdds support for a `RERUN_WITH_PROFILER` environment variable. When\r\nsupplied with the name and argument for a profiler binary setting this\r\nvariable causes the plugin invoke the profiler with those arguments and\r\nall other environment variables and arguments passed.\r\n\r\n## Why Does It Need To?\r\n\r\nThis allows to easily create profiles for any run of the tool, even if\r\nwe are working on a crate with dependencies that need to be compiled\r\nfirst.\r\n\r\nCaveat: It will currently call the profiler for every run on an analysis\r\ntarget crate.\r\n\r\n## Checklist\r\n\r\n- [x] Above description has been filled out so that upon quash merge we\r\nhave a\r\n  good record of what changed.\r\n- [x] New functions, methods, types are documented. Old documentation is\r\nupdated\r\n  if necessary\r\n- [x] Documentation in Notion has been updated\r\n- [ ] Tests for new behaviors are provided\r\n  - [ ] New test suites (if any) ave been added to the CI tests (in\r\n`.github/workflows/rust.yml`) either as compiler test or integration\r\ntest.\r\n*Or* justification for their omission from CI has been provided in this\r\nPR\r\n    description.","shortMessageHtmlLink":"Enable plugin profiling via environment variable (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2352250115\" data-permission-text=\"Title is private\" data-url=\"https://github.com/brownsys/paralegal/issues/157\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/brownsys/paralegal/pull/157/hovercard\" href=\"https://github.com/brownsys/paralegal/pull/157\">#157</a>)"}},{"before":"de92884c1d2b65bc8f9cb6e47774ce8db64f7b07","after":"97d58218cafa4031592d09acbb8ba525b79376eb","ref":"refs/heads/single-compile-test-framework","pushedAt":"2024-06-14T21:21:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Documentation and rustc_utils update","shortMessageHtmlLink":"Documentation and rustc_utils update"}},{"before":null,"after":"de92884c1d2b65bc8f9cb6e47774ce8db64f7b07","ref":"refs/heads/single-compile-test-framework","pushedAt":"2024-06-14T00:20:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Single-compile testing framework","shortMessageHtmlLink":"Single-compile testing framework"}},{"before":"872d30761c5cb2718d89fb78552999520ca0c27d","after":"0a924166568f20706871a99153ef2530638f4a82","ref":"refs/heads/cross-crate","pushedAt":"2024-06-14T00:17:15.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Enable profiling env var","shortMessageHtmlLink":"Enable profiling env var"}},{"before":null,"after":"7689a9852522e94eb606752573aa7d2e333a2078","ref":"refs/heads/profiler-injection","pushedAt":"2024-06-14T00:13:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Enable profiling via env var","shortMessageHtmlLink":"Enable profiling via env var"}},{"before":"a0d1027b9f2b5539919d66a685469c83414f010f","after":"872d30761c5cb2718d89fb78552999520ca0c27d","ref":"refs/heads/cross-crate","pushedAt":"2024-06-11T23:29:22.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Defer normalization errors","shortMessageHtmlLink":"Defer normalization errors"}},{"before":"38c4888509bfc83dba043548537c119b15e10b66","after":"a0d1027b9f2b5539919d66a685469c83414f010f","ref":"refs/heads/cross-crate","pushedAt":"2024-06-10T22:59:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Fmt","shortMessageHtmlLink":"Fmt"}},{"before":"c3624cf89a63151ec2e68301ab7a2edfadf0fb17","after":"38c4888509bfc83dba043548537c119b15e10b66","ref":"refs/heads/cross-crate","pushedAt":"2024-06-10T21:37:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Clippy","shortMessageHtmlLink":"Clippy"}},{"before":"9b8a3ff51ef656b623419c254854c257bdf8f415","after":"c3624cf89a63151ec2e68301ab7a2edfadf0fb17","ref":"refs/heads/cross-crate","pushedAt":"2024-06-10T20:09:34.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Merge branch 'main' into cross-crate","shortMessageHtmlLink":"Merge branch 'main' into cross-crate"}},{"before":"162ff765c3e36a91f0c8256cf00afbc822191f04","after":"9ae5469d1c955c440f5e77b325699f9ec788066c","ref":"refs/heads/github-actions-suck","pushedAt":"2024-06-09T18:43:24.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":"Generate Documentation","shortMessageHtmlLink":"Generate Documentation"}},{"before":"d76edcbda2bccc3d061daffa25d3a50a46828781","after":"c870cef22c3057d4e10e0312cb8731e3557ae2f2","ref":"refs/heads/main","pushedAt":"2024-06-09T18:40:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Treat boxes as owned pointers (#154)\n\n## What Changed?\r\n\r\nPointers of type `Box` are no longer associated with `UNKNOWN_REGION`\r\nand thus not considered to be aliasing one another.\r\n\r\nAlso gets rid of `ModelControl` arguments, since they are unused.\r\n\r\n## Why Does It Need To?\r\n\r\nFixes the overtaint associated with the aliasing behavior of box.\r\n\r\n## Checklist\r\n\r\n- [x] Make `tcx` an argument to `is_direct`\r\n- [x] Above description has been filled out so that upon quash merge we\r\nhave a\r\n  good record of what changed.\r\n- [x] New functions, methods, types are documented. Old documentation is\r\nupdated\r\n  if necessary\r\n- [ ] Documentation in Notion has been updated\r\n- [x] Tests for new behaviors are provided\r\n  - [ ] New test suites (if any) ave been added to the CI tests (in\r\n`.github/workflows/rust.yml`) either as compiler test or integration\r\ntest.\r\n*Or* justification for their omission from CI has been provided in this\r\nPR\r\n    description.","shortMessageHtmlLink":"Treat boxes as owned pointers (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2328601483\" data-permission-text=\"Title is private\" data-url=\"https://github.com/brownsys/paralegal/issues/154\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/brownsys/paralegal/pull/154/hovercard\" href=\"https://github.com/brownsys/paralegal/pull/154\">#154</a>)"}},{"before":"fcec8a782f0a0714fd0e8d3ef5d73aab422f97f6","after":"adc823037dea209cb85bdd046f50308832c8a010","ref":"refs/heads/box-precision","pushedAt":"2024-06-09T18:03:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Fix default instance","shortMessageHtmlLink":"Fix default instance"}},{"before":"299f32084c31d13dec0e6f4aa39f08009b13ab1e","after":"fcec8a782f0a0714fd0e8d3ef5d73aab422f97f6","ref":"refs/heads/box-precision","pushedAt":"2024-06-09T17:43:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Merge branch 'main' into box-precision","shortMessageHtmlLink":"Merge branch 'main' into box-precision"}},{"before":"0f4c867e28101af65f20e2be8b6dd1eb33be9cff","after":"162ff765c3e36a91f0c8256cf00afbc822191f04","ref":"refs/heads/github-actions-suck","pushedAt":"2024-06-09T00:49: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":"Generate Documentation","shortMessageHtmlLink":"Generate Documentation"}},{"before":"a451682262175df22c602b07739666dec5b83ca5","after":"d76edcbda2bccc3d061daffa25d3a50a46828781","ref":"refs/heads/main","pushedAt":"2024-06-09T00:46:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Support for CodeLLDB debugger (#156)\n\n## What Changed?\r\n\r\nAdds the option to attach remotely to a CodeLLDB debugging session\r\ndirectly from within paralegal-flow. It uses the mechanism described\r\n[here](https://github.com/vadimcn/codelldb/blob/v1.10.0/MANUAL.md)\r\n\r\nAdds a `--attach-to-debugger` command line option which accepts the name\r\nof a debugger to initiate a session with. Currently only the value\r\n`code-lldb` is accepted. It will attach to a debugger for every analysis\r\ntarget. Skipped crates (where regular rustc runs) do not attach.\r\n\r\n## Why Does It Need To?\r\n\r\nVastly simplifies the process of using a debugger with the tool.\r\n\r\n## Checklist\r\n\r\n- [x] Above description has been filled out so that upon quash merge we\r\nhave a\r\n  good record of what changed.\r\n- [x] New functions, methods, types are documented. Old documentation is\r\nupdated\r\n  if necessary\r\n- [ ] Documentation in Notion has been updated\r\n- [ ] Tests for new behaviors are provided\r\n  - [ ] New test suites (if any) ave been added to the CI tests (in\r\n`.github/workflows/rust.yml`) either as compiler test or integration\r\ntest.\r\n*Or* justification for their omission from CI has been provided in this\r\nPR\r\n    description.","shortMessageHtmlLink":"Support for CodeLLDB debugger (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2341760656\" data-permission-text=\"Title is private\" data-url=\"https://github.com/brownsys/paralegal/issues/156\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/brownsys/paralegal/pull/156/hovercard\" href=\"https://github.com/brownsys/paralegal/pull/156\">#156</a>)"}},{"before":"22cc70763b47eb13ccb197da541be646bfacd6b8","after":"9b8a3ff51ef656b623419c254854c257bdf8f415","ref":"refs/heads/cross-crate","pushedAt":"2024-06-08T17:51:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Clippy","shortMessageHtmlLink":"Clippy"}},{"before":null,"after":"9d05d71acd989a03b20ee0000501b9d6941fbe0d","ref":"refs/heads/lldb-vscode-support","pushedAt":"2024-06-08T17:41:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Support for CodeLLDB debugger","shortMessageHtmlLink":"Support for CodeLLDB debugger"}},{"before":"0f56d7fa4db6e7debf6d876457d0d10845384021","after":"22cc70763b47eb13ccb197da541be646bfacd6b8","ref":"refs/heads/cross-crate","pushedAt":"2024-06-07T20:47:31.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Remove unused code","shortMessageHtmlLink":"Remove unused code"}},{"before":"cbdc3617029fd997cade36a33d714ed0f5deca85","after":"299f32084c31d13dec0e6f4aa39f08009b13ab1e","ref":"refs/heads/box-precision","pushedAt":"2024-06-04T21:59:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Clippy again?","shortMessageHtmlLink":"Clippy again?"}},{"before":"44ce08d0958da32bf749229aea4e17271b311110","after":"cbdc3617029fd997cade36a33d714ed0f5deca85","ref":"refs/heads/box-precision","pushedAt":"2024-06-04T21:40:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Clippy again?","shortMessageHtmlLink":"Clippy again?"}},{"before":"a33b6a30b108ce0d3308b5f8928bed69bbf7c61b","after":"44ce08d0958da32bf749229aea4e17271b311110","ref":"refs/heads/box-precision","pushedAt":"2024-06-04T21:35:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Enable box tests","shortMessageHtmlLink":"Enable box tests"}},{"before":"d37aecd56a5cf71da9da7e2052d371981648a601","after":"a33b6a30b108ce0d3308b5f8928bed69bbf7c61b","ref":"refs/heads/box-precision","pushedAt":"2024-06-04T21:34:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Clippy","shortMessageHtmlLink":"Clippy"}},{"before":"ea21d6244b2f6db92ee36aec7076541350caf92d","after":"d37aecd56a5cf71da9da7e2052d371981648a601","ref":"refs/heads/box-precision","pushedAt":"2024-06-04T21:22:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Update deps","shortMessageHtmlLink":"Update deps"}},{"before":"646f2fe95690b366a31051814a15c8ab32a16878","after":"ea21d6244b2f6db92ee36aec7076541350caf92d","ref":"refs/heads/box-precision","pushedAt":"2024-06-04T20:35:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Clippy","shortMessageHtmlLink":"Clippy"}},{"before":"ab7929791bab7d0dbb363784fd68426a7197aa7a","after":"646f2fe95690b366a31051814a15c8ab32a16878","ref":"refs/heads/box-precision","pushedAt":"2024-06-04T20:33:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"One more box test case","shortMessageHtmlLink":"One more box test case"}},{"before":"efb889b5483f5ce53b892c1cfa1ddc06b585f7c9","after":"ab7929791bab7d0dbb363784fd68426a7197aa7a","ref":"refs/heads/box-precision","pushedAt":"2024-06-04T01:09:03.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Fix test case","shortMessageHtmlLink":"Fix test case"}},{"before":"d88d98ef2fc4965d3ff7278b86bbc17db926878a","after":"0f56d7fa4db6e7debf6d876457d0d10845384021","ref":"refs/heads/cross-crate","pushedAt":"2024-05-31T22:34:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Fmt","shortMessageHtmlLink":"Fmt"}},{"before":"2c31d83f81807b481ecc3a00b0e661f62e52ae80","after":"d88d98ef2fc4965d3ff7278b86bbc17db926878a","ref":"refs/heads/cross-crate","pushedAt":"2024-05-31T22:00:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Unused trait import","shortMessageHtmlLink":"Unused trait import"}},{"before":"88e6db02efcd58c175ff94e4a8d059c1d5f6ac82","after":"2c31d83f81807b481ecc3a00b0e661f62e52ae80","ref":"refs/heads/cross-crate","pushedAt":"2024-05-31T22:00:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Splitting `construct`","shortMessageHtmlLink":"Splitting <code>construct</code>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEZd1OjQA","startCursor":null,"endCursor":null}},"title":"Activity · brownsys/paralegal"}