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 (and resp.
const char *	LLZK_FUNC_NAME_CONSTRAIN = llzk::FUNC_NAME_CONSTRAIN
const char *	LLZK_LANG_ATTR_NAME = llzk::LANG_ATTR_NAME
	Name of the attribute on the top-level ModuleOp that specifies the IR language 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.

Variable Documentation

LLZK_FUNC_NAME_COMPUTE

const char* LLZK_FUNC_NAME_COMPUTE = llzk::FUNC_NAME_COMPUTE

Symbol name for the witness generation (and resp.

constraint generation) functions within a component.

Definition at line 14 of file Constants.cpp.

LLZK_FUNC_NAME_CONSTRAIN

const char* LLZK_FUNC_NAME_CONSTRAIN = llzk::FUNC_NAME_CONSTRAIN

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 specifies the IR language name.

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.