Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[pvs-studio] No need to assign variable the same value.
[simgrid.git] / src / mc / api.cpp
2021-07-19 Arnaud Giersch[pvs-studio] No need to assign variable the same value.
2021-06-22 Arnaud GierschMake field 'mc::ActorState::times_considered' private.
2021-06-22 Arnaud GierschAdd missing copyright notices.
2021-04-30 Arnaud GierschMissing includes.
2021-04-23 Arnaud GierschMake SIMIX_simcall_name() use the type of observer_...
2021-04-19 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2021-04-06 Arnaud GierschUse a Remote<> for remote smpi::Request.
2021-04-03 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2021-04-02 Arnaud GierschMake mc::Api::get_actor_name return a const&.
2021-04-01 Arnaud GierschFIXME++
2021-04-01 Arnaud GierschRender mc::Api::get_actor_name() public.
2021-04-01 Martin Quinsonsnake_case some surviving camels
2021-04-01 Martin QuinsonActor's ID should be a long, and should be named AID
2021-03-31 Arnaud GierschSave a reinterpret_cast.
2021-03-30 Arnaud Giersch[mc] Don't retrieve actor hostname again if it's alread...
2021-03-30 Arnaud Giersch[mc] Fix mc::Api::get_actor_host_name.
2021-03-26 Martin QuinsonMove SimcallObserver from simgrid::mc to simgrid::kerne...
2021-03-14 Martin QuinsonMove the logic of Api::get_maxpid() to RemoteProcess...
2021-03-14 Martin QuinsonGive an explicit name to the session singleton
2021-03-14 Martin QuinsonRemove more uses of the session global
2021-03-14 Martin Quinsoncosmetics
2021-03-14 Martin QuinsonThe checker has the session and don't need the API...
2021-03-14 Martin QuinsonKill a file that was almost empty
2021-03-14 Martin QuinsonKill some use of the mc_model_checker global variable
2021-03-14 Martin QuinsonThe checker now have a reference to the session
2021-03-14 Martin QuinsonRename model_checker->get_remote_simulation() into...
2021-03-13 Martin QuinsonRename mc::RemoteSimulation into mc::RemoteProcess
2021-03-13 Martin QuinsonMC: simplify initialization and kill api::set_checker()
2021-03-13 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2021-03-13 Martin Quinsongetraw is only useful when dealing with boost intrusive...
2021-03-13 Martin Quinsoninline simcall_check_dependency() now that it's called...
2021-03-13 Martin QuinsonMC: check dependency between 2 given requests only...
2021-03-13 Martin Quinsonrequest_depend_asymmetric(r1,r2) now tests when r1...
2021-03-13 Martin QuinsonSort comm_* simcalls alphabetically
2021-03-13 Martin Quinsoninline a function
2021-03-13 Martin QuinsonBoth request cannot be of the same type here
2021-03-13 Martin QuinsonOnly 4 simcalls are considered by indep theorems for now
2021-03-13 Martin QuinsonMC: cosmetics and tiny code simplifications
2021-03-12 Martin QuinsonMC: simix::unmarshal should NEVER be called automatically
2021-03-12 Martin Quinsoncosmetics
2021-03-11 Martin Quinsons4u_synchro were renamed to activity in 2015, as far...
2021-03-09 Arnaud GierschModernize simcall mutex_lock.
2021-03-09 Martin QuinsonSplit the {TEST,WAIT}ANY translation away from MC_state...
2021-03-09 Martin QuinsonPrepare to split the {TEST,WAIT}ANY translation away...
2021-03-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2021-03-08 Arnaud GierschModernize simcall mutex_trylock.
2021-03-08 Arnaud GierschDon't adjust variable name each time Api::get_maxpid...
2021-03-08 Arnaud GierschUseless braces.
2021-03-08 Martin QuinsonThat was a nasty optimization :-/
2021-03-06 Martin QuinsonMC: untangle dependencies
2021-03-06 Martin QuinsonMC: more symmetry between WAITANY and TESTANY in dependency
2021-03-06 Martin QuinsonMC: untangle the dependency code a tiny bit
2021-03-06 Martin QuinsonMC: inline a function, kill a file
2021-03-04 Martin Quinsonmc: rename Inspector to Observer
2021-03-04 Martin QuinsonSimplify mc::api a bit
2021-03-02 Arnaud GierschConst for methods.
2021-03-02 Arnaud GierschCosmetic rename.
2021-03-02 Arnaud GierschAuto + std::make_unique.
2021-03-02 Arnaud GierschMake Transition::textual a std::string.
2021-03-02 Arnaud GierschRemove some useless nested code blocks.
2021-03-02 Arnaud GierschUsing C++ strings.
2021-03-01 Arnaud GierschUse xbt::string for MC hostnames.
2021-03-01 Arnaud GierschKill useless function.
2021-03-01 Martin QuinsonSet the textual representation of a transition before...
2021-02-28 Martin QuinsonSplit inspector::is_pending() in two logical parts
2021-02-28 Martin Quinsonobjectification of MC simcall achieved -- many tests...
2021-02-24 agougeonMerge branch 'master' of framagit.org:simgrid/simgrid
2021-02-19 Arnaud GierschRedundant cast.
2021-02-10 Martin QuinsonMerge branch 'local changes'
2021-02-08 eazimidictation corrected
2021-02-08 eazimiget_enabled_transitions() is a general function
2021-02-05 eazimiMC_smx_actor_get_name() implemented in Api class, it...
2021-02-05 eazimiMC_smx_actor_get_host_name() implemented in Api, it...
2021-02-05 eazimiMerge branch 'master' of framagit.org:simgrid/simgrid
2021-02-05 eazimiget_enabled_transitions() implemented
2021-02-05 eazimiMerge branch 'master' of framagit.org:simgrid/simgrid
2021-02-05 eazimimerge with framagit/master
2021-02-05 eazimiindentation
2021-02-05 Martin QuinsonCommImpl: don't mix state and type, and make type_...
2021-02-04 eazimiget_mbox_remote_addr() returns RemotePtr
2021-02-04 eazimiget_comm_remote_addr() implemented
2021-02-04 eazimisimcall_get_name() updated
2021-02-04 eazimiget_mbox() replaced by get_mbox_remote_addr()
2021-02-03 agougeonMerge branch 'master' of https://framagit.org/simgrid...
2021-01-28 eazimiget_comm_irecv_raw_addr() defined and implemented
2021-01-28 eazimiporivate functions
2021-01-28 eazimisimcall_get_issuer() implemented in Api class
2021-01-27 eazimiget rid of calling local(), easy peasy!
2021-01-27 eazimiRemotePtr in get_dst_actor()
2021-01-27 eazimiRemotePtr in get_src_actor()
2021-01-27 eazimino need to comm_addr_equal()
2021-01-27 eazimiget_comm_isend_raw_addr() update
2021-01-27 eazimiRemotePtr in get_comm_waitany_raw_addr()
2021-01-27 eazimiRemotePtr in get_comm_wait_raw_addr()
2021-01-27 eazimiRemotePtr in get_pattern_comm_dst_proc()
2021-01-27 eazimiRemotePtr in get_pattern_comm_src_proc()
2021-01-27 eazimiRemotePtr as the input parameter type in get_pattern_co...
2021-01-27 eazimiRemotePtr as the input parameter type in get_pattern_co...
2021-01-27 eazimidefusing
2021-01-27 eazimisimcall_get_comm() deleted
next