Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'doc_link' into 'master'
[simgrid.git] / src / mc /
2021-07-19 Arnaud Giersch[pvs-studio] Protect from self assignment. tree | commitdiff
2021-07-19 Arnaud Giersch[pvs-studio] Initialize every members of class. tree | commitdiff
2021-07-19 Arnaud Giersch[pvs-studio] Simplify boolean expressions. tree | commitdiff
2021-07-19 Arnaud Giersch[pvs-studio] No need to assign variable the same value. 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-06-25 Arnaud GierschTwo more const methods spotted by sonar. tree | commitdiff
2021-06-24 Arnaud GierschUse std::unique_ptr and remove explicit destructor. tree | commitdiff
2021-06-24 Arnaud GierschPass the real pointer to the englobing MC class for... tree | commitdiff
2021-06-22 Arnaud GierschMake field 'mc::ActorState::times_considered' private. tree | commitdiff
2021-06-22 Arnaud GierschAdd missing copyright notices. tree | commitdiff
2021-06-22 Augustin Degommehelp latest fedora with mc tree | commitdiff
2021-06-08 Augustin DegommeMerge branch 'factor_in_actions' into 'master' tree | commitdiff
2021-06-04 Arnaud Giersch[sonar] Replace redundant type with 'auto'. tree | commitdiff
2021-06-02 Arnaud GierschGet rid of "%s" in second argument of function xbt_str_... tree | commitdiff
2021-06-01 Arnaud GierschPrefer std algorithms. tree | commitdiff
2021-05-25 SUTER FredericContinue to migrate contents of simix_global to EngineImpl tree | commitdiff
2021-05-25 Arnaud GierschCoding style: ! -> 'not'. tree | commitdiff
2021-05-21 SUTER Fredericmigrate actors_to_run and actors_that_ran to EngineImpl tree | commitdiff
2021-05-12 Arnaud GierschChecking access before open is useless (fix race condit... tree | commitdiff
2021-05-10 Arnaud Giersch[cppcheck] Pass parameters by const reference. tree | commitdiff
2021-05-05 Martin QuinsonMC: Start implementing the dependency functions on... tree | commitdiff
2021-05-04 Arnaud GierschCosmetics. tree | commitdiff
2021-05-04 Arnaud GierschPut stdout in line buffer mode for MCed apps. tree | commitdiff
2021-05-04 Martin QuinsonMC: also flush application's stdout on backtrack tree | commitdiff
2021-04-30 Arnaud GierschResize(0) is redundant. tree | commitdiff
2021-04-30 Arnaud GierschMissing includes. tree | commitdiff
2021-04-23 Arnaud GierschMake SIMIX_simcall_name() use the type of observer_... tree | commitdiff
2021-04-22 Arnaud GierschUse std::string::rfind to match string prefix. tree | commitdiff
2021-04-22 Arnaud GierschUse type aid_t for actor ids. tree | commitdiff
2021-04-19 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-04-07 Arnaud GierschReplace void* used for RemoteProcess pointers. tree | commitdiff
2021-04-07 Arnaud GierschUse a RemotePtr<> for RemoteProcess::heap_address. tree | commitdiff
2021-04-07 Arnaud GierschStop using void* for xbt_mheap_t. tree | commitdiff
2021-04-06 Arnaud GierschUse a Remote<> for remote smpi::Request. 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 GierschAvoid a local variable only used by xbt_assert. tree | commitdiff
2021-04-02 Arnaud GierschChange "if(...) xbt_die(...)" to "xbt_assert(...)". tree | commitdiff
2021-04-02 Arnaud GierschMake mc::Api::get_actor_name return a const&. tree | commitdiff
2021-04-01 Arnaud GierschImprove debug messages (code is still not functional). tree | commitdiff
2021-04-01 Arnaud GierschFIXME++ tree | commitdiff
2021-04-01 Arnaud GierschFix segfault with debug message. tree | commitdiff
2021-04-01 Arnaud GierschRender mc::Api::get_actor_name() public. tree | commitdiff
2021-04-01 Arnaud GierschZero-initialize struct to avoid valgrind warnings. tree | commitdiff
2021-04-01 Martin Quinsonsnake_case some surviving camels tree | commitdiff
2021-04-01 Martin QuinsonActor's ID should be a long, and should be named AID tree | commitdiff
2021-03-31 Arnaud GierschSave a reinterpret_cast. tree | commitdiff
2021-03-31 Arnaud GierschPtrace returns a long int. tree | commitdiff
2021-03-30 Arnaud Giersch[mc] Add some coverage_checkpoint() for model-checked... tree | commitdiff
2021-03-30 Arnaud Giersch[mc] Politely ask the model-checked application to... tree | commitdiff
2021-03-30 Arnaud Giersch[mc] Add an option to ask a model-checked application... tree | commitdiff
2021-03-30 Arnaud Giersch[mc] Use a basic message type for answering mc::Message... tree | commitdiff
2021-03-30 Arnaud Giersch[mc] Use existing ModelChecker::shutdown() on ModelChec... tree | commitdiff
2021-03-30 Arnaud Giersch[mc] Terminate crashing applications too. tree | commitdiff
2021-03-30 Arnaud GierschRemove function calls with side effects from xbt_assert. tree | commitdiff
2021-03-30 Arnaud Giersch[mc] Don't retrieve actor hostname again if it's alread... tree | commitdiff
2021-03-30 Arnaud Giersch[mc] Fix mc::Api::get_actor_host_name. tree | commitdiff
2021-03-29 Arnaud GierschMove xbt_modinter.h to src/include/xbt/. tree | commitdiff
2021-03-27 Arnaud GierschUse std::call_once instead of pthread_once. tree | commitdiff
2021-03-26 Martin Quinsoncosmetics, somewhat hinted by sonar 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-20 Martin Quinsonsome symbol renamings to make MC easier to understand... tree | commitdiff
2021-03-19 Arnaud GierschDon't mix public and private fields (sonar). 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-17 Arnaud GierschLowercase PID in function name (1/2 - private part). tree | commitdiff
2021-03-17 Arnaud GierschMisc sonar smells. tree | commitdiff
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
next
Clone of SimGrid repository with local patches