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/automatonparse_promela.h
include/xbt/datadesc.h
include/simgrid/platf.h
- include/mc/modelchecker.h
+ include/simgrid/modelchecker.h
include/msg/msg.h
include/msg/datatypes.h
include/simdag/simdag.h