2021-06-22 |
Arnaud Giersch | Make field 'mc::ActorState::times_considered' private. |
blob | commitdiff | raw |
2021-06-22 |
Arnaud Giersch | Add missing copyright notices. |
blob | commitdiff | raw | diff to current |
2021-04-30 |
Arnaud Giersch | Missing includes. |
blob | commitdiff | raw | diff to current |
2021-04-23 |
Arnaud Giersch | Make SIMIX_simcall_name() use the type of observer_... |
blob | commitdiff | raw | diff to current |
2021-04-19 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
2021-04-06 |
Arnaud Giersch | Use a Remote<> for remote smpi::Request. |
blob | commitdiff | raw | diff to current |
2021-04-03 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
2021-04-02 |
Arnaud Giersch | Make mc::Api::get_actor_name return a const&. |
blob | commitdiff | raw | diff to current |
2021-04-01 |
Arnaud Giersch | FIXME++ |
blob | commitdiff | raw | diff to current |
2021-04-01 |
Arnaud Giersch | Render mc::Api::get_actor_name() public. |
blob | commitdiff | raw | diff to current |
2021-04-01 |
Martin Quinson | snake_case some surviving camels |
blob | commitdiff | raw | diff to current |
2021-04-01 |
Martin Quinson | Actor's ID should be a long, and should be named AID |
blob | commitdiff | raw | diff to current |
2021-03-31 |
Arnaud Giersch | Save a reinterpret_cast. |
blob | commitdiff | raw | diff to current |
2021-03-30 |
Arnaud Giersch | [mc] Don't retrieve actor hostname again if it's alread... |
blob | commitdiff | raw | diff to current |
2021-03-30 |
Arnaud Giersch | [mc] Fix mc::Api::get_actor_host_name. |
blob | commitdiff | raw | diff to current |
2021-03-26 |
Martin Quinson | Move SimcallObserver from simgrid::mc to simgrid::kerne... |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Martin Quinson | Move the logic of Api::get_maxpid() to RemoteProcess... |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Martin Quinson | Give an explicit name to the session singleton |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Martin Quinson | Remove more uses of the session global |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Martin Quinson | cosmetics |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Martin Quinson | The checker has the session and don't need the API... |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Martin Quinson | Kill a file that was almost empty |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Martin Quinson | Kill some use of the mc_model_checker global variable |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Martin Quinson | The checker now have a reference to the session |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Martin Quinson | Rename model_checker->get_remote_simulation() into... |
blob | commitdiff | raw | diff to current |
2021-03-13 |
Martin Quinson | Rename mc::RemoteSimulation into mc::RemoteProcess |
blob | commitdiff | raw | diff to current |
2021-03-13 |
Martin Quinson | MC: simplify initialization and kill api::set_checker() |
blob | commitdiff | raw | diff to current |
2021-03-13 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
2021-03-13 |
Martin Quinson | getraw is only useful when dealing with boost intrusive... |
blob | commitdiff | raw | diff to current |
2021-03-13 |
Martin Quinson | inline simcall_check_dependency() now that it's called... |
blob | commitdiff | raw | diff to current |
2021-03-13 |
Martin Quinson | MC: check dependency between 2 given requests only... |
blob | commitdiff | raw | diff to current |
2021-03-13 |
Martin Quinson | request_depend_asymmetric(r1,r2) now tests when r1... |
blob | commitdiff | raw | diff to current |
2021-03-13 |
Martin Quinson | Sort comm_* simcalls alphabetically |
blob | commitdiff | raw | diff to current |
2021-03-13 |
Martin Quinson | inline a function |
blob | commitdiff | raw | diff to current |
2021-03-13 |
Martin Quinson | Both request cannot be of the same type here |
blob | commitdiff | raw | diff to current |
2021-03-13 |
Martin Quinson | Only 4 simcalls are considered by indep theorems for now |
blob | commitdiff | raw | diff to current |
2021-03-13 |
Martin Quinson | MC: cosmetics and tiny code simplifications |
blob | commitdiff | raw | diff to current |
2021-03-12 |
Martin Quinson | MC: simix::unmarshal should NEVER be called automatically |
blob | commitdiff | raw | diff to current |
2021-03-12 |
Martin Quinson | cosmetics |
blob | commitdiff | raw | diff to current |
2021-03-11 |
Martin Quinson | s4u_synchro were renamed to activity in 2015, as far... |
blob | commitdiff | raw | diff to current |
2021-03-09 |
Arnaud Giersch | Modernize simcall mutex_lock. |
blob | commitdiff | raw | diff to current |
2021-03-09 |
Martin Quinson | Split the {TEST,WAIT}ANY translation away from MC_state... |
blob | commitdiff | raw | diff to current |
2021-03-09 |
Martin Quinson | Prepare to split the {TEST,WAIT}ANY translation away... |
blob | commitdiff | raw | diff to current |
2021-03-08 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
2021-03-08 |
Arnaud Giersch | Modernize simcall mutex_trylock. |
blob | commitdiff | raw | diff to current |
2021-03-08 |
Arnaud Giersch | Don't adjust variable name each time Api::get_maxpid... |
blob | commitdiff | raw | diff to current |
2021-03-08 |
Arnaud Giersch | Useless braces. |
blob | commitdiff | raw | diff to current |
2021-03-08 |
Martin Quinson | That was a nasty optimization :-/ |
blob | commitdiff | raw | diff to current |
2021-03-06 |
Martin Quinson | MC: untangle dependencies |
blob | commitdiff | raw | diff to current |
2021-03-06 |
Martin Quinson | MC: more symmetry between WAITANY and TESTANY in dependency |
blob | commitdiff | raw | diff to current |
2021-03-06 |
Martin Quinson | MC: untangle the dependency code a tiny bit |
blob | commitdiff | raw | diff to current |
2021-03-06 |
Martin Quinson | MC: inline a function, kill a file |
blob | commitdiff | raw | diff to current |
2021-03-04 |
Martin Quinson | mc: rename Inspector to Observer |
blob | commitdiff | raw | diff to current |
2021-03-04 |
Martin Quinson | Simplify mc::api a bit |
blob | commitdiff | raw | diff to current |
2021-03-02 |
Arnaud Giersch | Const for methods. |
blob | commitdiff | raw | diff to current |
2021-03-02 |
Arnaud Giersch | Cosmetic rename. |
blob | commitdiff | raw | diff to current |
2021-03-02 |
Arnaud Giersch | Auto + std::make_unique. |
blob | commitdiff | raw | diff to current |
2021-03-02 |
Arnaud Giersch | Make Transition::textual a std::string. |
blob | commitdiff | raw | diff to current |
2021-03-02 |
Arnaud Giersch | Remove some useless nested code blocks. |
blob | commitdiff | raw | diff to current |
2021-03-02 |
Arnaud Giersch | Using C++ strings. |
blob | commitdiff | raw | diff to current |
2021-03-01 |
Arnaud Giersch | Use xbt::string for MC hostnames. |
blob | commitdiff | raw | diff to current |
2021-03-01 |
Arnaud Giersch | Kill useless function. |
blob | commitdiff | raw | diff to current |
2021-03-01 |
Martin Quinson | Set the textual representation of a transition before... |
blob | commitdiff | raw | diff to current |
2021-02-28 |
Martin Quinson | Split inspector::is_pending() in two logical parts |
blob | commitdiff | raw | diff to current |
2021-02-28 |
Martin Quinson | objectification of MC simcall achieved -- many tests... |
blob | commitdiff | raw | diff to current |
2021-02-24 |
agougeon | Merge branch 'master' of framagit.org:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
2021-02-19 |
Arnaud Giersch | Redundant cast. |
blob | commitdiff | raw | diff to current |
2021-02-10 |
Martin Quinson | Merge branch 'local changes' |
blob | commitdiff | raw | diff to current |
2021-02-08 |
eazimi | dictation corrected |
blob | commitdiff | raw | diff to current |
2021-02-08 |
eazimi | get_enabled_transitions() is a general function |
blob | commitdiff | raw | diff to current |
2021-02-05 |
eazimi | MC_smx_actor_get_name() implemented in Api class, it... |
blob | commitdiff | raw | diff to current |
2021-02-05 |
eazimi | MC_smx_actor_get_host_name() implemented in Api, it... |
blob | commitdiff | raw | diff to current |
2021-02-05 |
eazimi | Merge branch 'master' of framagit.org:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
2021-02-05 |
eazimi | get_enabled_transitions() implemented |
blob | commitdiff | raw | diff to current |
2021-02-05 |
eazimi | Merge branch 'master' of framagit.org:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
2021-02-05 |
eazimi | merge with framagit/master |
blob | commitdiff | raw | diff to current |
2021-02-05 |
eazimi | indentation |
blob | commitdiff | raw | diff to current |
2021-02-05 |
Martin Quinson | CommImpl: don't mix state and type, and make type_... |
blob | commitdiff | raw | diff to current |
2021-02-04 |
eazimi | get_mbox_remote_addr() returns RemotePtr |
blob | commitdiff | raw | diff to current |
2021-02-04 |
eazimi | get_comm_remote_addr() implemented |
blob | commitdiff | raw | diff to current |
2021-02-04 |
eazimi | simcall_get_name() updated |
blob | commitdiff | raw | diff to current |
2021-02-04 |
eazimi | get_mbox() replaced by get_mbox_remote_addr() |
blob | commitdiff | raw | diff to current |
2021-02-03 |
agougeon | Merge branch 'master' of https://framagit.org/simgrid... |
blob | commitdiff | raw | diff to current |
2021-01-28 |
eazimi | get_comm_irecv_raw_addr() defined and implemented |
blob | commitdiff | raw | diff to current |
2021-01-28 |
eazimi | porivate functions |
blob | commitdiff | raw | diff to current |
2021-01-28 |
eazimi | simcall_get_issuer() implemented in Api class |
blob | commitdiff | raw | diff to current |
2021-01-27 |
eazimi | get rid of calling local(), easy peasy! |
blob | commitdiff | raw | diff to current |
2021-01-27 |
eazimi | RemotePtr in get_dst_actor() |
blob | commitdiff | raw | diff to current |
2021-01-27 |
eazimi | RemotePtr in get_src_actor() |
blob | commitdiff | raw | diff to current |
2021-01-27 |
eazimi | no need to comm_addr_equal() |
blob | commitdiff | raw | diff to current |
2021-01-27 |
eazimi | get_comm_isend_raw_addr() update |
blob | commitdiff | raw | diff to current |
2021-01-27 |
eazimi | RemotePtr in get_comm_waitany_raw_addr() |
blob | commitdiff | raw | diff to current |
2021-01-27 |
eazimi | RemotePtr in get_comm_wait_raw_addr() |
blob | commitdiff | raw | diff to current |
2021-01-27 |
eazimi | RemotePtr in get_pattern_comm_dst_proc() |
blob | commitdiff | raw | diff to current |
2021-01-27 |
eazimi | RemotePtr in get_pattern_comm_src_proc() |
blob | commitdiff | raw | diff to current |
2021-01-27 |
eazimi | RemotePtr as the input parameter type in get_pattern_co... |
blob | commitdiff | raw | diff to current |
2021-01-27 |
eazimi | RemotePtr as the input parameter type in get_pattern_co... |
blob | commitdiff | raw | diff to current |
2021-01-27 |
eazimi | defusing |
blob | commitdiff | raw | diff to current |
2021-01-27 |
eazimi | simcall_get_comm() deleted |
blob | commitdiff | raw | diff to current |
2021-01-26 |
Martin Quinson | This was not meant to be commited, sorry |
blob | commitdiff | raw | diff to current |
next |