{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":171499701,"defaultBranch":"master","name":"llvm-project","ownerLogin":"ymand","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2019-02-19T15:34:51.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/21126893?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1723560743.0","currentOid":""},"activityList":{"items":[{"before":"4d5bfeb2f8d758ab56a75dc3006f252bea29bca7","after":"c8ad3785b8f6d407a00b3c31ebc9978ee00a6528","ref":"refs/heads/templ-fix","pushedAt":"2024-08-13T18:02:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"fixup! fixup! fixup! [clang] Add frontend flag to enable support for broken external resugarers\n\nfix broken test","shortMessageHtmlLink":"fixup! fixup! fixup! [clang] Add frontend flag to enable support for …"}},{"before":"f1f72b0f164ce649c1c3a20176160d579fa8da6a","after":"4d5bfeb2f8d758ab56a75dc3006f252bea29bca7","ref":"refs/heads/templ-fix","pushedAt":"2024-08-13T16:37:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"fixup! fixup! [clang] Add frontend flag to enable support for broken external resugarers\n\nfix typo and rename file","shortMessageHtmlLink":"fixup! fixup! [clang] Add frontend flag to enable support for broken …"}},{"before":"62663826f3506802329249fa927628d1a3b526aa","after":"f1f72b0f164ce649c1c3a20176160d579fa8da6a","ref":"refs/heads/templ-fix","pushedAt":"2024-08-13T15:00:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"fixup! [clang] Add frontend flag to enable support for broken external resugarers\n\nrename flag and adjust the comments","shortMessageHtmlLink":"fixup! [clang] Add frontend flag to enable support for broken externa…"}},{"before":null,"after":"62663826f3506802329249fa927628d1a3b526aa","ref":"refs/heads/templ-fix","pushedAt":"2024-08-13T14:52:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"fixup! [clang] Add frontend flag to enable support for broken external resugarers\n\nrename flag and adjust the comments","shortMessageHtmlLink":"fixup! [clang] Add frontend flag to enable support for broken externa…"}},{"before":"0a0a54500df03a58f2e5e4aee6a4df59dfd25dea","after":null,"ref":"refs/heads/better-widen","pushedAt":"2024-04-04T12:40:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"}},{"before":"96430d58dd2d3d6c43bdf45c8cbdba3ff0d289c6","after":"0a0a54500df03a58f2e5e4aee6a4df59dfd25dea","ref":"refs/heads/better-widen","pushedAt":"2024-04-04T12:15:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"fixup! [clang][dataflow] Refactor `widen` API to be explicit about change effect.\n\nrename LatticeJoinEffect for use in new API; move WidenResult out of class (to match ComparisonResult)","shortMessageHtmlLink":"fixup! [clang][dataflow] Refactor <code>widen</code> API to be explicit about ch…"}},{"before":"1da4eacad37c1c5d74df51d546a8aa00dfcd337b","after":"96430d58dd2d3d6c43bdf45c8cbdba3ff0d289c6","ref":"refs/heads/better-widen","pushedAt":"2024-04-03T16:33:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"}},{"before":"ec1ea3c2f407a346e95a648242d0205dbe8bfb96","after":"1da4eacad37c1c5d74df51d546a8aa00dfcd337b","ref":"refs/heads/better-widen","pushedAt":"2024-04-03T15:56:54.000Z","pushType":"push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"}},{"before":"bb148b6bd87ada87a16932d5905ba106d7a71fe5","after":"ec1ea3c2f407a346e95a648242d0205dbe8bfb96","ref":"refs/heads/better-widen","pushedAt":"2024-04-02T12:17:36.000Z","pushType":"push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"}},{"before":"32c5748eb4587030b8f6dd4d79aa5933f32f926a","after":"bb148b6bd87ada87a16932d5905ba106d7a71fe5","ref":"refs/heads/better-widen","pushedAt":"2024-04-02T10:59:19.000Z","pushType":"push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"}},{"before":"d8d875271bd47b71701143afb06ea654546e2b7c","after":"32c5748eb4587030b8f6dd4d79aa5933f32f926a","ref":"refs/heads/better-widen","pushedAt":"2024-04-02T10:57:50.000Z","pushType":"push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"}},{"before":"b7f63ed7ca3c503f55eccc215f0a66368e2c5e5e","after":"d8d875271bd47b71701143afb06ea654546e2b7c","ref":"refs/heads/better-widen","pushedAt":"2024-04-01T13:12:51.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"[clang][dataflow] Refactor `widen` API to be explicit about change effect.\n\nThe previous API relied on pointer equality of inputs and outputs to signal\nwhether a change occured. This was too subtle and led to bugs in practice. It\nwas also very limiting: the override could not return an equivalent (but not\nidentical) value.","shortMessageHtmlLink":"[clang][dataflow] Refactor <code>widen</code> API to be explicit about change ef…"}},{"before":"6889df911a11fc5c27149f138176166aef3e1f73","after":"b7f63ed7ca3c503f55eccc215f0a66368e2c5e5e","ref":"refs/heads/better-widen","pushedAt":"2024-04-01T12:23:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"[clang][dataflow] Refactor `widen` API to be explicit about change effect.\n\nThe previous API relied on pointer equality of inputs and outputs to signal\nwhether a change occured. This was too subtle and led to bugs in practice. It\nwas also very limiting: the override could not return an equivalent (but not\nidentical) value.","shortMessageHtmlLink":"[clang][dataflow] Refactor <code>widen</code> API to be explicit about change ef…"}},{"before":null,"after":"6889df911a11fc5c27149f138176166aef3e1f73","ref":"refs/heads/better-widen","pushedAt":"2024-04-01T12:18:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"}},{"before":"3a6266e2bdbc56f086d0c7b766cb0ff1688fbd90","after":"ff9537d374ba3062874d7b64aaa6947c860e0c79","ref":"refs/heads/better-bools","pushedAt":"2024-03-21T18:00:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"[clang][dataflow] Abstract the logical operations (assume, allows, proves) and drop distinction between boolean operations.\n\nThis commit drastically simplifies the original refactoring. We keep the boolean\nmodel separately, but we only maintain one version, since there turned out to be\nno meaningful difference between them. Instead, the difference lies in the\nlogical operations, so we've abstacted those.\n\nWe're down to 35 failing tests, all with clear explanations based on the\nlimitations of this approach; primarily, the inability to encode custom\nAPI/operator meanings using logical formulae.","shortMessageHtmlLink":"[clang][dataflow] Abstract the logical operations (assume, allows, pr…"}},{"before":"486686c8631db4223dc64bf01094a41ac65b4970","after":"3a6266e2bdbc56f086d0c7b766cb0ff1688fbd90","ref":"refs/heads/better-bools","pushedAt":"2024-03-21T17:59:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"}},{"before":"16cdcfa9471a089af7e87b0dbea5941d3975c8b9","after":"486686c8631db4223dc64bf01094a41ac65b4970","ref":"refs/heads/better-bools","pushedAt":"2024-03-21T17:27:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"[clang][dataflow] Abstract the logical operations (assume, allows, proves) and drop distinction between boolean operations.\n\nThis commit drastically simplifies the original refactoring. We keep the boolean\nmodel separately, but we only maintain one version, since there turned out to be\nno meaningful difference between them. Instead, the difference lies in the\nlogical operations, so we've abstacted those.\n\nWe're down to 35 failing tests, all with clear explanations based on the\nlimitations of this approach; primarily, the inability to encode custom\nAPI/operator meanings using logical formulae.","shortMessageHtmlLink":"[clang][dataflow] Abstract the logical operations (assume, allows, pr…"}},{"before":"cdf597e373a8e3b2e8495692e507a9a8055e43e9","after":"509417d34d3b70ba0712b6df22861eebc778c124","ref":"refs/heads/terminator-cleanup","pushedAt":"2024-03-19T13:02:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"fixup! [clang][dataflow] Refactor processing of terminator element\n\naddress comments and clang format","shortMessageHtmlLink":"fixup! [clang][dataflow] Refactor processing of terminator element"}},{"before":"3b20e1823753ab46e3e259d3d8c727dea91ce1d4","after":"cdf597e373a8e3b2e8495692e507a9a8055e43e9","ref":"refs/heads/terminator-cleanup","pushedAt":"2024-03-18T21:26:31.000Z","pushType":"push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"}},{"before":"e0c51969f70079e18b7cacb99c3b9c1a7470b39a","after":"16cdcfa9471a089af7e87b0dbea5941d3975c8b9","ref":"refs/heads/better-bools","pushedAt":"2024-03-11T17:03:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"[clang][dataflow] Add implementation of a simple boolean model\n\nThe new model still uses atomic variables in boolean formulas, but it limits the\nenvironment to accumulating truth values for atomic variables, rather than\nthe arbitrary formula allowed by the flow condition.","shortMessageHtmlLink":"[clang][dataflow] Add implementation of a simple boolean model"}},{"before":"d1bedf3a9b1d0d4c2fbfc10509797b39eef3d592","after":"3b20e1823753ab46e3e259d3d8c727dea91ce1d4","ref":"refs/heads/terminator-cleanup","pushedAt":"2024-03-08T17:38:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"[clang][dataflow] Refactor processing of terminator element\n\nThis patch vastly simplifies the code handling terminators, without changing any\nbehavior. Additionally, the simplification unblocks our ability to address a\n(simple) FIXME in the code to invoke `transferBranch`, even when builtin options\nare disabled.","shortMessageHtmlLink":"[clang][dataflow] Refactor processing of terminator element"}},{"before":"b7887543320f8727545a7ce8e6d9e02b77604472","after":"d1bedf3a9b1d0d4c2fbfc10509797b39eef3d592","ref":"refs/heads/terminator-cleanup","pushedAt":"2024-03-08T15:33:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"[clang][dataflow] Refactor processing of terminator element\n\nThis patch vastly simplifies the code handling terminators, without changing any\nbehavior. Additionally, the simplification unblocks our ability to address a\n(simple) FIXME in the code to invoke `transferBranch`, even when builtin options\nare disabled.","shortMessageHtmlLink":"[clang][dataflow] Refactor processing of terminator element"}},{"before":"81945389b60e95019ff916d356127119183e8198","after":"b7887543320f8727545a7ce8e6d9e02b77604472","ref":"refs/heads/terminator-cleanup","pushedAt":"2024-03-08T15:31:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"}},{"before":"210a2b83d3647c97ad4fc5eab9e0d9c68a5711a4","after":"81945389b60e95019ff916d356127119183e8198","ref":"refs/heads/terminator-cleanup","pushedAt":"2024-03-08T15:27:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"}},{"before":null,"after":"210a2b83d3647c97ad4fc5eab9e0d9c68a5711a4","ref":"refs/heads/terminator-cleanup","pushedAt":"2024-03-08T15:22:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"}},{"before":null,"after":"e0c51969f70079e18b7cacb99c3b9c1a7470b39a","ref":"refs/heads/better-bools","pushedAt":"2024-02-26T02:42:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"[clang][dataflow] Factor out built-in boolean model into an explicit module.\n\nIn the process, drastically simplify the handling of terminators.","shortMessageHtmlLink":"[clang][dataflow] Factor out built-in boolean model into an explicit …"}},{"before":null,"after":"86f1b2d4dded22eef613b9d92a4010e16fd1edc7","ref":"refs/heads/union-fix","pushedAt":"2024-02-15T20:54:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"[clang][dataflow] Fix crash on unions introduced in ba279934c6ab09d5394a89d8318651aefd8d565b\n\nThe commit was itself a crash fix, but inadvertently changed the behavior for unions, which results in crashes.","shortMessageHtmlLink":"[clang][dataflow] Fix crash on unions introduced in <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ymand/llvm-project/commit/ba279934c6ab09d5394a89d8318651aefd8d565b/hovercard\" href=\"https://github.com/ymand/llvm-project/commit/ba279934c6ab09d5394a89d8318651aefd8d565b\"><tt>ba27993</tt></a>"}},{"before":"8fbe31ba6d39938f5bc6f87c8d2af795ba47e1af","after":"8a01bc63b228e0f6044119c9cd97f26668d67254","ref":"refs/heads/new-join","pushedAt":"2024-02-06T20:03:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"Update clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h\n\nCo-authored-by: martinboehme <mboehme@google.com>","shortMessageHtmlLink":"Update clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h"}},{"before":"656fc921a10696b1f65ae5fb458cc8db3b25e004","after":"8fbe31ba6d39938f5bc6f87c8d2af795ba47e1af","ref":"refs/heads/new-join","pushedAt":"2024-02-02T19:29:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"fixup! Update clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h\n\nclang format","shortMessageHtmlLink":"fixup! Update clang/include/clang/Analysis/FlowSensitive/DataflowEnvi…"}},{"before":"660d1afbda79416beb6f373e6252670f912a5181","after":"656fc921a10696b1f65ae5fb458cc8db3b25e004","ref":"refs/heads/new-join","pushedAt":"2024-02-02T13:41:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ymand","name":"Yitzhak Mandelbaum","path":"/ymand","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21126893?s=80&v=4"},"commit":{"message":"Update clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h\n\nCo-authored-by: Dmitri Gribenko <gribozavr@gmail.com>","shortMessageHtmlLink":"Update clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xM1QxODowMjozMy4wMDAwMDBazwAAAASZewQF","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0wMlQxMzo0MTo0Ni4wMDAwMDBazwAAAAPwPlQW"}},"title":"Activity · ymand/llvm-project"}