2021-05-04 |
Arnaud Giersch | Cosmetics. |
tree | commitdiff |
2021-05-04 |
Arnaud Giersch | Put stdout in line buffer mode for MCed apps. |
tree | commitdiff |
2021-05-04 |
Martin Quinson | MC: also flush application's stdout on backtrack |
tree | commitdiff |
2021-04-30 |
Arnaud Giersch | Resize(0) is redundant. |
tree | commitdiff |
2021-04-30 |
Arnaud Giersch | Missing includes. |
tree | commitdiff |
2021-04-22 |
Arnaud Giersch | Use type aid_t for actor ids. |
tree | commitdiff |
2021-04-19 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2021-04-07 |
Arnaud Giersch | Replace void* used for RemoteProcess pointers. |
tree | commitdiff |
2021-04-07 |
Arnaud Giersch | Use a RemotePtr<> for RemoteProcess::heap_address. |
tree | commitdiff |
2021-04-07 |
Arnaud Giersch | Stop using void* for xbt_mheap_t. |
tree | commitdiff |
2021-04-03 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2021-04-02 |
Arnaud Giersch | Avoid a local variable only used by xbt_assert. |
tree | commitdiff |
2021-04-02 |
Arnaud Giersch | Change "if(...) xbt_die(...)" to "xbt_assert(...)". |
tree | commitdiff |
2021-04-02 |
Arnaud Giersch | Make mc::Api::get_actor_name return a const&. |
tree | commitdiff |
2021-04-01 |
Arnaud Giersch | Improve debug messages (code is still not functional). |
tree | commitdiff |
2021-04-01 |
Martin Quinson | Actor's ID should be a long, and should be named AID |
tree | commitdiff |
2021-03-30 |
Arnaud Giersch | [mc] Add some coverage_checkpoint() for model-checked... |
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 | Remove function calls with side effects from xbt_assert. |
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-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-17 |
Arnaud Giersch | Lowercase PID in function name (1/2 - private part). |
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-13 |
Martin Quinson | Rename mc::RemoteSimulation into mc::RemoteProcess |
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-08 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2021-03-08 |
Arnaud Giersch | Typo. |
tree | commitdiff |
2021-03-06 |
Martin Quinson | MC: inline a function, kill a file |
tree | commitdiff |
2021-03-04 |
Martin Quinson | mc: rename Inspector to Observer |
tree | commitdiff |
2021-03-03 |
Arnaud Giersch | Pointer to const. |
tree | commitdiff |
2021-03-02 |
Arnaud Giersch | Protect against buffer overflow. |
tree | commitdiff |
2021-03-01 |
Arnaud Giersch | Use xbt::string for MC hostnames. |
tree | commitdiff |
2021-03-01 |
Martin Quinson | remove a workaround for a bug removed in previous commit |
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 | Fix build on clang |
tree | commitdiff |
2021-02-28 |
Martin Quinson | objectification of MC simcall achieved -- many tests... |
tree | commitdiff |
2021-02-24 |
agougeon | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2021-02-05 |
eazimi | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2021-02-05 |
Arnaud Giersch | Use XBT_DECLARE_ENUM_CLASS for mc::MessageType. |
tree | commitdiff |
2021-02-03 |
agougeon | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2021-01-24 |
Augustin Degomme | add more libs (from ubuntu 21.04) to exclusion list |
tree | commitdiff |
2021-01-13 |
Arnaud Giersch | [sonar] Replace the use of "::type" with the "_t" versi... |
tree | commitdiff |
2021-01-13 |
agougeon | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2021-01-12 |
Arnaud Giersch | Update copyright lines. |
tree | commitdiff |
2020-12-20 |
Martin Quinson | fix MC builds |
tree | commitdiff |
2020-12-15 |
Augustin Degomme | Merge branch 'Adrien.Gougeon/simgrid-master' |
tree | commitdiff |
2020-11-26 |
Ehsan Azimi | Merge with simgrid/master |
tree | commitdiff |
2020-11-26 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
tree | commitdiff |
2020-11-26 |
Arnaud Giersch | std::array... |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | Enum class for MC call types, and MC comm pattern diffe... |
tree | commitdiff |
2020-11-25 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | Once again, use sd::array instead of C-style arrays. |
tree | commitdiff |
2020-11-25 |
Arnaud Giersch | [sonar] Rename local parameters. |
tree | commitdiff |
2020-11-24 |
Arnaud Giersch | Use std algorithms for binary search. |
tree | commitdiff |
2020-11-24 |
Arnaud Giersch | Kill unused field. |
tree | commitdiff |
2020-11-22 |
agougeon | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2020-11-20 |
Arnaud Giersch | Use more std::string. |
tree | commitdiff |
2020-11-19 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid... |
tree | commitdiff |
2020-11-18 |
Arnaud Giersch | Useless std::move. |
tree | commitdiff |
2020-11-18 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
tree | commitdiff |
2020-11-18 |
Arnaud Giersch | Prefer "using" to "typedef". |
tree | commitdiff |
2020-11-18 |
Augustin Degomme | again.. |
tree | commitdiff |
2020-11-17 |
Augustin Degomme | et ça continue, encore et encore... |
tree | commitdiff |
2020-11-17 |
Augustin Degomme | one more lib to exclude ... we should really get rid... |
tree | commitdiff |
2020-11-16 |
Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid |
tree | commitdiff |
2020-11-09 |
Augustin Degomme | exclude lib for mc on freebsd |
tree | commitdiff |
2020-10-23 |
Arnaud Giersch | Merge branch 'pikachuyann/simgrid-stoprofiles' |
tree | commitdiff |
2020-10-08 |
Martin Quinson | Merge branch 'klement/simgrid-klement' into master |
tree | commitdiff |
2020-10-06 |
Arnaud Giersch | Modernize method declarations. |
tree | commitdiff |
2020-10-06 |
Arnaud Giersch | Prefer nullptr and bool literals. |
tree | commitdiff |
2020-10-05 |
Arnaud Giersch | Prefer C++ headers, and C++-style void-arg declarations. |
tree | commitdiff |
2020-10-05 |
Arnaud Giersch | More uses of std::make_unique. |
tree | commitdiff |
2020-10-04 |
Arnaud Giersch | [sonar] Replace redundant type with "auto" (src/mc/). |
tree | commitdiff |
2020-09-30 |
Martin Quinson | Merge branch 'adrien' into 'master' |
tree | commitdiff |
2020-09-30 |
Martin Quinson | Merge branch 'master' into adrien |
tree | commitdiff |
2020-09-26 |
Martin Quinson | Merge branch 'master' of framagit.org:Adrien.Gougeon... |
tree | commitdiff |
2020-08-25 |
Arnaud Giersch | Sort list of filtered libraries, and add libzstd to... |
tree | commitdiff |
2020-07-09 |
Martin Quinson | Merge branch 'master' into klement |
tree | commitdiff |
2020-07-03 |
Arnaud Giersch | [sonar] Const etc. (round #3). |
tree | commitdiff |
2020-07-03 |
Clément Courageux | Merge remote-tracking branch 'upstream/master' into... |
tree | commitdiff |
2020-07-03 |
Arnaud Giersch | [sonar] Declare functions "const" (round #2). |
tree | commitdiff |
2020-07-02 |
Arnaud Giersch | [sonar] Convert integer literals to bool literals. |
tree | commitdiff |
2020-07-02 |
Arnaud Giersch | [sonar] Declare functions "const" in src/mc/. |
tree | commitdiff |
2020-07-01 |
Arnaud Giersch | [sonar] Remove redundant casts. |
tree | commitdiff |
2020-06-12 |
Augustin Degomme | Fix most of spelling mistakes in src/ |
tree | commitdiff |
2020-05-10 |
Martin Quinson | Please the checkers (sonar, codacy) |
tree | commitdiff |
2020-05-10 |
Martin Quinson | MC: obey to the rule of 5 to please sonar |
tree | commitdiff |
2020-05-09 |
Martin Quinson | MC: Further renamings |
tree | commitdiff |
2020-05-06 |
Martin Quinson | MC: actually remove the comm channel from RemoteClientM... |
tree | commitdiff |
next |