Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'udpor-phase6' into 'master'
[simgrid.git] / src / mc / transition /
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master' tree | commitdiff
2023-03-19 Martin QuinsonFinally kill the now empty ModelChecker class tree | commitdiff
2023-03-19 Martin Quinsonanother mc_model_checker call location disappears tree | commitdiff
2023-03-17 Martin QuinsonMove handle_simcall from ModelChecker to RemoteApp tree | commitdiff
2023-03-13 Fred SuterMerge branch 'master' into 'master' tree | commitdiff
2023-03-12 Martin Quinsonmove wait_for_requests() from ModelChecker to RemoteApp tree | commitdiff
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master' tree | commitdiff
2023-03-08 Martin QuinsonMerge branch 'udpor-phase4' into 'master' tree | commitdiff
2023-03-06 Martin QuinsonFix clang build and make output more portable/predictible tree | commitdiff
2023-03-06 Martin Quinsonsthread: Add a way to verify accesses to non-reentrant... tree | commitdiff
2023-02-26 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-22 mlaurenttransitions in the same actor are dependent tree | commitdiff
2023-02-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-08 Arnaud GierschCosmetics with spacings around colon (:). tree | commitdiff
2023-01-01 Arnaud GierschUpdate copyright lines for 2023. tree | commitdiff
2022-11-06 Martin Quinsonsetter function only need a simcall in MC or with paral... tree | commitdiff
2022-11-04 Martin QuinsonReduce the amount of header files loading xbt/string.hpp tree | commitdiff
2022-10-16 Martin QuinsonRename the transitions so that asynchronous ones clearl... tree | commitdiff
2022-10-16 Martin QuinsonImplement pthread_join in MC mode for sthread tree | commitdiff
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master' tree | commitdiff
2022-08-02 Martin QuinsonRename mc::Session into mc::api::RemoteApp tree | commitdiff
2022-06-27 Arnaud GierschMerge branch 's4u_enforce' into 'master' tree | commitdiff
2022-06-24 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2022-06-23 Arnaud GierschMissing include (for uintptr_t). tree | commitdiff
2022-05-30 Arnaud GierschMerge selected changes from branch 'simgrid-Jesse-McDon... tree | commitdiff
2022-05-24 Arnaud GierschSonar issues. tree | commitdiff
2022-05-10 Arnaud GierschConcatenate nested namespaces (sonar). tree | commitdiff
2022-05-03 Arnaud GierschDeclare local variables inside the if statement. tree | commitdiff
2022-03-29 Martin QuinsonMerge branch 'dev-mailbox-clear' into 'master' tree | commitdiff
2022-03-28 Bruno DonassoloMerge branch 'issue105' into 'master' tree | commitdiff
2022-03-23 Martin QuinsonFix the dependency of inter-comm transitions tree | commitdiff
2022-03-22 Martin QuinsonComm transitions are INDEP with non-comm transitions tree | commitdiff
2022-03-18 Martin QuinsonSpecify actor in the MC traces tree | commitdiff
2022-03-04 Martin QuinsonReimplement s4u::Barrier natively, and make them visibl... tree | commitdiff
2022-03-03 Martin QuinsonSemaphore made observable from the Checker side tree | commitdiff
2022-02-28 Arnaud GierschMinor sonar smells, and other cosmetics. tree | commitdiff
2022-02-24 Martin QuinsonTest the dependencies of Mutex transitions tree | commitdiff
2022-02-23 Martin QuinsonMC: Support Mutexes in DPOR tree | commitdiff
2022-02-19 Martin QuinsonMove another function of mc::api, to Transition tree | commitdiff
2022-02-18 Martin QuinsonSplit TransitionAny and TransitionRandom to their own... tree | commitdiff
Clone of SimGrid repository with local patches