Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Basic infrastructure for a real model-checker process
[simgrid.git] / src / mc /
drwxr-xr-x   ..
-rw-r--r-- 311 mc_address_space.c
-rw-r--r-- 2592 mc_address_space.h
-rw-r--r-- 3443 mc_base.c
-rw-r--r-- 1073 mc_base.h
-rw-r--r-- 27422 mc_checkpoint.c
-rw-r--r-- 1990 mc_client.c
-rw-r--r-- 473 mc_client.h
-rw-r--r-- 19103 mc_comm_determinism.c
-rw-r--r-- 1856 mc_comm_pattern.h
-rw-r--r-- 23347 mc_compare.cpp
-rw-r--r-- 6512 mc_config.c
-rw-r--r-- 55673 mc_diff.c
-rw-r--r-- 41530 mc_dwarf.c
-rw-r--r-- 5956 mc_dwarf_attrnames.h
-rw-r--r-- 17701 mc_dwarf_expression.c
-rw-r--r-- 3354 mc_dwarf_tagnames.h
-rw-r--r-- 1038 mc_forward.h
-rw-r--r-- 22365 mc_global.c
-rw-r--r-- 9665 mc_hash.c
-rw-r--r-- 12650 mc_ignore.c
-rw-r--r-- 466 mc_interface.h
-rw-r--r-- 17164 mc_liveness.c
-rw-r--r-- 1769 mc_liveness.h
-rw-r--r-- 3895 mc_location.h
-rw-r--r-- 1427 mc_member.c
-rw-r--r-- 1688 mc_memory.c
-rw-r--r-- 1567 mc_memory_map.h
-rw-r--r-- 1455 mc_mmalloc.h
-rw-r--r-- 1982 mc_mmu.h
-rw-r--r-- 1322 mc_model_checker.h
-rw-r--r-- 902 mc_object_info.c
-rw-r--r-- 4989 mc_object_info.h
-rw-r--r-- 8454 mc_page_snapshot.cpp
-rw-r--r-- 7764 mc_page_store.cpp
-rw-r--r-- 7302 mc_page_store.h
-rw-r--r-- 761 mc_pair.c
-rw-r--r-- 4764 mc_private.h
-rw-r--r-- 13958 mc_process.c
-rw-r--r-- 5464 mc_process.h
-rw-r--r-- 1375 mc_protocol.c
-rw-r--r-- 1031 mc_protocol.h
-rw-r--r-- 3617 mc_record.c
-rw-r--r-- 2457 mc_record.h
-rw-r--r-- 19729 mc_request.c
-rw-r--r-- 1386 mc_request.h
-rw-r--r-- 12788 mc_safety.c
-rw-r--r-- 1072 mc_safety.h
-rw-r--r-- 6697 mc_server.cpp
-rw-r--r-- 1235 mc_server.h
-rw-r--r-- 937 mc_set.cpp
-rw-r--r-- 10185 mc_snapshot.c
-rw-r--r-- 11568 mc_snapshot.h
-rw-r--r-- 7509 mc_state.c
-rw-r--r-- 2767 mc_state.h
-rw-r--r-- 7298 mc_unw.c
-rw-r--r-- 2483 mc_unw.h
-rw-r--r-- 2716 mc_unw_vmread.c
-rw-r--r-- 17884 mc_visited.c
-rw-r--r-- 4688 memory_map.c
-rw-r--r-- 3362 simgrid_mc.cpp