AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2012-06-21	Martin Quinson	Various cleanups to the model-checking user interface	blob \| commitdiff \| raw
2012-06-21	jean-noel quintin	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2012-06-21	Martin Quinson	let model-checking compile without supernovae activated...	blob \| commitdiff \| raw \| diff to current
2012-06-21	Marion Guthmuller	model-checker : factorization of code for model-checkin...	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 : remove unnecessary get_memory_map_addr...	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 : add pair's number in struct mc_pair_rea...	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-05-03	Marion Guthmuller	model-checker : new comparison of region (program data...	blob \| commitdiff \| raw \| diff to current
2012-05-02	navarro	This file does not exist.	blob \| commitdiff \| raw \| diff to current
2012-01-31	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	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	kill some cruft asking to die	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-30	Martin Quinson	mv src/mc/private.h src/mc/mc_private.h	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom