Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
kill a parameter that is always true
[simgrid.git] / src / mc / transition /
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