u_unroller.h File Reference

#include <map>
#include <vector>
#include <z3++.h>
#include <ilang/ila/instr_lvl_abs.h>
#include <ilang/target-smt/z3_expr_adapter.h>

Go to the source code of this file.

Classes
class	ilang::Unroller
	Base class for unrolling ILA execution in different settings. More...
class	ilang::PathUnroll
	Application class for unrolling a path of instruction sequence. More...
class	ilang::MonoUnroll
	Application class for unrolling the ILA as a monolithic transition system. More...

Namespaces
	ilang

Detailed Description

A collection of unroller classes for unrolling ILA execution.