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

Algorithmique Numérique Distribuée

Public GIT Repository

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

2023-06-13	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw
2023-06-13	Martin Quinson	Revalidate the MC tesh files after the recent changes...	blob \| commitdiff \| raw \| diff to current
2023-06-13	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-13	mlaurent	Fix test stats according to current dependency relation	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	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	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-18	Martin Quinson	Merge branch 'udpor-phase7' into 'master'	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-04-04	Arnaud Giersch	Regenerate tesh files.	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	MC: disable personality() as it fails on CI and is...	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-13	Fred Suter	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-12	Martin Quinson	Move another function out of ModelChecker	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
2022-11-01	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	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-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
2022-02-11	Martin Quinson	Revalidate the tesh of the mc-bugged1 test, which outpu...	blob \| commitdiff \| raw \| diff to current
2021-02-24	agougeon	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2021-02-10	Martin Quinson	Merge branch 'local changes'	blob \| commitdiff \| raw \| diff to current
2021-02-10	Martin Quinson	mv examples/s4u examples/cpp	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom