{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":130285553,"defaultBranch":"master","name":"c2rust","ownerLogin":"immunant","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-04-20T00:05:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7826584?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716249042.0","currentOid":""},"activityList":{"items":[{"before":"9319d0e134460d31be202f278b28876ca69493e6","after":"410926415d81a1c423f9b3a1d4418e851a9acb21","ref":"refs/heads/analyze-rewrite-nullable-projections","pushedAt":"2024-05-20T23:56:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: rewrite::convert: apply LoadFromtempForAdjustment before adjust, not after","shortMessageHtmlLink":"analyze: rewrite::convert: apply LoadFromtempForAdjustment before adj…"}},{"before":null,"after":"9319d0e134460d31be202f278b28876ca69493e6","ref":"refs/heads/analyze-rewrite-nullable-projections","pushedAt":"2024-05-20T23:50:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: update non_null_rewrites test","shortMessageHtmlLink":"analyze: update non_null_rewrites test"}},{"before":"1f4aa097e04718fab482bcd591bb28f2ac6d2074","after":"2b30b481e1567b097f5ac263183e3457ac862e1b","ref":"refs/heads/ahomescu/non_null","pushedAt":"2024-05-18T05:51:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ahomescu","name":"Andrei Homescu","path":"/ahomescu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/443157?s=80&v=4"},"commit":{"message":"Disable broken Field event construction\n\nThe Field event instrumentation is broken because\nit does not distinguish between identical field indices\nat different depths, e.g., x.1.2 and x.2 will emit an\nidentical Field(&x, 2) event.","shortMessageHtmlLink":"Disable broken Field event construction"}},{"before":"8d96a410398331469c3c5d7a753678b82752ea89","after":"f765e98d407cfa70ae48da7bb1b858f3304eb80c","ref":"refs/heads/analyze-rewrite-adjustment-cases","pushedAt":"2024-05-17T20:48:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: rewrite: remove most special cases from materialize_adjustments","shortMessageHtmlLink":"analyze: rewrite: remove most special cases from materialize_adjustments"}},{"before":null,"after":"8d96a410398331469c3c5d7a753678b82752ea89","ref":"refs/heads/analyze-rewrite-adjustment-cases","pushedAt":"2024-05-17T20:47:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: rewrite: remove most special cases from materialize_adjustments","shortMessageHtmlLink":"analyze: rewrite: remove most special cases from materialize_adjustments"}},{"before":"7b13770590120cd181e8e59d2c932083826c86d4","after":"a481b2ec68227e9593140c9c2d1b26d5dd45c986","ref":"refs/heads/analyze-rewrite-non-null","pushedAt":"2024-05-16T18:11:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: fix non_null_rewrites test to work with FileCheck-7\n\nWe previously used the syntax `[[[var]] ..]`, which should expand to\n`[value ..]`, but FileCheck-7 parses the first part as `[[ [var ]]` and\nreports a syntax error.","shortMessageHtmlLink":"analyze: fix non_null_rewrites test to work with FileCheck-7"}},{"before":"4776e2e3c7ef5c4eca97c2e74af45c5a4b47664b","after":"7b13770590120cd181e8e59d2c932083826c86d4","ref":"refs/heads/analyze-rewrite-non-null","pushedAt":"2024-05-16T00:05:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: check mut-to-imm Option downgrade in non_null_rewrites test","shortMessageHtmlLink":"analyze: check mut-to-imm Option downgrade in non_null_rewrites test"}},{"before":"10965190247c4d77dcfa0f89fbe5b5657ccf5b94","after":"4776e2e3c7ef5c4eca97c2e74af45c5a4b47664b","ref":"refs/heads/analyze-rewrite-non-null","pushedAt":"2024-05-15T23:47:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: check mut-to-imm Option downgrade in non_null_rewrites test","shortMessageHtmlLink":"analyze: check mut-to-imm Option downgrade in non_null_rewrites test"}},{"before":"cfcd43df863126acc3da86aecfd39a76bea9610b","after":"10965190247c4d77dcfa0f89fbe5b5657ccf5b94","ref":"refs/heads/analyze-rewrite-non-null","pushedAt":"2024-05-15T23:44:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: check mut-to-imm Option downgrade in non_null_rewrites test","shortMessageHtmlLink":"analyze: check mut-to-imm Option downgrade in non_null_rewrites test"}},{"before":"268a45596711227da9ead81c95f4e54eab2112c0","after":"cfcd43df863126acc3da86aecfd39a76bea9610b","ref":"refs/heads/analyze-rewrite-non-null","pushedAt":"2024-05-15T23:24:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: rewrite: downgrade Option before unwrapping for deref","shortMessageHtmlLink":"analyze: rewrite: downgrade Option before unwrapping for deref"}},{"before":"70d69e7100a02197df6efe776827460ef30867c1","after":"268a45596711227da9ead81c95f4e54eab2112c0","ref":"refs/heads/analyze-rewrite-non-null","pushedAt":"2024-05-15T22:52:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: rewrite: generate unwrap() calls on nullable ptr derefs","shortMessageHtmlLink":"analyze: rewrite: generate unwrap() calls on nullable ptr derefs"}},{"before":"59e0e616c0130af3f5d9e1981a9dfdb4e9c3e055","after":"5eb68f977265494321d7b7b60299ac2e56adde0e","ref":"refs/heads/ahomescu/pdg_comments","pushedAt":"2024-05-11T05:24:51.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ahomescu","name":"Andrei Homescu","path":"/ahomescu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/443157?s=80&v=4"},"commit":{"message":"Add a set of comments and question on PDG construction","shortMessageHtmlLink":"Add a set of comments and question on PDG construction"}},{"before":null,"after":"59e0e616c0130af3f5d9e1981a9dfdb4e9c3e055","ref":"refs/heads/ahomescu/pdg_comments","pushedAt":"2024-05-10T08:06:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ahomescu","name":"Andrei Homescu","path":"/ahomescu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/443157?s=80&v=4"},"commit":{"message":"Add a set of comments and question on PDG construction","shortMessageHtmlLink":"Add a set of comments and question on PDG construction"}},{"before":"64faf2f30574c328e06db6575156af72d88c5683","after":"d83f983102069ee099108be7754d1c29b2403d45","ref":"refs/heads/ahomescu/lock_free_event_queue","pushedAt":"2024-05-09T04:59:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ahomescu","name":"Andrei Homescu","path":"/ahomescu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/443157?s=80&v=4"},"commit":{"message":"Switch to crossbeam-queue for events\n\nUse a lock-free queue to store the event list\nbecause the event callbacks might be called from\ninside a signal handler. Most system calls are not\nsafe in that context, so we just spin if the queue\nis full.","shortMessageHtmlLink":"Switch to crossbeam-queue for events"}},{"before":"bdae73315d6149a4d3b82366481067d7d153fd07","after":"70d69e7100a02197df6efe776827460ef30867c1","ref":"refs/heads/analyze-rewrite-non-null","pushedAt":"2024-05-06T23:52:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: rewrite::ty: implement Option<T> rewriting","shortMessageHtmlLink":"analyze: rewrite::ty: implement Option&lt;T&gt; rewriting"}},{"before":"872fe7632cf57afa1177e519e6ec63f238966a1a","after":"bdae73315d6149a4d3b82366481067d7d153fd07","ref":"refs/heads/analyze-rewrite-non-null","pushedAt":"2024-05-06T20:49:53.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: rewrite ptr::null() to None","shortMessageHtmlLink":"analyze: rewrite ptr::null() to None"}},{"before":"b489d09e091e82275f9963b8ace85686c921ba13","after":"872fe7632cf57afa1177e519e6ec63f238966a1a","ref":"refs/heads/analyze-rewrite-non-null","pushedAt":"2024-05-06T18:49:22.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: implement Option::map rewriting","shortMessageHtmlLink":"analyze: implement Option::map rewriting"}},{"before":null,"after":"64faf2f30574c328e06db6575156af72d88c5683","ref":"refs/heads/ahomescu/lock_free_event_queue","pushedAt":"2024-05-06T05:32:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ahomescu","name":"Andrei Homescu","path":"/ahomescu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/443157?s=80&v=4"},"commit":{"message":"Switch to crossbeam-queue for events\n\nUse a lock-free queue to store the event list\nbecause the event callbacks might be called from\ninside a signal handler. Most system calls are not\nsafe in that context, so we just spin if the queue\nis full.","shortMessageHtmlLink":"Switch to crossbeam-queue for events"}},{"before":null,"after":"b489d09e091e82275f9963b8ace85686c921ba13","ref":"refs/heads/analyze-rewrite-non-null","pushedAt":"2024-05-03T23:57:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: implement Option::as_ref/as_mut ownership rewrites","shortMessageHtmlLink":"analyze: implement Option::as_ref/as_mut ownership rewrites"}},{"before":null,"after":"cea1bec7edaba8e4e3c8b498fb47f30703072282","ref":"refs/heads/sp/gc-test","pushedAt":"2024-05-03T17:05:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"gc_test/gc_lib: fix warnings","shortMessageHtmlLink":"gc_test/gc_lib: fix warnings"}},{"before":"6569a719e0c3288eec5d33fad6cbf9f8f5684c00","after":"2a758059011f2b8553c4a92bebe653a91aefbb17","ref":"refs/heads/analyze-compare-static-dynamic","pushedAt":"2024-05-03T16:35:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: implement static/dynamic NON_NULL comparison mode","shortMessageHtmlLink":"analyze: implement static/dynamic NON_NULL comparison mode"}},{"before":null,"after":"6569a719e0c3288eec5d33fad6cbf9f8f5684c00","ref":"refs/heads/analyze-compare-static-dynamic","pushedAt":"2024-05-02T22:34:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: implement static/dynamic NON_NULL comparison mode","shortMessageHtmlLink":"analyze: implement static/dynamic NON_NULL comparison mode"}},{"before":"90ca19ab9200f8122ad8f18302038460112363dd","after":"9511a4f28d18d626a9b9d6fc73596f60e51e2cf7","ref":"refs/heads/master","pushedAt":"2024-05-02T20:04:33.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: allow overriding dataflow for specific permissions (#1088)\n\nThis adds a new internal feature for overriding dataflow analysis for\r\nspecific permissions of specific pointers. The `propagate` method of\r\n`dataflow` now takes an additional `updates_forbidden` set, which has a\r\n`PermissionSet` mask for every `PointerId`, and avoids adding or\r\nremoving a permission for a `ptr` if the corresponding bit is set in\r\n`updates_forbidden[ptr]`. When `updates_forbidden` is used, the\r\nresulting permissions after running `dataflow` might not actually\r\nsatisfy the dataflow constraints.\r\n\r\nThis is designed to support the PDG \"`NON_NULL` override\" feature, where\r\ninformation about nullability from the PDG can override static analysis\r\nresults, though that feature is not part of the current PR.","shortMessageHtmlLink":"analyze: allow overriding dataflow for specific permissions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2270232538\" data-permission-text=\"Title is private\" data-url=\"https://github.com/immunant/c2rust/issues/1088\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/immunant/c2rust/pull/1088/hovercard\" href=\"https://github.com/immunant/c2rust/pull/1088\">#1088</a>)"}},{"before":"8851c89b6ea9d52020129ad56ca7b3d4e3283256","after":"9f3129d4328a9f86514e1e89bbb4c81523b9b043","ref":"refs/heads/analyze-dataflow-readonly","pushedAt":"2024-05-02T17:05:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: refactor: move some TestAttr handling into helper fns","shortMessageHtmlLink":"analyze: refactor: move some TestAttr handling into helper fns"}},{"before":"774e4b1d101b6ef7055f93421d76c99da36fb198","after":"8851c89b6ea9d52020129ad56ca7b3d4e3283256","ref":"refs/heads/analyze-dataflow-readonly","pushedAt":"2024-05-02T16:46:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: refactor: move some TestAttr handling into helper fns","shortMessageHtmlLink":"analyze: refactor: move some TestAttr handling into helper fns"}},{"before":"e226aff7a299e4db46d2907a72fcfd1b34f63e97","after":"90ca19ab9200f8122ad8f18302038460112363dd","ref":"refs/heads/master","pushedAt":"2024-05-02T07:58:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thedataking","name":"Per Larsen","path":"/thedataking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4011337?s=80&v=4"},"commit":{"message":"CI: Fix Azure pipelines Darwin build","shortMessageHtmlLink":"CI: Fix Azure pipelines Darwin build"}},{"before":"e226aff7a299e4db46d2907a72fcfd1b34f63e97","after":"aa998166c513aeef964916da16f3e44c5942fe72","ref":"refs/heads/feature/ci-dev","pushedAt":"2024-05-02T07:57:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thedataking","name":"Per Larsen","path":"/thedataking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4011337?s=80&v=4"},"commit":{"message":"CI: Fix Azure pipelines Darwin build","shortMessageHtmlLink":"CI: Fix Azure pipelines Darwin build"}},{"before":"774abc706849ea21a51a66a09fed1ba12d747c86","after":"e226aff7a299e4db46d2907a72fcfd1b34f63e97","ref":"refs/heads/feature/ci-dev","pushedAt":"2024-05-02T07:50:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"thedataking","name":"Per Larsen","path":"/thedataking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4011337?s=80&v=4"},"commit":{"message":"analyze: uncomment line in scripts/run_pointwise_metrics.sh (#1087)\n\nIn #1074, I had commented out a line to speed up testing, and\r\naccidentally left it that way when I merged the branch.","shortMessageHtmlLink":"analyze: uncomment line in scripts/run_pointwise_metrics.sh (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2269728915\" data-permission-text=\"Title is private\" data-url=\"https://github.com/immunant/c2rust/issues/1087\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/immunant/c2rust/pull/1087/hovercard\" href=\"https://github.com/immunant/c2rust/pull/1087\">#1087</a>)"}},{"before":null,"after":"774e4b1d101b6ef7055f93421d76c99da36fb198","ref":"refs/heads/analyze-dataflow-readonly","pushedAt":"2024-04-29T23:53:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: add test case exercising updates_forbidden","shortMessageHtmlLink":"analyze: add test case exercising updates_forbidden"}},{"before":"03facd34b3722ba981696df9057057f1cf100d91","after":"e226aff7a299e4db46d2907a72fcfd1b34f63e97","ref":"refs/heads/master","pushedAt":"2024-04-29T20:27:59.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"spernsteiner","name":null,"path":"/spernsteiner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3031136?s=80&v=4"},"commit":{"message":"analyze: uncomment line in scripts/run_pointwise_metrics.sh (#1087)\n\nIn #1074, I had commented out a line to speed up testing, and\r\naccidentally left it that way when I merged the branch.","shortMessageHtmlLink":"analyze: uncomment line in scripts/run_pointwise_metrics.sh (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2269728915\" data-permission-text=\"Title is private\" data-url=\"https://github.com/immunant/c2rust/issues/1087\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/immunant/c2rust/pull/1087/hovercard\" href=\"https://github.com/immunant/c2rust/pull/1087\">#1087</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAET0iSBwA","startCursor":null,"endCursor":null}},"title":"Activity · immunant/c2rust"}