Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[config] some declare_flag to Flag
[simgrid.git] / src / mc /
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
2022-02-18 Martin QuinsonAdd the MPI tag to the Send/Recv Transitions tree | commitdiff
2022-02-18 Martin QuinsonTry to fix the MC build on 32 bits tree | commitdiff
2022-02-18 Martin QuinsonMC: no need to read the remote request directly tree | commitdiff
2022-02-18 Martin QuinsonCommDet: reimplement on top of transitions. Don't mess... tree | commitdiff
2022-02-18 Martin QuinsonHave the application execute its transition before... tree | commitdiff
2022-02-18 Martin QuinsonAdd getters to the TransitionComm* and TransitionAny* tree | commitdiff
2022-02-18 Martin Quinsonsonar fixes tree | commitdiff
2022-02-18 Arnaud Giersch[experimental] Replace long list of excluded libs with... tree | commitdiff
2022-02-18 Martin QuinsonGive the comm to {Send,Recv}Transition, as CommDet... tree | commitdiff
2022-02-18 Martin QuinsonCommDet: preparatory cosmetics tree | commitdiff
2022-02-18 Martin QuinsonCommDet: inline a function (+cosmetics) tree | commitdiff
2022-02-17 Martin Quinsonmist. (fix gcc MC builds) tree | commitdiff
2022-02-17 Martin QuinsonFurther isolate CommDet in its own file tree | commitdiff
2022-02-17 Martin QuinsonCommDet shall become an extension of the SafetyChecker tree | commitdiff
2022-02-17 Martin Quinsonmake mc::State extendable so that CommDet does not... tree | commitdiff
2022-02-16 Arnaud GierschAdd basic check for failures in deserialization. tree | commitdiff
2022-02-16 Arnaud GierschBlank lines (codefactor.io). tree | commitdiff
2022-02-16 Arnaud GierschUse C++ std::array (sonar). tree | commitdiff
2022-02-15 Arnaud GierschIgnore local variables without type in snapshot. tree | commitdiff
2022-02-15 Arnaud GierschKill duplicate function + typos. tree | commitdiff
2022-02-14 Martin QuinsonReduce code dupplication to please sonar tree | commitdiff
2022-02-14 Arnaud GierschMake logger mc_compare a subcategory of mc. tree | commitdiff
2022-02-13 Martin QuinsonImplement WaitAnyTransition tree | commitdiff
2022-02-13 Martin Quinsonbetter name tree | commitdiff
2022-02-13 Martin QuinsonSonar fixes tree | commitdiff
2022-02-13 Martin QuinsonFix MC builds with gcc12 (and make the serialization... tree | commitdiff
2022-02-12 Martin QuinsonImplement TestAnyTransition tree | commitdiff
2022-02-12 Martin QuinsonSimplify the serialization protocol to implement TestAn... tree | commitdiff
2022-02-12 Martin Quinsonimplement CommTestTransition tree | commitdiff
2022-02-12 Martin QuinsonFix MC gcc builds :( tree | commitdiff
2022-02-12 Augustin Degommefix build tree | commitdiff
2022-02-12 Martin QuinsonMove dot_label() from Observer to Transition (+ some... tree | commitdiff
2022-02-12 Martin QuinsonImprove the final stats reported by SafetyChecker,... tree | commitdiff
2022-02-12 Martin QuinsonFix more sonar things tree | commitdiff
2022-02-12 Martin QuinsonBetter fix for the security warning from sonar: hide... tree | commitdiff
2022-02-12 Martin QuinsonFix the security hotspots of sonar tree | commitdiff
2022-02-11 Martin QuinsonFix the depends of iSend/iRecv vs. WaitComm to fix... tree | commitdiff
2022-02-11 Martin QuinsonImplement the RandomTransition tree | commitdiff
2022-02-11 Martin QuinsonRemove the hostnames from the CommDet patterns: MC... tree | commitdiff
2022-02-11 Martin QuinsonMC: one simplification step tree | commitdiff
2022-02-11 Martin QuinsonMake sure that the last stack element is set when an... tree | commitdiff
2022-02-11 Martin QuinsonNo need to save the observers on the App side now that... tree | commitdiff
next
Clone of SimGrid repository with local patches