AND Public Git Repository - simgrid.git/history

2011-11-22	Marion Guthmuller	merge conflicts	blob \| commitdiff \| raw
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