AND Public Git Repository - simgrid.git/history - examples/smpi/mc/only_send

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / examples / smpi / mc / only_send_deterministic.tesh

2022-03-09	Martin Quinson	Rename mc::SafetyChecker to mc::DFSExplorer	blob \| commitdiff \| raw
2022-02-18	Martin Quinson	Revalidate all SafetyChecker tesh now that the output...	blob \| commitdiff \| raw \| diff to current
2022-02-18	Martin Quinson	Make CommDet a plugin on top of Safety	blob \| commitdiff \| raw \| diff to current
2022-02-18	Martin Quinson	CommDet: reimplement on top of transitions. Don't mess...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-stoprofiles'	blob \| commitdiff \| raw \| diff to current
2020-09-30	Martin Quinson	Merge branch 'adrien' into 'master'	blob \| commitdiff \| raw \| diff to current
2020-09-30	Martin Quinson	Merge branch 'master' into adrien	blob \| commitdiff \| raw \| diff to current
2020-09-26	Martin Quinson	Merge branch 'master' of framagit.org:Adrien.Gougeon...	blob \| commitdiff \| raw \| diff to current
2020-06-11	Martin Quinson	Finish converting the way we use cfg=smpi/host-speed...	blob \| commitdiff \| raw \| diff to current
2019-10-07	Frederic Suter	Merge branch 'master' into CRTP	blob \| commitdiff \| raw \| diff to current
2019-08-18	Martin Quinson	These tests really need zero buffering	blob \| commitdiff \| raw \| diff to current
2019-07-16	Arnaud Giersch	Cosmetics.	blob \| commitdiff \| raw \| diff to current
2018-10-11	jed56 ( Jean-Emile...	Merge branch 'master' into v3.20-expose-simgrid-jni	blob \| commitdiff \| raw \| diff to current
2018-09-17	Martin Quinson	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2018-09-17	Martin Quinson	Rename cluster.xml to cluster_backbone.xml	blob \| commitdiff \| raw \| diff to current
2018-02-01	Millian Poquet	[#!] #! ./tesh -> #!/usr/bin/env tesh	blob \| commitdiff \| raw \| diff to current
2017-11-27	Tom Cornebize	Merge branch 'master' into fix/execute_benched	blob \| commitdiff \| raw \| diff to current
2017-07-24	Martin Quinson	Merge pull request #202 from Takishipp/clear_fct	blob \| commitdiff \| raw \| diff to current
2017-07-20	Arnaud Giersch	Use actual names for configuration options (kebab-case...	blob \| commitdiff \| raw \| diff to current
2016-11-30	Millian Poquet	Merge branch 'master' of https://github.com/mpoquet...	blob \| commitdiff \| raw \| diff to current
2016-08-29	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-08-29	Martin Quinson	smpi/running-power is renamed to smpi/host-speed	blob \| commitdiff \| raw \| diff to current
2016-04-26	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-25	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-25	Martin Quinson	kebab-case some smpi options	blob \| commitdiff \| raw \| diff to current
2016-04-14	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-13	Gabriel Corona	[mc] Delegate some part of Session::logState() to Check...	blob \| commitdiff \| raw \| diff to current
2016-04-13	Gabriel Corona	[mc] Move MC_print_statistics() as Session::logState()	blob \| commitdiff \| raw \| diff to current
2016-02-24	Fabien Chaix	Merge branch 'oldstyle_element_set'	blob \| commitdiff \| raw \| diff to current
2016-02-23	fabienchaix	Merge pull request #2 from mquinson/master	blob \| commitdiff \| raw \| diff to current
2016-02-20	Martin Quinson	Merge branch 'coverity_scan' of github.com:mquinson...	blob \| commitdiff \| raw \| diff to current
2016-02-06	Martin Quinson	Merge pull request #59 from fabienchaix/master	blob \| commitdiff \| raw \| diff to current
2016-02-03	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-02-02	Christian Heinrich	[SMPI] Renamed option send_is_detached_thres to send_is...	blob \| commitdiff \| raw \| diff to current
2015-10-13	Martin Quinson	Merge branch 'S4U'	blob \| commitdiff \| raw \| diff to current
2015-09-01	Gabriel Corona	[mc] Remove the --cfg=model-check:1 flag	blob \| commitdiff \| raw \| diff to current
2015-08-27	Martin Quinson	Merge branch 'master' into S4U	blob \| commitdiff \| raw \| diff to current
2015-08-27	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-08-27	Gabriel Corona	[smpi] Avoid locking the mutex when it's not needed	blob \| commitdiff \| raw \| diff to current
2015-07-14	Martin Quinson	Merge pull request #17 from mpoquet/master	blob \| commitdiff \| raw \| diff to current
2015-07-10	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-07-10	Martin Quinson	do not output a user unfriendly line	blob \| commitdiff \| raw \| diff to current
2015-07-10	Martin Quinson	MASSIVE cleanup: s/workstation/host/	blob \| commitdiff \| raw \| diff to current
2015-05-19	Adrien Lebre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2015-04-27	Gabriel Corona	Merge branch 'master' into mc	blob \| commitdiff \| raw \| diff to current
2015-04-17	Gabriel Corona	[mc] Remove standalone mode and remove MC_do_the_modelc...	blob \| commitdiff \| raw \| diff to current
2015-04-14	Gabriel Corona	Merge branch 'master' into mc-process	blob \| commitdiff \| raw \| diff to current
2015-04-14	Gabriel Corona	Merge branch 'master' into mc-process	blob \| commitdiff \| raw \| diff to current
2015-04-14	Gabriel Corona	[mc] Fix comm_determinism to work in split MCer/MCed	blob \| commitdiff \| raw \| diff to current
2015-03-10	Gabriel Corona	Merge branch 'master' into mc-process	blob \| commitdiff \| raw \| diff to current
2015-02-26	Marion Guthmuller	model-checker : MUTEX_UNLOCK is invisible for MC	blob \| commitdiff \| raw \| diff to current
2015-02-25	Marion Guthmuller	model-checker : really (?) fix SIMCALL_MUTEX_LOCK and...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom