ansi-c → goto-programs Relation

File in src/ansi-c	Includes file in src/goto-programs
allocate_objects.cpp	goto_instruction_code.h
ansi_c_entry_point.cpp	goto_functions.h
ansi_c_internal_additions.cpp	adjust_float_expressions.h
c_nondet_symbol_factory.cpp	goto_functions.h
c_typecheck_base.cpp	name_mangler.h
c_typecheck_expr.cpp	adjust_float_expressions.h
c_typecheck_gcc_polymorphic_builtins.cpp	goto_instruction_code.h
expr2c_class.h	goto_instruction_code.h
goto-conversion / destructor.cpp	goto_instruction_code.h
goto-conversion / goto_check_c.cpp	goto_model.h
goto-conversion / goto_check_c.cpp	remove_skip.h
goto-conversion / goto_check_c.h	goto_functions.h
goto-conversion / goto_convert.cpp	remove_skip.h
goto-conversion / goto_convert_class.h	goto_program.h
goto-conversion / goto_convert_functions.cpp	goto_model.h
goto-conversion / goto_convert_functions.h	goto_functions.h
goto-conversion / link_to_library.cpp	compute_called_functions.h
goto-conversion / link_to_library.cpp	goto_model.h
goto-conversion / link_to_library.cpp	link_goto_model.h
goto-conversion / scope_tree.h	goto_program.h
goto-conversion / string_instrumentation.cpp	goto_model.h
goto-conversion / string_instrumentation.cpp	remove_skip.h