A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
[mc] Cross-process MC/safety implementation
[simgrid.git]
/
src
/
mc
/
drwxr-xr-x
..
-rw-r--r--
311
mc_address_space.c
blob
|
history
|
raw
-rw-r--r--
2592
mc_address_space.h
blob
|
history
|
raw
-rw-r--r--
5490
mc_base.c
blob
|
history
|
raw
-rw-r--r--
1073
mc_base.h
blob
|
history
|
raw
-rw-r--r--
27776
mc_checkpoint.c
blob
|
history
|
raw
-rw-r--r--
3755
mc_client.c
blob
|
history
|
raw
-rw-r--r--
789
mc_client.h
blob
|
history
|
raw
-rw-r--r--
1851
mc_client_api.c
blob
|
history
|
raw
-rw-r--r--
17620
mc_comm_determinism.c
blob
|
history
|
raw
-rw-r--r--
3573
mc_comm_pattern.c
blob
|
history
|
raw
-rw-r--r--
2712
mc_comm_pattern.h
blob
|
history
|
raw
-rw-r--r--
23127
mc_compare.cpp
blob
|
history
|
raw
-rw-r--r--
7323
mc_config.c
blob
|
history
|
raw
-rw-r--r--
55673
mc_diff.c
blob
|
history
|
raw
-rw-r--r--
41829
mc_dwarf.c
blob
|
history
|
raw
-rw-r--r--
5956
mc_dwarf_attrnames.h
blob
|
history
|
raw
-rw-r--r--
17448
mc_dwarf_expression.c
blob
|
history
|
raw
-rw-r--r--
3354
mc_dwarf_tagnames.h
blob
|
history
|
raw
-rw-r--r--
996
mc_forward.h
blob
|
history
|
raw
-rw-r--r--
24338
mc_global.c
blob
|
history
|
raw
-rw-r--r--
9665
mc_hash.c
blob
|
history
|
raw
-rw-r--r--
13372
mc_ignore.c
blob
|
history
|
raw
-rw-r--r--
634
mc_ignore.h
blob
|
history
|
raw
-rw-r--r--
483
mc_interface.h
blob
|
history
|
raw
-rw-r--r--
14315
mc_liveness.c
blob
|
history
|
raw
-rw-r--r--
1799
mc_liveness.h
blob
|
history
|
raw
-rw-r--r--
3895
mc_location.h
blob
|
history
|
raw
-rw-r--r--
1427
mc_member.c
blob
|
history
|
raw
-rw-r--r--
1711
mc_memory.c
blob
|
history
|
raw
-rw-r--r--
1567
mc_memory_map.h
blob
|
history
|
raw
-rw-r--r--
1455
mc_mmalloc.h
blob
|
history
|
raw
-rw-r--r--
1982
mc_mmu.h
blob
|
history
|
raw
-rw-r--r--
1156
mc_model_checker.c
blob
|
history
|
raw
-rw-r--r--
1378
mc_model_checker.h
blob
|
history
|
raw
-rw-r--r--
902
mc_object_info.c
blob
|
history
|
raw
-rw-r--r--
4989
mc_object_info.h
blob
|
history
|
raw
-rw-r--r--
8749
mc_page_snapshot.cpp
blob
|
history
|
raw
-rw-r--r--
7764
mc_page_store.cpp
blob
|
history
|
raw
-rw-r--r--
7254
mc_page_store.h
blob
|
history
|
raw
-rw-r--r--
882
mc_pair.c
blob
|
history
|
raw
-rw-r--r--
4449
mc_private.h
blob
|
history
|
raw
-rw-r--r--
17753
mc_process.c
blob
|
history
|
raw
-rw-r--r--
6396
mc_process.h
blob
|
history
|
raw
-rw-r--r--
3102
mc_protocol.c
blob
|
history
|
raw
-rw-r--r--
3264
mc_protocol.h
blob
|
history
|
raw
-rw-r--r--
3702
mc_record.c
blob
|
history
|
raw
-rw-r--r--
2457
mc_record.h
blob
|
history
|
raw
-rw-r--r--
21943
mc_request.c
blob
|
history
|
raw
-rw-r--r--
1535
mc_request.h
blob
|
history
|
raw
-rw-r--r--
10074
mc_safety.c
blob
|
history
|
raw
-rw-r--r--
1036
mc_safety.h
blob
|
history
|
raw
-rw-r--r--
9912
mc_server.cpp
blob
|
history
|
raw
-rw-r--r--
1149
mc_server.h
blob
|
history
|
raw
-rw-r--r--
937
mc_set.cpp
blob
|
history
|
raw
-rw-r--r--
7419
mc_smx.c
blob
|
history
|
raw
-rw-r--r--
3100
mc_smx.h
blob
|
history
|
raw
-rw-r--r--
10185
mc_snapshot.c
blob
|
history
|
raw
-rw-r--r--
11623
mc_snapshot.h
blob
|
history
|
raw
-rw-r--r--
8918
mc_state.c
blob
|
history
|
raw
-rw-r--r--
2990
mc_state.h
blob
|
history
|
raw
-rw-r--r--
7298
mc_unw.c
blob
|
history
|
raw
-rw-r--r--
2483
mc_unw.h
blob
|
history
|
raw
-rw-r--r--
2716
mc_unw_vmread.c
blob
|
history
|
raw
-rw-r--r--
18858
mc_visited.c
blob
|
history
|
raw
-rw-r--r--
4688
memory_map.c
blob
|
history
|
raw
-rw-r--r--
4024
simgrid_mc.cpp
blob
|
history
|
raw