AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2022-02-18	Martin Quinson	Make CommDet a plugin on top of Safety	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	Further simplifications in CommDet	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	CommDet: detached send should be handled. But how?	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	CommDet: Enforce deterministic pattern even during...	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	CommDet: tiny simplification	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	Add the MPI tag to the Send/Recv Transitions	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	Try to fix the MC build on 32 bits	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	Document the fact that MC big bang occured	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	MC: no need to read the remote request directly	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	CommDet: reimplement on top of transitions. Don't mess...	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	Have the application execute its transition before...	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	Add getters to the TransitionComm* and TransitionAny*	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	sonar fixes	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	Give the comm to {Send,Recv}Transition, as CommDet...	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	CommDet: preparatory cosmetics	commit \| commitdiff \| tree
2022-02-18	Martin Quinson	CommDet: inline a function (+cosmetics)	commit \| commitdiff \| tree
2022-02-17	Martin Quinson	mist. (fix gcc MC builds)	commit \| commitdiff \| tree
2022-02-17	Martin Quinson	Further isolate CommDet in its own file	commit \| commitdiff \| tree
2022-02-17	Martin Quinson	CommDet shall become an extension of the SafetyChecker	commit \| commitdiff \| tree
2022-02-17	Martin Quinson	make mc::State extendable so that CommDet does not...	commit \| commitdiff \| tree
2022-02-14	Martin Quinson	Reduce code dupplication to please sonar	commit \| commitdiff \| tree
2022-02-13	Martin Quinson	Revalidate the tesh output of that test whose reduction...	commit \| commitdiff \| tree
2022-02-13	Martin Quinson	Implement WaitAnyTransition	commit \| commitdiff \| tree
2022-02-13	Martin Quinson	better name	commit \| commitdiff \| tree
2022-02-13	Martin Quinson	Sonar fixes	commit \| commitdiff \| tree
2022-02-13	Martin Quinson	Fix MC builds with gcc12 (and make the serialization...	commit \| commitdiff \| tree
2022-02-12	Martin Quinson	Implement TestAnyTransition	commit \| commitdiff \| tree
2022-02-12	Martin Quinson	Simplify the serialization protocol to implement TestAny...	commit \| commitdiff \| tree
2022-02-12	Martin Quinson	implement CommTestTransition	commit \| commitdiff \| tree
2022-02-12	Martin Quinson	Fix MC gcc builds :(	commit \| commitdiff \| tree
2022-02-12	Martin Quinson	Move dot_label() from Observer to Transition (+ some...	commit \| commitdiff \| tree
2022-02-12	Martin Quinson	SimcallObservers don't need to be cloned anymore	commit \| commitdiff \| tree
2022-02-12	Martin Quinson	Improve the final stats reported by SafetyChecker,...	commit \| commitdiff \| tree
2022-02-12	Martin Quinson	Fix more sonar things	commit \| commitdiff \| tree
2022-02-12	Martin Quinson	Better fix for the security warning from sonar: hide...	commit \| commitdiff \| tree
2022-02-12	Martin Quinson	Fix the security hotspots of sonar	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Revalidate the tesh of some working MC tests	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Revalidate the tesh of the mc-bugged1 test, which output...	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Fix the depends of iSend/iRecv vs. WaitComm to fix...	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	CommWaitTransition mailbox is now valid	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Implement the RandomTransition	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Remove the hostnames from the CommDet patterns: MC...	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	MC: one simplification step	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Make sure that the last stack element is set when an...	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	No need to save the observers on the App side now that...	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Inline another stupid function	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Objectification of mc::RecordTrace	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Stop copying transitions around since that would shorten...	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Inline another useless function in MC and a define...	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Start moving classes into the mc/api directory	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Inline a function of mc::api	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	fix MC despite clang-format sorting the headers alphabetical...	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Fix builds with/without MC and with/without clang ...	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Prepare to debug the depends	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	MC does not need the exact value of the timeout, only...	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	don't use char* for pointers that shall be serialized...	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Pass the depends() from the observer to the mc::Transition...	commit \| commitdiff \| tree
2022-02-11	Martin Quinson	Big bang in MC: app's observers are serialized, to...	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	Fast path: don't check the dependency between null...	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	Unify the way we count expended states between checkers	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	Define and use a Transition::to_cstring()	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	Move Transition::execute() to State::execute_next()	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	Make State::transition_ private	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	Move the selection of the next transition to execute...	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	Make Liveness and CommDet more similar to Safety	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	MC: inline a function	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	Automatize the computation of executed_transitions_	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	Move request_execute and request_to_string from api...	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	Kill a now unused parameter	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	MC: Trade less use of executed_req for more network...	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	MC: simplification: this function shall return a boolean	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	Let's use bool for booleans	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	MC: Inline and simplify a function	commit \| commitdiff \| tree
2022-02-07	Martin Quinson	MC: kill an unused function	commit \| commitdiff \| tree
2022-02-06	Martin Quinson	nardin clang (fix clang MC builds)	commit \| commitdiff \| tree
2022-02-06	Martin Quinson	MC: rely less on executed_req_ and more on observers	commit \| commitdiff \| tree
2022-02-05	Martin Quinson	What about not testing the dependencies of transitions...	commit \| commitdiff \| tree
2022-02-05	Martin Quinson	MC: Kill now unused fields	commit \| commitdiff \| tree
2022-02-05	Martin Quinson	Don't compute the dependencies locally in the checker...	commit \| commitdiff \| tree
2022-02-05	Martin Quinson	MC: isend/irecv are not blocking	commit \| commitdiff \| tree
2022-02-05	Martin Quinson	MC: do not segfault when the logs are activated	commit \| commitdiff \| tree
2022-02-04	Martin Quinson	convert more isend/irecv locations to the new simcalls...	commit \| commitdiff \| tree
2022-02-03	Martin Quinson	specify in the COPYING file that we are LGPL-v2.1-only	commit \| commitdiff \| tree
2022-02-03	Martin Quinson	preshot sonar (dead code; equality test between double)	commit \| commitdiff \| tree
2022-02-03	Martin Quinson	Merge branch 'wifi_rate_zero' into 'master'	commit \| commitdiff \| tree
2022-02-02	Martin Quinson	Exclude an oversized python notebook file from the...	commit \| commitdiff \| tree
2022-02-02	Martin Quinson	activity-lifecycle: Factorize some code	commit \| commitdiff \| tree
2022-02-02	Martin Quinson	Make it clear in output that the direct comms are sendto...	commit \| commitdiff \| tree
2022-02-01	Martin Quinson	this file is too deep to allow XBT_INFO, so keep with...	commit \| commitdiff \| tree
2022-02-01	Martin Quinson	More verbose on an error experienced on aarch64-darwin...	commit \| commitdiff \| tree
2022-02-01	Martin Quinson	doc: explain how to install stuff in a docker that...	commit \| commitdiff \| tree
2022-01-31	Martin Quinson	CMake does not want versions < 2.8.12 of itself	commit \| commitdiff \| tree
2022-01-31	Martin Quinson	docker: push all tags	commit \| commitdiff \| tree
2022-01-31	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	commit \| commitdiff \| tree
2022-01-31	Martin Quinson	Start a new dev cycle for v3.31	commit \| commitdiff \| tree
2022-01-30	Martin Quinson	bummer	commit \| commitdiff \| tree
2022-01-30	Martin Quinson	Build the S4U tuto on top of the stable image again	commit \| commitdiff \| tree
2022-01-30	Martin Quinson	Rework the gh action to build the stable dockers	commit \| commitdiff \| tree
2022-01-30	Martin Quinson	Release v3.30 (Sunday Bloody Sunday)	commit \| commitdiff \| tree
2022-01-30	Martin Quinson	Make sure that min<max in MC_random	commit \| commitdiff \| tree
next

Clone of SimGrid repository with local patches

RSS Atom