Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Initialize CPU model for VMs in init_HL13
[simgrid.git] / src / mc /
2021-03-14 Martin QuinsonGosh I hate the formating strings when size_t comes... tree | commitdiff
2021-03-14 Martin QuinsonMC gets the addresses of variables it needs from the... tree | commitdiff
2021-03-14 Martin QuinsonRemoteProcess: cache the addresses of maxpid, actors... tree | commitdiff
2021-03-14 Martin QuinsonMove the logic retrieving the actor info in the App... tree | commitdiff
2021-03-14 Martin QuinsonMove the logic of Api::get_maxpid() to RemoteProcess... tree | commitdiff
2021-03-14 Martin QuinsonMC: lazily load the dwarf information 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 QuinsonInline a function tree | commitdiff
2021-03-14 Martin QuinsonDont pass as a parameter something that is already... tree | commitdiff
2021-03-14 Martin QuinsonKill a file that was almost empty tree | commitdiff
2021-03-14 Martin QuinsonKill some use of the mc_model_checker global variable 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-14 Martin QuinsonRename model_checker->get_remote_simulation() into... tree | commitdiff
2021-03-13 Martin QuinsonMC: cosmetics tree | commitdiff
2021-03-13 Martin QuinsonRename mc::RemoteSimulation into mc::RemoteProcess 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 Martin Quinsongetraw is only useful when dealing with boost intrusive... 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 simcall_check_dependency() now that it's called... tree | commitdiff
2021-03-13 Martin QuinsonMC: check dependency between 2 given requests only... tree | commitdiff
2021-03-13 Martin Quinsonrequest_depend_asymmetric(r1,r2) now tests when r1... tree | commitdiff
2021-03-13 Martin QuinsonSort comm_* simcalls alphabetically tree | commitdiff
2021-03-13 Martin Quinsoninline a function tree | commitdiff
2021-03-13 Martin QuinsonBoth request cannot be of the same type here tree | commitdiff
2021-03-13 Martin QuinsonOnly 4 simcalls are considered by indep theorems for now tree | commitdiff
2021-03-13 Martin QuinsonMC: cosmetics and tiny code simplifications tree | commitdiff
2021-03-12 Martin QuinsonMC: simix::unmarshal should NEVER be called automatically tree | commitdiff
2021-03-12 Martin Quinsoncosmetics tree | commitdiff
2021-03-11 Martin Quinsons4u_synchro were renamed to activity in 2015, as far... tree | commitdiff
2021-03-10 Arnaud GierschMerge branch 's4u/model_list' into 'master' tree | commitdiff
2021-03-10 Arnaud GierschMore error messages. tree | commitdiff
2021-03-10 Arnaud GierschPrefer xbt_assert here. 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-09 Martin QuinsonSplit the {TEST,WAIT}ANY translation away from MC_state... tree | commitdiff
2021-03-09 Martin QuinsonPrepare to split the {TEST,WAIT}ANY translation away... 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 GierschDon't adjust variable name each time Api::get_maxpid... tree | commitdiff
2021-03-08 Arnaud GierschCache result of Api::get_maxpid() when used multiple... tree | commitdiff
2021-03-08 Arnaud GierschTypo. tree | commitdiff
2021-03-08 Arnaud GierschUseless braces. 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 GierschZero-initialize struct to avoid valgrind warnings. tree | commitdiff
2021-03-07 Arnaud GierschInline trivial function. tree | commitdiff
2021-03-06 Martin QuinsonMC: untangle dependencies tree | commitdiff
2021-03-06 Martin QuinsonMC: more symmetry between WAITANY and TESTANY in dependency tree | commitdiff
2021-03-06 Martin QuinsonMC: untangle the dependency code a tiny bit tree | commitdiff
2021-03-06 Martin QuinsonMC: inline a function, kill a file tree | commitdiff
2021-03-05 Martin Quinsonsimgrid-mc also needs debugging symbols, so let's hint... 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-03 Arnaud GierschFix mem leak. tree | commitdiff
2021-03-03 Arnaud GierschPointer to const. tree | commitdiff
2021-03-02 Arnaud GierschRename mc_base.h -> .hpp (it's C++ only anyway). tree | commitdiff
2021-03-02 Arnaud GierschConst for methods. tree | commitdiff
2021-03-02 Arnaud GierschCosmetic rename. tree | commitdiff
2021-03-02 Arnaud GierschAuto + std::make_unique. tree | commitdiff
2021-03-02 Arnaud GierschReduce code duplication. tree | commitdiff
2021-03-02 Arnaud GierschProtect against buffer overflow. tree | commitdiff
2021-03-02 Arnaud GierschMake Transition::textual a std::string. tree | commitdiff
2021-03-02 Arnaud GierschType bool for boolean values. tree | commitdiff
2021-03-02 Arnaud GierschRemove some useless nested code blocks. tree | commitdiff
2021-03-02 Arnaud GierschUsing C++ strings. 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 Arnaud GierschDeprecated simcall_mc_random. tree | commitdiff
2021-03-01 Arnaud GierschA few less global variables. 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 Quinsonremove a workaround for a bug removed in previous commit 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 QuinsonNot sure why to_string is sometimes called when there... tree | commitdiff
2021-02-28 Martin QuinsonRename ActorState::consider() and State::add_interleave... tree | commitdiff
2021-02-28 Martin QuinsonFix build on clang tree | commitdiff
2021-02-28 Martin Quinsonobjectification of MC simcall achieved -- many tests... tree | commitdiff
2021-02-25 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-02-24 agougeonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-02-20 Arnaud GierschDrop simgrid::xbt::demangle and use boost::core::demang... tree | commitdiff
2021-02-19 Arnaud GierschRedundant cast. tree | commitdiff
2021-02-19 Arnaud GierschTypedef. 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-08 eazimidictation corrected tree | commitdiff
next
Clone of SimGrid repository with local patches