A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add a new Infiniband network model, based on the works of Jerome Vienne.
[simgrid.git]
/
src
/
mc
/
2014-10-15
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-10-13
Lucas Mello Schnorr
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-10-13
Gabriel Corona
[mc] Add support for DW_OP_regN locaitions from DW_AT_f...
tree
|
commitdiff
2014-10-13
Gabriel Corona
[mc] Prepare support for register location in DWARF...
tree
|
commitdiff
2014-10-11
Martin Quinson
rename SIMIX_simcall_{pre,post} to SIMIX_simcall_{enter...
tree
|
commitdiff
2014-10-09
Martin Quinson
make my previous commit also compile under MC (sorry)
tree
|
commitdiff
2014-10-09
Martin Quinson
add parenthesis to shut up a useless warning
tree
|
commitdiff
2014-10-09
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-10-09
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-10-09
Gabriel Corona
[mc] Fix segfault when a function does not have a name
tree
|
commitdiff
2014-10-09
Gabriel Corona
[mc] Give the real type of mc_heap/std_heap (xbt_mheap_...
tree
|
commitdiff
2014-10-02
Gabriel Corona
[mc] Fix conversion from char 0 into char*
tree
|
commitdiff
2014-09-16
Gabriel Corona
[mc] Add a (compile time) option for content addressage...
tree
|
commitdiff
2014-09-05
Gabriel Corona
[smpi] Change parallel arrays into array of structs
tree
|
commitdiff
2014-09-05
Gabriel Corona
[smpi] Use SMPI namespace for some public variables...
tree
|
commitdiff
2014-08-28
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-08-26
Gabriel Corona
[mc] Revert to previous heap scanning method
tree
|
commitdiff
2014-08-26
Gabriel Corona
[mc] Fix bug in mmalloc_compare_heap() when a ungragmen...
tree
|
commitdiff
2014-08-26
Gabriel Corona
[mc] Better condition for switching privatized data...
tree
|
commitdiff
2014-08-26
Gabriel Corona
[mc] Fix MC_snapshot_add_region() to forward correctly...
tree
|
commitdiff
2014-08-26
Gabriel Corona
[mc] Fix broken MC_region_destroy()
tree
|
commitdiff
2014-08-01
Gabriel Corona
[mc] Remove useless code & comment in mc_region_restore...
tree
|
commitdiff
2014-08-01
Gabriel Corona
[mc] DRY in MC_replay_liveness()
tree
|
commitdiff
2014-07-28
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-07-28
Gabriel Corona
[mc] Remove unused variables
tree
|
commitdiff
2014-07-28
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-07-25
Gabriel Corona
[mc] Make state/snapshot comparison work with SMPI...
tree
|
commitdiff
2014-07-25
Gabriel Corona
Merge branch 'mc'
tree
|
commitdiff
2014-07-25
Gabriel Corona
[mc] Change the signature of mc_restore_page_snapshot_r...
tree
|
commitdiff
2014-07-25
Gabriel Corona
[mc] Split mc_region_new_dense out of MC_region_new
tree
|
commitdiff
2014-07-25
Gabriel Corona
[mc] Expand unit test of mc_snapshot.c
tree
|
commitdiff
2014-07-24
Gabriel Corona
Merge remote-tracking branch 'origin/mc-fastsnapshot...
tree
|
commitdiff
2014-07-24
Gabriel Corona
[mc] Remove irrelevant comment
tree
|
commitdiff
2014-07-24
Gabriel Corona
[mc] Use mc_region_contain where it could be used
tree
|
commitdiff
2014-07-24
Gabriel Corona
[mc] Udpate doxygen comments
tree
|
commitdiff
2014-07-22
Gabriel Corona
[mc] Disable soft-dirty page tracking by default
tree
|
commitdiff
2014-07-21
Gabriel Corona
[mc] Do not handle mc_model_checker->parent_snapshot...
tree
|
commitdiff
2014-07-21
Gabriel Corona
[mmalloc] Add new block type for heapinfo blocks
tree
|
commitdiff
2014-07-11
Gabriel Corona
[mc] Remove 'previous' variable ind mmalloc_compare_heap()
tree
|
commitdiff
2014-07-11
Gabriel Corona
[mc] Fix test on type in mc_diff
tree
|
commitdiff
2014-07-10
Gabriel Corona
[mc] Fix name of mc_snapshot_memcmp()
tree
|
commitdiff
2014-07-10
Gabriel Corona
[mc] Add unit tests for reading/comparing the whole...
tree
|
commitdiff
2014-07-10
Gabriel Corona
[mc] Test flat snapshots as well
tree
|
commitdiff
2014-07-10
Gabriel Corona
[mc] Add unit test for mc_snapshot
tree
|
commitdiff
2014-07-08
Gabriel Corona
[mc] Move page store test from the integration test...
tree
|
commitdiff
2014-07-08
Gabriel Corona
[mc] Use mc_snapshot_region_memcmp() in compare_areas_w...
tree
|
commitdiff
2014-07-08
Gabriel Corona
[mc] Avoid memory allocation for flat snapshots in...
tree
|
commitdiff
2014-07-08
Gabriel Corona
[mc] Fix name of mc_snapshot_region_memcmp
tree
|
commitdiff
2014-07-08
Gabriel Corona
Merge branch 'mc-fix' into mc-fastsnapshot
tree
|
commitdiff
2014-07-08
Gabriel Corona
[mc] Fix check on type name
tree
|
commitdiff
2014-07-08
Gabriel Corona
[mc] Fix bad parameter passed in mc_diff
tree
|
commitdiff
2014-07-07
Gabriel Corona
[mc] Fix lookup of malloc fragment type
tree
|
commitdiff
2014-07-04
Gabriel Corona
[mc] Fix bound check in mc_snapshot_read_region
tree
|
commitdiff
2014-07-04
Gabriel Corona
[mc] Add mc_snapshot_read_pointer()
tree
|
commitdiff
2014-07-04
Gabriel Corona
[mc] Bug: MC was reading from the wrong region
tree
|
commitdiff
2014-07-03
Marion Guthmuller
model-checker : cosmetic in log message
tree
|
commitdiff
2014-07-03
Marion Guthmuller
model-checker : check dict content before removing...
tree
|
commitdiff
2014-07-03
Marion Guthmuller
model-checker : remove useless condition
tree
|
commitdiff
2014-07-03
Gabriel Corona
[mc] Fast path when comparing NULL against non-NULL...
tree
|
commitdiff
2014-07-03
Gabriel Corona
[mc] Bug: MC was reading from the wrong region
tree
|
commitdiff
2014-07-01
Gabriel Corona
[mc] Remove useless question in assert
tree
|
commitdiff
2014-06-27
Marion Guthmuller
model-checker : fix visited states reduction with comm...
tree
|
commitdiff
2014-06-27
Marion Guthmuller
model-checker : if no inttypes found in c++
tree
|
commitdiff
2014-06-27
Gabriel Corona
Merge branch 'mc'
tree
|
commitdiff
2014-06-27
Gabriel Corona
Merge branch 'mc-fastsnapshot' into mc
tree
|
commitdiff
2014-06-26
Marion Guthmuller
model-checker : minor fix in comments
tree
|
commitdiff
2014-06-26
Marion Guthmuller
model-checker : visited states reduction available...
tree
|
commitdiff
2014-06-26
Gabriel Corona
[mc] Inline mc_snapshot_read_region()
tree
|
commitdiff
2014-06-26
Gabriel Corona
[mc] Inline mc_translate_address() and mc_translate_add...
tree
|
commitdiff
2014-06-26
Gabriel Corona
[mc] Forgot to decrease the page refcounts when freeing...
tree
|
commitdiff
2014-06-24
Gabriel Corona
[mc] Add support of privatized global variables in...
tree
|
commitdiff
2014-06-24
Gabriel Corona
[mc] Avoid loosing meaningful bits ot pair.p2 when...
tree
|
commitdiff
2014-06-24
Gabriel Corona
[mc] Use an unordered_set for compared_pointers instead...
tree
|
commitdiff
2014-06-24
Gabriel Corona
[mc] Remove declaration of mc_read_pagemap() in mc_page...
tree
|
commitdiff
2014-06-23
Gabriel Corona
[mc] Always inline mc_page_store_get_page (C version...
tree
|
commitdiff
2014-06-23
Marion Guthmuller
model-checker : clarify comments
tree
|
commitdiff
2014-06-23
Gabriel Corona
[mc] Move method definition out of class declaratio...
tree
|
commitdiff
2014-06-20
Gabriel Corona
[mc] Reset the softdirty bits *before* restoring the...
tree
|
commitdiff
2014-06-20
Gabriel Corona
[mc] Always inline 'inline' functions
tree
|
commitdiff
2014-06-20
Gabriel Corona
[mc] Fix compilation warnings/errors when optimizing
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Documentation of mc_page_snapshot
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Config to disable soft-dirty page tracking --cfg...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Avoid big alloca in mc_snapshot_region_memcp and...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Poor man's TCO in compare_heap_area_with_type()
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Do not allocate pagemap buffer on the heap
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] pread_whole must restart in cas of EINTR, not...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Documentation about per-page snapshots
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Add some documentation
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Avoid region lookup when we know we are in the...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Fix bug mc_snapshot_read_fragmented
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Replace test-and-die with assert
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Avoid looking up region in mc_diff (we are in...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Fix mc_snapshot_read_fragmented
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Remove heap{base,info}{1,2} field in struct s_mc_d...
tree
|
commitdiff
2014-06-19
Gabriel Corona
[mc] Fix inverted test on page soft-dirtiness
tree
|
commitdiff
2014-06-18
Paul Bédaride
Merge branch 'v3_11_x'
tree
|
commitdiff
2014-06-18
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Do not use offsetof() in mc_snapshot_get_heap_end
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Fix mc_snapshot_get_heap_end() for per-page snapshots
tree
|
commitdiff
2014-06-17
Gabriel Corona
[mc] Fix mc_translate_address_region() for per-page...
tree
|
commitdiff
next