| 2023-03-12 |
Martin Quinson | MC: stop reading maxpid in memory, but ask it over... |
blob | commitdiff | raw |
| 2023-03-12 |
Martin Quinson | One use less of the global mc_model_checker |
blob | commitdiff | raw | diff to current |
| 2023-03-10 |
Martin Quinson | Merge branch 'udpor-phase5' into 'master' |
blob | commitdiff | raw | diff to current |
| 2023-03-08 |
Arnaud Giersch | Fix asserts for when received size is 0 (message type... |
blob | commitdiff | raw | diff to current |
| 2023-03-05 |
Martin Quinson | Merge branch 'maximal-subset-search' into 'master' |
blob | commitdiff | raw | diff to current |
| 2023-03-02 |
Martin Quinson | Move the dot_output from ModelChecker to Exploration |
blob | commitdiff | raw | diff to current |
| 2023-03-02 |
Arnaud Giersch | Message is retrieved as an unsigned long (according... |
blob | commitdiff | raw | diff to current |
| 2023-03-02 |
Arnaud Giersch | Replace memset(..., 0, ...) with zero-initialization. |
blob | commitdiff | raw | diff to current |
| 2023-01-01 |
Arnaud Giersch | Update copyright lines for 2023. |
blob | commitdiff | raw | diff to current |
| 2022-11-01 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
| 2022-11-01 |
Martin Quinson | MC: tell the user about how to use the replay path... |
blob | commitdiff | raw | diff to current |
| 2022-10-06 |
Arnaud Giersch | Merge branch 'wifi_clean' into 'master' |
blob | commitdiff | raw | diff to current |
| 2022-08-06 |
Martin Quinson | Move the dot_output global into ModelChecker |
blob | commitdiff | raw | diff to current |
| 2022-08-03 |
Martin Quinson | Move the automaton from mc::api to Liveness. An ugly... |
blob | commitdiff | raw | diff to current |
| 2022-08-02 |
Martin Quinson | log_state has nothing to do in RemoteApp, it belongs... |
blob | commitdiff | raw | diff to current |
| 2022-08-02 |
Martin Quinson | Kill mc::api::get_remote_app() |
blob | commitdiff | raw | diff to current |
| 2022-08-02 |
Martin Quinson | Rename mc::Session into mc::api::RemoteApp |
blob | commitdiff | raw | diff to current |
| 2022-07-31 |
Martin Quinson | sanitize things around FINALIZE_REPLY despite my lazine... |
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-05-10 |
Arnaud Giersch | Concatenate nested namespaces (sonar). |
blob | commitdiff | raw | diff to current |
| 2022-05-10 |
Arnaud Giersch | Remove spurious "using" declarations. |
blob | commitdiff | raw | diff to current |
| 2022-05-03 |
Arnaud Giersch | Misc code simplifications guided by Sonar smells. |
blob | commitdiff | raw | diff to current |
| 2022-04-27 |
Arnaud Giersch | Use structured binding declarations (sonar, c++17). |
blob | commitdiff | raw | diff to current |
| 2022-03-03 |
Martin Quinson | Display a nice error message when ptrace is not usable |
blob | commitdiff | raw | diff to current |
| 2022-02-28 |
Arnaud Giersch | One less global variable: session_singleton. |
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-24 |
Arnaud Giersch | Fix segfault when exploration trace is empty. |
blob | commitdiff | raw | diff to current |
| 2022-02-21 |
Martin Quinson | Rename mc::Checker to mc::Exploration as it defines... |
blob | commitdiff | raw | diff to current |
| 2022-02-19 |
Martin Quinson | MC: move a check_deadlock from ModelChecker to Session... |
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 | Split TransitionAny and TransitionRandom to their own... |
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-13 |
Martin Quinson | better name |
blob | commitdiff | raw | diff to current |
| 2022-02-12 |
Martin Quinson | Implement TestAnyTransition |
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 | Move dot_label() from Observer to Transition (+ some... |
blob | commitdiff | raw | diff to current |
| 2022-02-11 |
Martin Quinson | MC: one simplification step |
blob | commitdiff | raw | diff to current |
| 2022-02-11 |
Martin Quinson | Inline another stupid function |
blob | commitdiff | raw | diff to current |
| 2022-02-11 |
Martin Quinson | Start moving classes into the mc/api directory |
blob | commitdiff | raw | diff to current |
| 2022-02-11 |
Martin Quinson | Fix builds with/without MC and with/without clang ... |
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-05 |
Martin Quinson | Don't compute the dependencies locally in the checker... |
blob | commitdiff | raw | diff to current |
| 2022-01-06 |
Arnaud Giersch | Update copyright lines for 2022. |
blob | commitdiff | raw | diff to current |
| 2021-09-19 |
Arnaud Giersch | Missing includes. |
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-06-24 |
Arnaud Giersch | Pass the real pointer to the englobing MC class for... |
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 | Zero-initialize struct to avoid valgrind warnings. |
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 | Ptrace returns a long int. |
blob | commitdiff | raw | diff to current |
| 2021-03-30 |
Arnaud Giersch | [mc] Politely ask the model-checked application to... |
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 | [mc] Use existing ModelChecker::shutdown() on ModelChec... |
blob | commitdiff | raw | diff to current |
| 2021-03-30 |
Arnaud Giersch | [mc] Terminate crashing applications too. |
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-20 |
Martin Quinson | Add ModelChecker::finalize_app(), but don't use it... |
blob | commitdiff | raw | diff to current |
| 2021-03-14 |
Martin Quinson | Gosh I hate the formating strings when size_t comes... |
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-14 |
Martin Quinson | Give an explicit name to the session singleton |
blob | commitdiff | raw | diff to current |
| 2021-03-14 |
Martin Quinson | Inline a function |
blob | commitdiff | raw | diff to current |
| 2021-03-14 |
Martin Quinson | Dont pass as a parameter something that is already... |
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 | 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-02 |
Arnaud Giersch | Reduce code duplication. |
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-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-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-11-22 |
agougeon | Merge branch 'master' of https://framagit.org/simgrid... |
blob | commitdiff | raw | diff to current |
| 2020-11-20 |
Arnaud Giersch | Misc simplifications. |
blob | commitdiff | raw | diff to current |
| 2020-11-18 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
| 2020-11-18 |
Arnaud Giersch | More const pointers. |
blob | commitdiff | raw | diff to current |
| 2020-10-23 |
Arnaud Giersch | Merge branch 'pikachuyann/simgrid-stoprofiles' |
blob | commitdiff | raw | diff to current |
| 2020-09-30 |
Martin Quinson | Merge branch 'adrien' into 'master' |
blob | commitdiff | raw | diff to current |
| 2020-09-30 |
Martin Quinson | Merge branch 'master' into adrien |
blob | commitdiff | raw | diff to current |
| 2020-09-26 |
Martin Quinson | Merge branch 'master' of framagit.org:Adrien.Gougeon... |
blob | commitdiff | raw | diff to current |
| 2020-07-03 |
Clément Courageux | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
| 2020-07-03 |
Arnaud Giersch | [sonar] Const for local variables. |
blob | commitdiff | raw | diff to current |
| 2020-06-12 |
Augustin Degomme | Fix most of spelling mistakes in src/ |
blob | commitdiff | raw | diff to current |
| 2020-05-25 |
Martin Quinson | MC: inline a function |
blob | commitdiff | raw | diff to current |
| 2020-05-10 |
Martin Quinson | Fix MC on FreeBSD |
blob | commitdiff | raw | diff to current |
| 2020-05-09 |
Martin Quinson | MC: Further renamings |
blob | commitdiff | raw | diff to current |
| 2020-05-06 |
Martin Quinson | MC: actually remove the comm channel from RemoteClientM... |
blob | commitdiff | raw | diff to current |
| next |
