AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / include / mc / datatypes.h

2012-11-27	Jonathan Rouzaud...	update	blob \| commitdiff \| raw
2012-11-27	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw
2012-11-12	Augustin Degomme	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw
2012-11-11	Marion Guthmuller	model-checker : add ignore mechanism for global variabl...	blob \| commitdiff \| raw
2012-11-07	Marion Guthmuller	model-checker : add ignore mechanism for comparison...	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : fix some memory leaks	blob \| commitdiff \| raw \| diff to current
2012-10-24	alebre	Merge branch 'master' into vmtrace	blob \| commitdiff \| raw \| diff to current
2012-10-08	Marion Guthmuller	model-checker : restore struct smx_ctx_sysv in smx_cont...	blob \| commitdiff \| raw \| diff to current
2012-10-05	Marion Guthmuller	model-checker : store equality detected in heap compari...	blob \| commitdiff \| raw \| diff to current
2012-10-05	Marion Guthmuller	model-checker : ignore stack areas in heap comparison...	blob \| commitdiff \| raw \| diff to current
2012-09-27	Jonathan Rouzaud...	Merge conflicts in instr_routing.c	blob \| commitdiff \| raw \| diff to current
2012-08-02	Marion Guthmuller	model-checker : add block and fragment number in mc_ign...	blob \| commitdiff \| raw \| diff to current
2012-08-01	Marion Guthmuller	model-checker : ignore irrelevant differences for heap...	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	add proper copyright headers to the MC files	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-06	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2011-12-05	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-12-01	Arnaud Giersch	Kill old CVS $Id$ lines.	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-20	cristianrosa	Rework MC transition interception/creation. Now it...	blob \| commitdiff \| raw \| diff to current
2010-05-11	cristianrosa	Add int MC_random(int min, int max) function that will...	blob \| commitdiff \| raw \| diff to current
2010-05-05	mquinson	Let's still pass the tests with mmalloc and MC in the...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom