AND Public Git Repository - simgrid.git/history - src/mc/transition/TransitionComm.cpp

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / transition / TransitionComm.cpp

2023-11-21	Martin Quinson	Various sonar cleanups	blob \| commitdiff \| raw
2023-11-15	Martin Quinson	Merge branch 'battery-get-name' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-11-13	Martin Quinson	MC: move the reversible_race logic to the Transition...	blob \| commitdiff \| raw \| diff to current
2023-07-02	Martin Quinson	Fix a MC serialization bug around WaitAny	blob \| commitdiff \| raw \| diff to current
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	Show the user-level call in MC backtraces	blob \| commitdiff \| raw \| diff to current
2023-06-29	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-29	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	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-20	Fred Suter	Merge branch 'master' into 'task-token'	blob \| commitdiff \| raw \| diff to current
2023-06-16	Arnaud Giersch	Merge branch 'fix-wakeup-tree-iterator' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-16	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-15	Martin Quinson	Do not consider the memory addresses in MC depends...	blob \| commitdiff \| raw \| diff to current
2023-06-15	Martin Quinson	MC: Give an ID to comms to not use their pointer value...	blob \| commitdiff \| raw \| diff to current
2023-06-15	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-14	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	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	Merge branch 'master' of https://framagit.org/simgrid...	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	Add function call and full location in checker-side...	blob \| commitdiff \| raw \| diff to current
2023-06-09	Martin Quinson	Merge branch 'udpor-phase8' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-09	Maxwell Pirtle	Add events with implicit bottom event	blob \| commitdiff \| raw \| diff to current
2023-06-09	Maxwell Pirtle	Add ex(C) computation for mutex lock/unlock	blob \| commitdiff \| raw \| diff to current
2023-06-09	Maxwell Pirtle	Add "working" UDPOR on small examples with CommWait...	blob \| commitdiff \| raw \| diff to current
2023-06-09	Maxwell Pirtle	Add ex(C) example with a small program	blob \| commitdiff \| raw \| diff to current
2023-06-09	Maxwell Pirtle	Add preliminary basic tests for ex(C) computation	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-06	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-06	Arnaud Giersch	Clang-tidy: readability-qualified-auto.	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	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	Mark transitions run by the same actor as dependent	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Fix non-MC builds when MC-only dependencies are missing	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Compile the safe part of MC in default mode too	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-24	Arnaud Giersch	Delete redundant blank lines at the start of a code...	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-20	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Finally kill the now empty ModelChecker class	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-01-01	Arnaud Giersch	Update copyright lines for 2023.	blob \| commitdiff \| raw \| diff to current
2022-11-04	Martin Quinson	Reduce the amount of header files loading xbt/string.hpp	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	Rename mc::Session into mc::api::RemoteApp	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	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	Fix the dependency of inter-comm transitions	blob \| commitdiff \| raw \| diff to current
2022-03-22	Martin Quinson	Comm transitions are INDEP with non-comm transitions	blob \| commitdiff \| raw \| diff to current
2022-03-18	Martin Quinson	Specify actor in the MC traces	blob \| commitdiff \| raw \| diff to current
2022-02-18	Martin Quinson	Split TransitionAny and TransitionRandom to their own...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom