Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker : update tesh
[simgrid.git] / src / mc /
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
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édarideMerge branch 'v3_11_x' tree | commitdiff
2014-06-18 Martin QuinsonMerge 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
2014-06-17 Gabriel Corona[mc] Remove mc_untranslate_address() and mc_member_snap... tree | commitdiff
2014-06-17 Gabriel Corona[mc] Use mc_snapshot_read in snapshot_compare (compatib... tree | commitdiff
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-17 Gabriel CoronaAdd some informations/help for the user on SIGSEGV 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 scastelliMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-06-04 degommeKill f2c. Finally. I hope. 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
next
Clone of SimGrid repository with local patches