Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Disable sthread at the end of the sthread_main
[simgrid.git] / src / mc /
2022-06-28 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2022-06-28 Arnaud GierschSMPI_is_inited() and smpi_enabled() have the same purpo... 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-06-21 Arnaud GierschMerge branch 'dev-cpuimpl-used' into 'master' tree | commitdiff
2022-06-10 Martin QuinsonMC: better encapsulation design tree | commitdiff
2022-06-02 Arnaud GierschAnother batch of pointer-to-const (sonar). 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-12 Arnaud GierschRename variables to avoid shadowed declarations. tree | commitdiff
2022-05-10 Arnaud GierschUpdate generator script to match the current code. tree | commitdiff
2022-05-10 Arnaud GierschConcatenate nested namespaces (sonar). tree | commitdiff
2022-05-10 Arnaud GierschRemove spurious "using" declarations. tree | commitdiff
2022-05-09 Arnaud GierschReplace const reference to std::string by std::string_v... tree | commitdiff
2022-05-06 Arnaud GierschReduce scope for temporary variables. tree | commitdiff
2022-05-06 Arnaud GierschReduce scope for static variables. tree | commitdiff
2022-05-06 Arnaud GierschSlighly improve readbility. tree | commitdiff
2022-05-03 Arnaud GierschKill unused variable. tree | commitdiff
2022-05-03 Arnaud GierschDeclare local variables inside the if statement. tree | commitdiff
2022-05-03 Arnaud GierschMisc code simplifications guided by Sonar smells. tree | commitdiff
2022-04-27 Arnaud GierschUse structured binding declarations (sonar, c++17). tree | commitdiff
2022-04-25 Arnaud GierschReplace is_xxx::value with is_xxx_v (sonar, c++17). tree | commitdiff
2022-03-31 Arnaud GierschDead code elimination. tree | commitdiff
2022-03-30 Martin QuinsonMerge branch 'add_missing_comm_python_bindings' into... tree | commitdiff
2022-03-29 Martin QuinsonMerge branch 'dev-mailbox-clear' into 'master' tree | commitdiff
2022-03-29 Arnaud GierschPropagate const pointer (thx sonar). tree | commitdiff
2022-03-28 Arnaud GierschConst pointer. tree | commitdiff
2022-03-28 Bruno DonassoloMerge branch 'issue105' into 'master' tree | commitdiff
2022-03-25 Arnaud GierschCosmetics: don't talk about ActorIDTrait if it's not... tree | commitdiff
2022-03-25 Arnaud GierschRemove unused member. tree | commitdiff
2022-03-25 Arnaud Giersch[sonar] Don't mix public and private members (mc::State). tree | commitdiff
2022-03-25 Arnaud Giersch[sonar] Don't mix public and private members (mc::Model... tree | commitdiff
2022-03-24 Arnaud GierschMake maxpid a static member of ActorIDTrait. tree | commitdiff
2022-03-23 Martin QuinsonRevalidate the tesh outputs after cosmetics to the... tree | commitdiff
2022-03-23 Martin QuinsonFix the dependency of inter-comm transitions tree | commitdiff
2022-03-22 Martin QuinsonMC: be explicit when reaching an execution end (it... tree | commitdiff
2022-03-22 Martin QuinsonComm transitions are INDEP with non-comm transitions tree | commitdiff
2022-03-22 Arnaud GierschA few Sonar smells. tree | commitdiff
2022-03-20 Martin QuinsonMC: be more cautionous around MC_process_clock, the... tree | commitdiff
2022-03-18 Martin QuinsonSpecify actor in the MC traces tree | commitdiff
2022-03-16 Arnaud GierschKill dead code. tree | commitdiff
2022-03-14 Arnaud GierschUpdate comments. tree | commitdiff
2022-03-14 Arnaud GierschMark smx_actor_t as deprecated. tree | commitdiff
2022-03-13 Martin QuinsonMerge branch 'fix_bindings_mistakenly_set_as_member_fun... tree | commitdiff
2022-03-13 Martin QuinsonKill a useless static function tree | commitdiff
2022-03-13 Martin QuinsonMove the actor lifecycle markers from Context to ActorImpl tree | commitdiff
2022-03-11 Martin QuinsonMerge branch 'add_remaining_comm_sync_bindings' into... tree | commitdiff
2022-03-09 Martin Quinsonfurther simpify the MC initialization on app side tree | commitdiff
2022-03-09 Martin QuinsonSimplify the parameter passing while initializing the... tree | commitdiff
2022-03-09 Martin QuinsonUpdate an outdated comment tree | commitdiff
2022-03-09 Martin QuinsonRename mc::SafetyChecker to mc::DFSExplorer tree | commitdiff
2022-03-09 Martin QuinsonRename mc::CheckerAlgorithm to mc::ExplorationAlgorithm... tree | commitdiff
2022-03-08 Arnaud GierschMove Simcall from namespace simix to kernel::actor. tree | commitdiff
2022-03-08 Arnaud GierschMake Simcall a real class. 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-03-03 Martin QuinsonDisplay a nice error message when ptrace is not usable tree | commitdiff
2022-03-01 Martin QuinsonMerge branch 'dev' into 'master' tree | commitdiff
2022-03-01 Arnaud GierschComplete warning message [ci-skip]. tree | commitdiff
2022-03-01 Arnaud Giersch[mc_dwarf] Another assert turns into warning. tree | commitdiff
2022-03-01 Arnaud GierschKill unused function. tree | commitdiff
2022-03-01 Arnaud Gierschconst++ tree | commitdiff
2022-02-28 Arnaud GierschPass std::function by const reference (sonar). tree | commitdiff
2022-02-28 Arnaud GierschMinor sonar smells, and other cosmetics. tree | commitdiff
2022-02-28 Arnaud GierschPut message handling in its own method (avoid nested... tree | commitdiff
2022-02-28 Arnaud GierschOne less global variable: session_singleton. tree | commitdiff
2022-02-28 Arnaud GierschKill dead code. tree | commitdiff
2022-02-28 Arnaud GierschUseless lower-case alias. tree | commitdiff
2022-02-28 Martin Quinsonkill some bits of mc::api:: tree | commitdiff
2022-02-27 Martin QuinsonRename sg::k::actor::simcall ::actor::simcall_answered tree | commitdiff
2022-02-27 Martin QuinsonMC: after all, checker does not need the list of dead... tree | commitdiff
2022-02-24 Martin QuinsonFix gcc MC builds tree | commitdiff
2022-02-24 Martin QuinsonTest the dependencies of Mutex transitions tree | commitdiff
2022-02-24 Arnaud GierschEnsure that MC session and checker are deleted. tree | commitdiff
2022-02-24 Arnaud GierschUse simpler std::vector. tree | commitdiff
2022-02-24 Arnaud GierschFree xbt_automaton on Api::s_close. tree | commitdiff
2022-02-24 Arnaud GierschFix segfault when exploration trace is empty. tree | commitdiff
2022-02-23 Martin QuinsonMC: Support Mutexes in DPOR tree | commitdiff
2022-02-23 Martin QuinsonMutex do not need a locked_ field. owner_ != null is... tree | commitdiff
2022-02-23 Augustin DegommeMC seems to just work on ARM now. Remove the forced... tree | commitdiff
2022-02-21 Martin QuinsonRename mc::Checker to mc::Exploration as it defines... tree | commitdiff
2022-02-20 Martin QuinsonSonar fixes (const, variable shadowing) tree | commitdiff
2022-02-19 Martin QuinsonThat went ways too far tree | commitdiff
2022-02-19 Martin QuinsonMove another function of mc::api, to Transition tree | commitdiff
2022-02-19 Martin QuinsonKill two more unused functions in mc::api tree | commitdiff
2022-02-19 Martin QuinsonMC: move a check_deadlock from ModelChecker to Session... tree | commitdiff
2022-02-19 Martin Quinsonkill ModelChecker::simcall_is_visible() tree | commitdiff
2022-02-19 Martin QuinsonEmpty a bit mc::api namespace tree | commitdiff
2022-02-19 Martin QuinsonMC: prefer a memleak to a segfault tree | commitdiff
2022-02-19 Martin QuinsonMC: the state does not need to have the simcall anymore tree | commitdiff
2022-02-19 Martin QuinsonCommDet: Fix memory corruption, and plug some memleaks tree | commitdiff
2022-02-19 Martin QuinsonMC: simplification knowing that every visible transitio... tree | commitdiff
2022-02-18 Martin QuinsonSplit TransitionAny and TransitionRandom to their own... tree | commitdiff
2022-02-18 Martin QuinsonRevalidate all SafetyChecker tesh now that the output... tree | commitdiff
2022-02-18 Martin QuinsonMake CommDet a plugin on top of Safety tree | commitdiff
2022-02-18 Martin QuinsonFurther simplifications in CommDet tree | commitdiff
2022-02-18 Martin QuinsonCommDet: detached send should be handled. But how? tree | commitdiff
2022-02-18 Martin QuinsonCommDet: Enforce deterministic pattern even during... tree | commitdiff
2022-02-18 Martin QuinsonCommDet: tiny simplification tree | commitdiff
next
Clone of SimGrid repository with local patches