Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Use vector<RegionSnapshot> instead of vector<unique_ptr<RegionSnapshot>> in...
[simgrid.git] / src / mc /
drwxr-xr-x   ..
-rw-r--r-- 385 AddressSpace.cpp
-rw-r--r-- 3871 AddressSpace.hpp
-rw-r--r-- 1031 ModelChecker.cpp
-rw-r--r-- 1543 ModelChecker.hpp
-rw-r--r-- 7563 PageStore.cpp
-rw-r--r-- 6885 PageStore.hpp
-rw-r--r-- 6256 mc_base.cpp
-rw-r--r-- 1231 mc_base.h
-rw-r--r-- 24168 mc_checkpoint.cpp
-rw-r--r-- 3839 mc_client.cpp
-rw-r--r-- 906 mc_client.h
-rw-r--r-- 1547 mc_client_api.cpp
-rw-r--r-- 18118 mc_comm_determinism.cpp
-rw-r--r-- 4763 mc_comm_pattern.cpp
-rw-r--r-- 2965 mc_comm_pattern.h
-rw-r--r-- 23198 mc_compare.cpp
-rw-r--r-- 6953 mc_config.cpp
-rw-r--r-- 55610 mc_diff.cpp
-rw-r--r-- 41923 mc_dwarf.cpp
-rw-r--r-- 5956 mc_dwarf_attrnames.h
-rw-r--r-- 17455 mc_dwarf_expression.cpp
-rw-r--r-- 3354 mc_dwarf_tagnames.h
-rw-r--r-- 1695 mc_forward.h
-rw-r--r-- 18960 mc_global.cpp
-rw-r--r-- 9731 mc_hash.cpp
-rw-r--r-- 3131 mc_ignore.cpp
-rw-r--r-- 514 mc_ignore.h
-rw-r--r-- 14350 mc_liveness.cpp
-rw-r--r-- 1890 mc_liveness.h
-rw-r--r-- 4062 mc_location.h
-rw-r--r-- 1467 mc_member.cpp
-rw-r--r-- 938 mc_memory.cpp
-rw-r--r-- 1230 mc_memory_map.h
-rw-r--r-- 1329 mc_mmalloc.h
-rw-r--r-- 1954 mc_mmu.h
-rw-r--r-- 1200 mc_object_info.cpp
-rw-r--r-- 5281 mc_object_info.h
-rw-r--r-- 3602 mc_page_snapshot.cpp
-rw-r--r-- 899 mc_pair.cpp
-rw-r--r-- 4301 mc_private.h
-rw-r--r-- 17853 mc_process.cpp
-rw-r--r-- 6411 mc_process.h
-rw-r--r-- 3097 mc_protocol.cpp
-rw-r--r-- 3340 mc_protocol.h
-rw-r--r-- 3696 mc_record.cpp
-rw-r--r-- 2535 mc_record.h
-rw-r--r-- 771 mc_replay.h
-rw-r--r-- 21958 mc_request.cpp
-rw-r--r-- 1639 mc_request.h
-rw-r--r-- 9888 mc_safety.cpp
-rw-r--r-- 1099 mc_safety.h
-rw-r--r-- 9917 mc_server.cpp
-rw-r--r-- 1249 mc_server.h
-rw-r--r-- 6823 mc_smx.cpp
-rw-r--r-- 3259 mc_smx.h
-rw-r--r-- 10068 mc_snapshot.cpp
-rw-r--r-- 14486 mc_snapshot.h
-rw-r--r-- 9149 mc_state.cpp
-rw-r--r-- 3133 mc_state.h
-rw-r--r-- 6986 mc_unw.cpp
-rw-r--r-- 2535 mc_unw.h
-rw-r--r-- 2767 mc_unw_vmread.cpp
-rw-r--r-- 18676 mc_visited.cpp
-rw-r--r-- 995 mc_xbt.cpp
-rw-r--r-- 610 mc_xbt.hpp
-rw-r--r-- 8062 mcer_ignore.cpp
-rw-r--r-- 620 mcer_ignore.h
-rw-r--r-- 4353 memory_map.cpp
-rw-r--r-- 4103 simgrid_mc.cpp