AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2012-11-15	Marion Guthmuller	model-checker : fix segfault in get_local_variables_val...	blob \| commitdiff \| raw
2012-11-12	Augustin Degomme	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-11-11	Marion Guthmuller	model-checker : add ignore mechanism for global variabl...	blob \| commitdiff \| raw \| diff to current
2012-11-11	Marion Guthmuller	model-checker : get start of libsimgrid bss segment...	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : New public functions to take a snapshot...	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : check current heap	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : update bprintf format for local variables	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : init MC for liveness in a separate...	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : if get_libsimgrid_plt_section called...	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : change MC_take_snapshot_liveness declar...	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : remove instruction pointer offset for...	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-27	Marion Guthmuller	model-checker : first line of objdump --section-headers...	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : fix first parameter for get_stack_point...	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : ignore pointers on raw_heap in data...	blob \| commitdiff \| raw \| diff to current
2012-10-11	paul bedaride	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Arnaud Giersch	Fix compilation warning.	blob \| commitdiff \| raw \| diff to current
2012-10-11	Marion Guthmuller	model-checker : forget regions corresponding to libsimg...	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-07	Marion Guthmuller	model-checker : test if variable is initialized (warnin...	blob \| commitdiff \| raw \| diff to current
2012-10-06	Marion Guthmuller	model-checker : ignore differences in data segment...	blob \| commitdiff \| raw \| diff to current
2012-10-05	Marion Guthmuller	Get local variables in binary and libsimgrid.so and...	blob \| commitdiff \| raw \| diff to current
2012-10-05	Marion Guthmuller	model-checker : extend MC_ignore mechanism for global...	blob \| commitdiff \| raw \| diff to current
2012-10-05	Marion Guthmuller	model-checker : cosmetics reindent	blob \| commitdiff \| raw \| diff to current
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