Alexander Viand

Integrate heir-play features with Python frontend

3

Currently, we have both a Python frontend, and the `heir-play` package that (a) downloads the nightlies automagically and (b) exposes a cell magic for Jupyter to let you write mlir-IR...

Rotation Keys & Composite Rotations

10

In RLWE-schemes (B/FV, BGV, CKKS), rotations over packed/batched (SIMD) ciphertexts require a key switching operation to make the resulting ciphertext decrypt correctly under a non-permuted key, which requires a key-switching-key...

Packing/Layout/Encoding Meta-Issue

4

This is a meta-issue to collect various issues that are either directed toward more explicit packing/layout handling and/or are blocked by the current lack of this.

Client Interface: Generate Overloads for scalar values

1

Simple convenience, so that you can say "encrypt(x)" for scalar "x" and have the generated function do the replication for you. We already emit code that'll take vectors of the...

Investigate feasibility of migrating from ODS to IRDL and DRR to PDL.

2

Currently, all our dialects and ops are defined using the TableGen-based [Operation Definition Specification (ODS)](https://mlir.llvm.org/docs/DefiningDialects/Operations/) and our canonicalization/folding patterns are expressed as either TableGen-based [Declarative Rewrite Rules (DRR)](https://mlir.llvm.org/docs/DeclarativeRewrites/) or directly...

Support `func.call` / Remove single-function assumption

1

Currently, various places in the compiler assume that the entire program is contained inside a single function. However, we clearly want to support the ability to call other functions, though...