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

2022-03-09	Martin Quinson	Rename mc::SafetyChecker to mc::DFSExplorer	blob \| commitdiff \| raw
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