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 : store last visited states during exploration
[simgrid.git] / src / xbt / mmalloc /
2012-11-14 Arnaud GierschSize can be negative. Use ssize_t instead of size_t. tree | commitdiff
2012-11-12 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-11-11 Marion Guthmullermodel-checker : remove chunks used comparison at the... tree | commitdiff
2012-11-09 Marion Guthmullermodel-checker : getter function for chunks used in... tree | commitdiff
2012-11-09 Marion Guthmullermodel-checker : use statistics already included in... tree | commitdiff
2012-11-09 Marion Guthmullermodel-checker : initialize global variables tree | commitdiff
2012-11-07 Marion Guthmullermodel-checker : initialize global variable ignore_done... tree | commitdiff
2012-11-07 Marion Guthmullermodel-checker : add ignore mechanism for comparison... tree | commitdiff
2012-10-27 Marion Guthmullermodel-checker : update second parameter of mmorecore... tree | commitdiff
2012-10-27 Marion Guthmullermodel-checker : fix memory leaks in heap comparison tree | commitdiff
2012-10-27 Arnaud GierschMerge branch 'v3_8_x' tree | commitdiff
2012-10-27 Arnaud GierschMerge branch 'v3_8_x' tree | commitdiff
2012-10-25 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-25 navarroTranform extern for XBT_PUBLIC tree | commitdiff
2012-10-19 paul bedarideMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-19 Maximiliano GeierMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-18 Arnaud GierschDon't ignore return value of 'system'. tree | commitdiff
2012-10-16 Martin Quinsondocument that we really need xbt_os_thread_atfork ... tree | commitdiff
2012-10-16 Martin QuinsonDo not store any metadata where the user (was) legitima... tree | commitdiff
2012-10-14 Martin Quinsontry to get /some/ info from the cdash by not intentiona... tree | commitdiff
2012-10-12 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-12 Marion Guthmullermodel-checker : display malloc backtrace according... tree | commitdiff
2012-10-11 paul bedarideMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-11 Arnaud GierschReturn immediately if p==NULL. tree | commitdiff
2012-10-10 Marion Guthmullerfunction check_fraghead to detect mmalloc metadata... tree | commitdiff
2012-10-09 Martin Quinsonimprove a comment tree | commitdiff
2012-10-09 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-10-09 Marion Guthmullerset size to -1 for free fragments in new fragmented... tree | commitdiff
2012-10-09 Marion Guthmullerset value -1 in unsigned short cannot work fine ... tree | commitdiff
2012-10-08 Marion Guthmullerset size_used negative for free fragment/block tree | commitdiff
2012-10-08 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-10-08 Marion GuthmullerUNLOCK forgotten before THROWF tree | commitdiff
2012-10-08 Marion Guthmullercheck if free on fragment already free tree | commitdiff
2012-10-08 Martin QuinsonBug fix in mrealloc where the previous content could... tree | commitdiff
2012-10-08 Martin Quinsonadd a basic tesh test about mmalloc tree | commitdiff
2012-10-08 Martin Quinsonkill a very old TODO file. We don't care of running... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : extend MC_ignore mechanism for global... tree | commitdiff
2012-10-05 Marion Guthmullercosmetics tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : check if a difference detected in stack... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : store equality detected in heap compari... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : ignore stack areas in heap comparison... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : previous algorithm for heap comparison... tree | commitdiff
2012-10-05 Marion Guthmullermodel-checker : memset forgotten in mmalloc tree | commitdiff
2012-09-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-08-21 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-08-17 Marion Guthmullermodel-checker : try first to associate each block or... tree | commitdiff
2012-08-16 Marion Guthmullermodel-checker : remove unnecessary step tree | commitdiff
2012-08-16 Marion Guthmullermodel-checker : equal_to field of blocks/fragments... tree | commitdiff
2012-08-16 Marion Guthmullermodelc-checker : reset list of blocks/fragments pairs... tree | commitdiff
2012-08-16 Marion Guthmullermodel-checker : init equal_to field to -1 for each... tree | commitdiff
2012-08-16 Marion Guthmullermodel-checker : set size used to 0 when free fragment tree | commitdiff
2012-08-02 Marion Guthmullermodel-checker : add block and fragment number in mc_ign... tree | commitdiff
2012-08-01 Marion Guthmullermodel-checker : count ignore done in heap comparison... tree | commitdiff
2012-08-01 Marion Guthmullermodel-checker : sort ignore list and dichotomic search tree | commitdiff
2012-08-01 Marion Guthmullermodel-checker : forget case of comparison in heap compa... tree | commitdiff
2012-08-01 Marion Guthmullermodel-checker : ignore irrelevant differences for heap... tree | commitdiff
2012-07-31 Jean-Baptiste HervéMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-07-30 Marion Guthmullermodel-checker : cleanup for heap comparison tree | commitdiff
2012-07-25 Marion Guthmullermodel-checker : new heap comparison algorithm tree | commitdiff
2012-07-12 Marion Guthmullermodel-checker : remove unnecessary memset on free fragm... tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : new recursive function for comparison... tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : malloc_backtrace_display functions... tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : heapinfo adresses refer to saved heap... tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : remove header of unused function tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : memset 0 on free block/fragment tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : update backtrace display tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : remove unused function tree | commitdiff
2012-07-10 Marion Guthmullermodel-checker : initialize variables tree | commitdiff
2012-07-03 Marion Guthmullermodel-checker : pointer detection fixed tree | commitdiff
2012-07-02 Marion Guthmullermodel-checker : extend pointer detection in heap compar... tree | commitdiff
2012-07-02 Marion Guthmullermodel-checker : remove unnecessary test tree | commitdiff
2012-06-29 Marion Guthmullermodel-checker : get fragment number like in realloc... tree | commitdiff
2012-06-27 Marion Guthmullermodel-checker : detect valid block or fragment pointer... tree | commitdiff
2012-06-22 Marion Guthmullermodel-checker : detect pointers on valid fragment in... tree | commitdiff
2012-06-20 suterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-20 Marion Guthmullermodel-checker : cosmetics, tab forgotten tree | commitdiff
2012-06-20 suterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-20 Marion Guthmullermodel-checker : cosmetics reindent tree | commitdiff
2012-06-20 Marion Guthmullermodel-checker : cosmetics reindent tree | commitdiff
2012-06-20 Marion Guthmullermodel-checker : cosmectics reindent and unnecessary... tree | commitdiff
2012-06-20 suterSolve white space conflicts tree | commitdiff
2012-06-20 Martin Quinsonsed -i -e 's/\t/ /g' *.[ch] Please people, stop using... tree | commitdiff
2012-06-20 Marion Guthmullermodel-checker : detect pointers on valid blocks in... tree | commitdiff
2012-06-20 Marion Guthmullermodel-checker : memset 0 on block/fragment allocated... tree | commitdiff
2012-06-19 Marion Guthmullermodel-checker : fixme about initialization tree | commitdiff
2012-06-19 Marion Guthmullermodel-checker : remove unused code and update debug... tree | commitdiff
2012-06-19 Marion Guthmullermodel-checker : add stats in mmalloc tree | commitdiff
2012-06-19 Marion Guthmullermodel-checker : cosmetics reindent tree | commitdiff
2012-06-18 Marion Guthmullermodel-checker : add debug messages tree | commitdiff
2012-06-18 Marion Guthmullermodel-checker : assert on block/fragment address in... tree | commitdiff
2012-06-18 Marion Guthmullermodel-checker : unnecessary comments removed tree | commitdiff
2012-06-14 Marion Guthmullermodel-checker : comment unused variable tree | commitdiff
2012-06-14 Marion Guthmullermodel-checker : get end heap with field breakval in... tree | commitdiff
2012-06-14 Marion Guthmullermodel-checker : fix std_heap address for heap compariso... tree | commitdiff
2012-06-13 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-13 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-13 Marion Guthmullermodel-checker : get std_heap with mmalloc_get_current_h... tree | commitdiff
2012-06-13 Marion Guthmullermodel-checker : remove unused argument in functions... tree | commitdiff
2012-06-13 Marion Guthmullermodel-checker : add total hamming distance for heap... tree | commitdiff
2012-06-12 Marion Guthmullermodel-checker : warnings compilation fixed tree | commitdiff
next
Clone of SimGrid repository with local patches