Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : snapshot comparison with the types of variables and cleanup
[simgrid.git] / src / mc / memory_map.c
2013-08-05 Marion Guthmullermodel-checker : snapshot comparison with the types...
2013-05-28 Marion Guthmullermodel-checker : free memory
2013-04-15 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-04-10 Arnaud GierschDisable stream buffer when reading /proc/self/maps.
2013-03-19 Marion Guthmullermodel-checker : cleanups
2013-02-12 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-05 Arnaud GierschMerge branch 'v3_9_x'
2013-02-03 Arnaud GierschRename getline as xbt_getline.
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/.
2012-09-27 Jonathan Rouzaud... Merge conflicts in instr_routing.c
2012-07-31 Jean-Baptiste HervéMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-07-30 Marion Guthmullermodel-checker : cleanup on mc_checkpoint
2012-07-04 Arnaud GierschRemove useless defines.
2012-04-22 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-04-20 Marion Guthmullermodel-checker : change XBT_DEBUG for fprintf
2012-01-30 Marion Guthmullermodel-checker : merge conflict resolved
2012-01-30 Martin Quinsonthis type name is usable as is, so add _t postfix ...
2012-01-30 Martin Quinsonadd proper copyright headers to the MC files
2012-01-09 Martin QuinsonMerge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...
2011-12-26 Martin Quinsonmerge back the master trunk into the smpi branch
2011-12-13 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-07 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-05 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-11-30 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-11-28 Marion Guthmullermodel-checker : remove test useless before free(line)
2011-11-22 Marion Guthmullermodel-checker : close file /proc/self/maps at the end...
2011-11-22 Marion Guthmullermerge conflicts
2011-11-22 Marion Guthmullermodel-checker : add snapshot of stack memory region...
2011-11-09 Arnaud GierschKill "if" before free, and useless cast of free argument.
2011-10-25 Marion Guthmullermodel-checker : test data in libsimgrid memory region...
2011-10-25 Marion Guthmullermodel-checker : add type in s_mc_mem_region (0=std_heap...
2011-10-25 Marion Guthmullermodel-checker : new comparison for reached pairs (autom...
2011-03-24 agierschRemove usage of xbt_assert[0-9].
2010-12-02 thieryBiggest commit ever (SIMIX2): the user processes can...
2010-10-11 alegrandIndent include and src using this command:
2010-05-06 mquinsonImprove the integration of mmalloc and mc_memory into...
2010-05-05 mquinsonAdd the model-checker to the build tree. It's not used yet