Jeremy Kun

It's Thursday, we can push the integrate ourselves if need be. I'll go investigate once I'm in the office.

An update: I've figured out how other projects manage this at Google. The old situation was that if a bazel build broke some Google project, they'd fix it up stream...

Should be fixed by https://github.com/google/heir/pull/1080

Given that the majority of the patch contents are bazel build file changes, we can probably get away with ignoring the patches in the cmake build the vast majority of...

@raghav198 if you have a lowering from CGGI to OpenFHE's binfhe, even in a messy form, it would be helpful to post as a draft PR. Someone was asking about...

In the interest of pruning the PR page, I'm closing old PRs. Feel free to create a new PR if/when the code has been rebased and updated.

I don't think we need to have the dialect definition force semantics about what is allowed in an IR. That can be the role of the lowering. I think some...

I want to go through this in a lot more detail than I have made the effort to. Can you link me to the discussion/notes where this was hashed out?...

I'm also mildly annoyed about the use of G for GLWE. It's not really general (doesn't include module LWE), it assumes the problem cannot be generalized further, and I feel...

Yeah go ahead