AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2022-02-12	Martin Quinson	Move dot_label() from Observer to Transition (+ some...	commit \| commitdiff \| tree \| snapshot
2022-02-12	Martin Quinson	SimcallObservers don't need to be cloned anymore	commit \| commitdiff \| tree \| snapshot
2022-02-12	Martin Quinson	Improve the final stats reported by SafetyChecker,...	commit \| commitdiff \| tree \| snapshot
2022-02-12	Martin Quinson	Fix more sonar things	commit \| commitdiff \| tree \| snapshot
2022-02-12	Martin Quinson	Better fix for the security warning from sonar: hide...	commit \| commitdiff \| tree \| snapshot
2022-02-12	Martin Quinson	Fix the security hotspots of sonar	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Revalidate the tesh of some working MC tests	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Revalidate the tesh of the mc-bugged1 test, which outpu...	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Fix the depends of iSend/iRecv vs. WaitComm to fix...	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	CommWaitTransition mailbox is now valid	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Implement the RandomTransition	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Remove the hostnames from the CommDet patterns: MC...	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	MC: one simplification step	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Make sure that the last stack element is set when an...	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	No need to save the observers on the App side now that...	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Inline another stupid function	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Objectification of mc::RecordTrace	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Stop copying transitions around since that would shorte...	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Inline another useless function in MC and a define...	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Start moving classes into the mc/api directory	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Inline a function of mc::api	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	fix MC despite clang-format sorting the headers alphabe...	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Fix builds with/without MC and with/without clang ...	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Prepare to debug the depends	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	MC does not need the exact value of the timeout, only...	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	don't use char* for pointers that shall be serialized...	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Pass the depends() from the observer to the mc::Transit...	commit \| commitdiff \| tree \| snapshot
2022-02-11	Martin Quinson	Big bang in MC: app's observers are serialized, to...	commit \| commitdiff \| tree \| snapshot
2022-02-10	Arnaud Giersch	[pvs] Try to fix exclusions for parserPromela.tab.cacc.	commit \| commitdiff \| tree \| snapshot
2022-02-10	Arnaud Giersch	[pvs] Don't let members uninitialized.	commit \| commitdiff \| tree \| snapshot
2022-02-10	Arnaud Giersch	Another pointer-to-const.	commit \| commitdiff \| tree \| snapshot
2022-02-09	Arnaud Giersch	pointer2const4sonar	commit \| commitdiff \| tree \| snapshot
2022-02-09	Arnaud Giersch	Forward all the parameters to the observer.	commit \| commitdiff \| tree \| snapshot
2022-02-08	Arnaud Giersch	Fix memory leak with ns3 routing tables.	commit \| commitdiff \| tree \| snapshot
2022-02-08	Arnaud Giersch	Leak--.	commit \| commitdiff \| tree \| snapshot
2022-02-08	Arnaud Giersch	Avoid shadowed declarations.	commit \| commitdiff \| tree \| snapshot
2022-02-08	Arnaud Giersch	Kill useless call to get_init().	commit \| commitdiff \| tree \| snapshot
2022-02-08	Arnaud Giersch	Update .mailmap [ci-skip].	commit \| commitdiff \| tree \| snapshot
2022-02-08	Arnaud Giersch	Reduce scope for variables.	commit \| commitdiff \| tree \| snapshot
2022-02-08	SUTER Frederic	simplify calls to CommImpl::isend and CommImpl::irecv	commit \| commitdiff \| tree \| snapshot
2022-02-08	SUTER Frederic	[sonar] constify	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	Fast path: don't check the dependency between null...	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	Unify the way we count expended states between checkers	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	Define and use a Transition::to_cstring()	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	Move Transition::execute() to State::execute_next()	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	Make State::transition_ private	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	Move the selection of the next transition to execute...	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	Make Liveness and CommDet more similar to Safety	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	MC: inline a function	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	Automatize the computation of executed_transitions_	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	Move request_execute and request_to_string from api...	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	Kill a now unused parameter	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	MC: Trade less use of executed_req for more network...	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	MC: simplification: this function shall return a boolean	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	Let's use bool for booleans	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	MC: Inline and simplify a function	commit \| commitdiff \| tree \| snapshot
2022-02-07	Martin Quinson	MC: kill an unused function	commit \| commitdiff \| tree \| snapshot
2022-02-07	Arnaud Giersch	Fix error 404 for grey.png with recent jenkins [ci...	commit \| commitdiff \| tree \| snapshot
2022-02-06	SUTER Frederic	enforce simcall order as before to check dependencies...	commit \| commitdiff \| tree \| snapshot
2022-02-06	SUTER Frederic	fix isend/irecv to string	commit \| commitdiff \| tree \| snapshot
2022-02-06	SUTER Frederic	test and testany are non blocking simcalls	commit \| commitdiff \| tree \| snapshot
2022-02-06	SUTER Frederic	kill unused function	commit \| commitdiff \| tree \| snapshot
2022-02-06	Martin Quinson	nardin clang (fix clang MC builds)	commit \| commitdiff \| tree \| snapshot
2022-02-06	Martin Quinson	MC: rely less on executed_req_ and more on observers	commit \| commitdiff \| tree \| snapshot
2022-02-05	Martin Quinson	What about not testing the dependencies of transitions...	commit \| commitdiff \| tree \| snapshot
2022-02-05	Martin Quinson	MC: Kill now unused fields	commit \| commitdiff \| tree \| snapshot
2022-02-05	Martin Quinson	Don't compute the dependencies locally in the checker...	commit \| commitdiff \| tree \| snapshot
2022-02-05	SUTER Frederic	back to normal ... keep progressing towards modern...	commit \| commitdiff \| tree \| snapshot
2022-02-05	Martin Quinson	MC: isend/irecv are not blocking	commit \| commitdiff \| tree \| snapshot
2022-02-05	Martin Quinson	MC: do not segfault when the logs are activated	commit \| commitdiff \| tree \| snapshot
2022-02-04	Martin Quinson	convert more isend/irecv locations to the new simcalls...	commit \| commitdiff \| tree \| snapshot
2022-02-04	SUTER Frederic	oopsie	commit \| commitdiff \| tree \| snapshot
2022-02-04	SUTER Frederic	continue to mess with MC	commit \| commitdiff \| tree \| snapshot
2022-02-04	SUTER Frederic	stay with double for payload size (fix 32bit issues?	commit \| commitdiff \| tree \| snapshot
2022-02-03	Martin Quinson	specify in the COPYING file that we are LGPL-v2.1-only	commit \| commitdiff \| tree \| snapshot
2022-02-03	Martin Quinson	preshot sonar (dead code; equality test between double)	commit \| commitdiff \| tree \| snapshot
2022-02-03	SUTER Frederic	remove old simcall_comm_test and simcall_comm_testany	commit \| commitdiff \| tree \| snapshot
2022-02-03	SUTER Frederic	simcall translation is now useless	commit \| commitdiff \| tree \| snapshot
2022-02-03	Martin Quinson	Merge branch 'wifi_rate_zero' into 'master'	commit \| commitdiff \| tree \| snapshot
2022-02-03	SUTER Frederic	let SMPI use old simcalls for now	commit \| commitdiff \| tree \| snapshot
2022-02-03	SUTER Frederic	make isend and irecv observable (except for irecv in...	commit \| commitdiff \| tree \| snapshot
2022-02-03	SUTER Frederic	draft CommI{send,recv}Observer	commit \| commitdiff \| tree \| snapshot
2022-02-03	SUTER Frederic	move the code of isend and irecv out of the handler...	commit \| commitdiff \| tree \| snapshot
2022-02-03	Arnaud Giersch	Update references to the mailing list.	commit \| commitdiff \| tree \| snapshot
2022-02-03	Arnaud Giersch	Merge branch 'stable'	commit \| commitdiff \| tree \| snapshot
2022-02-03	Augustin Degomme	add a word in the doc about deploying multiple processe...	commit \| commitdiff \| tree \| snapshot
2022-02-03	Augustin Degomme	update changelog	commit \| commitdiff \| tree \| snapshot
2022-02-02	Martin Quinson	Exclude an oversized python notebook file from the...	commit \| commitdiff \| tree \| snapshot
2022-02-02	SUTER Frederic	add missing override keywords	commit \| commitdiff \| tree \| snapshot
2022-02-02	SUTER Frederic	more progress in simcalls modernization and MC cleanup	commit \| commitdiff \| tree \| snapshot
2022-02-02	SUTER Frederic	mark some old simcalls as deprecated (test, test_any...	commit \| commitdiff \| tree \| snapshot
2022-02-02	SUTER Frederic	take two on prepare() for Waitany and Testany observers	commit \| commitdiff \| tree \| snapshot
2022-02-02	Clément Courageux...	zero wifi rate	commit \| commitdiff \| tree \| snapshot
2022-02-02	SUTER Frederic	better handling of ActivityImpl::wait_for with dying...	commit \| commitdiff \| tree \| snapshot
2022-02-02	SUTER Frederic	add prepare() to some observers	commit \| commitdiff \| tree \| snapshot
2022-02-02	Martin Quinson	activity-lifecycle: Factorize some code	commit \| commitdiff \| tree \| snapshot
2022-02-02	Martin Quinson	Make it clear in output that the direct comms are sendt...	commit \| commitdiff \| tree \| snapshot
2022-02-01	Martin Quinson	this file is too deep to allow XBT_INFO, so keep with...	commit \| commitdiff \| tree \| snapshot
2022-02-01	Martin Quinson	More verbose on an error experienced on aarch64-darwin...	commit \| commitdiff \| tree \| snapshot
2022-02-01	Martin Quinson	doc: explain how to install stuff in a docker that...	commit \| commitdiff \| tree \| snapshot
next

Clone of SimGrid repository with local patches

RSS Atom