Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Use Session::execute() in LivenessChecker as well
[simgrid.git] / src / mc /
drwxr-xr-x   ..
-rw-r--r-- 392 AddressSpace.cpp
-rw-r--r-- 3932 AddressSpace.hpp
-rw-r--r-- 1257 Channel.cpp
-rw-r--r-- 1860 Channel.hpp
-rw-r--r-- 788 Checker.cpp
-rw-r--r-- 1643 Checker.hpp
-rw-r--r-- 2235 ChunkedData.cpp
-rw-r--r-- 2190 ChunkedData.hpp
-rw-r--r-- 7521 Client.cpp
-rw-r--r-- 1679 Client.hpp
-rw-r--r-- 20503 CommunicationDeterminismChecker.cpp
-rw-r--r-- 1117 CommunicationDeterminismChecker.hpp
-rw-r--r-- 6656 DwarfExpression.cpp
-rw-r--r-- 4253 DwarfExpression.hpp
-rw-r--r-- 1152 Frame.cpp
-rw-r--r-- 1756 Frame.hpp
-rw-r--r-- 17267 LivenessChecker.cpp
-rw-r--r-- 2851 LivenessChecker.hpp
-rw-r--r-- 3440 LocationList.cpp
-rw-r--r-- 2622 LocationList.hpp
-rw-r--r-- 12773 ModelChecker.cpp
-rw-r--r-- 2234 ModelChecker.hpp
-rw-r--r-- 6869 ObjectInformation.cpp
-rw-r--r-- 3210 ObjectInformation.hpp
-rw-r--r-- 6753 PageStore.cpp
-rw-r--r-- 6536 PageStore.hpp
-rw-r--r-- 20015 Process.cpp
-rw-r--r-- 9525 Process.hpp
-rw-r--r-- 4617 RegionSnapshot.cpp
-rw-r--r-- 7768 RegionSnapshot.hpp
-rw-r--r-- 3009 RemotePtr.hpp
-rw-r--r-- 10845 SafetyChecker.cpp
-rw-r--r-- 1246 SafetyChecker.hpp
-rw-r--r-- 3930 Session.cpp
-rw-r--r-- 1787 Session.hpp
-rw-r--r-- 1033 Transition.hpp
-rw-r--r-- 2792 Type.hpp
-rw-r--r-- 0 Variable.cpp
-rw-r--r-- 1220 Variable.hpp
-rw-r--r-- 4406 VisitedState.cpp
-rw-r--r-- 1023 VisitedState.hpp
-rw-r--r-- 1266 malloc.hpp
-rw-r--r-- 5941 mc_base.cpp
-rw-r--r-- 1461 mc_base.h
-rw-r--r-- 21204 mc_checkpoint.cpp
-rw-r--r-- 2882 mc_client_api.cpp
-rw-r--r-- 3390 mc_comm_pattern.cpp
-rw-r--r-- 2447 mc_comm_pattern.h
-rw-r--r-- 17348 mc_compare.cpp
-rw-r--r-- 8124 mc_config.cpp
-rw-r--r-- 45072 mc_diff.cpp
-rw-r--r-- 43359 mc_dwarf.cpp
-rw-r--r-- 941 mc_dwarf.hpp
-rw-r--r-- 6676 mc_dwarf_attrnames.cpp
-rw-r--r-- 4049 mc_dwarf_tagnames.cpp
-rw-r--r-- 647 mc_exit.h
-rw-r--r-- 825 mc_forward.hpp
-rw-r--r-- 11215 mc_global.cpp
-rw-r--r-- 1158 mc_hash.cpp
-rw-r--r-- 565 mc_hash.hpp
-rw-r--r-- 507 mc_ignore.h
-rw-r--r-- 1344 mc_member.cpp
-rw-r--r-- 869 mc_memory.cpp
-rw-r--r-- 0 mc_mmalloc.h
-rw-r--r-- 1829 mc_mmu.h
-rw-r--r-- 1749 mc_page_snapshot.cpp
-rw-r--r-- 2617 mc_private.h
-rw-r--r-- 1638 mc_protocol.cpp
-rw-r--r-- 3267 mc_protocol.h
-rw-r--r-- 3205 mc_record.cpp
-rw-r--r-- 1642 mc_record.h
-rw-r--r-- 764 mc_replay.h
-rw-r--r-- 19724 mc_request.cpp
-rw-r--r-- 1055 mc_request.h
-rw-r--r-- 678 mc_safety.h
-rw-r--r-- 6025 mc_smx.cpp
-rw-r--r-- 1897 mc_smx.h
-rw-r--r-- 10214 mc_snapshot.cpp
-rw-r--r-- 8217 mc_snapshot.h
-rw-r--r-- 7996 mc_state.cpp
-rw-r--r-- 3899 mc_state.h
-rw-r--r-- 7552 mc_unw.cpp
-rw-r--r-- 3199 mc_unw.h
-rw-r--r-- 3560 mc_unw_vmread.cpp
-rw-r--r-- 1114 mc_xbt.cpp
-rw-r--r-- 725 mc_xbt.hpp
-rw-r--r-- 2629 simgrid_mc.cpp