Constants.cpp File Reference

#include "llzk/Util/Constants.h"
#include "llzk-c/Constants.h"

Include dependency graph for Constants.cpp:

Go to the source code of this file.

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_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_MAIN_ATTR_NAME = llzk::MAIN_ATTR_NAME
	Name of the attribute on the top-level ModuleOp that specifies the type of the main struct.

Variable Documentation

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 14 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 15 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 16 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 17 of file Constants.cpp.