2022-07-31 |
Martin Quinson | sanitize things around FINALIZE_REPLY despite my lazine... |
blob | commitdiff | raw |
2022-07-30 |
Martin Quinson | MC further cleanups (let it compile, this time) |
blob | commitdiff | raw | diff to current |
2022-07-30 |
Martin Quinson | And now cleanup the App-side of cruft that was needed... |
blob | commitdiff | raw | diff to current |
2022-07-30 |
Martin Quinson | Finally kill mc::RemoteProcess::actors(). We now commun... |
blob | commitdiff | raw | diff to current |
2022-07-22 |
Augustin Degomme | Merge branch 'support-sendrecv-ti' into 'master' |
blob | commitdiff | raw | diff to current |
2022-07-21 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
2022-07-21 |
Martin Quinson | Separate mmalloc from xbt |
blob | commitdiff | raw | diff to current |
2022-06-30 |
Arnaud Giersch | Merge branch 'dev-get-hostname-faster' into 'master' |
blob | commitdiff | raw | diff to current |
2022-06-30 |
Arnaud Giersch | Merge branch 'python_ptask' into 'master' |
blob | commitdiff | raw | diff to current |
2022-06-28 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
2022-06-28 |
Arnaud Giersch | SMPI_is_inited() and smpi_enabled() have the same purpo... |
blob | commitdiff | raw | diff to current |
2022-05-10 |
Arnaud Giersch | Concatenate nested namespaces (sonar). |
blob | commitdiff | raw | diff to current |
2022-03-30 |
Martin Quinson | Merge branch 'add_missing_comm_python_bindings' into... |
blob | commitdiff | raw | diff to current |
2022-03-29 |
Martin Quinson | Merge branch 'dev-mailbox-clear' into 'master' |
blob | commitdiff | raw | diff to current |
2022-03-28 |
Bruno Donassolo | Merge branch 'issue105' into 'master' |
blob | commitdiff | raw | diff to current |
2022-03-25 |
Arnaud Giersch | Cosmetics: don't talk about ActorIDTrait if it's not... |
blob | commitdiff | raw | diff to current |
2022-03-24 |
Arnaud Giersch | Make maxpid a static member of ActorIDTrait. |
blob | commitdiff | raw | diff to current |
2022-03-13 |
Martin Quinson | Merge branch 'fix_bindings_mistakenly_set_as_member_fun... |
blob | commitdiff | raw | diff to current |
2022-03-13 |
Martin Quinson | Kill a useless static function |
blob | commitdiff | raw | diff to current |
2022-03-11 |
Martin Quinson | Merge branch 'add_remaining_comm_sync_bindings' into... |
blob | commitdiff | raw | diff to current |
2022-03-09 |
Martin Quinson | further simpify the MC initialization on app side |
blob | commitdiff | raw | diff to current |
2022-03-09 |
Martin Quinson | Simplify the parameter passing while initializing the... |
blob | commitdiff | raw | diff to current |
2022-03-04 |
Martin Quinson | Reimplement s4u::Barrier natively, and make them visibl... |
blob | commitdiff | raw | diff to current |
2022-02-28 |
Arnaud Giersch | Minor sonar smells, and other cosmetics. |
blob | commitdiff | raw | diff to current |
2022-02-28 |
Arnaud Giersch | Put message handling in its own method (avoid nested... |
blob | commitdiff | raw | diff to current |
2022-02-27 |
Martin Quinson | MC: after all, checker does not need the list of dead... |
blob | commitdiff | raw | diff to current |
2022-02-19 |
Martin Quinson | kill ModelChecker::simcall_is_visible() |
blob | commitdiff | raw | diff to current |
2022-02-18 |
Martin Quinson | Have the application execute its transition before... |
blob | commitdiff | raw | diff to current |
2022-02-16 |
Arnaud Giersch | Use C++ std::array (sonar). |
blob | commitdiff | raw | diff to current |
2022-02-12 |
Martin Quinson | Simplify the serialization protocol to implement TestAn... |
blob | commitdiff | raw | diff to current |
2022-02-12 |
Martin Quinson | Fix MC gcc builds :( |
blob | commitdiff | raw | diff to current |
2022-02-12 |
Martin Quinson | Move dot_label() from Observer to Transition (+ some... |
blob | commitdiff | raw | diff to current |
2022-02-12 |
Martin Quinson | Better fix for the security warning from sonar: hide... |
blob | commitdiff | raw | diff to current |
2022-02-11 |
Martin Quinson | No need to save the observers on the App side now that... |
blob | commitdiff | raw | diff to current |
2022-02-11 |
Martin Quinson | Big bang in MC: app's observers are serialized, to... |
blob | commitdiff | raw | diff to current |
2022-02-07 |
Martin Quinson | Fast path: don't check the dependency between null... |
blob | commitdiff | raw | diff to current |
2022-02-07 |
Martin Quinson | MC: Trade less use of executed_req for more network... |
blob | commitdiff | raw | diff to current |
2022-02-06 |
Martin Quinson | nardin clang (fix clang MC builds) |
blob | commitdiff | raw | diff to current |
2022-02-05 |
Martin Quinson | Don't compute the dependencies locally in the checker... |
blob | commitdiff | raw | diff to current |
2022-02-05 |
Martin Quinson | MC: isend/irecv are not blocking |
blob | commitdiff | raw | diff to current |
2022-02-03 |
Arnaud Giersch | Merge branch 'stable' |
blob | commitdiff | raw | diff to current |
2022-02-01 |
SUTER Frederic | Start to modernize the remaining old simcalls related... |
blob | commitdiff | raw | diff to current |
2022-01-06 |
Arnaud Giersch | Update copyright lines for 2022. |
blob | commitdiff | raw | diff to current |
2021-09-21 |
SUTER Frederic | move MC stuff from simix_global to EngineImpl |
blob | commitdiff | raw | diff to current |
2021-09-14 |
SUTER Frederic | Merge branch 'master' of https://framagit.org/simgrid... |
blob | commitdiff | raw | diff to current |
2021-08-24 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
2021-08-23 |
Augustin Degomme | Revert "Fix for clang 14: new check was added against... |
blob | commitdiff | raw | diff to current |
2021-08-23 |
Augustin Degomme | Fix for clang 14: new check was added against substract... |
blob | commitdiff | raw | diff to current |
2021-08-17 |
Arnaud Giersch | Pleases somewhat codefactor.io, lgtm, and pvs-studio. |
blob | commitdiff | raw | diff to current |
2021-06-08 |
Augustin Degomme | Merge branch 'factor_in_actions' into 'master' |
blob | commitdiff | raw | diff to current |
2021-06-02 |
Arnaud Giersch | Get rid of "%s" in second argument of function xbt_str_... |
blob | commitdiff | raw | diff to current |
2021-06-01 |
Arnaud Giersch | Prefer std algorithms. |
blob | commitdiff | raw | diff to current |
2021-05-25 |
SUTER Frederic | Continue to migrate contents of simix_global to EngineImpl |
blob | commitdiff | raw | diff to current |
2021-05-05 |
Martin Quinson | MC: Start implementing the dependency functions on... |
blob | commitdiff | raw | diff to current |
2021-05-04 |
Arnaud Giersch | Cosmetics. |
blob | commitdiff | raw | diff to current |
2021-05-04 |
Arnaud Giersch | Put stdout in line buffer mode for MCed apps. |
blob | commitdiff | raw | diff to current |
2021-05-04 |
Martin Quinson | MC: also flush application's stdout on backtrack |
blob | commitdiff | raw | diff to current |
2021-04-30 |
Arnaud Giersch | Missing includes. |
blob | commitdiff | raw | diff to current |
2021-04-22 |
Arnaud Giersch | Use type aid_t for actor ids. |
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 | Avoid a local variable only used by xbt_assert. |
blob | commitdiff | raw | diff to current |
2021-04-02 |
Arnaud Giersch | Change "if(...) xbt_die(...)" to "xbt_assert(...)". |
blob | commitdiff | raw | diff to current |
2021-04-01 |
Arnaud Giersch | Improve debug messages (code is still not functional). |
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-30 |
Arnaud Giersch | [mc] Add some coverage_checkpoint() for model-checked... |
blob | commitdiff | raw | diff to current |
2021-03-30 |
Arnaud Giersch | [mc] Add an option to ask a model-checked application... |
blob | commitdiff | raw | diff to current |
2021-03-30 |
Arnaud Giersch | [mc] Use a basic message type for answering mc::Message... |
blob | commitdiff | raw | diff to current |
2021-03-30 |
Arnaud Giersch | Remove function calls with side effects from xbt_assert. |
blob | commitdiff | raw | diff to current |
2021-03-29 |
Arnaud Giersch | Move xbt_modinter.h to src/include/xbt/. |
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-20 |
Martin Quinson | Add ModelChecker::finalize_app(), but don't use it... |
blob | commitdiff | raw | diff to current |
2021-03-20 |
Martin Quinson | some symbol renamings to make MC easier to understand... |
blob | commitdiff | raw | diff to current |
2021-03-17 |
Arnaud Giersch | Lowercase PID in function name (1/2 - private part). |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Martin Quinson | MC gets the addresses of variables it needs from the... |
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-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-03 |
Arnaud Giersch | Pointer to const. |
blob | commitdiff | raw | diff to current |
2021-03-02 |
Arnaud Giersch | Protect against buffer overflow. |
blob | commitdiff | raw | diff to current |
2021-03-01 |
Martin Quinson | remove a workaround for a bug removed in previous commit |
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 | Not sure why to_string is sometimes called when there... |
blob | commitdiff | raw | diff to current |
2021-02-28 |
Martin Quinson | Fix build on clang |
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-05 |
eazimi | Merge branch 'master' of framagit.org:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
2021-02-05 |
Arnaud Giersch | Use XBT_DECLARE_ENUM_CLASS for mc::MessageType. |
blob | commitdiff | raw | diff to current |
2021-01-13 |
agougeon | Merge branch 'master' of https://framagit.org/simgrid... |
blob | commitdiff | raw | diff to current |
2021-01-12 |
Arnaud Giersch | Update copyright lines. |
blob | commitdiff | raw | diff to current |
2020-12-20 |
Martin Quinson | fix MC builds |
blob | commitdiff | raw | diff to current |
2020-12-15 |
Augustin Degomme | Merge branch 'Adrien.Gougeon/simgrid-master' |
blob | commitdiff | raw | diff to current |
2020-11-26 |
Ehsan Azimi | Merge with simgrid/master |
blob | commitdiff | raw | diff to current |
2020-11-26 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
blob | commitdiff | raw | diff to current |
2020-11-26 |
Arnaud Giersch | std::array... |
blob | commitdiff | raw | diff to current |
2020-11-25 |
Arnaud Giersch | Enum class for MC call types, and MC comm pattern diffe... |
blob | commitdiff | raw | diff to current |
2020-11-25 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
blob | commitdiff | raw | diff to current |
2020-11-25 |
Arnaud Giersch | Once again, use sd::array instead of C-style arrays. |
blob | commitdiff | raw | diff to current |
2020-10-23 |
Arnaud Giersch | Merge branch 'pikachuyann/simgrid-stoprofiles' |
blob | commitdiff | raw | diff to current |
2020-10-08 |
Martin Quinson | Merge branch 'klement/simgrid-klement' into master |
blob | commitdiff | raw | diff to current |
2020-10-05 |
Arnaud Giersch | More uses of std::make_unique. |
blob | commitdiff | raw | diff to current |
next |