AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / xbt / mmalloc / mm_diff.c

2012-06-19	Marion Guthmuller	model-checker : remove unused code and update debug...	blob \| commitdiff \| raw
2012-06-18	Marion Guthmuller	model-checker : add debug messages	blob \| commitdiff \| raw \| diff to current
2012-06-18	Marion Guthmuller	model-checker : assert on block/fragment address in...	blob \| commitdiff \| raw \| diff to current
2012-06-18	Marion Guthmuller	model-checker : unnecessary comments removed	blob \| commitdiff \| raw \| diff to current
2012-06-14	Marion Guthmuller	model-checker : comment unused variable	blob \| commitdiff \| raw \| diff to current
2012-06-14	Marion Guthmuller	model-checker : get end heap with field breakval in...	blob \| commitdiff \| raw \| diff to current
2012-06-14	Marion Guthmuller	model-checker : fix std_heap address for heap compariso...	blob \| commitdiff \| raw \| diff to current
2012-06-13	Samuel Lepetit	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-06-13	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-06-13	Marion Guthmuller	model-checker : get std_heap with mmalloc_get_current_h...	blob \| commitdiff \| raw \| diff to current
2012-06-13	Marion Guthmuller	model-checker : remove unused argument in functions...	blob \| commitdiff \| raw \| diff to current
2012-06-13	Marion Guthmuller	model-checker : add total hamming distance for heap...	blob \| commitdiff \| raw \| diff to current
2012-06-12	Marion Guthmuller	model-checker : warnings compilation fixed	blob \| commitdiff \| raw \| diff to current
2012-06-12	Marion Guthmuller	fix merge conflict	blob \| commitdiff \| raw \| diff to current
2012-06-12	Marion Guthmuller	model-checker : fix number and address of blocks in...	blob \| commitdiff \| raw \| diff to current
2012-06-12	Arnaud Giersch	Fix compilation errors about unused or uninitialized...	blob \| commitdiff \| raw \| diff to current
2012-06-11	Marion Guthmuller	model-checker : remove useless memcmp in heap compariso...	blob \| commitdiff \| raw \| diff to current
2012-06-09	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-06-09	Marion Guthmuller	model-checker : heap comparison algorithm rewrited	blob \| commitdiff \| raw \| diff to current
2012-06-08	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-06-06	Marion Guthmuller	typos in message of backtrace display (where malloced...	blob \| commitdiff \| raw \| diff to current
2012-06-03	Marion Guthmuller	model-checker : free pointers	blob \| commitdiff \| raw \| diff to current
2012-06-03	Marion Guthmuller	model-checker : initialize pointer and update indice...	blob \| commitdiff \| raw \| diff to current
2012-06-02	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-06-02	Marion Guthmuller	model-checker : free pointer	blob \| commitdiff \| raw \| diff to current
2012-06-02	Marion Guthmuller	model-checker : free pointers	blob \| commitdiff \| raw \| diff to current
2012-06-01	Marion Guthmuller	model-checker : oops, about 3000 blocks unchecked in...	blob \| commitdiff \| raw \| diff to current
2012-06-01	Marion Guthmuller	model-checker : first work for canonicalisation (get...	blob \| commitdiff \| raw \| diff to current
2012-05-23	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-05-23	Marion Guthmuller	model-checker : function get_addr_memory_map rewrited...	blob \| commitdiff \| raw \| diff to current
2012-05-23	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-05-23	Marion Guthmuller	compilation errors (optimizations and model checking...	blob \| commitdiff \| raw \| diff to current
2012-05-22	Arnaud Giersch	Ensure that lfields[] is fully initialized.	blob \| commitdiff \| raw \| diff to current
2012-05-21	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-05-21	Marion Guthmuller	model-checker : get location of pointed address in...	blob \| commitdiff \| raw \| diff to current
2012-05-03	Samuel Lepetit	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-05-03	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-04-27	Marion Guthmuller	model-checker : remove meta-data of heap in comparison...	blob \| commitdiff \| raw \| diff to current
2012-04-22	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2012-04-20	Marion Guthmuller	model-checker : get pointer address for bytes detected...	blob \| commitdiff \| raw \| diff to current
2012-04-20	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-04-03	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-04-02	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-03-30	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-03-27	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-03-23	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-03-15	Marion Guthmuller	model-checker : get offset for each different byte...	blob \| commitdiff \| raw \| diff to current
2012-03-15	Marion Guthmuller	model-checker : hamming distance computed for each...	blob \| commitdiff \| raw \| diff to current
2012-03-07	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-03-07	Marion Guthmuller	model-checker : display backtrace for busy fragments...	blob \| commitdiff \| raw \| diff to current
2012-02-22	Arnaud Giersch	Format for an unsigned short is %hu.	blob \| commitdiff \| raw \| diff to current
2012-02-21	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-02-21	Marion Guthmuller	model-checker : memcmp on space really used in fragment	blob \| commitdiff \| raw \| diff to current
2012-02-21	Marion Guthmuller	model-checker : remove arg std_heap_addr in mmalloc_com...	blob \| commitdiff \| raw \| diff to current
2012-02-21	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-02-21	Marion Guthmuller	model-checker : function mmalloc_compare_mdesc rewritte...	blob \| commitdiff \| raw \| diff to current
2012-02-08	Martin Quinson	Setup the framework allowing to add backtraces to the...	blob \| commitdiff \| raw \| diff to current
2012-02-06	Martin Quinson	split memory snapshooting and diffing functions out...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom