Constants.h File Reference

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

Go to the source code of this file.

Variables
const char *	LLZK_FUNC_NAME_COMPUTE
	Symbol name for the witness generation (and resp.
const char *	LLZK_FUNC_NAME_CONSTRAIN
const char *	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
	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

extern

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

extern

Definition at line 15 of file Constants.cpp.

LLZK_LANG_ATTR_NAME

const char* LLZK_LANG_ATTR_NAME

extern

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

extern

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.