asraa

Ah, just one thing too in case this helps, but if you run with `bazel build -c dbg`, then you can a `--debug` flag on `heir-opt` and you'll be able...

Could you do me a quick favor if `bazel run` works for you with `location`? Can you grep for the "Running ABC command" line of the output when you run...

Thank you! So to me `rootpath` gives the path `external/..` path, which makes it work for `bazel run` since that runs inside the runfiles directory (`bazel-bin/tools/heir-opt.runfiles/heir/`), but not when running...

> One thing we can also look into is having a sh_binary wrapper around heir-opt for the standalone case, so that it can set up all the paths correctly. THANK...

This is for TfheRustBool - @kevaundray 's use case wants the boolean gates EDIT: I was hoping to just unify the two anyway and use the levelling code in tfhe-rust-bool...

Sorry if I'm missing context on this or something, but why is it unspecified? (Do you mean just in documentation?) The operands are ciphertext-plaintext for all the bgv "_plain" ops:...

Oh found it, haha: https://github.com/google/heir/pull/862#pullrequestreview-2216975213 I guess I am curious: would you like to see it in the description of the _plain ops? It's specified in the IR: e.g. here:...

> It's ambiguous because the inputs are just called "ciphertext" and "plaintext" Oh I guess I see what you mean, it's not obvious unless you see the tablegen ordering and...

Hmm same here. I thought maybe this was some weird thing about stdin in colab so I even tried creating a testdata mlir file and running `%%heir_opt test.mlir` and that...

Thank you!