ExecutionEngineBackend.h File Reference

#include "WitgenDriver.h"
#include "llzk/Util/Field.h"
#include <mlir/IR/BuiltinOps.h>
#include <llvm/Support/Error.h>
#include <llvm/Support/JSON.h>

Include dependency graph for ExecutionEngineBackend.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	llzk
namespace	llzk::witgen

Functions
llvm::Expected< llvm::json::Value >	llzk::witgen::runWithExecutionEngine (mlir::ModuleOp moduleOp, mlir::SymbolTableCollection &tables, const llzk::Field &field, const llvm::json::Value &input, const WitgenOptions &options)
	Execute witness generation through MLIR lowering and ExecutionEngine.