Jeremy Kun

Let's be sure to specify `p` as a typed attribute (e.g., `8346582371 : i32` or `834754387 : i64`) and we can have any pass options parse the attribute string.

I want to reply in more detail later, but to try to help clear up any initial confusion, I'm convinced now that the encoding attributes I originally defined for RLWE...

So I haven't had time to really process all of the above and make concrete suggestions, but I will say that, in my opinion, (1) and (2) in https://github.com/google/heir/issues/785#issue-2401715400 are...

@AlexanderViand-Intel I suspect there is a particular part of this encoding business that is the most uncertain. Can you decide on which and we can iron that out first? Is...

+1, the only murky part is the parameters that are not specific to encryption per se, but to the overall homomorphicness/performance of the cryptosystem. But I think "EncryptionParams" or similar...

Trying to keep the CMake working for some of my PRs, and looking for a canonical set of commands to run for the cmake build. So far I have: ```...

Canonicalization rules are weird in that, to my knowledge, there's no way to auto-generate docs from the tblgen. So this would have to be a manual process. I'll ask around...

Posted https://discourse.llvm.org/t/autogenerated-documentation-for-drr-patterns/79426

@Maokami That is fantastic! Do you think it would make sense to incorporate the lean proofs into this repo, so that we can try to keep them in sync with...

TIL about alive. I think before figuring out an integration I need to understand a bit more about how the overall system is intended to function. Is it a completely...