AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2022-02-16	Arnaud Giersch	Use bounds checking method array::at().	commit \| commitdiff \| tree \| snapshot
2022-02-16	Arnaud Giersch	Blank lines (codefactor.io).	commit \| commitdiff \| tree \| snapshot
2022-02-16	Arnaud Giersch	Use C++ std::array (sonar).	commit \| commitdiff \| tree \| snapshot
2022-02-16	Arnaud Giersch	One less implicit conversion (sonar).	commit \| commitdiff \| tree \| snapshot
2022-02-16	Arnaud Giersch	Don't mix public and private data members (sonar).	commit \| commitdiff \| tree \| snapshot
2022-02-15	Arnaud Giersch	We want to serialize the pointer, not the pointee!	commit \| commitdiff \| tree \| snapshot
2022-02-15	Arnaud Giersch	Ignore local variables without type in snapshot.	commit \| commitdiff \| tree \| snapshot
2022-02-15	Arnaud Giersch	Kill duplicate function + typos.	commit \| commitdiff \| tree \| snapshot
2022-02-14	Martin Quinson	Reduce code dupplication to please sonar	commit \| commitdiff \| tree \| snapshot
2022-02-14	Arnaud Giersch	Make logger mc_compare a subcategory of mc.	commit \| commitdiff \| tree \| snapshot
2022-02-14	Arnaud Giersch	Revalidate random-bug-nocrash.tesh.	commit \| commitdiff \| tree \| snapshot
2022-02-13	Martin Quinson	Revalidate the tesh output of that test whose reduction...	commit \| commitdiff \| tree \| snapshot
2022-02-13	Martin Quinson	Implement WaitAnyTransition	commit \| commitdiff \| tree \| snapshot
2022-02-13	Martin Quinson	better name	commit \| commitdiff \| tree \| snapshot
2022-02-13	Martin Quinson	Sonar fixes	commit \| commitdiff \| tree \| snapshot
2022-02-13	Martin Quinson	Fix MC builds with gcc12 (and make the serialization...	commit \| commitdiff \| tree \| snapshot
2022-02-12	Martin Quinson	Implement TestAnyTransition	commit \| commitdiff \| tree \| snapshot
2022-02-12	Martin Quinson	Simplify the serialization protocol to implement TestAn...	commit \| commitdiff \| tree \| snapshot
2022-02-12	Martin Quinson	implement CommTestTransition	commit \| commitdiff \| tree \| snapshot
2022-02-12	Martin Quinson	Fix MC gcc builds :(	commit \| commitdiff \| tree \| snapshot
2022-02-12	Augustin Degomme	fix build	commit \| commitdiff \| tree \| snapshot
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
next

Clone of SimGrid repository with local patches

RSS Atom