AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2013-03-25	Marion Guthmuller	model-checker : variable declaration deleted with a...	commit \| commitdiff \| tree \| snapshot
2013-03-25	Marion Guthmuller	model-checker : add variable deleted before to resolve...	commit \| commitdiff \| tree \| snapshot
2013-03-25	Marion Guthmuller	model-checker : ignore variable about time used with...	commit \| commitdiff \| tree \| snapshot
2013-03-25	Marion Guthmuller	model-checker : if acceptance cycle is detected, get...	commit \| commitdiff \| tree \| snapshot
2013-03-25	Marion Guthmuller	model-checker : last fix in DPOR algorithm if max depth...	commit \| commitdiff \| tree \| snapshot
2013-03-25	Marion Guthmuller	model-checker : update bugged1 tesh	commit \| commitdiff \| tree \| snapshot
2013-03-25	Martin Quinson	documentation cosmetics	commit \| commitdiff \| tree \| snapshot
2013-03-25	Martin Quinson	fix some simple errors in the commit of Paul (not enoug...	commit \| commitdiff \| tree \| snapshot
2013-03-25	Martin Quinson	rework the SMPI documentation quite a bit	commit \| commitdiff \| tree \| snapshot
2013-03-25	Martin Quinson	split SMPI documentation into a specific file (no real...	commit \| commitdiff \| tree \| snapshot
2013-03-25	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2013-03-25	Jonathan Rouzaud...	Fix sendBounded java binding	commit \| commitdiff \| tree \| snapshot
2013-03-25	Paul Bédaride	Add colls.h to DefinePackages	commit \| commitdiff \| tree \| snapshot
2013-03-25	Paul Bédaride	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2013-03-25	Paul Bédaride	Add alltoall collectives from starmpi	commit \| commitdiff \| tree \| snapshot
2013-03-21	Arnaud Giersch	Dumb commit: kill empty line.	commit \| commitdiff \| tree \| snapshot
2013-03-21	Arnaud Giersch	Kill unused variable.	commit \| commitdiff \| tree \| snapshot
2013-03-21	Marion Guthmuller	model-checker : use xbt_free_f instead of a new functio...	commit \| commitdiff \| tree \| snapshot
2013-03-21	Marion Guthmuller	model-checker : fix soundness of DPOR algorithm if...	commit \| commitdiff \| tree \| snapshot
2013-03-19	Arnaud Giersch	Also link with platform independent libunwind.	commit \| commitdiff \| tree \| snapshot
2013-03-19	Arnaud Giersch	Initialize variables.	commit \| commitdiff \| tree \| snapshot
2013-03-19	Arnaud Giersch	Generated file has changed.	commit \| commitdiff \| tree \| snapshot
2013-03-19	Arnaud Giersch	Add missing declarations.	commit \| commitdiff \| tree \| snapshot
2013-03-19	Marion Guthmuller	model-checker : update tesh	commit \| commitdiff \| tree \| snapshot
2013-03-19	Marion Guthmuller	model-checker : order reached_pairs by number of proces...	commit \| commitdiff \| tree \| snapshot
2013-03-19	Marion Guthmuller	model-checker : free memory	commit \| commitdiff \| tree \| snapshot
2013-03-19	Marion Guthmuller	model-checker : cosmetics	commit \| commitdiff \| tree \| snapshot
2013-03-19	Marion Guthmuller	model-checker : fragment size and fragment number may...	commit \| commitdiff \| tree \| snapshot
2013-03-19	Jonathan Rouzaud...	Add receive bounded to the java binding	commit \| commitdiff \| tree \| snapshot
2013-03-19	Marion Guthmuller	model-checker : store heap_bytes_used and number of...	commit \| commitdiff \| tree \| snapshot
2013-03-19	Marion Guthmuller	model-checker : update tesh (according to previous...	commit \| commitdiff \| tree \| snapshot
2013-03-19	Marion Guthmuller	model-checker : cleanups	commit \| commitdiff \| tree \| snapshot
2013-03-19	Marion Guthmuller	model-checker : code refactoring for get_hash_global	commit \| commitdiff \| tree \| snapshot
2013-03-18	Nicolas Bonichon	Fix msg-bittorrent's problem of incompletion	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : update msg chord example for the verifi...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : fix tesh (different local deployment...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : fix dpor	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : fix compilation error without MC	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	update tesh	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : update tesh	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : code refactoring for heap comparison...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : add state equality reduction in ddfs...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : get current backtrace with libunwind...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : code refactoring	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : ignore mc_time for heap comparison...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : improve debug message	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : new model-checker configuration model...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : return state number if the current...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : fix MC_RANDOM simcall	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : remove obsolete example	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : set ignore flag to 0 if reallocation	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : minor changes for debug information...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : check if fragment or block has been...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : remove local variable only if frame...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : remove static function	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : cosmetics	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : get hash of local and global variables...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : ignore running context of processes...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : use short instead of int for ignore...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : init ignore information for each block...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : remove commentated declaration of funct...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : remove variable from mc_local_variables...	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : fix memory leak	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : cosmetics	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : cleanups in mc_snapshot structure	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : new simcall MC_RANDOM	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : fix memory leak	commit \| commitdiff \| tree \| snapshot
2013-03-16	Marion Guthmuller	model-checker : get instruction pointer and frame name...	commit \| commitdiff \| tree \| snapshot
2013-03-10	Arnaud Giersch	Avoid to run the smpirun script through valgrind on...	commit \| commitdiff \| tree \| snapshot
2013-03-10	Arnaud Giersch	Add new option to smpirun, for running valgrind/gdb...	commit \| commitdiff \| tree \| snapshot
2013-03-08	Arnaud Giersch	Improve the printing of default values when size != 1.	commit \| commitdiff \| tree \| snapshot
2013-03-08	Arnaud Giersch	Cosmetics: add space before opening parenthesis.	commit \| commitdiff \| tree \| snapshot
2013-03-06	Arnaud Giersch	Check return code, and report errors.	commit \| commitdiff \| tree \| snapshot
2013-03-06	Arnaud Giersch	Use simple arrays, instead of dynars.	commit \| commitdiff \| tree \| snapshot
2013-03-06	Arnaud Giersch	Really copy only when recvbuf != sendbuf.	commit \| commitdiff \| tree \| snapshot
2013-03-01	Lucas Schnorr	[doc] general update on tracing doc	commit \| commitdiff \| tree \| snapshot
2013-02-21	Arnaud Giersch	Define missing function.	commit \| commitdiff \| tree \| snapshot
2013-02-21	Arnaud Giersch	Remove useless statements.	commit \| commitdiff \| tree \| snapshot
2013-02-21	Arnaud Giersch	Try to fix const madness.	commit \| commitdiff \| tree \| snapshot
2013-02-21	Arnaud Giersch	Fix memory leaks in smpi.	commit \| commitdiff \| tree \| snapshot
2013-02-21	Arnaud Giersch	Extend smpi_register_static to accept any free function.	commit \| commitdiff \| tree \| snapshot
2013-02-20	Arnaud Giersch	Fix a few more memory leaks.	commit \| commitdiff \| tree \| snapshot
2013-02-20	Arnaud Giersch	Avoid to export internal variables.	commit \| commitdiff \| tree \| snapshot
2013-02-20	Arnaud Giersch	Free timer after it's been used.	commit \| commitdiff \| tree \| snapshot
2013-02-20	Arnaud Giersch	Use splitted xml files, and avoid memory leaks in the...	commit \| commitdiff \| tree \| snapshot
2013-02-20	Arnaud Giersch	Split the xml file, and destroy task, to fix memory...	commit \| commitdiff \| tree \| snapshot
2013-02-20	Arnaud Giersch	Fix a few memory leaks.	commit \| commitdiff \| tree \| snapshot
2013-02-19	Augustin Degomme	remove forgotten debug println	commit \| commitdiff \| tree \| snapshot
2013-02-19	Augustin Degomme	Java didn't report the same OS name as Cmake for Window...	commit \| commitdiff \| tree \| snapshot
2013-02-19	Augustin Degomme	change an include, to avoid linking from simgrid to...	commit \| commitdiff \| tree \| snapshot
2013-02-19	Augustin Degomme	change name of the real executed main function to a...	commit \| commitdiff \| tree \| snapshot
2013-02-19	Augustin Degomme	add smpi to windows installer	commit \| commitdiff \| tree \| snapshot
2013-02-19	Augustin Degomme	force lib names to stop changing when activating smpi...	commit \| commitdiff \| tree \| snapshot
2013-02-19	Augustin Degomme	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2013-02-19	Arnaud Giersch	Use correct log category.	commit \| commitdiff \| tree \| snapshot
2013-02-18	Arnaud Giersch	File was removed.	commit \| commitdiff \| tree \| snapshot
2013-02-18	Arnaud Giersch	Kill old commented line.	commit \| commitdiff \| tree \| snapshot
2013-02-18	Arnaud Giersch	Check status also with MC.	commit \| commitdiff \| tree \| snapshot
2013-02-18	Arnaud Giersch	Move test outside the loop.	commit \| commitdiff \| tree \| snapshot
2013-02-18	Arnaud Giersch	Set status in any case.	commit \| commitdiff \| tree \| snapshot
next

Clone of SimGrid repository with local patches

RSS Atom