|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Util/Field.h"#include "llzk/Dialect/Array/IR/Types.h"#include "llzk/Dialect/Felt/IR/Types.h"#include "llzk/Dialect/POD/IR/Attrs.h"#include "llzk/Dialect/POD/IR/Types.h"#include "llzk/Dialect/Polymorphic/IR/Types.h"#include "llzk/Dialect/String/IR/Types.h"#include "llzk/Dialect/Struct/IR/Types.h"#include "llzk/Util/Constants.h"#include "llzk/Util/Debug.h"#include "llzk/Util/DynamicAPIntHelper.h"#include <mlir/IR/Attributes.h>#include <mlir/IR/BuiltinAttributes.h>#include <mlir/IR/Operation.h>#include <llvm/ADT/APSInt.h>#include <llvm/ADT/SlowDynamicAPInt.h>#include <llvm/ADT/Twine.h>#include <llvm/ADT/TypeSwitch.h>#include <llvm/Support/LogicalResult.h>#include <algorithm>#include <mutex>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
Functions | |
| LogicalResult | llzk::addSpecifiedFields (ModuleOp modOp) |