WitgenDriver.h File Reference

#include "ValueModel.h"
#include "llzk/Util/Field.h"
#include <mlir/IR/BuiltinOps.h>
#include <llvm/Support/Error.h>
#include <llvm/Support/JSON.h>
#include <cstdint>
#include <optional>
#include <random>

Include dependency graph for WitgenDriver.h:

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

Go to the source code of this file.

Classes
struct	llzk::witgen::WitgenOptions
	Configure one llzk-witgen execution. More...
class	llzk::witgen::Interpreter
	Drive witness generation for the concrete llzk.main instance. More...

Namespaces
namespace	llzk
namespace	llzk::witgen

Enumerations
enum class	llzk::witgen::Backend : std::uint8_t { llzk::witgen::Interpreter , llzk::witgen::ExecutionEngine }
	Select the execution backend used by llzk-witgen. More...
enum class	llzk::witgen::OutputScope : std::uint8_t { llzk::witgen::Public , llzk::witgen::FullWitness }
	Select the JSON scope emitted by llzk-witgen. More...

Functions
llvm::Expected< llvm::json::Value >	llzk::witgen::runWitgen (mlir::ModuleOp moduleOp, const llvm::json::Value &input, const WitgenOptions &options)
	Run the full llzk-witgen pipeline on a parsed module.