2023-04-15 |
Martin Quinson | Also send the disabled transitions over: UDPOR needs it |
blob | commitdiff | raw |
2023-04-15 |
Martin Quinson | More informative message on system error |
blob | commitdiff | raw | diff to current |
2023-04-11 |
Arnaud Giersch | Misc sonar issues. |
blob | commitdiff | raw | diff to current |
2023-04-06 |
Martin Quinson | MC: Reap all zombie childs to avoid them to accumulate |
blob | commitdiff | raw | diff to current |
2023-04-05 |
Martin Quinson | Improve the logging level of that message that is relat... |
blob | commitdiff | raw | diff to current |
2023-04-05 |
Arnaud Giersch | Centralize definitions for the name of environment... |
blob | commitdiff | raw | diff to current |
2023-04-04 |
Martin Quinson | Use the fast SOCK_SEQPACKET where available |
blob | commitdiff | raw | diff to current |
2023-04-04 |
Martin Quinson | Make the MC protocol work on top of STREAM sockets |
blob | commitdiff | raw | diff to current |
2023-04-02 |
Martin Quinson | Don't use ucontextes on Apple hosts |
blob | commitdiff | raw | diff to current |
2023-04-02 |
Martin Quinson | Cast a printf parameter to please MacOS X |
blob | commitdiff | raw | diff to current |
2023-04-02 |
Martin Quinson | Don't use CLOEXEC |
blob | commitdiff | raw | diff to current |
2023-04-01 |
Martin Quinson | Ignore empty replay path + hide a global (to avoid... |
blob | commitdiff | raw | diff to current |
2023-04-01 |
Martin Quinson | Fix an initialization race around the AppSide |
blob | commitdiff | raw | diff to current |
2023-03-31 |
Martin Quinson | Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC... |
blob | commitdiff | raw | diff to current |
2023-03-31 |
Martin Quinson | Fix non-MC builds when MC-only dependencies are missing |
blob | commitdiff | raw | diff to current |
2023-03-31 |
Martin Quinson | Compile the safe part of MC in default mode too |
blob | commitdiff | raw | diff to current |
2023-03-31 |
Martin Quinson | Merge branch 'master' into 'master' |
blob | commitdiff | raw | diff to current |
2023-03-30 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
blob | commitdiff | raw | diff to current |
2023-03-27 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
blob | commitdiff | raw | diff to current |
2023-03-26 |
Martin Quinson | Implement reforks by forking the application, to save... |
blob | commitdiff | raw | diff to current |
2023-03-25 |
Martin Quinson | memset 0 the memory that is sent over the network |
blob | commitdiff | raw | diff to current |
2023-03-25 |
Martin Quinson | MC protocol: rename INITIAL_ADDRESSES msg to NEED_MEMINFO |
blob | commitdiff | raw | diff to current |
2023-03-24 |
Martin Quinson | Fix the refork feature by not ptracing App so that... |
blob | commitdiff | raw | diff to current |
2023-03-24 |
Arnaud Giersch | Simplify loop. |
blob | commitdiff | raw | diff to current |
2023-03-24 |
Arnaud Giersch | Determine n_transitions on receiving side (and remove... |
blob | commitdiff | raw | diff to current |
2023-03-24 |
Arnaud Giersch | There's no need to compute the total transition count... |
blob | commitdiff | raw | diff to current |
2023-03-24 |
Arnaud Giersch | Remove superfluous test, and reduce depth of nested... |
blob | commitdiff | raw | diff to current |
2023-03-24 |
Arnaud Giersch | Merge loops and get rid of the "probes" temporary vector. |
blob | commitdiff | raw | diff to current |
2023-03-24 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
blob | commitdiff | raw | diff to current |
2023-03-23 |
Martin Quinson | Actually, read()=0 is not an issue in the AppSide |
blob | commitdiff | raw | diff to current |
2023-03-23 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
blob | commitdiff | raw | diff to current |
2023-03-22 |
Martin Quinson | Merge branch 'udpor-phase6' into 'master' |
blob | commitdiff | raw | diff to current |
2023-03-21 |
Martin Quinson | Fix the liveness tests when the reforks are compiled... |
blob | commitdiff | raw | diff to current |
2023-03-20 |
Martin Quinson | Do not initialize the App's memory introspection if... |
blob | commitdiff | raw | diff to current |
2023-03-15 |
Martin Quinson | Sanitize how we know the current MC mode |
blob | commitdiff | raw | diff to current |
2023-03-13 |
Fred Suter | Merge branch 'master' into 'master' |
blob | commitdiff | raw | diff to current |
2023-03-12 |
Martin Quinson | MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory |
blob | commitdiff | raw | diff to current |
2023-03-12 |
Martin Quinson | MC: stop reading maxpid in memory, but ask it over... |
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 |
Arnaud Giersch | Zero-initialize more messages. |
blob | commitdiff | raw | diff to current |
2023-03-02 |
Arnaud Giersch | Replace memset(..., 0, ...) with zero-initialization. |
blob | commitdiff | raw | diff to current |
2023-03-02 |
Arnaud Giersch | Zero-initialize messages (essentially their padding... |
blob | commitdiff | raw | diff to current |
2023-02-24 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
blob | commitdiff | raw | diff to current |
2023-02-23 |
Arnaud Giersch | Merge branch 'simgrid-udpor-integration' into 'master' |
blob | commitdiff | raw | diff to current |
2023-02-23 |
Arnaud Giersch | Various cleanups. |
blob | commitdiff | raw | diff to current |
2023-02-20 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
blob | commitdiff | raw | diff to current |
2023-02-20 |
Arnaud Giersch | Merge branch 'fix-probe' into 'master' |
blob | commitdiff | raw | diff to current |
2023-02-20 |
Maxwell Pirtle | Send actor action probes one at a time |
blob | commitdiff | raw | diff to current |
2023-02-19 |
Martin Quinson | Remove more occurences of 'surf' with uppercases |
blob | commitdiff | raw | diff to current |
2023-02-18 |
Martin Quinson | Kill src/include |
blob | commitdiff | raw | diff to current |
2023-02-18 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
blob | commitdiff | raw | diff to current |
2023-02-18 |
Arnaud Giersch | Various cleanups. |
blob | commitdiff | raw | diff to current |
2023-02-16 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
blob | commitdiff | raw | diff to current |
2023-02-15 |
Martin Quinson | Merge branch 'actor-comms' into 'master' |
blob | commitdiff | raw | diff to current |
2023-02-15 |
Maxwell Pirtle | Add note about resetting `times_considered` |
blob | commitdiff | raw | diff to current |
2023-02-10 |
Maxwell Pirtle | Add intial steps to transfer transitions to the MC |
blob | commitdiff | raw | diff to current |
2023-01-13 |
Arnaud Giersch | Fix MC+sthread+coverage. |
blob | commitdiff | raw | diff to current |
2023-01-01 |
Arnaud Giersch | Update copyright lines for 2023. |
blob | commitdiff | raw | diff to current |
2022-11-21 |
Arnaud Giersch | Address misc Sonar issues. |
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: display the status of all actors in case of deadlock |
blob | commitdiff | raw | diff to current |
2022-11-01 |
Fred Suter | Merge branch 'fluidio' into 'master' |
blob | commitdiff | raw | diff to current |
2022-10-27 |
Arnaud Giersch | Use true/false for boolean variable (Sonar). |
blob | commitdiff | raw | diff to current |
2022-10-21 |
Martin Quinson | fix the parameter of a strncpy call |
blob | commitdiff | raw | diff to current |
2022-10-16 |
Martin Quinson | Kill redundent sanity checks |
blob | commitdiff | raw | diff to current |
2022-10-16 |
Martin Quinson | Don't include simgrid/config.h from simgrid/modelchecke... |
blob | commitdiff | raw | diff to current |
2022-10-16 |
Martin Quinson | Implement pthread_join in MC mode for sthread |
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-26 |
Arnaud Giersch | Use "std::vector" instead of C-style array (sonar). |
blob | commitdiff | raw | diff to current |
2022-08-26 |
Arnaud Giersch | Avoid to send/receive zero-size messages. |
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 | 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 |
next |