Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
CommDet shall become an extension of the SafetyChecker
[simgrid.git] / src / mc / checker /
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
2021-03-04 Martin QuinsonSimplify mc::api a bit tree | commitdiff
2021-03-03 Arnaud GierschModernize simcall mutex_unlock. tree | commitdiff
2021-03-03 Arnaud GierschMake SimcallInspector::dot_label and to_string pure... tree | commitdiff
2021-03-02 Arnaud GierschConst for methods. tree | commitdiff
2021-03-01 Arnaud GierschUse xbt::string for MC hostnames. tree | commitdiff
2021-03-01 Arnaud GierschKill useless function. tree | commitdiff
2021-03-01 Arnaud GierschUse defined type alias. tree | commitdiff
2021-03-01 Martin QuinsonDon't require MC dependencies when building w/o MC tree | commitdiff
2021-03-01 Martin QuinsonMissing file tree | commitdiff
2021-03-01 Martin QuinsonSet the textual representation of a transition before... tree | commitdiff
2021-02-28 Martin QuinsonSplit inspector::is_pending() in two logical parts tree | commitdiff
2021-02-28 Martin QuinsonRename ActorState::consider() and State::add_interleave... tree | commitdiff
2021-02-28 Martin Quinsonobjectification of MC simcall achieved -- many tests... tree | commitdiff
2021-02-24 agougeonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-02-10 Martin QuinsonMerge branch 'local changes' tree | commitdiff
2021-02-08 eazimia flag for udpor in the simgrid config tree | commitdiff
2021-02-03 agougeonMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2021-01-27 eazimiRemotePtr in get_dst_actor() tree | commitdiff
2021-01-27 eazimiRemotePtr in get_src_actor() tree | commitdiff
2021-01-27 eazimiRemotePtr in PatternCommunication class tree | commitdiff
2021-01-27 eazimino need to comm_addr_equal() tree | commitdiff
2021-01-27 eazimiRemotePtr in get_comm_waitany_raw_addr() tree | commitdiff
next
Clone of SimGrid repository with local patches