smt Directory Reference

Directory dependency graph for smt:

Directories
	fp
	tuple

Files
	array_conv.cpp
	array_conv.h
	simplification_equivalence.cpp
	simplification_equivalence.h
	smt_array.h
	smt_ast.h
	smt_bitcast.cpp
	smt_byteops.cpp
	smt_casts.cpp
	smt_conv.cpp
	smt_conv.h
	SMT conversion tools and utilities.
	smt_fp_conv.cpp
	smt_fp_rounding_utils.h
	smt_memspace.cpp
	Modelling the memory address space of C isn't something that is handled during any of the higher levels of ESBMC; it's instead left until the conversion to SMT to be handled.
	smt_overflow.cpp
	smt_result.h
	smt_solver.cpp
	smt_solver.h
	smt_sort.h