r1cs-opt.cpp File Reference

#include "r1cs/Dialect/IR/Dialect.h"
#include "r1cs/InitAllDialects.h"
#include <mlir/IR/DialectRegistry.h>
#include <mlir/IR/MLIRContext.h>
#include <mlir/InitAllDialects.h>
#include <mlir/InitAllPasses.h>
#include <mlir/Tools/mlir-opt/MlirOptMain.h>
#include <llvm/Support/PrettyStackTrace.h>
#include <llvm/Support/Signals.h>
#include "tools/config.h"

Include dependency graph for r1cs-opt.cpp:

Go to the source code of this file.

Functions
int	main (int argc, char **argv)

Function Documentation

main()

int main	(	int	argc,
		char **	argv )

Definition at line 24 of file r1cs-opt.cpp.