Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
rename a generated file involved in the kernel popping
[simgrid.git] / src / mc /
2014-10-31 Gabriel Corona[mc] Split config code into mc_config.c tree | commitdiff
2014-10-31 Gabriel Corona[mc] Make MC_resolve_subtype() and MC_resolve_subtype... tree | commitdiff
2014-10-30 Gabriel Corona[mc] Document/simplify MC_request_is_enabled() tree | commitdiff
2014-10-30 Gabriel Corona[mc] Simplify mc_update_comm_pattern tree | commitdiff
2014-10-30 Gabriel Corona[mc] DRY with mc_update_comm_pattern() (broken) tree | commitdiff
2014-10-30 Gabriel Corona[mc] DRY by adding get_call_type() tree | commitdiff
2014-10-30 Gabriel Corona[mc] Try to DRY in MC main loops tree | commitdiff
2014-10-22 etortilopezMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-10-17 Gabriel Corona[smpi+mc] When restoring a snapshot, always remap the... tree | commitdiff
2014-10-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-10-13 Lucas Mello SchnorrMerge 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 Quinsonrename SIMIX_simcall_{pre,post} to SIMIX_simcall_{enter... tree | commitdiff
2014-10-09 Martin Quinsonmake my previous commit also compile under MC (sorry) tree | commitdiff
2014-10-09 Martin Quinsonadd parenthesis to shut up a useless warning tree | commitdiff
2014-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-10-09 Adrien LebreMerge 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 LebreMerge 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 LebreMerge 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 LebreMerge 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 CoronaMerge 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 CoronaMerge 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 CoronaMerge 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 Guthmullermodel-checker : cosmetic in log message tree | commitdiff
2014-07-03 Marion Guthmullermodel-checker : check dict content before removing... tree | commitdiff
2014-07-03 Marion Guthmullermodel-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 Guthmullermodel-checker : fix visited states reduction with comm... tree | commitdiff
2014-06-27 Marion Guthmullermodel-checker : if no inttypes found in c++ tree | commitdiff
2014-06-27 Gabriel CoronaMerge branch 'mc' tree | commitdiff
2014-06-27 Gabriel CoronaMerge branch 'mc-fastsnapshot' into mc tree | commitdiff
2014-06-26 Marion Guthmullermodel-checker : minor fix in comments tree | commitdiff
2014-06-26 Marion Guthmullermodel-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 Guthmullermodel-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
next
Clone of SimGrid repository with local patches