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] Fix unitialized variable
[simgrid.git]
/
src
/
mc
/
drwxr-xr-x
..
-rw-r--r--
1100
ModelChecker.cpp
blob
|
history
|
raw
-rw-r--r--
1543
ModelChecker.hpp
blob
|
history
|
raw
-rw-r--r--
7563
PageStore.cpp
blob
|
history
|
raw
-rw-r--r--
6885
PageStore.hpp
blob
|
history
|
raw
-rw-r--r--
311
mc_address_space.cpp
blob
|
history
|
raw
-rw-r--r--
3062
mc_address_space.h
blob
|
history
|
raw
-rw-r--r--
6544
mc_base.cpp
blob
|
history
|
raw
-rw-r--r--
1095
mc_base.h
blob
|
history
|
raw
-rw-r--r--
25968
mc_checkpoint.cpp
blob
|
history
|
raw
-rw-r--r--
3839
mc_client.cpp
blob
|
history
|
raw
-rw-r--r--
828
mc_client.h
blob
|
history
|
raw
-rw-r--r--
1547
mc_client_api.cpp
blob
|
history
|
raw
-rw-r--r--
18378
mc_comm_determinism.cpp
blob
|
history
|
raw
-rw-r--r--
4710
mc_comm_pattern.cpp
blob
|
history
|
raw
-rw-r--r--
2796
mc_comm_pattern.h
blob
|
history
|
raw
-rw-r--r--
23162
mc_compare.cpp
blob
|
history
|
raw
-rw-r--r--
6953
mc_config.cpp
blob
|
history
|
raw
-rw-r--r--
55675
mc_diff.cpp
blob
|
history
|
raw
-rw-r--r--
41665
mc_dwarf.cpp
blob
|
history
|
raw
-rw-r--r--
5956
mc_dwarf_attrnames.h
blob
|
history
|
raw
-rw-r--r--
17488
mc_dwarf_expression.cpp
blob
|
history
|
raw
-rw-r--r--
3354
mc_dwarf_tagnames.h
blob
|
history
|
raw
-rw-r--r--
1308
mc_forward.h
blob
|
history
|
raw
-rw-r--r--
19065
mc_global.cpp
blob
|
history
|
raw
-rw-r--r--
9731
mc_hash.cpp
blob
|
history
|
raw
-rw-r--r--
3131
mc_ignore.cpp
blob
|
history
|
raw
-rw-r--r--
488
mc_ignore.h
blob
|
history
|
raw
-rw-r--r--
14350
mc_liveness.cpp
blob
|
history
|
raw
-rw-r--r--
1760
mc_liveness.h
blob
|
history
|
raw
-rw-r--r--
3893
mc_location.h
blob
|
history
|
raw
-rw-r--r--
1467
mc_member.cpp
blob
|
history
|
raw
-rw-r--r--
938
mc_memory.cpp
blob
|
history
|
raw
-rw-r--r--
1567
mc_memory_map.h
blob
|
history
|
raw
-rw-r--r--
1329
mc_mmalloc.h
blob
|
history
|
raw
-rw-r--r--
1982
mc_mmu.h
blob
|
history
|
raw
-rw-r--r--
1200
mc_object_info.cpp
blob
|
history
|
raw
-rw-r--r--
5022
mc_object_info.h
blob
|
history
|
raw
-rw-r--r--
4140
mc_page_snapshot.cpp
blob
|
history
|
raw
-rw-r--r--
899
mc_pair.cpp
blob
|
history
|
raw
-rw-r--r--
4169
mc_private.h
blob
|
history
|
raw
-rw-r--r--
17809
mc_process.cpp
blob
|
history
|
raw
-rw-r--r--
6387
mc_process.h
blob
|
history
|
raw
-rw-r--r--
3091
mc_protocol.cpp
blob
|
history
|
raw
-rw-r--r--
3256
mc_protocol.h
blob
|
history
|
raw
-rw-r--r--
3696
mc_record.cpp
blob
|
history
|
raw
-rw-r--r--
2457
mc_record.h
blob
|
history
|
raw
-rw-r--r--
771
mc_replay.h
blob
|
history
|
raw
-rw-r--r--
22022
mc_request.cpp
blob
|
history
|
raw
-rw-r--r--
1535
mc_request.h
blob
|
history
|
raw
-rw-r--r--
9888
mc_safety.cpp
blob
|
history
|
raw
-rw-r--r--
1034
mc_safety.h
blob
|
history
|
raw
-rw-r--r--
10044
mc_server.cpp
blob
|
history
|
raw
-rw-r--r--
1210
mc_server.h
blob
|
history
|
raw
-rw-r--r--
6987
mc_smx.cpp
blob
|
history
|
raw
-rw-r--r--
3129
mc_smx.h
blob
|
history
|
raw
-rw-r--r--
10116
mc_snapshot.cpp
blob
|
history
|
raw
-rw-r--r--
11142
mc_snapshot.h
blob
|
history
|
raw
-rw-r--r--
8959
mc_state.cpp
blob
|
history
|
raw
-rw-r--r--
2990
mc_state.h
blob
|
history
|
raw
-rw-r--r--
7360
mc_unw.cpp
blob
|
history
|
raw
-rw-r--r--
2483
mc_unw.h
blob
|
history
|
raw
-rw-r--r--
3005
mc_unw_vmread.cpp
blob
|
history
|
raw
-rw-r--r--
18752
mc_visited.cpp
blob
|
history
|
raw
-rw-r--r--
10272
mcer_ignore.cpp
blob
|
history
|
raw
-rw-r--r--
659
mcer_ignore.h
blob
|
history
|
raw
-rw-r--r--
4720
memory_map.cpp
blob
|
history
|
raw
-rw-r--r--
4021
simgrid_mc.cpp
blob
|
history
|
raw