AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

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
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
next

Clone of SimGrid repository with local patches

RSS Atom