The main evaluation state that will be updated by evaluating every statement encountered during the course of execution.

ConcEval.Evaluator is a concrete evaluation module for LowUIR.

A value is either defined or undefined.

Raised when an invalid memory access.

Store labels of LowUIR statements.

ConcEval.SafeEvaluator is a safe concrete evaluation module for LowUIR. Unlike ConcEval.Evaluator, it does not raise exceptions, but it is slower than ConcEval.Evaluator.

Raised when undefined expression is encountered.