AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2012-11-25	Martin Quinson	further eradicate all traces of GRAS existance	commit \| commitdiff \| tree \| snapshot
2012-11-25	Martin Quinson	don't polute my disk with your crappy test files	commit \| commitdiff \| tree \| snapshot
2012-11-24	Martin Quinson	document one of the major change of the upcoming release	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Remove doc items about gras.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	These files are automatically regenerated at another...	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Remove deprecated figures.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Remove old pictures.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Remove binary file!	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Remove fixme comment.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Log priorities were renamed a long time ago.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Eradicate gras further.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Merge XBT_SG_SRC with XBT_SRC, and fix make dist.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Re-add file (wrongly removed).	commit \| commitdiff \| tree \| snapshot
2012-11-23	Augustin Degomme	fix distcheck to handle mpich-test	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Merge branch 'killgraskill'	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Update ChangeLog.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Fix make dist.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Finalize coverage for swag.c.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Kill more references to GRAS.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	This hack is not needed since gras is killed.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Rename gras_config to internal_config.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Kill xbt_dynar_dopar().	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Use real threads for xbt_dynar_dopar.	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Revert "use MSG_init instead of xbt_init since someone...	commit \| commitdiff \| tree \| snapshot
2012-11-23	Arnaud Giersch	Move check at another place where it doesn't break...	commit \| commitdiff \| tree \| snapshot
2012-11-23	Martin Quinson	try to fix 'make dist' after GRAS murder (SMPI test...	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	adapt the links of this figure to the fact that the...	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	remove GRAS and AMOK from the module picture	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	further remove GRAS and friends (from the doxygen confi...	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	useless cosmetic	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	comments, debugs and other minor glitches	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	use OS threads and not simix ones to run the test in...	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	a public xbt header wasnt included from xbt.h	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	ignore some of the recently added generated files	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	these examples were moved as tesh tests	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	kill synchronized dynars: we don't need them and they...	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	use MSG_init instead of xbt_init since someone wrongly...	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	how did that cruft manage to live that long?	commit \| commitdiff \| tree \| snapshot
2012-11-22	suter	typo--	commit \| commitdiff \| tree \| snapshot
2012-11-22	suter	some things do not have to be done by each process	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	We want host name here, not process name.	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	Remove further references to gras in buildtools/.	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	Remove references to amok in builtools/.	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	These tests don't exist anymore.	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	xbt/time.h dows not exist anymore.	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	Link against simgrid instead of gras.	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	Use xbt_os_time() instead of gras_os_time().	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	Remove more references to gras.	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	Add missing files to build.	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	Define xbt_os_procname().	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	xbt_trp and xbt_datadesc were removed.	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	Make tesh build (?).	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	Kill gras_modinter.h.	commit \| commitdiff \| tree \| snapshot
2012-11-22	Arnaud Giersch	Log category gras_trp_sg does not exist anymore.	commit \| commitdiff \| tree \| snapshot
2012-11-22	suter	remove some leaks in verbose replay	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	first try at killing GRAS -- does not compile yet	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	remove gras from the main documentation	commit \| commitdiff \| tree \| snapshot
2012-11-22	Martin Quinson	merge changes: modify GRAS vs. kill GRAS, kill wins	commit \| commitdiff \| tree \| snapshot
2012-11-22	paul bedaride	Merge branch 'master' of git+ssh://scm.gforge.inria...	commit \| commitdiff \| tree \| snapshot
2012-11-22	paul bedaride	Change links in doc	commit \| commitdiff \| tree \| snapshot
2012-11-22	Marion Guthmuller	model-checker : increase timeout in tesh chord_neverjoin	commit \| commitdiff \| tree \| snapshot
2012-11-22	Marion Guthmuller	model-checker : increase timeout in tesh snapshot_compa...	commit \| commitdiff \| tree \| snapshot
2012-11-21	Augustin Degomme	secure the stack size parameter for thread,	commit \| commitdiff \| tree \| snapshot
2012-11-21	Augustin Degomme	there was a mistake that prevented examples dir from...	commit \| commitdiff \| tree \| snapshot
2012-11-21	Augustin Degomme	Switch some globals to DATA, this shouldn't change...	commit \| commitdiff \| tree \| snapshot
2012-11-21	Augustin Degomme	seriously ...	commit \| commitdiff \| tree \| snapshot
2012-11-21	Marion Guthmuller	model-checker: take snapshot if property file set	commit \| commitdiff \| tree \| snapshot
2012-11-21	Martin Quinson	s/lastest/latest/ (stupid me)	commit \| commitdiff \| tree \| snapshot
2012-11-21	Marion Guthmuller	model-checker : abort if acceptance cycle detected	commit \| commitdiff \| tree \| snapshot
2012-11-21	Marion Guthmuller	model-checker : remove automatic activation of MC if...	commit \| commitdiff \| tree \| snapshot
2012-11-20	Marion Guthmuller	model-checker : new tesh for snapshot comparison tests	commit \| commitdiff \| tree \| snapshot
2012-11-20	Marion Guthmuller	model-checker : rename cfg flag for state comparison...	commit \| commitdiff \| tree \| snapshot
2012-11-20	Marion Guthmuller	model-checker : use xbt_cfg_setdefault instead of defau...	commit \| commitdiff \| tree \| snapshot
2012-11-20	Marion Guthmuller	model-checker : ignore coverage variables	commit \| commitdiff \| tree \| snapshot
2012-11-20	Marion Guthmuller	model-checker : abort if popen failed	commit \| commitdiff \| tree \| snapshot
2012-11-19	Marion Guthmuller	model-checker : fix compilation error (with optimizatio...	commit \| commitdiff \| tree \| snapshot
2012-11-19	Martin Quinson	add the TLA specification of the simix network layer...	commit \| commitdiff \| tree \| snapshot
2012-11-19	Martin Quinson	attempt to get everything properly cleaned when only...	commit \| commitdiff \| tree \| snapshot
2012-11-18	Marion Guthmuller	model-checker : add tesh for bugged1_liveness and chord...	commit \| commitdiff \| tree \| snapshot
2012-11-18	Marion Guthmuller	model-checker : use XBT_DEBUG instead of XBT_INFO	commit \| commitdiff \| tree \| snapshot
2012-11-18	Marion Guthmuller	model-checker : fix insertion in mc_data_bss_comparion	commit \| commitdiff \| tree \| snapshot
2012-11-18	Marion Guthmuller	model-checker : ignore some variables enabled with...	commit \| commitdiff \| tree \| snapshot
2012-11-18	Marion Guthmuller	model-checker : improve stack ignore in heap comparison...	commit \| commitdiff \| tree \| snapshot
2012-11-18	Marion Guthmuller	model-checker : stateful mode disabled by default	commit \| commitdiff \| tree \| snapshot
2012-11-17	Marion Guthmuller	model-checker : stop independance reduction if same...	commit \| commitdiff \| tree \| snapshot
2012-11-16	Marion Guthmuller	model-checker : ignore new local variable	commit \| commitdiff \| tree \| snapshot
2012-11-16	Marion Guthmuller	model-checker : use XBT_DEBUG instead of XBT_INFO	commit \| commitdiff \| tree \| snapshot
2012-11-16	Marion Guthmuller	model-checker : MC_init() must be called for initial...	commit \| commitdiff \| tree \| snapshot
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
next

Clone of SimGrid repository with local patches

RSS Atom