Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add new entry in Release_Notes.
[simgrid.git] / src / mc / remote /
2023-11-08 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-07 Martin QuinsonAdd an assert that the checker don't try to exec disabl... tree | commitdiff
2023-11-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-05 Martin QuinsonRemove the stateful model-checking from the archive... tree | commitdiff
2023-11-03 Martin QuinsonMerge branch 'master' into simgrid-fork-changelog-plugins tree | commitdiff
2023-11-02 Martin QuinsonMC: add an observer to sleep simcalls tree | commitdiff
2023-07-10 Fred SuterMerge remote-tracking branch 'origin/master' into jbod tree | commitdiff
2023-07-10 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-07-10 Arnaud GierschMissing includes (for gcc-14?) tree | commitdiff
2023-07-01 Martin QuinsonMore verbose error and debug messages tree | commitdiff
2023-06-28 Martin QuinsonMerge branch 'master' into 'python_bindings_host_load_p... tree | commitdiff
2023-06-20 Fred SuterMerge branch 'master' into 'task-token' tree | commitdiff
2023-06-16 Arnaud GierschMerge branch 'fix-wakeup-tree-iterator' into 'master' tree | commitdiff
2023-06-16 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-15 Martin QuinsonFix the liveness tests by ignoring the Comm ID memory... tree | commitdiff
2023-06-06 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-06 Arnaud GierschClang-tidy: readability-qualified-auto. tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/mwapl... tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-05 Martin QuinsonMerge branch 'odpor-implementation' into 'master' tree | commitdiff
2023-05-31 Martin QuinsonMerge branch 'simgrid-fork-plugin-photovoltaic' tree | commitdiff
2023-05-23 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-05-23 Arnaud GierschUse the "_t" and "_v" version of type traits. tree | commitdiff
2023-05-15 Arnaud GierschDefine master_socket_name only once, and embed it with... tree | commitdiff
2023-05-15 Arnaud GierschTry harder not to fail with stale sockets after several... tree | commitdiff
2023-04-27 Arnaud GierschWhitespace cleanup (codefactor.io). tree | commitdiff
2023-04-27 Martin QuinsonMC: give each state an incoming transition too tree | commitdiff
2023-04-26 Martin QuinsonMerge branch 'operation-plugin' into 'master' tree | commitdiff
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master' tree | commitdiff
2023-04-15 Martin QuinsonAlso send the disabled transitions over: UDPOR needs it tree | commitdiff
2023-04-15 Martin QuinsonMore informative message on system error tree | commitdiff
2023-04-11 Arnaud GierschMark functions as "const" (sonar). tree | commitdiff
2023-04-11 Arnaud GierschMisc sonar issues. tree | commitdiff
2023-04-11 Arnaud GierschWhitespace cleanup (codefactor.io). tree | commitdiff
2023-04-10 Arnaud GierschLess low-level operations to manage receive buffer. tree | commitdiff
2023-04-07 Martin QuinsonPlease don't fix this error reported by clang-static... tree | commitdiff
2023-04-06 Martin QuinsonMC: Reap all zombie childs to avoid them to accumulate tree | commitdiff
2023-04-05 Martin QuinsonImprove the logging level of that message that is relat... tree | commitdiff
2023-04-05 Arnaud GierschCentralize definitions for the name of environment... tree | commitdiff
2023-04-04 Martin QuinsonUse the fast SOCK_SEQPACKET where available tree | commitdiff
2023-04-04 Martin QuinsonMake the MC protocol work on top of STREAM sockets tree | commitdiff
2023-04-03 Martin QuinsonDon't die at compilation when activating stateless... tree | commitdiff
2023-04-03 Arnaud GierschRevert "Treat ECONNRESET like a normal connection close." tree | commitdiff
2023-04-03 Arnaud GierschTreat ECONNRESET like a normal connection close. tree | commitdiff
2023-04-02 Martin QuinsonDon't use ucontextes on Apple hosts tree | commitdiff
2023-04-02 Martin QuinsonCast a printf parameter to please MacOS X tree | commitdiff
2023-04-02 Martin QuinsonDon't use CLOEXEC tree | commitdiff
2023-04-01 Martin QuinsonIgnore empty replay path + hide a global (to avoid... tree | commitdiff
2023-04-01 Martin QuinsonFix an initialization race around the AppSide tree | commitdiff
2023-03-31 Martin QuinsonRename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC... tree | commitdiff
2023-03-31 Martin QuinsonFix non-MC builds when MC-only dependencies are missing tree | commitdiff
2023-03-31 Martin QuinsonCompile the safe part of MC in default mode too tree | commitdiff
2023-03-31 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-03-30 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-26 Martin QuinsonImplement reforks by forking the application, to save... tree | commitdiff
2023-03-25 Martin Quinsonmemset 0 the memory that is sent over the network tree | commitdiff
2023-03-25 Martin QuinsonMC protocol: rename INITIAL_ADDRESSES msg to NEED_MEMINFO tree | commitdiff
2023-03-25 Martin QuinsonActually, now that the appside is not ptraced, there... tree | commitdiff
2023-03-25 Martin QuinsonInvert another logic error: we need ptrace when we... tree | commitdiff
2023-03-25 Martin QuinsonThis test is always false, as we asserted so just above tree | commitdiff
2023-03-24 Martin QuinsonMC: disable personality() as it fails on CI and is... tree | commitdiff
2023-03-24 Martin QuinsonFix the refork feature by not ptracing App so that... tree | commitdiff
2023-03-24 Arnaud GierschStrengthen debug messages on channel send/recv. tree | commitdiff
2023-03-24 Arnaud GierschSimplify loop. tree | commitdiff
2023-03-24 Arnaud GierschDetermine n_transitions on receiving side (and remove... tree | commitdiff
2023-03-24 Arnaud GierschThere's no need to compute the total transition count... tree | commitdiff
2023-03-24 Arnaud GierschRemove superfluous test, and reduce depth of nested... tree | commitdiff
2023-03-24 Arnaud GierschMerge loops and get rid of the "probes" temporary vector. tree | commitdiff
2023-03-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-23 Martin QuinsonDont use handle_waitpid after we killed the App, as... tree | commitdiff
2023-03-23 Martin QuinsonActually, read()=0 is not an issue in the AppSide tree | commitdiff
2023-03-23 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-22 Martin QuinsonFix some easy sonar smells tree | commitdiff
2023-03-22 Martin QuinsonFix two sonar bugs tree | commitdiff
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master' tree | commitdiff
2023-03-21 Martin QuinsonMake sure that the dtor of CheckerSide actually kills... tree | commitdiff
2023-03-21 Martin QuinsonFix the liveness tests when the reforks are compiled... tree | commitdiff
2023-03-20 Martin QuinsonManually handle the memory associated to the libevent... tree | commitdiff
2023-03-20 Martin QuinsonDo not initialize the App's memory introspection if... tree | commitdiff
2023-03-20 Martin QuinsonPut everything in position to re-fork the verified App tree | commitdiff
2023-03-20 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-19 Martin Quinsoncosmetics tree | commitdiff
2023-03-19 Martin QuinsonMove more of the CheckerSide creation logic to the... tree | commitdiff
2023-03-19 Martin QuinsonDiffer the creation of the RemoteProcessMemory to when... tree | commitdiff
2023-03-19 Martin QuinsonBetter responsabilities splitup between CheckerSide... tree | commitdiff
2023-03-19 Martin QuinsonMove methods not related to Memory out of RemoteProcess... tree | commitdiff
2023-03-19 Martin QuinsonFinally kill the now empty ModelChecker class tree | commitdiff
2023-03-19 Martin QuinsonMove the memory handling of RemoteProcessMemory singlet... tree | commitdiff
2023-03-19 Martin QuinsonMove handle_message from ModelChecker to RemoteProcessM... tree | commitdiff
2023-03-19 Martin QuinsonMove handle_waitpid from ModelChecker to RemoteProcessM... tree | commitdiff
2023-03-19 Martin Quinsonanother mc_model_checker call location disappears tree | commitdiff
2023-03-18 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-18 Martin QuinsonReduce a bit the adherance of handle_waitpid to ModelCh... tree | commitdiff
2023-03-18 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-18 Martin QuinsonMerge CheckerSide::start() intp the constructor tree | commitdiff
2023-03-18 Martin QuinsonBetter split of responsabilities between CheckerSide... tree | commitdiff
2023-03-18 Martin QuinsonMove the checker_side_ from the ModelChecker to the... tree | commitdiff
2023-03-17 Martin QuinsonSimplify Channel::receive by handling non-blocking... tree | commitdiff
2023-03-15 Martin QuinsonSanitize how we know the current MC mode tree | commitdiff
next
Clone of SimGrid repository with local patches