Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[mc] mremap does not like MAP_PRIVATE|MAP_ANONYMOUS regions
[simgrid.git] / src / mc /
2014-06-17 Gabriel Corona[mc] mremap does not like MAP_PRIVATE|MAP_ANONYMOUS... tree | commitdiff
2014-06-17 Gabriel Corona[mc] Add option --cfg=model-check/sparse-checkpoint... tree | commitdiff
2014-06-17 Gabriel Corona[mc] Fix bugs in mc_page_snapshot tree | commitdiff
2014-06-17 Gabriel Corona[mc] Use mc_snapshot_read in mc_diff (compatibility... tree | commitdiff
2014-06-17 Gabriel Corona[mc] Use mc_snapshot_read in dwarf expression evaluatio... tree | commitdiff
2014-06-17 Gabriel Corona[mc] Fix bug in mc_snapshot_read tree | commitdiff
2014-06-17 Gabriel Corona[mc] Remove useless bits tree | commitdiff
2014-06-16 Gabriel Corona[mc] Remove useless parameters in compare_local_variables tree | commitdiff
2014-06-16 Gabriel Corona[mc] Group MC_ignore_global_variable("mc_diff_info... tree | commitdiff
2014-06-16 Gabriel Corona[mc] Remove useless parts in mmalloc_compare_heap,... tree | commitdiff
2014-06-16 Gabriel Corona[mc] Use process addresses in mc_compare tree | commitdiff
2014-06-16 Gabriel Corona[mc] Partial integration of per-page snapshot address... tree | commitdiff
2014-06-16 Gabriel Corona[mc] Simplify s_mc_snapshot_stack tree | commitdiff
2014-06-13 Gabriel Corona[mc] Update doc for page_store tree | commitdiff
2014-06-13 Gabriel Corona[mc] Page-level sparse snapshot: work-in-progress,... tree | commitdiff
2014-06-13 Gabriel Corona[mc] In MC_ignore, keep the zeroed data out of the... tree | commitdiff
2014-06-04 Marion Guthmullermodel-checker : use new variable _sg_mc_liveness instea... tree | commitdiff
2014-06-04 Marion Guthmullermodel-checker : remove useless debug message and add... tree | commitdiff
2014-06-04 Marion Guthmullermodel-checker : compare the pid of enabled processes... tree | commitdiff
2014-06-04 Marion Guthmullermodel-checker : fix backtracking with comm determinism... tree | commitdiff
2014-06-03 Marion Guthmullermodel-checker : comment erroneous ignore (not completel... tree | commitdiff
2014-06-03 Marion Guthmullermodel-checker : use the right heap tree | commitdiff
2014-06-03 Marion Guthmullermodel-checker : reword debug message tree | commitdiff
2014-06-03 Marion Guthmullermodel-checker : mc_dpor.c -> mc_safety.c tree | commitdiff
2014-06-03 Marion Guthmullermodel-checker : remove useless ignore tree | commitdiff
2014-05-30 Marion Guthmullermodel-checker : fix comm determinism detection mechanisms tree | commitdiff
2014-05-30 Marion Guthmullermodel-checker : forget file tree | commitdiff
2014-05-30 Marion Guthmullermodel-checker : cleanups, refactoring and apply indent... tree | commitdiff
2014-05-30 Marion Guthmullermodel-checker : cosmetics in log message tree | commitdiff
2014-05-30 Marion Guthmullermodel-checker : improve error message tree | commitdiff
2014-05-26 Gabriel CoronaMerge branch 'master' into mc tree | commitdiff
2014-05-16 Gabriel CoronaMerge branch 'mc_without_ksm' into mc tree | commitdiff
2014-05-16 Gabriel Corona[mc] Avoid memsetting twice tree | commitdiff
2014-05-16 Gabriel Corona[mc] Use the actual heap size when testing if an addres... tree | commitdiff
2014-05-16 Gabriel Corona[mc] Move mm_diff in mc/ tree | commitdiff
2014-05-16 Gabriel Corona[mc] Use the actual heap size when testing if an addres... tree | commitdiff
2014-05-16 Gabriel Corona[mc] Use the actual heap size when testing if an addres... tree | commitdiff
2014-05-13 Marion Guthmullermodel-checker : handle waitany simcall tree | commitdiff
2014-05-13 Gabriel Corona[mc] Rename raw_heap into mc_heap tree | commitdiff
2014-05-12 Henri CasanovaMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-05-12 Marion Guthmullermodel-checker : complete comm pattern only after a... tree | commitdiff
2014-05-12 Arnaud GierschFix dead assignments. tree | commitdiff
2014-05-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-05-05 Stéphane CastelliMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-04-30 Marion Guthmullermodel-checker : disable mprotect on snapshots tree | commitdiff
2014-04-30 Marion Guthmullermodel-checker : remove KSM work -> doesn't work currently tree | commitdiff
2014-04-29 Marion Guthmullermodel-checker : deal with the soundness of DPOR only... tree | commitdiff
2014-04-29 Marion Guthmullermodel-checker : fix the detection of determinism tree | commitdiff
2014-04-25 Stéphane CastelliMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-04-24 Gabriel Corona[mc] Check error in MAP_FAILED tree | commitdiff
2014-04-24 Gabriel Corona[mc] mprotect the region *after* zero-ing ignored parts: tree | commitdiff
2014-04-24 Gabriel CoronaMerge "mc" tree | commitdiff
2014-04-24 Gabriel Corona[mc] Fix DW_AT_start_scope handling in mc_checkpoint tree | commitdiff
2014-04-22 Stéphane CastelliMerge branch 'smpi-topo' tree | commitdiff
2014-04-15 Stéphane CastelliAdded some work in the creation of links in the fat... tree | commitdiff
2014-04-14 Gabriel Corona[mc] Protect snapshots against write tree | commitdiff
2014-04-14 Gabriel Corona[mc] Only enable KSM on snapshots and not on main memory tree | commitdiff
2014-04-08 Gabriel CoronaMerge remote-tracking branch 'origin/mc' tree | commitdiff
2014-04-05 Marion Guthmullermodel-checker : privatization_regions in snapshot may... tree | commitdiff
2014-04-04 Gabriel Corona[mc] Fix issues with register translation code tree | commitdiff
2014-04-04 Gabriel Corona[mc] Fix bAd text tree | commitdiff
2014-04-04 Gabriel CoronaMerge branch 'mc' tree | commitdiff
2014-04-04 Gabriel Corona[mc] Implement translation of register number tree | commitdiff
2014-04-04 Gabriel Corona[mc] Fix MC_free_snapshot (NP reading NULL snapshot... tree | commitdiff
2014-04-04 Gabriel Corona[mc] Make snapshots compatible with SMPI privatization... tree | commitdiff
2014-04-01 Arnaud Giersch[mc] Initialize expression->ops before calling mc_dwarf... tree | commitdiff
2014-04-01 Arnaud GierschUpdate copyright headers. tree | commitdiff
2014-04-01 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-03-31 Martin QuinsonRevert "Remove XBT_INFO call" tree | commitdiff
2014-03-31 Pierre VeyreRemove XBT_INFO call tree | commitdiff
2014-03-31 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-03-31 Arnaud Giersch[mc] Better fix for compatibility with old/broken versi... tree | commitdiff
2014-03-28 Gabriel Corona[mc] Fix type conversion (once again) tree | commitdiff
2014-03-28 Gabriel Corona[mc] Fix type conversion tree | commitdiff
2014-03-28 Gabriel Corona[mc] Fix type conversions tree | commitdiff
2014-03-28 Gabriel Corona[mc] Change type for type->id tree | commitdiff
2014-03-28 Gabriel Corona[mc] Fix type of expression resolution methods (uintpt_... tree | commitdiff
2014-03-28 Gabriel Corona[mc] Fix compatibility with old/broken version of dwarf.h tree | commitdiff
2014-03-28 Gabriel Corona[mc] Kernel Samepage Merging support (Linux) tree | commitdiff
2014-03-27 Gabriel Corona[mc] Comment unhandled rangelistptr class in DW_AT_star... tree | commitdiff
2014-03-27 Gabriel Corona[mc] Correctly handle the end of the stack unwinding tree | commitdiff
2014-03-27 Gabriel Corona[mc] Really fix DW_AT_high_pc for DWARF4 tree | commitdiff
2014-03-25 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-03-25 Gabriel CoronaMerge branch 'mc++' tree | commitdiff
2014-03-25 Gabriel Corona[mc] Fix warning on pointer/integer/address conversion tree | commitdiff
2014-03-25 Gabriel Corona[mc] Handle DW_AT_high_pc as offset for DWARF4 tree | commitdiff
2014-03-25 Gabriel Corona[mc] Fix DW_OP_addr to translate address into virtual... tree | commitdiff
2014-03-25 Gabriel Corona[mc] Fix DW_OP_call_frame_cfa tree | commitdiff
2014-03-25 Gabriel Corona[mc] Fix broken DW_OP_call_frame_cfa tree | commitdiff
2014-03-24 Gabriel Corona[mc] Fix handling of inlined subroutines in MC_ignore_l... tree | commitdiff
2014-03-24 Gabriel Corona[mc] Attach correct namespaced name in inlined subrouti... tree | commitdiff
2014-03-24 Gabriel Corona[mc] Replace frame->frame (frame *name*) by frame-... tree | commitdiff
2014-03-24 Gabriel Corona[mc] Process nested-scopes tree | commitdiff
2014-03-24 Gabriel Corona[mc] Remove MC_dwarf_get_variable_by_name (unused) tree | commitdiff
2014-03-24 Gabriel Corona[mc] Fix handling of DW_AT_high_pc tree | commitdiff
2014-03-24 Gabriel Corona[mc] Rename frame->start into frame->id tree | commitdiff
2014-03-24 Gabriel Corona[mc] Remove frame->end field which was not used anymore tree | commitdiff
2014-03-24 Gabriel Corona[mc] Process nested scopes DWARF informations tree | commitdiff
2014-03-24 Gabriel Corona[mc] Fix memory leaks tree | commitdiff
2014-03-24 Gabriel Corona[mc] Documentation tree | commitdiff
next
Clone of SimGrid repository with local patches