AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / mc_checkpoint.c

2012-10-05	Marion Guthmuller	model-checker : cosmetics reindent	blob \| commitdiff \| raw
2012-10-05	Marion Guthmuller	model-checker : move functions about snapshot compariso...	blob \| commitdiff \| raw \| diff to current
2012-10-05	Marion Guthmuller	model-checker : take snapshot of stacks (local variable...	blob \| commitdiff \| raw \| diff to current
2012-10-05	Marion Guthmuller	model-checker : previous algorithm for heap comparison...	blob \| commitdiff \| raw \| diff to current
2012-07-31	Jean-Baptiste Hervé	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-07-30	Marion Guthmuller	model-checker : add debug information about pointers...	blob \| commitdiff \| raw \| diff to current
2012-07-30	Marion Guthmuller	model-checker : free memory	blob \| commitdiff \| raw \| diff to current
2012-07-30	Marion Guthmuller	model-checker : use bprintf instead of sprintf	blob \| commitdiff \| raw \| diff to current
2012-07-30	Marion Guthmuller	model-checker : ignore differences of pointers in ...	blob \| commitdiff \| raw \| diff to current
2012-07-30	Marion Guthmuller	model-checker : cleanup on mc_checkpoint	blob \| commitdiff \| raw \| diff to current
2012-07-10	Marion Guthmuller	model-checker : remove useless code	blob \| commitdiff \| raw \| diff to current
2012-06-29	Marion Guthmuller	model-checker : move functions about snapshot compariso...	blob \| commitdiff \| raw \| diff to current
2012-06-20	suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-06-20	Marion Guthmuller	model-checker : cosmetics reindent	blob \| commitdiff \| raw \| diff to current
2012-06-20	suter	Solve white space conflicts	blob \| commitdiff \| raw \| diff to current
2012-06-20	Martin Quinson	sed -i -e 's/\t/ /g' *.[ch] Please people, stop using...	blob \| commitdiff \| raw \| diff to current
2012-06-13	Marion Guthmuller	model-checker : update include file	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 : remove binary name as argument of some...	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	Marion Guthmuller	remove function MC_take_snapshot_to_restore_liveness	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
2012-01-30	Marion Guthmuller	merge conflict resolved	blob \| commitdiff \| raw \| diff to current
2012-01-30	Marion Guthmuller	model-checker : more debug information	blob \| commitdiff \| raw \| diff to current
2012-01-19	Arnaud Giersch	Use %zu to format a sizeof value.	blob \| commitdiff \| raw \| diff to current
2012-01-11	Marion Guthmuller	merge conflicts resolved	blob \| commitdiff \| raw \| diff to current
2012-01-10	Arnaud Giersch	Don't use printf modifier %Z. Use %z instead.	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-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-12-01	Marion Guthmuller	model-checker : args prgm and automaton changed in...	blob \| commitdiff \| raw \| diff to current
2011-12-01	Marion Guthmuller	model-checker : new function MC_take_snapshot_to_restor...	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-30	Marion Guthmuller	model-checker : remove stack from regions added in...	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-15	Marion Guthmuller	model-checker : detection of acceptance cycle when...	blob \| commitdiff \| raw \| diff to current
2011-11-14	Marion Guthmuller	model-checker : add region (data of program) in snapshot	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 : nettoyage du code	blob \| commitdiff \| raw \| diff to current
2011-10-20	Martin Quinson	merge branches	blob \| commitdiff \| raw \| diff to current
2011-04-19	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2011-04-19	Martin Quinson	fix MC in 32bit [Marion, still learning git -- shame...	blob \| commitdiff \| raw \| diff to current
2011-01-20	cristianrosa	Bugfix: save only the state of the heap and libsimgrid.	blob \| commitdiff \| raw \| diff to current
2010-12-15	cristianrosa	Fix the detection of the raw_heap when snapshoting	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-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