#include "llzk/Util/Constants.h"
#include "llzk-c/Constants.h"
#include "llzk/Dialect/Function/IR/Ops.h"

Include dependency graph for Constants.cpp:

Variables
const char *	LLZK_FUNC_NAME_COMPUTE = llzk::FUNC_NAME_COMPUTE
	Symbol name for the witness generation function within a struct/component.
const char *	LLZK_FUNC_NAME_CONSTRAIN = llzk::FUNC_NAME_CONSTRAIN
	Symbol name for the constraint generation function within a struct/component.
const char *	LLZK_FUNC_NAME_PRODUCT = llzk::FUNC_NAME_PRODUCT
	Symbol name for the product program function within a struct/component.
const char *	LLZK_LANG_ATTR_NAME = llzk::LANG_ATTR_NAME
	Name of the attribute on the top-level ModuleOp that identifies the ModuleOp as the root module and specifies the frontend language name that the IR was compiled from, if available.
const char *	LLZK_FIELD_ATTR_NAME = llzk::FIELD_ATTR_NAME
	Name of the attribute on the top-level ModuleOp that defines prime fields used in the circuit.
const char *	LLZK_MAIN_ATTR_NAME = llzk::MAIN_ATTR_NAME
	Name of the attribute on the top-level ModuleOp that specifies the type of the main struct.
const char *	LLZK_FUNCTION_ARG_NAME_ATTR_NAME = llzk::function::ARG_NAME_ATTR_NAME
	Name of the attribute on function arguments that stores source-level argument names.
const char *	LLZK_FUNCTION_RES_NAME_ATTR_NAME = llzk::function::RES_NAME_ATTR_NAME
	Name of the attribute on function results that stores source-level result names.

Variable Documentation

◆ LLZK_FIELD_ATTR_NAME

const char* LLZK_FIELD_ATTR_NAME = llzk::FIELD_ATTR_NAME

Name of the attribute on the top-level ModuleOp that defines prime fields used in the circuit.

Definition at line 20 of file Constants.cpp.

◆ LLZK_FUNC_NAME_COMPUTE

const char* LLZK_FUNC_NAME_COMPUTE = llzk::FUNC_NAME_COMPUTE

Symbol name for the witness generation function within a struct/component.

Definition at line 16 of file Constants.cpp.

◆ LLZK_FUNC_NAME_CONSTRAIN

const char* LLZK_FUNC_NAME_CONSTRAIN = llzk::FUNC_NAME_CONSTRAIN

Symbol name for the constraint generation function within a struct/component.

Definition at line 17 of file Constants.cpp.

◆ LLZK_FUNC_NAME_PRODUCT

const char* LLZK_FUNC_NAME_PRODUCT = llzk::FUNC_NAME_PRODUCT

Symbol name for the product program function within a struct/component.

Definition at line 18 of file Constants.cpp.

◆ LLZK_FUNCTION_ARG_NAME_ATTR_NAME

const char* LLZK_FUNCTION_ARG_NAME_ATTR_NAME = llzk::function::ARG_NAME_ATTR_NAME

Name of the attribute on function arguments that stores source-level argument names.

Definition at line 22 of file Constants.cpp.

◆ LLZK_FUNCTION_RES_NAME_ATTR_NAME

const char* LLZK_FUNCTION_RES_NAME_ATTR_NAME = llzk::function::RES_NAME_ATTR_NAME

Name of the attribute on function results that stores source-level result names.

Definition at line 23 of file Constants.cpp.

◆ LLZK_LANG_ATTR_NAME

const char* LLZK_LANG_ATTR_NAME = llzk::LANG_ATTR_NAME

Name of the attribute on the top-level ModuleOp that identifies the ModuleOp as the root module and specifies the frontend language name that the IR was compiled from, if available.

Definition at line 19 of file Constants.cpp.

◆ LLZK_MAIN_ATTR_NAME

const char* LLZK_MAIN_ATTR_NAME = llzk::MAIN_ATTR_NAME

Name of the attribute on the top-level ModuleOp that specifies the type of the main struct.

This attribute can appear zero or one times on the top-level ModuleOp and is associated with a TypeAttr specifying the StructType of the main struct.

Definition at line 21 of file Constants.cpp.

Variables