Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add new entry in Release_Notes.
[simgrid.git] / src / mc / checker /
2022-02-21 Martin QuinsonRename mc::Checker to mc::Exploration as it defines... 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 QuinsonMC: move a check_deadlock from ModelChecker to Session... 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 QuinsonCommDet: Fix memory corruption, and plug some memleaks 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 QuinsonCommDet: reimplement on top of transitions. Don't mess... tree | commitdiff
2022-02-18 Martin Quinsonsonar fixes 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 GierschBlank lines (codefactor.io). tree | commitdiff
2022-02-13 Martin QuinsonImplement WaitAnyTransition tree | commitdiff
2022-02-13 Martin QuinsonSonar fixes tree | commitdiff
2022-02-12 Martin QuinsonImplement TestAnyTransition 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-11 Martin QuinsonRemove the hostnames from the CommDet patterns: MC... tree | commitdiff
2022-02-11 Martin QuinsonMake sure that the last stack element is set when an... tree | commitdiff
2022-02-11 Martin QuinsonInline another stupid function tree | commitdiff
2022-02-11 Martin QuinsonStop copying transitions around since that would shorte... tree | commitdiff
2022-02-11 Martin QuinsonStart moving classes into the mc/api directory tree | commitdiff
2022-02-11 Martin QuinsonInline a function of mc::api tree | commitdiff
2022-02-11 Martin QuinsonPrepare to debug the depends tree | commitdiff
2022-02-11 Martin QuinsonBig bang in MC: app's observers are serialized, to... tree | commitdiff
2022-02-07 Martin QuinsonUnify the way we count expended states between checkers tree | commitdiff
2022-02-07 Martin QuinsonDefine and use a Transition::to_cstring() tree | commitdiff
2022-02-07 Martin QuinsonMove Transition::execute() to State::execute_next() tree | commitdiff
2022-02-07 Martin QuinsonMake State::transition_ private tree | commitdiff
2022-02-07 Martin QuinsonMove the selection of the next transition to execute... tree | commitdiff
2022-02-07 Martin QuinsonMake Liveness and CommDet more similar to Safety tree | commitdiff
2022-02-07 Martin QuinsonAutomatize the computation of executed_transitions_ tree | commitdiff
2022-02-07 Martin QuinsonMove request_execute and request_to_string from api... tree | commitdiff
2022-02-07 Martin QuinsonKill a now unused parameter tree | commitdiff
2022-02-07 Martin QuinsonMC: Trade less use of executed_req for more network... tree | commitdiff
2022-02-07 Martin QuinsonMC: simplification: this function shall return a boolean tree | commitdiff
2022-02-07 Martin QuinsonLet's use bool for booleans tree | commitdiff
2022-02-06 Martin QuinsonMC: rely less on executed_req_ and more on observers tree | commitdiff
2022-02-05 Martin QuinsonWhat about not testing the dependencies of transitions... tree | commitdiff
2022-02-05 Martin QuinsonDon't compute the dependencies locally in the checker... tree | commitdiff
2022-02-05 Martin QuinsonMC: isend/irecv are not blocking tree | commitdiff
2022-01-06 Arnaud GierschUpdate copyright lines for 2022. tree | commitdiff
2021-10-13 Arnaud GierschKill trailing whitespaces in source code files. tree | commitdiff
2021-09-14 SUTER FredericMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2021-07-16 Arnaud GierschMerge remote-tracking branch 'github/master' tree | commitdiff
2021-07-15 Martin QuinsonMC: warn the users when reaching max-depth with DPOR tree | commitdiff
2021-07-07 Arnaud GierschVector::at() is good enough to check bounds. tree | commitdiff
2021-04-23 Arnaud GierschMake SIMIX_simcall_name() use the type of observer_... tree | commitdiff
2021-04-03 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-04-02 Arnaud Giersch[mc] Enable finalize_app() in SafetyChecker. tree | commitdiff
2021-04-02 Arnaud GierschChange "if(...) xbt_die(...)" to "xbt_assert(...)". tree | commitdiff
2021-04-01 Arnaud GierschFix segfault with debug message. tree | commitdiff
2021-04-01 Martin Quinsonsnake_case some surviving camels tree | commitdiff
2021-03-26 Martin QuinsonMove SimcallObserver from simgrid::mc to simgrid::kerne... tree | commitdiff
2021-03-23 Arnaud GierschBlank lines. tree | commitdiff
2021-03-22 Arnaud GierschHandle simcall result through mc::SimcallObserver. tree | commitdiff
2021-03-20 Martin QuinsonAdd ModelChecker::finalize_app(), but don't use it... tree | commitdiff
2021-03-18 Martin QuinsonReorder the headers to ensure that ours are actually... tree | commitdiff
2021-03-18 Arnaud GierschModernize simcall execution_waitany_for. tree | commitdiff
2021-03-14 Martin QuinsonGive an explicit name to the session singleton tree | commitdiff
2021-03-14 Martin QuinsonRemove more uses of the session global tree | commitdiff
2021-03-14 Martin Quinsoncosmetics tree | commitdiff
2021-03-14 Martin QuinsonThe checker has the session and don't need the API... tree | commitdiff
2021-03-14 Martin QuinsonKill a file that was almost empty tree | commitdiff
2021-03-14 Martin QuinsonThe checker now have a reference to the session tree | commitdiff
2021-03-14 Martin QuinsonA checker don't need the mc::api to find itself tree | commitdiff
2021-03-13 Martin QuinsonMC: simplify initialization and kill api::set_checker() tree | commitdiff
2021-03-13 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-03-13 Arnaud GierschAdd parameter timeout to mc::ConditionWaitSimcall and... tree | commitdiff
2021-03-13 Arnaud GierschModernize simcall cond_wait. tree | commitdiff
2021-03-13 Arnaud GierschModernize simcall sem_acquire. tree | commitdiff
2021-03-13 Arnaud GierschConst attributes in SimcallObserver. tree | commitdiff
2021-03-13 Martin Quinsoninline a function tree | commitdiff
2021-03-09 Arnaud GierschMerge oberver classes MutexTrylockSimcall and MutexLock... tree | commitdiff
2021-03-09 Arnaud GierschModernize simcall mutex_lock. tree | commitdiff
2021-03-09 Arnaud GierschMove check from checker side to app. side. tree | commitdiff
2021-03-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-03-08 Arnaud GierschModernize simcall mutex_trylock. tree | commitdiff
2021-03-08 Arnaud GierschCache result of Api::get_maxpid() when used multiple... tree | commitdiff
2021-03-08 Arnaud GierschRemove useless declaration of default destructor. tree | commitdiff
2021-03-08 Martin QuinsonThat was a nasty optimization :-/ tree | commitdiff
2021-03-08 Martin QuinsonMC dependency: do the easy test before the harder one tree | commitdiff
2021-03-08 Martin QuinsonUse less of state->internal_req_ and more of state... tree | commitdiff
2021-03-07 Arnaud GierschInline trivial function. tree | commitdiff
2021-03-06 Martin QuinsonMC: inline a function, kill a file tree | commitdiff
2021-03-04 Martin Quinsonmc: rename Inspector to Observer tree | commitdiff
next
Clone of SimGrid repository with local patches