AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2012-11-16	Marion Guthmuller	model-checker : fix dpor algorithm	commit \| commitdiff \| tree \| snapshot
2012-11-16	Marion Guthmuller	forget to apply cleanups in MC on SMPI (separate MC_mod...	commit \| commitdiff \| tree \| snapshot
2012-11-15	Marion Guthmuller	model-checker : factorize code for safety and liveness...	commit \| commitdiff \| tree \| snapshot
2012-11-15	Marion Guthmuller	model-checker : fix dependance theorem according to...	commit \| commitdiff \| tree \| snapshot
2012-11-15	Marion Guthmuller	model-checker : warning message if max depth is reached	commit \| commitdiff \| tree \| snapshot
2012-11-15	Marion Guthmuller	model-checker : memory free	commit \| commitdiff \| tree \| snapshot
2012-11-15	Marion Guthmuller	model-checker : cleanups in verification of current...	commit \| commitdiff \| tree \| snapshot
2012-11-15	Marion Guthmuller	model-checker : comparison times are NULL for visited_pair	commit \| commitdiff \| tree \| snapshot
2012-11-15	Marion Guthmuller	model-checker : fix segfault in get_local_variables_val...	commit \| commitdiff \| tree \| snapshot
2012-11-15	Marion Guthmuller	model-checker : create subdir for chord example with...	commit \| commitdiff \| tree \| snapshot
2012-11-15	Marion Guthmuller	model-checker : store last visited states during explor...	commit \| commitdiff \| tree \| snapshot
2012-11-15	Arnaud Giersch	Do memchecks with tracing=on, now that it's enabled...	commit \| commitdiff \| tree \| snapshot
2012-11-15	Arnaud Giersch	Put the TRY..CATCH inside a wrapper function.	commit \| commitdiff \| tree \| snapshot
2012-11-15	Arnaud Giersch	Add missing include.	commit \| commitdiff \| tree \| snapshot
2012-11-15	Arnaud Giersch	Put forward declaration of static function in c file...	commit \| commitdiff \| tree \| snapshot
2012-11-15	paul bedaride	Fix TestSuite.msg-file	commit \| commitdiff \| tree \| snapshot
2012-11-15	Arnaud Giersch	Make paranoid compiler happy.	commit \| commitdiff \| tree \| snapshot
2012-11-15	Maximiliano...	flatifier: added --downgrade option to output version...	commit \| commitdiff \| tree \| snapshot
2012-11-15	Martin Quinson	display on configuration output whether the mallocators...	commit \| commitdiff \| tree \| snapshot
2012-11-15	Martin Quinson	turn off the mallocators during the memory check	commit \| commitdiff \| tree \| snapshot
2012-11-15	Martin Quinson	git reset hard works even for Java. True story.	commit \| commitdiff \| tree \| snapshot
2012-11-14	Arnaud Giersch	Git-reset should do the job here, plus minor corrections.	commit \| commitdiff \| tree \| snapshot
2012-11-14	Martin Quinson	ahem, document the right name for the new function	commit \| commitdiff \| tree \| snapshot
2012-11-14	Martin Quinson	rewrite the 'howto release' guide, in paranoid mode	commit \| commitdiff \| tree \| snapshot
2012-11-14	Martin Quinson	typo in comments	commit \| commitdiff \| tree \| snapshot
2012-11-14	Martin Quinson	cosmetics	commit \| commitdiff \| tree \| snapshot
2012-11-14	Martin Quinson	New function: MSG_get_process_number()	commit \| commitdiff \| tree \| snapshot
2012-11-14	Martin Quinson	enhance the flatifier so that it can be used for platfo...	commit \| commitdiff \| tree \| snapshot
2012-11-14	Maximiliano...	BitTorrent: changed the way the PIECE message is handle...	commit \| commitdiff \| tree \| snapshot
2012-11-14	Maximiliano...	BitTorrent: added reference to the report by A. Legout...	commit \| commitdiff \| tree \| snapshot
2012-11-14	Arnaud Giersch	smpicc: also reset CMAKE_LINKARGS when no linking is...	commit \| commitdiff \| tree \| snapshot
2012-11-14	Arnaud Giersch	Size can be negative. Use ssize_t instead of size_t.	commit \| commitdiff \| tree \| snapshot
2012-11-14	Arnaud Giersch	Remove unsupported flags when Clang is used.	commit \| commitdiff \| tree \| snapshot
2012-11-14	Arnaud Giersch	Also print CMAKE_xxx_COMPILER_ID.	commit \| commitdiff \| tree \| snapshot
2012-11-13	Marion Guthmuller	model-checker : new cfg command line flag (model-check...	commit \| commitdiff \| tree \| snapshot
2012-11-13	paul bedaride	Correct a bug in kademlia	commit \| commitdiff \| tree \| snapshot
2012-11-12	Arnaud Giersch	Write the add_test(...) so that they are compatible...	commit \| commitdiff \| tree \| snapshot
2012-11-12	Arnaud Giersch	Use configure_file(... COPYONLY) instead of file(COPY...	commit \| commitdiff \| tree \| snapshot
2012-11-12	Arnaud Giersch	Define macro if it's missing.	commit \| commitdiff \| tree \| snapshot
2012-11-12	Arnaud Giersch	Protect string with quotes.	commit \| commitdiff \| tree \| snapshot
2012-11-12	Arnaud Giersch	Use options compatible with older versions of git.	commit \| commitdiff \| tree \| snapshot
2012-11-12	Arnaud Giersch	If several remotes are set, arbitrarily use the first...	commit \| commitdiff \| tree \| snapshot
2012-11-12	Marion Guthmuller	model-checker : cosmetics on log message	commit \| commitdiff \| tree \| snapshot
2012-11-12	Marion Guthmuller	model-checker : Add statistics about comparison times...	commit \| commitdiff \| tree \| snapshot
2012-11-12	Augustin Degomme	cosmetics and fix ugly bug in windows code	commit \| commitdiff \| tree \| snapshot
2012-11-12	Augustin Degomme	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2012-11-12	Lucas Schnorr	[trace] bye bye triva, welcome viva	commit \| commitdiff \| tree \| snapshot
2012-11-12	Augustin Degomme	update doc for asynchronous send	commit \| commitdiff \| tree \| snapshot
2012-11-12	Lucas Schnorr	[trace] do not extract topology graph if user ask to...	commit \| commitdiff \| tree \| snapshot
2012-11-12	Lucas Schnorr	[trace] new tracing option to disable the topology...	commit \| commitdiff \| tree \| snapshot
2012-11-12	Lucas Schnorr	[trace] cosmetics, platform is registered as a hierarch...	commit \| commitdiff \| tree \| snapshot
2012-11-12	Augustin Degomme	update doc to reflect change of the stack_size parameter	commit \| commitdiff \| tree \| snapshot
2012-11-12	Augustin Degomme	avoid setting the value of the stack size for thread...	commit \| commitdiff \| tree \| snapshot
2012-11-12	Augustin Degomme	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2012-11-11	Marion Guthmuller	model-checker : remove chunks used comparison at the...	commit \| commitdiff \| tree \| snapshot
2012-11-11	Marion Guthmuller	model-checker : unset raw heap after display of statist...	commit \| commitdiff \| tree \| snapshot
2012-11-11	Marion Guthmuller	model-checker : get times elapsed for snasphot comparison	commit \| commitdiff \| tree \| snapshot
2012-11-11	Marion Guthmuller	model-checker : add ignore mechanism for global variabl...	commit \| commitdiff \| tree \| snapshot
2012-11-11	Marion Guthmuller	model-checker : get start of libsimgrid bss segment...	commit \| commitdiff \| tree \| snapshot
2012-11-11	Marion Guthmuller	model-checker : typo	commit \| commitdiff \| tree \| snapshot
2012-11-09	Marion Guthmuller	Shake up snapshot comparison : apply a new order of...	commit \| commitdiff \| tree \| snapshot
2012-11-09	Marion Guthmuller	model-checker : remove unnecessary comment	commit \| commitdiff \| tree \| snapshot
2012-11-09	Marion Guthmuller	model-checker : move creation of initial_state_liveness...	commit \| commitdiff \| tree \| snapshot
2012-11-09	Marion Guthmuller	model-checker : add size of stack in parameter of the...	commit \| commitdiff \| tree \| snapshot
2012-11-09	Marion Guthmuller	model-checker : getter function for chunks used in...	commit \| commitdiff \| tree \| snapshot
2012-11-09	Marion Guthmuller	model-checker : use statistics already included in...	commit \| commitdiff \| tree \| snapshot
2012-11-09	Marion Guthmuller	model-checker : initialize global variables	commit \| commitdiff \| tree \| snapshot
2012-11-09	Augustin Degomme	add a function in xbt to allow setting the stack size...	commit \| commitdiff \| tree \| snapshot
2012-11-08	Marion Guthmuller	model-checker : enable WaitTimeout requests only if...	commit \| commitdiff \| tree \| snapshot
2012-11-08	Marion Guthmuller	model-checker : new command line flag (model-check...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : initialize variables (compilation error...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : add debug information on processes...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker: add chord example for liveness property...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : initialize global variable ignore_done...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : remove backtracking if no more request...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : comment trigger for state equality...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : improve debug information for stacks...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : add local variables from xbt/ex.h in...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : ignore some local variables from xbt...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : update examples for test snapshot compa...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : memory free	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : verification of current_heap	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : add ignore mechanism for comparison...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : remove declaration of unused function	commit \| commitdiff \| tree \| snapshot
2012-11-07	Marion Guthmuller	model-checker : fix dynar index in algorithm to get...	commit \| commitdiff \| tree \| snapshot
2012-11-07	Augustin Degomme	add timeout to compute tesh, as i386 debian is painfull...	commit \| commitdiff \| tree \| snapshot
2012-11-05	Augustin Degomme	as MPI_Iprobe always use a 0-sized request, do not...	commit \| commitdiff \| tree \| snapshot
2012-11-04	degomme	add a tesh file and test for two already existing tests...	commit \| commitdiff \| tree \| snapshot
2012-11-04	degomme	handle MPI_UB and MPI_LB for real, activate tests in...	commit \| commitdiff \| tree \| snapshot
2012-10-31	navarro	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2012-10-31	navarro	Add an example of generated pdf from simgrid scalability	commit \| commitdiff \| tree \| snapshot
2012-10-31	Augustin Degomme	replace explicit smpi_sleep calls I introduced in some...	commit \| commitdiff \| tree \| snapshot
2012-10-31	Augustin Degomme	quick fix that hopefully won't break too much compilati...	commit \| commitdiff \| tree \| snapshot
2012-10-31	Augustin Degomme	do not fail when building smpi without f2c, as it is...	commit \| commitdiff \| tree \| snapshot
2012-10-31	Augustin Degomme	move defines frmpo smpi.h to mpi.h, to avoid using...	commit \| commitdiff \| tree \| snapshot
2012-10-31	Augustin Degomme	remove todo, once done	commit \| commitdiff \| tree \| snapshot
2012-10-31	navarro	Change parse for exec to be complient with simgrid...	commit \| commitdiff \| tree \| snapshot
2012-10-31	navarro	Oups	commit \| commitdiff \| tree \| snapshot
2012-10-31	navarro	Reused mem check in pipol	commit \| commitdiff \| tree \| snapshot
2012-10-31	navarro	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
next

Clone of SimGrid repository with local patches

RSS Atom