LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
Classes
|
Functions
mlir Namespace Reference
Classes
struct
FieldParser
struct
FieldParser< llvm::APInt >
struct
FieldParser< std::optional<::llzk::boolean::FeltCmpPredicate >, std::optional<::llzk::boolean::FeltCmpPredicate > >
Support for std::optional, useful in attribute/type definition where the enum is used as:
More...
struct
FieldParser< std::optional<::llzk::cast::OverflowSemantics >, std::optional<::llzk::cast::OverflowSemantics > >
Support for std::optional, useful in attribute/type definition where the enum is used as:
More...
struct
FieldParser< std::optional<::llzk::OutputStream >, std::optional<::llzk::OutputStream > >
Support for std::optional, useful in attribute/type definition where the enum is used as:
More...
struct
FieldParser< std::optional<::llzk::polymorphic::FlatteningCleanupMode >, std::optional<::llzk::polymorphic::FlatteningCleanupMode > >
Support for std::optional, useful in attribute/type definition where the enum is used as:
More...
struct
FieldParser< std::optional<::llzk::smt::BVCmpPredicate >, std::optional<::llzk::smt::BVCmpPredicate > >
Support for std::optional, useful in attribute/type definition where the enum is used as:
More...
struct
FieldParser< std::optional<::llzk::smt::IntPredicate >, std::optional<::llzk::smt::IntPredicate > >
Support for std::optional, useful in attribute/type definition where the enum is used as:
More...
struct
FieldParser<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate >
struct
FieldParser<::llzk::cast::OverflowSemantics, ::llzk::cast::OverflowSemantics >
struct
FieldParser<::llzk::OutputStream, ::llzk::OutputStream >
struct
FieldParser<::llzk::polymorphic::FlatteningCleanupMode, ::llzk::polymorphic::FlatteningCleanupMode >
struct
FieldParser<::llzk::smt::BVCmpPredicate, ::llzk::smt::BVCmpPredicate >
struct
FieldParser<::llzk::smt::IntPredicate, ::llzk::smt::IntPredicate >
class
OpInterface
Functions
template<typename To>
auto
unwrap_cast
(auto &from)
Function Documentation
◆
unwrap_cast()
template<typename To>
auto mlir::unwrap_cast
(
auto &
from
)
inline
Definition at line
51
of file
Support.h
.
mlir
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.