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

Algorithmique Numérique Distribuée

Public GIT Repository

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

2023-10-17	Augustin Degomme	SMPI - delay allocation of mailboxes to save some memor...	blob \| commitdiff \| raw
2023-07-01	Martin Quinson	Don't send sbuff and rbuff to the MC checker	blob \| commitdiff \| raw \| diff to current
2023-06-29	Martin Quinson	Fix MC builds	blob \| commitdiff \| raw \| diff to current
2023-06-28	Martin Quinson	Merge branch 'master' into 'python_bindings_host_load_p...	blob \| commitdiff \| raw \| diff to current
2023-06-27	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-22	Martin Quinson	Fix MC builds	blob \| commitdiff \| raw \| diff to current
2023-06-07	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-07	mlaurent	Fix CI tests	blob \| commitdiff \| raw \| diff to current
2023-06-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-07	Arnaud Giersch	Buffers should not be considered by CommWaitTransition...	blob \| commitdiff \| raw \| diff to current
2023-06-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-06	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-06	mlaurent	Fix stat order for CI tests	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/mwapl...	blob \| commitdiff \| raw \| diff to current
2023-04-26	Martin Quinson	Merge branch 'operation-plugin' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-04-18	Martin Quinson	Merge branch 'udpor-phase7' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-04-15	Martin Quinson	Make sure that we never have a 0 transition at the...	blob \| commitdiff \| raw \| diff to current
2023-04-07	Arnaud Giersch	Add $VALGRIND_NO_LEAK_CHECK in tesh files when simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-30	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-28	mlaurent	Change opened states for a priority queue	blob \| commitdiff \| raw \| diff to current
2023-03-05	Martin Quinson	Merge branch 'maximal-subset-search' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-02	Arnaud Giersch	Help to identify null values.	blob \| commitdiff \| raw \| diff to current
2023-02-26	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-02-24	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-22	mlaurent	transitions in the same actor are dependent	blob \| commitdiff \| raw \| diff to current
2023-02-22	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-22	mlaurent	fix a few test with dpor	blob \| commitdiff \| raw \| diff to current
2022-11-01	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2022-11-01	Martin Quinson	Display the mailbox name when showing a deadlocking...	blob \| commitdiff \| raw \| diff to current
2022-11-01	Martin Quinson	MC: display the status of all actors in case of deadlock	blob \| commitdiff \| raw \| diff to current
2022-11-01	Martin Quinson	MC: tell the user about how to use the replay path...	blob \| commitdiff \| raw \| diff to current
2022-03-11	Martin Quinson	Merge branch 'add_remaining_comm_sync_bindings' into...	blob \| commitdiff \| raw \| diff to current
2022-03-09	Martin Quinson	Rename mc::SafetyChecker to mc::DFSExplorer	blob \| commitdiff \| raw \| diff to current
2022-02-19	Martin Quinson	MC: move a check_deadlock from ModelChecker to Session...	blob \| commitdiff \| raw \| diff to current
2022-02-18	Martin Quinson	Revalidate all SafetyChecker tesh now that the output...	blob \| commitdiff \| raw \| diff to current
2022-02-12	Martin Quinson	Improve the final stats reported by SafetyChecker,...	blob \| commitdiff \| raw \| diff to current
2021-05-04	Arnaud Giersch	Put stdout in line buffer mode for MCed apps.	blob \| commitdiff \| raw \| diff to current
2021-05-04	Martin Quinson	Fix tesh file now that MC flushes the output on backtrack	blob \| commitdiff \| raw \| diff to current
2019-10-07	Frederic Suter	Merge branch 'master' into CRTP	blob \| commitdiff \| raw \| diff to current
2019-08-31	Gene Cooperman	Spelling fixes & a few cases of polishing the English...	blob \| commitdiff \| raw \| diff to current
2019-08-17	Martin Quinson	add a test of MC detecting blocking send/send patterns	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom