WitgenDriver.cpp File Reference

#include "WitgenDriver.h"
#include "Errors.h"
#include "ExecutionEngineBackend.h"
#include "Interpreter.h"
#include "JSON.h"
#include "WitgenLowering.h"
#include "WitgenUtils.h"
#include "WitnessSelection.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Dialect/Include/Transforms/InlineIncludesPass.h"
#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.h"
#include "llzk/Util/SymbolHelper.h"
#include <mlir/IR/BuiltinAttributes.h>
#include <mlir/Pass/PassManager.h>
#include <llvm/ADT/SmallVector.h>

Include dependency graph for WitgenDriver.cpp:

Go to the source code of this file.

Namespaces
namespace	llzk
namespace	llzk::witgen

Functions
llvm::Expected< llvm::json::Value >	llzk::witgen::runWitgen (ModuleOp moduleOp, const llvm::json::Value &input, const WitgenOptions &options)
	Run include preprocessing, field validation, and backend execution.