2021-04-01 |
Martin Quinson | Actor's ID should be a long, and should be named AID |
tree | commitdiff |
2021-03-31 |
Arnaud Giersch | Save a reinterpret_cast. |
tree | commitdiff |
2021-03-31 |
Arnaud Giersch | Ptrace 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 Giersch | Remove 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 Giersch | Move xbt_modinter.h to src/include/xbt/. |
tree | commitdiff |
2021-03-27 |
Arnaud Giersch | Use std::call_once instead of pthread_once. |
tree | commitdiff |
2021-03-26 |
Martin Quinson | cosmetics, somewhat hinted by sonar |
tree | commitdiff |
2021-03-26 |
Martin Quinson | Move SimcallObserver from simgrid::mc to simgrid::kerne... |
tree | commitdiff |
2021-03-23 |
Arnaud Giersch | Blank lines. |
tree | commitdiff |
2021-03-22 |
Arnaud Giersch | Handle simcall result through mc::SimcallObserver. |
tree | commitdiff |
2021-03-20 |
Martin Quinson | Add ModelChecker::finalize_app(), but don't use it... |
tree | commitdiff |
2021-03-20 |
Martin Quinson | some symbol renamings to make MC easier to understand... |
tree | commitdiff |
2021-03-19 |
Arnaud Giersch | Don't mix public and private fields (sonar). |
tree | commitdiff |
2021-03-18 |
Martin Quinson | Reorder the headers to ensure that ours are actually... |
tree | commitdiff |
2021-03-18 |
Arnaud Giersch | Modernize simcall execution_waitany_for. |
tree | commitdiff |
2021-03-17 |
Arnaud Giersch | Lowercase PID in function name (1/2 - private part). |
tree | commitdiff |
2021-03-17 |
Arnaud Giersch | Misc sonar smells. |
tree | commitdiff |
2021-03-14 |
Martin Quinson | Gosh I hate the formating strings when size_t comes... |
tree | commitdiff |
2021-03-14 |
Martin Quinson | MC gets the addresses of variables it needs from the... |
tree | commitdiff |
2021-03-14 |
Martin Quinson | RemoteProcess: cache the addresses of maxpid, actors... |
tree | commitdiff |
2021-03-14 |
Martin Quinson | Move the logic retrieving the actor info in the App... |
tree | commitdiff |
2021-03-14 |
Martin Quinson | Move the logic of Api::get_maxpid() to RemoteProcess... |
tree | commitdiff |
2021-03-14 |
Martin Quinson | MC: lazily load the dwarf information |
tree | commitdiff |
2021-03-14 |
Martin Quinson | Give an explicit name to the session singleton |
tree | commitdiff |
2021-03-14 |
Martin Quinson | Remove more uses of the session global |
tree | commitdiff |
2021-03-14 |
Martin Quinson | cosmetics |
tree | commitdiff |
2021-03-14 |
Martin Quinson | The checker has the session and don't need the API... |
tree | commitdiff |
2021-03-14 |
Martin Quinson | Inline a function |
tree | commitdiff |
2021-03-14 |
Martin Quinson | Dont pass as a parameter something that is already... |
tree | commitdiff |
2021-03-14 |
Martin Quinson | Kill a file that was almost empty |
tree | commitdiff |
2021-03-14 |
Martin Quinson | Kill some use of the mc_model_checker global variable |
tree | commitdiff |
2021-03-14 |
Martin Quinson | The checker now have a reference to the session |
tree | commitdiff |
2021-03-14 |
Martin Quinson | A checker don't need the mc::api to find itself |
tree | commitdiff |
2021-03-14 |
Martin Quinson | Rename model_checker->get_remote_simulation() into... |
tree | commitdiff |
2021-03-13 |
Martin Quinson | MC: cosmetics |
tree | commitdiff |
2021-03-13 |
Martin Quinson | Rename mc::RemoteSimulation into mc::RemoteProcess |
tree | commitdiff |
2021-03-13 |
Martin Quinson | MC: simplify initialization and kill api::set_checker() |
tree | commitdiff |
2021-03-13 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2021-03-13 |
Martin Quinson | getraw is only useful when dealing with boost intrusive... |
tree | commitdiff |
2021-03-13 |
Arnaud Giersch | Add parameter timeout to mc::ConditionWaitSimcall and... |
tree | commitdiff |
2021-03-13 |
Arnaud Giersch | Modernize simcall cond_wait. |
tree | commitdiff |
2021-03-13 |
Arnaud Giersch | Modernize simcall sem_acquire. |
tree | commitdiff |
2021-03-13 |
Arnaud Giersch | Const attributes in SimcallObserver. |
tree | commitdiff |
2021-03-13 |
Martin Quinson | inline simcall_check_dependency() now that it's called... |
tree | commitdiff |
2021-03-13 |
Martin Quinson | MC: check dependency between 2 given requests only... |
tree | commitdiff |
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 |
next |