2021-03-13 |
Martin Quinson | request_depend_asymmetric(r1,r2) now tests when r1... |
tree | commitdiff |
2021-03-13 |
Martin Quinson | Sort comm_* simcalls alphabetically |
tree | commitdiff |
2021-03-13 |
Martin Quinson | inline a function |
tree | commitdiff |
2021-03-13 |
Martin Quinson | Both request cannot be of the same type here |
tree | commitdiff |
2021-03-13 |
Martin Quinson | Only 4 simcalls are considered by indep theorems for now |
tree | commitdiff |
2021-03-13 |
Martin Quinson | MC: cosmetics and tiny code simplifications |
tree | commitdiff |
2021-03-12 |
Martin Quinson | MC: simix::unmarshal should NEVER be called automatically |
tree | commitdiff |
2021-03-12 |
Martin Quinson | cosmetics |
tree | commitdiff |
2021-03-11 |
Martin Quinson | s4u_synchro were renamed to activity in 2015, as far... |
tree | commitdiff |
2021-03-10 |
Arnaud Giersch | Merge branch 's4u/model_list' into 'master' |
tree | commitdiff |
2021-03-10 |
Arnaud Giersch | More error messages. |
tree | commitdiff |
2021-03-10 |
Arnaud Giersch | Prefer xbt_assert here. |
tree | commitdiff |
2021-03-09 |
Arnaud Giersch | Merge oberver classes MutexTrylockSimcall and MutexLock... |
tree | commitdiff |
2021-03-09 |
Arnaud Giersch | Modernize simcall mutex_lock. |
tree | commitdiff |
2021-03-09 |
Arnaud Giersch | Move check from checker side to app. side. |
tree | commitdiff |
2021-03-09 |
Martin Quinson | Split the {TEST,WAIT}ANY translation away from MC_state... |
tree | commitdiff |
2021-03-09 |
Martin Quinson | Prepare to split the {TEST,WAIT}ANY translation away... |
tree | commitdiff |
2021-03-08 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2021-03-08 |
Arnaud Giersch | Modernize simcall mutex_trylock. |
tree | commitdiff |
2021-03-08 |
Arnaud Giersch | Don't adjust variable name each time Api::get_maxpid... |
tree | commitdiff |
2021-03-08 |
Arnaud Giersch | Cache result of Api::get_maxpid() when used multiple... |
tree | commitdiff |
2021-03-08 |
Arnaud Giersch | Typo. |
tree | commitdiff |
2021-03-08 |
Arnaud Giersch | Useless braces. |
tree | commitdiff |
2021-03-08 |
Arnaud Giersch | Remove useless declaration of default destructor. |
tree | commitdiff |
2021-03-08 |
Martin Quinson | That was a nasty optimization :-/ |
tree | commitdiff |
2021-03-08 |
Martin Quinson | MC dependency: do the easy test before the harder one |
tree | commitdiff |
2021-03-08 |
Martin Quinson | Use less of state->internal_req_ and more of state... |
tree | commitdiff |
2021-03-07 |
Arnaud Giersch | Zero-initialize struct to avoid valgrind warnings. |
tree | commitdiff |
2021-03-07 |
Arnaud Giersch | Inline trivial function. |
tree | commitdiff |
2021-03-06 |
Martin Quinson | MC: untangle dependencies |
tree | commitdiff |
2021-03-06 |
Martin Quinson | MC: more symmetry between WAITANY and TESTANY in dependency |
tree | commitdiff |
2021-03-06 |
Martin Quinson | MC: untangle the dependency code a tiny bit |
tree | commitdiff |
2021-03-06 |
Martin Quinson | MC: inline a function, kill a file |
tree | commitdiff |
2021-03-05 |
Martin Quinson | simgrid-mc also needs debugging symbols, so let's hint... |
tree | commitdiff |
2021-03-04 |
Martin Quinson | mc: rename Inspector to Observer |
tree | commitdiff |
2021-03-04 |
Martin Quinson | Simplify mc::api a bit |
tree | commitdiff |
2021-03-03 |
Arnaud Giersch | Modernize simcall mutex_unlock. |
tree | commitdiff |
2021-03-03 |
Arnaud Giersch | Make SimcallInspector::dot_label and to_string pure... |
tree | commitdiff |
2021-03-03 |
Arnaud Giersch | Fix mem leak. |
tree | commitdiff |
2021-03-03 |
Arnaud Giersch | Pointer to const. |
tree | commitdiff |
2021-03-02 |
Arnaud Giersch | Rename mc_base.h -> .hpp (it's C++ only anyway). |
tree | commitdiff |
2021-03-02 |
Arnaud Giersch | Const for methods. |
tree | commitdiff |
2021-03-02 |
Arnaud Giersch | Cosmetic rename. |
tree | commitdiff |
2021-03-02 |
Arnaud Giersch | Auto + std::make_unique. |
tree | commitdiff |
2021-03-02 |
Arnaud Giersch | Reduce code duplication. |
tree | commitdiff |
2021-03-02 |
Arnaud Giersch | Protect against buffer overflow. |
tree | commitdiff |
2021-03-02 |
Arnaud Giersch | Make Transition::textual a std::string. |
tree | commitdiff |
2021-03-02 |
Arnaud Giersch | Type bool for boolean values. |
tree | commitdiff |
2021-03-02 |
Arnaud Giersch | Remove some useless nested code blocks. |
tree | commitdiff |
2021-03-02 |
Arnaud Giersch | Using C++ strings. |
tree | commitdiff |
2021-03-01 |
Arnaud Giersch | Use xbt::string for MC hostnames. |
tree | commitdiff |
2021-03-01 |
Arnaud Giersch | Kill useless function. |
tree | commitdiff |
2021-03-01 |
Arnaud Giersch | Use defined type alias. |
tree | commitdiff |
2021-03-01 |
Arnaud Giersch | Deprecated simcall_mc_random. |
tree | commitdiff |
2021-03-01 |
Arnaud Giersch | A few less global variables. |
tree | commitdiff |
2021-03-01 |
Martin Quinson | Don't require MC dependencies when building w/o MC |
tree | commitdiff |
2021-03-01 |
Martin Quinson | Missing file |
tree | commitdiff |
2021-03-01 |
Martin Quinson | remove a workaround for a bug removed in previous commit |
tree | commitdiff |
2021-03-01 |
Martin Quinson | Set the textual representation of a transition before... |
tree | commitdiff |
2021-02-28 |
Martin Quinson | Split inspector::is_pending() in two logical parts |
tree | commitdiff |
2021-02-28 |
Martin Quinson | Not sure why to_string is sometimes called when there... |
tree | commitdiff |
2021-02-28 |
Martin Quinson | Rename ActorState::consider() and State::add_interleave... |
tree | commitdiff |
2021-02-28 |
Martin Quinson | Fix build on clang |
tree | commitdiff |
2021-02-28 |
Martin Quinson | objectification of MC simcall achieved -- many tests... |
tree | commitdiff |
2021-02-25 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2021-02-24 |
agougeon | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2021-02-20 |
Arnaud Giersch | Drop simgrid::xbt::demangle and use boost::core::demang... |
tree | commitdiff |
2021-02-19 |
Arnaud Giersch | Redundant cast. |
tree | commitdiff |
2021-02-19 |
Arnaud Giersch | Typedef. |
tree | commitdiff |
2021-02-10 |
Martin Quinson | Merge branch 'local changes' |
tree | commitdiff |
2021-02-08 |
eazimi | a flag for udpor in the simgrid config |
tree | commitdiff |
2021-02-08 |
eazimi | dictation corrected |
tree | commitdiff |
2021-02-08 |
eazimi | get_enabled_transitions() is a general function |
tree | commitdiff |
2021-02-05 |
eazimi | cleanup! |
tree | commitdiff |
2021-02-05 |
eazimi | MC_smx_actor_get_name() implemented in Api class, it... |
tree | commitdiff |
2021-02-05 |
eazimi | MC_smx_actor_get_host_name() implemented in Api, it... |
tree | commitdiff |
2021-02-05 |
eazimi | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2021-02-05 |
eazimi | get_enabled_transitions() implemented |
tree | commitdiff |
2021-02-05 |
Arnaud Giersch | Use XBT_DECLARE_ENUM_CLASS for mc::MessageType. |
tree | commitdiff |
2021-02-05 |
eazimi | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2021-02-05 |
eazimi | merge with framagit/master |
tree | commitdiff |
2021-02-05 |
eazimi | indentation |
tree | commitdiff |
2021-02-05 |
Martin Quinson | CommImpl: don't mix state and type, and make type_... |
tree | commitdiff |
2021-02-04 |
eazimi | get_mbox_remote_addr() returns RemotePtr |
tree | commitdiff |
2021-02-04 |
eazimi | get_comm_remote_addr() implemented |
tree | commitdiff |
2021-02-04 |
eazimi | simcall_get_name() updated |
tree | commitdiff |
2021-02-04 |
eazimi | get_mbox() replaced by get_mbox_remote_addr() |
tree | commitdiff |
2021-02-03 |
agougeon | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2021-01-29 |
Arnaud Giersch | Use default member initializer. |
tree | commitdiff |
2021-01-28 |
eazimi | get_comm_irecv_raw_addr() defined and implemented |
tree | commitdiff |
2021-01-28 |
eazimi | porivate functions |
tree | commitdiff |
2021-01-28 |
eazimi | assignment used |
tree | commitdiff |
2021-01-28 |
eazimi | simcall_get_issuer() implemented in Api class |
tree | commitdiff |
2021-01-28 |
eazimi | clarification |
tree | commitdiff |
2021-01-27 |
eazimi | get rid of calling local(), easy peasy! |
tree | commitdiff |
2021-01-27 |
eazimi | RemotePtr in get_dst_actor() |
tree | commitdiff |
2021-01-27 |
eazimi | RemotePtr in get_src_actor() |
tree | commitdiff |
2021-01-27 |
eazimi | RemotePtr in PatternCommunication class |
tree | commitdiff |
2021-01-27 |
eazimi | no need to comm_addr_equal() |
tree | commitdiff |
2021-01-27 |
eazimi | get_comm_isend_raw_addr() update |
tree | commitdiff |
next |