|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <mlir/IR/Builders.h>#include <llvm/ADT/DenseMap.h>#include <memory>Go to the source code of this file.
Classes | |
| struct | llzk::polymorphic::detail::DiscoveryAggregate |
| Scalar contents and concrete array shapes, including nested aggregate roots. More... | |
| struct | llzk::polymorphic::detail::DiscoveryValue |
| A scalar constant or a local aggregate identity. Missing leaves are unknown. More... | |
| class | llzk::polymorphic::detail::DiscoveryStorage |
| Track only local constant aggregate contents. More... | |
Namespaces | |
| namespace | llzk |
| namespace | llzk::polymorphic |
| namespace | llzk::polymorphic::detail |
| Common interface for constant parameter-like symbol operations that can be defined within a TemplateOp. | |
Typedefs | |
| using | llzk::polymorphic::detail::DiscoveryLeaves = llvm::DenseMap<mlir::ArrayAttr, mlir::Attribute> |
| Sparse known scalar leaves of a local aggregate, indexed by record/array paths. | |