Jeremy Kun

Ha, social media came through. This problem is called "selective graph coloring" and has been studied by a few authors. On some applications of the selective graph coloring problem https://www.sciencedirect.com/science/article/abs/pii/S0377221714004184...

> I think the naive one is to greedily insert it when all level consumed, to get the pipeline running, then we will take time to optimize it instead of...

I think for consistency with other frontends (and uncertainty in the hurdles that will come up when doing the translation) it would be best to have an entry dialect for...

For reference, here is a link to the CKKS dialect in Halo: https://github.com/corelab-src/elasm/tree/main/include/hecate/Dialect/CKKS/IR. There appear to be enough ops that are not in `ckks` (e.g., `upscale`) that a dedicated entry...

Looks like a relatively straightforward ILP, though the details are sparse. If the authors have an open source implementation, and it's already in MLIR, it should be straightforward to port.

I saw this again today and I'm wondering if @edwjchen has any thoughts on the approach

I'm not so sure this is worth it anymore...

An example: [operation-balancer](https://heir.dev/docs/passes/#-operation-balancer) doesn't have a doctest, and so we could add a new doctest.mlir and add the doctest directive here: https://github.com/google/heir/blob/7aa0fe8285e0df05f0c3bd94e432e650fad556a0/lib/Transforms/OperationBalancer/OperationBalancer.td#L30 Similar to existing doctest examples like this one:...

The error seems like it's having trouble with the replacement, not the match, and it can't find a builder that has 3 arguments. You could try adding a custom builder...

> I can reproduce this on macOS 15.1 with the command-line tools installed. It seems to affect any workspace where `@apple_support` is depended on before `@rules_cc`, including the Bazel build...