Constants.h File Reference

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

Go to the source code of this file.

Namespaces
namespace	llzk

Variables
constexpr char	llzk::FUNC_NAME_COMPUTE [] = "compute"
	Symbol name for the witness generation (and resp.
constexpr char	llzk::FUNC_NAME_CONSTRAIN [] = "constrain"
constexpr char	llzk::FUNC_NAME_PRODUCT [] = "product"
constexpr char	llzk::LANG_ATTR_NAME [] = "llzk.lang"
	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.
constexpr char	llzk::MAIN_ATTR_NAME [] = "llzk.main"
	Name of the attribute on the top-level ModuleOp that specifies the type of the main struct.
constexpr char	llzk::PRODUCT_SOURCE [] = "product_source"
	Name of the attribute on aligned product program ops that specifies where they came from.