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 : add stats in mmalloc
[simgrid.git] / src / xbt / mmalloc /
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
2012-06-12 Marion Guthmullerfix merge conflict tree | commitdiff
2012-06-12 Marion Guthmullermodel-checker : fix number and address of blocks in... tree | commitdiff
2012-06-12 Arnaud GierschFix compilation errors about unused or uninitialized... tree | commitdiff
2012-06-11 Marion Guthmullermodel-checker : remove useless memcmp in heap compariso... tree | commitdiff
2012-06-09 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-09 Marion Guthmullermodel-checker : heap comparison algorithm rewrited tree | commitdiff
2012-06-08 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-06 Marion Guthmullertypos in message of backtrace display (where malloced... tree | commitdiff
2012-06-03 Marion Guthmullermodel-checker : free pointers tree | commitdiff
2012-06-03 Marion Guthmullermodel-checker : initialize pointer and update indice... tree | commitdiff
2012-06-02 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-02 Marion Guthmullermodel-checker : free pointer tree | commitdiff
2012-06-02 Marion Guthmullermodel-checker : free pointers tree | commitdiff
2012-06-01 Marion Guthmullermodel-checker : oops, about 3000 blocks unchecked in... tree | commitdiff
2012-06-01 Marion Guthmullermodel-checker : first work for canonicalisation (get... tree | commitdiff
2012-05-23 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-05-23 Marion Guthmullermodel-checker : function get_addr_memory_map rewrited... tree | commitdiff
2012-05-23 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-05-23 Marion Guthmullercompilation errors (optimizations and model checking... tree | commitdiff
2012-05-22 Arnaud GierschEnsure that lfields[] is fully initialized. tree | commitdiff
2012-05-21 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-05-21 Marion Guthmullermodel-checker : get location of pointed address in... tree | commitdiff
2012-05-03 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-05-03 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-04-27 Marion Guthmullermodel-checker : remove meta-data of heap in comparison... tree | commitdiff
2012-04-22 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-04-20 Marion Guthmullermodel-checker : get pointer address for bytes detected... tree | commitdiff
2012-04-20 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-04-03 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-04-02 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-03-30 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-03-27 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-03-23 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-03-15 Marion Guthmullermodel-checker : get offset for each different byte... tree | commitdiff
2012-03-15 Marion Guthmullermodel-checker : hamming distance computed for each... tree | commitdiff
2012-03-07 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-03-07 Marion Guthmullermodel-checker : display backtrace for busy fragments... tree | commitdiff
2012-03-07 Marion Guthmullermodel-checker : SMALLEST_POSSIBLE_MALLOC increased tree | commitdiff
2012-03-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-02-28 Arnaud GierschCosmetics: s/overide/override/g. tree | commitdiff
2012-02-28 Marion Guthmullermodel-checker : add backtrace for each fragment allocat... tree | commitdiff
2012-02-28 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-02-28 Marion Guthmullermodel-checker : only reindent, no real change (safe... tree | commitdiff
2012-02-23 Arnaud GierschAn unsigned int may be too short with 64bits pointers. tree | commitdiff
2012-02-22 Arnaud GierschRename variable hiding others. tree | commitdiff
2012-02-22 Arnaud GierschFormat for an unsigned short is %hu. tree | commitdiff
2012-02-21 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-02-21 Marion Guthmullermodel-checker : memcmp on space really used in fragment tree | commitdiff
2012-02-21 Arnaud GierschThe semaphore doesn't need to be shared between processes. tree | commitdiff
2012-02-21 Arnaud GierschRemove unused field "locked" in struct mdesc. tree | commitdiff
2012-02-21 Marion Guthmullermodel-checker : remove arg std_heap_addr in mmalloc_com... tree | commitdiff
2012-02-21 Marion Guthmullermodel-checker : add backtrace when large block(s) mallo... tree | commitdiff
2012-02-21 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-02-21 Marion Guthmullermodel-checker : function mmalloc_compare_mdesc rewritte... tree | commitdiff
2012-02-21 Marion Guthmullermodel-checker: remove subcategory log unused tree | commitdiff
2012-02-08 Martin Quinsonour malloc implementation NEEDS multi-threading protection tree | commitdiff
2012-02-08 Martin QuinsonSetup the framework allowing to add backtraces to the... tree | commitdiff
2012-02-06 Martin QuinsonFixups in mrealloc tree | commitdiff
2012-02-06 Martin QuinsonTHROWF won't work in mmalloc: it needs to malloc stuff... tree | commitdiff
2012-02-06 Martin Quinsonsplit memory snapshooting and diffing functions out... tree | commitdiff
2012-02-03 Martin QuinsonI don't need an extra file just to define calloc when... tree | commitdiff
2012-02-03 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-02-03 Martin QuinsonFurther simplify the mmallocs, and improve its introspe... tree | commitdiff
2012-02-02 Martin QuinsonTODO--: the 'type' of each mmalloc block is granted... tree | commitdiff
2012-02-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-02-02 Martin Quinsonalso enforce that the freed block were marked as used... tree | commitdiff
2012-02-02 Martin Quinsonthere were no difference between __mmalloc_free and... tree | commitdiff
2012-02-02 Martin Quinsonimprove the doc to reflect recent changes (and we alrea... tree | commitdiff
2012-02-02 Martin Quinsonensure that free block are marked as such tree | commitdiff
2012-02-02 Martin QuinsonSimplify the malloc_info structure containing the metad... tree | commitdiff
2012-02-02 Martin Quinsondocument one more function tree | commitdiff
2012-02-02 Martin QuinsonI think I understood how mmalloc works. Now, I'll do... tree | commitdiff
2012-02-02 Martin Quinsonsimply reindent tree | commitdiff
2012-02-02 Martin Quinsonwho needs aligned mallocs anyway? tree | commitdiff
2012-02-02 Martin Quinsonfurther little clarifications in mmalloc comments tree | commitdiff
2012-02-02 Martin Quinsonvarious cosmetics and comments improvements tree | commitdiff
2012-02-02 Martin Quinsonnormalize the function names wrt to the rest of XBT tree | commitdiff
2012-02-02 Martin Quinsoninline a function used at only one location. tree | commitdiff
2012-02-02 Martin Quinsoncosmetics and kill a now undeclared function prototype tree | commitdiff
2012-02-02 Martin Quinsonkill an unused/undocumented/un-understood function tree | commitdiff
2012-02-02 Martin Quinsongroup together all functions speaking of module and... tree | commitdiff
2012-02-02 Martin Quinsonmerge two files (I'll ignore both of these functions... tree | commitdiff
2012-02-01 Martin Quinsonkill dupplicated code between legacy interface and... tree | commitdiff
2012-02-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-02-01 Martin QuinsonSimplify the mmalloc library further tree | commitdiff
2012-02-01 Martin QuinsonI finally understood what this function is good for tree | commitdiff
next
Clone of SimGrid repository with local patches