src/mc/mc_record.h
src/include/simgrid/sg_config.h
src/include/smpi/smpi_interface.h
+ src/include/smpi/smpi_utils.hpp
src/include/surf/datatypes.h
src/include/surf/maxmin.h
src/include/surf/surf.h
src/smpi/smpi_replay.cpp
src/smpi/smpi_rma.cpp
src/smpi/smpi_topo.cpp
+ src/smpi/smpi_utils.cpp
src/smpi/smpi_f77.cpp
)