asraa

> Hi @asraa. Is there a way to break down the the mlir-to-cggi pipeline into multiple passes? Oh! You may want to use the `--mlir-print-ir-after-all` flag. This will emit the...

> I am also unable to get the Yosys pass working with multiple outputs That is intended, actually. We won't compile yosys circuits with multiple outputs - maybe you can...

For your variance example, change the scf loop to an affine loop, and it should work with the arith::DivSIOp printer added (will tag you in the PR): ``` // Calculate...

> The CGGI pipeline succeeds, but the conversion to tfhe-rust-bool doesn't. Yeah, I can fix that. > Compiling a much smaller matmul program (attached below) fails. I ran into that...

I *think* as a mitigation (suggested by Hayden!) users could use `upload-assets: false`, and manually upload the asset (which will be named according to the inputs: https://github.com/slsa-framework/slsa-github-generator/blob/main/internal/builders/generic/README.md#workflow-inputs)

cc @AlexanderViand @inbelic on this issue > Also, should we consider lowering it to mod_arith so that polynomial-to-standard can be simplified? I think so - but I will need to...

Ah! Sorry I can't help debug too much since I don't have a MacOS - but... given that it's not working on your old mac... could you try ``` bazel...

Oops. Now the old cargo | Filecheck tests are giving me this error: ``` # RUN: at line 2 cargo run --release --manifest-path /usr/local/google/home/asraa/.cache/bazel/_bazel_asraa/dd6a35b586d0a2d65a5a8939e7a649cf/execroot/_main/bazel-out/k8-opt/bin/tests/Examples/tfhe_rust/add_one.mlir.test.runfiles/_main/tests/Examples/tfhe_rust/Cargo.toml --bin main_add_one -- 2 --message_bits=3 |...

This has been revived and rebased now that the internal tfhe library is updated!

Closing this because all the internal changes make it easier to start internal and export to https://github.com/google/heir/pull/1963