|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Analysis/SparseAnalysis.h"#include <mlir/Analysis/DataFlow/DeadCodeAnalysis.h>#include <mlir/Analysis/DataFlowFramework.h>#include <mlir/IR/Block.h>#include <mlir/IR/Operation.h>#include <mlir/IR/Region.h>#include <mlir/IR/Value.h>#include <mlir/Interfaces/CallInterfaces.h>#include <mlir/Interfaces/ControlFlowInterfaces.h>#include <mlir/Support/LogicalResult.h>#include <llvm/ADT/SmallVector.h>#include <llvm/Support/Casting.h>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::dataflow |