src/xbt/xbt_log_layout_format.c
src/xbt/xbt_log_layout_simple.c
src/xbt/xbt_main.cpp
- src/xbt/xbt_matrix.c
src/xbt/xbt_os_file.c
src/xbt/xbt_os_synchro.c
src/xbt/xbt_os_time.c
src/mc/remote/mc_protocol.cpp
src/mc/AddressSpace.hpp
- src/mc/AddressSpace.cpp
src/mc/Frame.hpp
src/mc/Frame.cpp
src/mc/ModelChecker.hpp
src/mc/RegionSnapshot.cpp
src/mc/RegionSnapshot.hpp
src/mc/Type.hpp
- src/mc/Variable.cpp
src/mc/Variable.hpp
src/mc/mc_forward.hpp
src/mc/Process.hpp
include/xbt/log.h
include/xbt/log.hpp
include/xbt/mallocator.h
- include/xbt/matrix.h
include/xbt/misc.h
include/xbt/mmalloc.h
include/xbt/module.h
${txt_files}
AUTHORS
COPYING
- README
+ README.md
ChangeLog
INSTALL
LICENSE-LGPL-2.1