|
LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Analysis/LightweightSignalEquivalenceAnalysis.h"#include "llzk/Dialect/Function/IR/Ops.h"#include "llzk/Dialect/Struct/IR/Ops.h"#include <mlir/Support/LogicalResult.h>#include <vector>Go to the source code of this file.
Classes | |
| class | llzk::ProductAligner |
Namespaces | |
| namespace | llzk |
Functions | |
| mlir::LogicalResult | llzk::alignStartingAt (component::StructDefOp root, mlir::SymbolTableCollection &tables, LightweightSignalEquivalenceAnalysis &equivalence) |