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::COMPONENT_NAME_SIGNAL [] = "Signal"
	Symbol name for the struct/component representing a signal.
constexpr char	llzk::COMPONENT_NAME_MAIN [] = "Main"
	Symbol name for the main entry point struct/component (if any).
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::LANG_ATTR_NAME [] = "veridise.lang"
	Name of the attribute on the top-level ModuleOp that specifies the IR language name.