Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Bring back KSM (MADV_MERGEABLE) support
[simgrid.git] / src / mc /
drwxr-xr-x   ..
-rw-r--r-- 385 AddressSpace.cpp
-rw-r--r-- 3890 AddressSpace.hpp
-rw-r--r-- 1061 Frame.hpp
-rw-r--r-- 1031 ModelChecker.cpp
-rw-r--r-- 1562 ModelChecker.hpp
-rw-r--r-- 3031 ObjectInformation.cpp
-rw-r--r-- 2910 ObjectInformation.hpp
-rw-r--r-- 6775 PageStore.cpp
-rw-r--r-- 6508 PageStore.hpp
-rw-r--r-- 3510 RegionSnapshot.cpp
-rw-r--r-- 8200 RegionSnapshot.hpp
-rw-r--r-- 2149 Type.hpp
-rw-r--r-- 0 Variable.cpp
-rw-r--r-- 1028 Variable.hpp
-rw-r--r-- 6483 mc_base.cpp
-rw-r--r-- 1159 mc_base.h
-rw-r--r-- 20925 mc_checkpoint.cpp
-rw-r--r-- 3839 mc_client.cpp
-rw-r--r-- 916 mc_client.h
-rw-r--r-- 2580 mc_client_api.cpp
-rw-r--r-- 18184 mc_comm_determinism.cpp
-rw-r--r-- 4767 mc_comm_pattern.cpp
-rw-r--r-- 2968 mc_comm_pattern.h
-rw-r--r-- 22880 mc_compare.cpp
-rw-r--r-- 8007 mc_config.cpp
-rw-r--r-- 55258 mc_diff.cpp
-rw-r--r-- 5722 mc_dwarf.cpp
-rw-r--r-- 5748 mc_dwarf.hpp
-rw-r--r-- 6596 mc_dwarf_attrnames.cpp
-rw-r--r-- 15368 mc_dwarf_expression.cpp
-rw-r--r-- 3903 mc_dwarf_tagnames.cpp
-rw-r--r-- 305 mc_exit.h
-rw-r--r-- 766 mc_forward.h
-rw-r--r-- 730 mc_forward.hpp
-rw-r--r-- 17195 mc_global.cpp
-rw-r--r-- 9912 mc_hash.cpp
-rw-r--r-- 573 mc_hash.hpp
-rw-r--r-- 3144 mc_ignore.cpp
-rw-r--r-- 623 mc_ignore.h
-rw-r--r-- 24875 mc_libdw.cpp
-rw-r--r-- 3276 mc_libdw.hpp
-rw-r--r-- 14472 mc_liveness.cpp
-rw-r--r-- 1875 mc_liveness.h
-rw-r--r-- 4124 mc_location.h
-rw-r--r-- 1509 mc_member.cpp
-rw-r--r-- 934 mc_memory.cpp
-rw-r--r-- 1297 mc_memory_map.h
-rw-r--r-- 1345 mc_mmalloc.h
-rw-r--r-- 2000 mc_mmu.h
-rw-r--r-- 2946 mc_page_snapshot.cpp
-rw-r--r-- 899 mc_pair.cpp
-rw-r--r-- 3569 mc_private.h
-rw-r--r-- 17741 mc_process.cpp
-rw-r--r-- 6706 mc_process.h
-rw-r--r-- 3097 mc_protocol.cpp
-rw-r--r-- 3353 mc_protocol.h
-rw-r--r-- 4688 mc_record.cpp
-rw-r--r-- 2550 mc_record.h
-rw-r--r-- 771 mc_replay.h
-rw-r--r-- 22217 mc_request.cpp
-rw-r--r-- 1683 mc_request.h
-rw-r--r-- 10245 mc_safety.cpp
-rw-r--r-- 1146 mc_safety.h
-rw-r--r-- 9854 mc_server.cpp
-rw-r--r-- 1342 mc_server.h
-rw-r--r-- 6875 mc_smx.cpp
-rw-r--r-- 3283 mc_smx.h
-rw-r--r-- 9707 mc_snapshot.cpp
-rw-r--r-- 7995 mc_snapshot.h
-rw-r--r-- 9149 mc_state.cpp
-rw-r--r-- 3173 mc_state.h
-rw-r--r-- 6937 mc_unw.cpp
-rw-r--r-- 2521 mc_unw.h
-rw-r--r-- 2767 mc_unw_vmread.cpp
-rw-r--r-- 18694 mc_visited.cpp
-rw-r--r-- 1020 mc_xbt.cpp
-rw-r--r-- 660 mc_xbt.hpp
-rw-r--r-- 8010 mcer_ignore.cpp
-rw-r--r-- 731 mcer_ignore.h
-rw-r--r-- 4499 memory_map.cpp
-rw-r--r-- 3846 simgrid_mc.cpp