Wtns.cpp File Reference

#include "Wtns.h"
#include "Errors.h"
#include "WitnessSelection.h"
#include "r1cs/Dialect/IR/Ops.h"
#include "r1cs/Transforms/TransformationPassPipelines.h"
#include "llzk/Dialect/Felt/IR/Types.h"
#include "llzk/Util/BinaryBuffer.h"
#include "llzk/Util/DynamicAPIntHelper.h"
#include "llzk/Util/SymbolHelper.h"
#include <mlir/Pass/PassManager.h>
#include <mlir/Support/FileUtilities.h>
#include <llvm/ADT/SmallVector.h>
#include <llvm/ADT/StringExtras.h>
#include <llvm/Support/ToolOutputFile.h>
#include <climits>
#include <cstdint>
#include <limits>

Include dependency graph for Wtns.cpp:

Go to the source code of this file.

Namespaces
namespace	llzk
namespace	llzk::witgen

Functions
llvm::Error	llzk::witgen::writeWtns (ModuleOp moduleOp, const llvm::json::Value &fullWitness, const Field &field, StringRef outputFilename)