LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
Bool → include Relation
File in lib/Dialect/Bool
Includes file in include
IR
/
Dialect.cpp
llzk
/
Dialect
/
Bool
/
IR
/
Dialect.h
IR
/
Dialect.cpp
llzk
/
Dialect
/
Bool
/
IR
/
Ops.h
IR
/
Dialect.cpp
llzk
/
Dialect
/
Felt
/
IR
/
Types.h
IR
/
Dialect.cpp
llzk
/
Dialect
/
LLZK
/
IR
/
Versioning.h
IR
/
Enums.cpp
llzk
/
Dialect
/
Bool
/
IR
/
Enums.h
IR
/
Ops.cpp
llzk
/
Dialect
/
Bool
/
IR
/
Ops.h
IR
/
Ops.cpp
llzk
/
Dialect
/
Bool
/
IR
/
Utils.h
IR
/
Ops.cpp
llzk
/
Dialect
/
Felt
/
IR
/
Attrs.h
IR
/
Ops.cpp
llzk
/
Dialect
/
Polymorphic
/
IR
/
Types.h
IR
/
Ops.cpp
llzk
/
Util
/
Field.h
IR
/
Ops.cpp
llzk
/
Util
/
TypeHelper.h
Transforms
/
LowerBoolQuantifiersPass.cpp
llzk
/
Dialect
/
Array
/
IR
/
Ops.h
Transforms
/
LowerBoolQuantifiersPass.cpp
llzk
/
Dialect
/
Array
/
IR
/
Types.h
Transforms
/
LowerBoolQuantifiersPass.cpp
llzk
/
Dialect
/
Bool
/
IR
/
Ops.h
Transforms
/
LowerBoolQuantifiersPass.cpp
llzk
/
Dialect
/
Bool
/
IR
/
Utils.h
Transforms
/
LowerBoolQuantifiersPass.cpp
llzk
/
Dialect
/
Bool
/
Transforms
/
TransformationPasses.h
Transforms
/
LowerBoolQuantifiersPass.cpp
llzk
/
Transforms
/
ConversionUtils.h
lib
Dialect
Bool
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.