AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2012-09-27	Jonathan Rouzaud...	Merge conflicts in instr_routing.c	blob \| commitdiff \| raw
2012-07-31	Jean-Baptiste Hervé	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw
2012-07-30	Marion Guthmuller	model-checker : cleanup on mc_checkpoint	blob \| commitdiff \| raw
2012-07-04	Arnaud Giersch	Remove useless defines.	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 : change XBT_DEBUG for fprintf	blob \| commitdiff \| raw \| diff to current
2012-01-30	Marion Guthmuller	model-checker : merge conflict resolved	blob \| commitdiff \| raw \| diff to current
2012-01-30	Martin Quinson	this type name is usable as is, so add _t postfix ...	blob \| commitdiff \| raw \| diff to current
2012-01-30	Martin Quinson	add proper copyright headers to the MC files	blob \| commitdiff \| raw \| diff to current
2012-01-09	Martin Quinson	Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...	blob \| commitdiff \| raw \| diff to current
2011-12-26	Martin Quinson	merge back the master trunk into the smpi branch	blob \| commitdiff \| raw \| diff to current
2011-12-13	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-12-07	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-12-05	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-11-30	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-11-28	Marion Guthmuller	model-checker : remove test useless before free(line)	blob \| commitdiff \| raw \| diff to current
2011-11-22	Marion Guthmuller	model-checker : close file /proc/self/maps at the end...	blob \| commitdiff \| raw \| diff to current
2011-11-22	Marion Guthmuller	merge conflicts	blob \| commitdiff \| raw \| diff to current
2011-11-22	Marion Guthmuller	model-checker : add snapshot of stack memory region...	blob \| commitdiff \| raw \| diff to current
2011-11-09	Arnaud Giersch	Kill "if" before free, and useless cast of free argument.	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : test data in libsimgrid memory region...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : add type in s_mc_mem_region (0=std_heap...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : new comparison for reached pairs (autom...	blob \| commitdiff \| raw \| diff to current
2011-03-24	agiersch	Remove usage of xbt_assert[0-9].	blob \| commitdiff \| raw \| diff to current
2010-12-02	thiery	Biggest commit ever (SIMIX2): the user processes can...	blob \| commitdiff \| raw \| diff to current
2010-10-11	alegrand	Indent include and src using this command:	blob \| commitdiff \| raw \| diff to current
2010-05-06	mquinson	Improve the integration of mmalloc and mc_memory into...	blob \| commitdiff \| raw \| diff to current
2010-05-05	mquinson	Add the model-checker to the build tree. It's not used yet	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom