Jeremy Kun

CC @AlexanderViand-Intel

@WoutLegiest can you post the bazel rule as you've currently set it up? Or perhaps push a draft PR with the changes so we can take a closer look? I...

You might also try running [`findmnt`](https://man7.org/linux/man-pages/man8/findmnt.8.html) to get the list of all mounted filesystems, and see if the FPGA is in there.

If that doesn't work, I wonder if we could find a minimal working example that I could set up with my machine, by plugging some other (cheap) FPGA into my...

On 2024-01-26 Maksim Levental and I were exploring this [on a livestream](https://www.youtube.com/watch?v=cHGe5ZRTsQQ) and found that the python binding support for bazel in upstream MLIR was hard-coded to tensorflow's configuration decisions...

After another session with @makslevental, we got to the point in these two related PRs - https://github.com/makslevental/llvm-project/pull/3 - https://github.com/j2kun/heir/pull/8 Where we can build the python bindings, but then trying to...

Part of https://github.com/google/heir/issues/475

It seems redundant with #571 to me, but I don't mind keeping it open if you feel it's best.

Now that we have a lot of improved optimizations in this area, I will start to investigate end-to-end lowerings of the HECO evaluation artifacts through OpenFHE.

Applying `secret-to-bgv` immediately after the simd optimizations complains about the tensor dimension. ```mlir bazel-bin/tools/heir-opt '--secretize=entry-function=linear_polynomial' --wrap-generic --canonicalize --cse --heir-simd-vectorizer --secret-to-bgv /home/j2kun/fhe/heir/tests/heir_simd_vectorizer/linear_polynomial_64.mlir /home/j2kun/fhe/heir/tests/heir_simd_vectorizer/linear_polynomial_64.mlir:0:0: error: expected batched secret types to be tensors...