ludens

it would be great if this could be generated from the chain directly

yes would be cool for stats, "World explorer, etc. Kinda like NFT metadata.

This one fails too. This is taken from `loop_test.py` in the frontend folder. ``` module { func.func @loopa(%arg0: !secret.secret) -> !secret.secret { %0 = secret.generic ins(%arg0 : !secret.secret) { ^body(%input0:...

If that helps, the way I solve `ERROR: Can't open input file _main/lib/Transforms/YosysOptimizer/yosys/techmap.v' for reading: No such file or directory` is by setting a HEIR_YOSYS_SCRIPTS_DIR variable to points to a...

Hi @asraa. Is there a way to break down the the mlir-to-cggi pipeline into multiple passes? It's easier for me to get a sense of what's going on. As an...

I am having a really hard time getting pretty basic `affine` dialect to transform all the way down to a Tfhe dialect. As an example, here are two (simple) targets...

(keeping track of what I encounter in case it's useful): I am also unable to get the Yosys pass working with multiple outputs: `heir-opt --secretize --wrap-generic --convert-to-data-oblivious --yosys-optimizer=mode=Boolean --secret-distribute-generic --secret-to-cggi...

Thank you for all this information @asraa, I really appreciate. A few questions: ### Compiling large programs > To be honest, this pipeline either expects smaller usecases or linalg matvecs...

Is there a way to compose MLIR `func` together in a way that Yosys can optimize individual functions while unoptimized routing is used across functions?

Could you use v2 instead of 2 in the url? ie: `/api/v2/logs`