abstract-interpretation → irep2 Relation

File in src/goto-programs/abstract-interpretation	Includes file in src/irep2
ai_domain.h	irep2_utils.h
gcse.cpp	irep2_expr.h
gcse.cpp	irep2_type.h
interval_domain.h	irep2_utils.h