2023-04-01 |
Martin Quinson | Ignore empty replay path + hide a global (to avoid... |
tree | commitdiff |
2023-04-01 |
Martin Quinson | Fix an initialization race around the AppSide |
tree | commitdiff |
2023-03-31 |
Martin Quinson | Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC... |
tree | commitdiff |
2023-03-31 |
Martin Quinson | Fix non-MC builds when MC-only dependencies are missing |
tree | commitdiff |
2023-03-31 |
Martin Quinson | Compile the safe part of MC in default mode too |
tree | commitdiff |
2023-03-31 |
Martin Quinson | Merge branch 'master' into 'master' |
tree | commitdiff |
2023-03-30 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-03-27 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-03-26 |
Martin Quinson | Implement reforks by forking the application, to save... |
tree | commitdiff |
2023-03-25 |
Martin Quinson | memset 0 the memory that is sent over the network |
tree | commitdiff |
2023-03-25 |
Martin Quinson | MC protocol: rename INITIAL_ADDRESSES msg to NEED_MEMINFO |
tree | commitdiff |
2023-03-25 |
Martin Quinson | Actually, now that the appside is not ptraced, there... |
tree | commitdiff |
2023-03-25 |
Martin Quinson | Invert another logic error: we need ptrace when we... |
tree | commitdiff |
2023-03-25 |
Martin Quinson | This test is always false, as we asserted so just above |
tree | commitdiff |
2023-03-24 |
Martin Quinson | MC: disable personality() as it fails on CI and is... |
tree | commitdiff |
2023-03-24 |
Martin Quinson | Fix the refork feature by not ptracing App so that... |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | Strengthen debug messages on channel send/recv. |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | Simplify loop. |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | Determine n_transitions on receiving side (and remove... |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | There's no need to compute the total transition count... |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | Remove superfluous test, and reduce depth of nested... |
tree | commitdiff |
2023-03-24 |
Arnaud Giersch | Merge loops and get rid of the "probes" temporary vector. |
tree | commitdiff |
2023-03-24 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-03-23 |
Martin Quinson | Dont use handle_waitpid after we killed the App, as... |
tree | commitdiff |
2023-03-23 |
Martin Quinson | Actually, read()=0 is not an issue in the AppSide |
tree | commitdiff |
2023-03-23 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-03-22 |
Martin Quinson | Fix some easy sonar smells |
tree | commitdiff |
2023-03-22 |
Martin Quinson | Fix two sonar bugs |
tree | commitdiff |
2023-03-22 |
Martin Quinson | Merge branch 'udpor-phase6' into 'master' |
tree | commitdiff |
2023-03-21 |
Martin Quinson | Make sure that the dtor of CheckerSide actually kills... |
tree | commitdiff |
2023-03-21 |
Martin Quinson | Fix the liveness tests when the reforks are compiled... |
tree | commitdiff |
2023-03-20 |
Martin Quinson | Manually handle the memory associated to the libevent... |
tree | commitdiff |
2023-03-20 |
Martin Quinson | Do not initialize the App's memory introspection if... |
tree | commitdiff |
2023-03-20 |
Martin Quinson | Put everything in position to re-fork the verified App |
tree | commitdiff |
2023-03-20 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-03-19 |
Martin Quinson | cosmetics |
tree | commitdiff |
2023-03-19 |
Martin Quinson | Move more of the CheckerSide creation logic to the... |
tree | commitdiff |
2023-03-19 |
Martin Quinson | Differ the creation of the RemoteProcessMemory to when... |
tree | commitdiff |
2023-03-19 |
Martin Quinson | Better responsabilities splitup between CheckerSide... |
tree | commitdiff |
2023-03-19 |
Martin Quinson | Move methods not related to Memory out of RemoteProcess... |
tree | commitdiff |
2023-03-19 |
Martin Quinson | Finally kill the now empty ModelChecker class |
tree | commitdiff |
2023-03-19 |
Martin Quinson | Move the memory handling of RemoteProcessMemory singlet... |
tree | commitdiff |
2023-03-19 |
Martin Quinson | Move handle_message from ModelChecker to RemoteProcessM... |
tree | commitdiff |
2023-03-19 |
Martin Quinson | Move handle_waitpid from ModelChecker to RemoteProcessM... |
tree | commitdiff |
2023-03-19 |
Martin Quinson | another mc_model_checker call location disappears |
tree | commitdiff |
2023-03-18 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-03-18 |
Martin Quinson | Reduce a bit the adherance of handle_waitpid to ModelCh... |
tree | commitdiff |
2023-03-18 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-03-18 |
Martin Quinson | Merge CheckerSide::start() intp the constructor |
tree | commitdiff |
2023-03-18 |
Martin Quinson | Better split of responsabilities between CheckerSide... |
tree | commitdiff |
2023-03-18 |
Martin Quinson | Move the checker_side_ from the ModelChecker to the... |
tree | commitdiff |
2023-03-17 |
Martin Quinson | Simplify Channel::receive by handling non-blocking... |
tree | commitdiff |
2023-03-15 |
Martin Quinson | Sanitize how we know the current MC mode |
tree | commitdiff |
2023-03-13 |
Fred Suter | Merge branch 'master' into 'master' |
tree | commitdiff |
2023-03-12 |
Martin Quinson | MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory |
tree | commitdiff |
2023-03-12 |
Martin Quinson | Clean leftovers |
tree | commitdiff |
2023-03-12 |
Martin Quinson | MC: stop reading maxpid in memory, but ask it over... |
tree | commitdiff |
2023-03-05 |
Martin Quinson | Merge branch 'maximal-subset-search' into 'master' |
tree | commitdiff |
2023-03-02 |
Arnaud Giersch | Zero-initialize more messages. |
tree | commitdiff |
2023-03-02 |
Arnaud Giersch | Replace memset(..., 0, ...) with zero-initialization. |
tree | commitdiff |
2023-03-02 |
Arnaud Giersch | Zero-initialize messages (essentially their padding... |
tree | commitdiff |
2023-02-24 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-02-23 |
Arnaud Giersch | Merge branch 'simgrid-udpor-integration' into 'master' |
tree | commitdiff |
2023-02-23 |
Arnaud Giersch | Various cleanups. |
tree | commitdiff |
2023-02-20 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-02-20 |
Arnaud Giersch | Merge branch 'fix-probe' into 'master' |
tree | commitdiff |
2023-02-20 |
Maxwell Pirtle | Send actor action probes one at a time |
tree | commitdiff |
2023-02-19 |
Martin Quinson | Remove more occurences of 'surf' with uppercases |
tree | commitdiff |
2023-02-18 |
Martin Quinson | Kill src/include |
tree | commitdiff |
2023-02-18 |
Martin Quinson | reduce the amount of header includes in headers, to... |
tree | commitdiff |
2023-02-18 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2023-02-18 |
Arnaud Giersch | Various cleanups. |
tree | commitdiff |
2023-02-16 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-02-16 |
Martin Quinson | fix MC+gcc builds |
tree | commitdiff |
2023-02-16 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-02-15 |
Martin Quinson | Merge branch 'actor-comms' into 'master' |
tree | commitdiff |
2023-02-15 |
Maxwell Pirtle | Add note about resetting `times_considered` |
tree | commitdiff |
2023-02-13 |
Maxwell Pirtle | Finalize passing transitions during model checking |
tree | commitdiff |
2023-02-10 |
Maxwell Pirtle | Add intial steps to transfer transitions to the MC |
tree | commitdiff |
2023-01-13 |
Arnaud Giersch | Fix MC+sthread+coverage. |
tree | commitdiff |
2023-01-01 |
Arnaud Giersch | Update copyright lines for 2023. |
tree | commitdiff |
2022-11-21 |
Arnaud Giersch | Address misc Sonar issues. |
tree | commitdiff |
2022-11-08 |
Arnaud Giersch | Remove explicit conversion to std::string when it's... |
tree | commitdiff |
2022-11-04 |
Martin Quinson | Kill the now useless type xbt::string |
tree | commitdiff |
2022-11-01 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2022-11-01 |
Martin Quinson | MC: display the status of all actors in case of deadlock |
tree | commitdiff |
2022-11-01 |
Fred Suter | Merge branch 'fluidio' into 'master' |
tree | commitdiff |
2022-10-27 |
Arnaud Giersch | Use true/false for boolean variable (Sonar). |
tree | commitdiff |
2022-10-21 |
Martin Quinson | fix the parameter of a strncpy call |
tree | commitdiff |
2022-10-16 |
Martin Quinson | Kill redundent sanity checks |
tree | commitdiff |
2022-10-16 |
Martin Quinson | Don't include simgrid/config.h from simgrid/modelchecke... |
tree | commitdiff |
2022-10-16 |
Martin Quinson | Implement pthread_join in MC mode for sthread |
tree | commitdiff |
2022-10-06 |
Arnaud Giersch | Merge branch 'wifi_clean' into 'master' |
tree | commitdiff |
2022-08-26 |
Arnaud Giersch | Use "std::vector" instead of C-style array (sonar). |
tree | commitdiff |
2022-08-26 |
Arnaud Giersch | Avoid to send/receive zero-size messages. |
tree | commitdiff |
2022-08-07 |
Martin Quinson | Small cleanups in mc::Snapshot |
tree | commitdiff |
2022-08-06 |
Martin Quinson | Move mc:api::get_remote_heap_bytes() to RemoteProcess |
tree | commitdiff |
2022-08-01 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2022-07-31 |
Martin Quinson | Kill a now useless variable |
tree | commitdiff |
2022-07-31 |
Martin Quinson | sanitize things around FINALIZE_REPLY despite my lazine... |
tree | commitdiff |
next |