src/surf/simgrid_dtd.c
src/surf/simgrid.dtd
src/surf/network_private.h
+ src/surf/storage_private.h
src/surf/network_gtnets_private.h
src/surf/gtnets/gtnets_interface.h
src/surf/gtnets/gtnets_simulator.h
src/surf/cpu_ti.c
src/surf/cpu_cas01.c
src/surf/sg_platf.c
+ src/surf/storage.c
src/xbt/xbt_sg_stubs.c
)
include/xbt/automaton.h
include/xbt/automatonparse_promela.h
include/xbt/datadesc.h
+ include/xbt/socket.h
include/simgrid/platf.h
include/simgrid/modelchecker.h
include/msg/msg.h