AND Public Git Repository - simgrid.git/history - examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / examples / cpp / synchro-mutex / s4u-mc-synchro-mutex.tesh

2023-11-08	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw
2023-11-07	Martin Quinson	Improve the debug messages	blob \| commitdiff \| raw
2023-11-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-11-03	Martin Quinson	Merge branch 'master' into simgrid-fork-changelog-plugins	blob \| commitdiff \| raw \| diff to current
2023-11-02	Martin Quinson	MC: more debug messages	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	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2023-06-22	Martin Quinson	model-check/sleep-set is now true by default	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	Merge branch 'master' of https://framagit.org/simgrid...	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	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-06	mlaurent	Add factorisation for strategy and Use dynamic over...	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-06-05	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Fix stat missorder at the end of DFSexplorer	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-05	Martin Quinson	Merge branch 'rename-operation-task' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-05	Martin Quinson	Merge branch 'odpor-implementation' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-05-30	Maxwell Pirtle	Adjust tesh tests according to changes in deps.	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	Define and use VALGRIND_NO_TRACE_CHILDREN for simgrid...	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-04-05	Arnaud Giersch	Regenerate tesh files (one more time).	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-30	mlaurent	Rename guide as strategy and fix counter-example displa...	blob \| commitdiff \| raw \| diff to current
2023-03-30	mlaurent	Replace state copy with recipe: list of transition...	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-27	mlaurent	Now handle random transition and multiple times transitions	blob \| commitdiff \| raw \| diff to current
2023-03-27	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-26	Martin Quinson	Revert "Revalidate tesh files now that safety checking...	blob \| commitdiff \| raw \| diff to current
2023-03-24	Martin Quinson	Revalidate tesh files now that safety checking is based...	blob \| commitdiff \| raw \| diff to current
2023-03-24	mlaurent	Add copy constructor to state, so we can backtrack...	blob \| commitdiff \| raw \| diff to current
2023-03-22	Martin Quinson	Merge branch 'udpor-phase6' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Move DPOR and sleep set algorithm from backtrack to...	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	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
2023-02-13	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-08	Arnaud Giersch	Cosmetics with spacings around colon (:).	blob \| commitdiff \| raw \| diff to current
2022-10-16	Martin Quinson	Rename the transitions so that asynchronous ones clearl...	blob \| commitdiff \| raw \| diff to current
2022-10-06	Arnaud Giersch	Merge branch 'wifi_clean' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	Merge an initialization function into the constructor	blob \| commitdiff \| raw \| diff to current
2022-03-29	Martin Quinson	Merge branch 'dev-mailbox-clear' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-03-28	Bruno Donassolo	Merge branch 'issue105' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-03-23	Martin Quinson	Revalidate the tesh outputs after cosmetics to the...	blob \| commitdiff \| raw \| diff to current
2022-03-20	Martin Quinson	Don't have an extra actor in s4u-synchro-mutex to creat...	blob \| commitdiff \| raw \| diff to current
2022-03-16	Martin Quinson	Merge branch 'add_barrier_python_bindings' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-03-15	Martin Quinson	Better fix for the mutex IDs modifications in mutex...	blob \| commitdiff \| raw \| diff to current
2022-03-15	Martin Quinson	Revalidate the tesh output of mutex-MC. The mutex IDs...	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-24	Martin Quinson	Test the dependencies of Mutex transitions	blob \| commitdiff \| raw \| diff to current
2022-02-24	Martin Quinson	Add a MC version of the s4u-synchro-mutex test	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom