Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update copyright lines for 2022.
[simgrid.git] / src / mc / checker /
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
2021-01-27 eazimiRemotePtr in get_comm_wait_raw_addr() tree | commitdiff
2021-01-27 eazimiRemotePtr in get_pattern_comm_dst_proc() tree | commitdiff
2021-01-27 eazimiRemotePtr in get_pattern_comm_src_proc() tree | commitdiff
2021-01-27 eazimiRemotePtr in complete_comm_pattern() tree | commitdiff
2021-01-27 eazimiRemotePtr in update_comm_pattern() tree | commitdiff
2021-01-27 eazimiRemotePtr as the input parameter type in get_pattern_co... tree | commitdiff
2021-01-27 eazimiRemotePtr as the input parameter type in get_pattern_co... tree | commitdiff
2021-01-27 eazimidefusing tree | commitdiff
2021-01-26 Martin QuinsonThis was not meant to be commited, sorry tree | commitdiff
2021-01-26 Martin Quinsonlogs: Allow %a instead of %P to display the actor name tree | commitdiff
2021-01-25 eazimifilenames changed tree | commitdiff
2021-01-25 eazimimc_api renamed to Api tree | commitdiff
2021-01-25 eazimisimcall_check_dependency() defined and implemented tree | commitdiff
2021-01-13 agougeonMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2021-01-12 eazimimerge with framagit/master tree | commitdiff
2021-01-12 eazimiMerge with framagit/master tree | commitdiff
2021-01-12 Arnaud GierschKill redundand blank lines. tree | commitdiff
2021-01-12 Arnaud GierschUpdate copyright lines. tree | commitdiff
2021-01-11 Ehsan AzimiMerge with framagit/master tree | commitdiff
2021-01-04 Ehsan AzimicreateUdporChecker() defined tree | commitdiff
2021-01-04 Ehsan AzimiUdporChecker class introduced tree | commitdiff
2020-12-15 Augustin DegommeMerge branch 'Adrien.Gougeon/simgrid-master' tree | commitdiff
2020-12-15 Arnaud GierschPrefer range-based for loop. tree | commitdiff
2020-12-15 Arnaud GierschDrop unused parameter. tree | commitdiff
2020-12-15 Arnaud GierschTypo in function name. tree | commitdiff
2020-12-15 Arnaud GierschRedundant blank line. tree | commitdiff
2020-12-11 Martin QuinsonMerge pull request #371 from eazimi/master tree | commitdiff
2020-12-11 Ehsan AzimiCleanup! tree | commitdiff
2020-12-11 Ehsan Azimimc_api::set_checker() defined and called in Checker() tree | commitdiff
2020-12-11 Ehsan Azimicreate_checker without Session argument tree | commitdiff
2020-12-11 Ehsan AzimicreateCommunicationDeterminismChecker without Session... tree | commitdiff
2020-12-11 Ehsan Azimiconstructor without Session argument tree | commitdiff
2020-12-11 Ehsan AzimicreateSafetyChecker without Session argument tree | commitdiff
next
Clone of SimGrid repository with local patches