u_unroller_smt.h File Reference

#include <map>
#include <string>
#include <vector>
#include <ilang/ila/instr_lvl_abs.h>
#include <ilang/target-smt/smt_shim.h>
#include <ilang/util/log.h>

Go to the source code of this file.

Classes
class	ilang::UnrollerSmt< Generator >
	Base class for unrolling ILA execution in different settings. More...
class	ilang::PathUnroller< Generator >
	Application class for unrolling a sequence of instructions. More...

Namespaces
	ilang

Detailed Description

Class UnrollerSmt, PathUnroller, and MonoUnroller - a collection of ILA unrollers with SmtShim support.