Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Implement reforks by forking the application, to save the app exec time
[simgrid.git] / src / mc / remote / mc_protocol.h
2023-03-26 Martin QuinsonImplement reforks by forking the application, to save...
2023-03-25 Martin QuinsonMC protocol: rename INITIAL_ADDRESSES msg to NEED_MEMINFO
2023-03-24 Arnaud GierschDetermine n_transitions on receiving side (and remove...
2023-03-24 Arnaud GierschThere's no need to compute the total transition count...
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master'
2023-03-20 Martin QuinsonDo not initialize the App's memory introspection if...
2023-03-13 Fred SuterMerge branch 'master' into 'master'
2023-03-12 Martin QuinsonMC: stop reading maxpid in memory, but ask it over...
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master'
2023-02-23 Arnaud GierschVarious cleanups.
2023-02-20 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-18 Martin QuinsonKill src/include
2023-02-18 Martin Quinsonreduce the amount of header includes in headers, to...
2023-02-16 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-15 Martin QuinsonMerge branch 'actor-comms' into 'master'
2023-02-10 Maxwell PirtleAdd intial steps to transfer transitions to the MC
2023-01-01 Arnaud GierschUpdate copyright lines for 2023.
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master'
2022-07-31 Martin Quinsonsanitize things around FINALIZE_REPLY despite my lazine...
2022-07-30 Martin QuinsonAnd now cleanup the App-side of cruft that was needed...
2022-07-30 Martin QuinsonFinally kill mc::RemoteProcess::actors(). We now commun...
2022-07-22 Augustin DegommeMerge branch 'support-sendrecv-ti' into 'master'
2022-07-21 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2022-07-21 Martin QuinsonSeparate mmalloc from xbt
2022-05-10 Arnaud GierschConcatenate nested namespaces (sonar).
2022-02-27 Martin QuinsonMC: after all, checker does not need the list of dead...
2022-02-19 Martin Quinsonkill ModelChecker::simcall_is_visible()
2022-02-16 Arnaud GierschUse C++ std::array (sonar).
2022-02-12 Martin QuinsonSimplify the serialization protocol to implement TestAn...
2022-02-12 Martin QuinsonMove dot_label() from Observer to Transition (+ some...
2022-02-12 Martin QuinsonBetter fix for the security warning from sonar: hide...
2022-02-12 Martin QuinsonFix the security hotspots of sonar
2022-02-11 Martin QuinsonBig bang in MC: app's observers are serialized, to...
2022-02-05 Martin QuinsonDon't compute the dependencies locally in the checker...
2022-01-06 Arnaud GierschUpdate copyright lines for 2022.
2021-04-22 Arnaud GierschUse type aid_t for actor ids.
2021-04-19 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2021-04-07 Arnaud GierschReplace void* used for RemoteProcess pointers.
2021-04-07 Arnaud GierschStop using void* for xbt_mheap_t.
2021-04-01 Martin QuinsonActor's ID should be a long, and should be named AID
2021-03-20 Martin QuinsonAdd ModelChecker::finalize_app(), but don't use it...
2021-03-14 Martin QuinsonMC gets the addresses of variables it needs from the...
2021-02-28 Martin QuinsonSplit inspector::is_pending() in two logical parts
2021-02-28 Martin Quinsonobjectification of MC simcall achieved -- many tests...
2021-02-24 agougeonMerge branch 'master' of framagit.org:simgrid/simgrid
2021-02-05 eazimiMerge branch 'master' of framagit.org:simgrid/simgrid
2021-02-05 Arnaud GierschUse XBT_DECLARE_ENUM_CLASS for mc::MessageType.
2021-01-13 agougeonMerge branch 'master' of https://framagit.org/simgrid...
2021-01-12 Arnaud GierschUpdate copyright lines.
2020-12-15 Augustin DegommeMerge branch 'Adrien.Gougeon/simgrid-master'
2020-11-26 Ehsan AzimiMerge with simgrid/master
2020-11-26 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid...
2020-11-26 Arnaud Gierschstd::array...
2020-11-25 Arnaud GierschEnum class for MC call types, and MC comm pattern diffe...
2020-10-23 Arnaud GierschMerge branch 'pikachuyann/simgrid-stoprofiles'
2020-05-05 Martin Quinsonsimplify the MC initialization by using only one env...
2020-02-06 Arnaud GierschMerge branch 'pikachuyann/simgrid-xbt_random'
2020-01-24 Frederic SuterMerge branch 'depencencies' of https://framagit.org...
2020-01-01 Arnaud GierschUpdate copyright lines with new year.
2019-11-19 Martin QuinsonMerge branch 'xbt_random' into 'master'
2019-11-02 Martin QuinsonThe parenthesis of SG_BEGIN_DECL fools doxygen. Get...
2019-10-07 Frederic SuterMerge branch 'master' into CRTP
2019-08-27 Augustin Degommefix mc build with gcc10
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master'
2019-05-29 Martin QuinsonKill the support for privatized SMPI in MC mode
2019-01-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2019-01-07 Arnaud GierschUpdate copyright lines with new year.
2018-06-27 onesphoreMerge remote-tracking branch 'upstream/master'
2018-06-23 Martin QuinsonMerge pull request #272 from mpoquet/SMPI_convert
2018-06-23 Martin Quinsonuntangle a bit mc header files
2018-06-23 Martin Quinsoncut some includes in MC
2018-04-08 Arnaud GierschUpdate copyright headers.
2017-11-27 Tom CornebizeMerge branch 'master' into fix/execute_benched
2017-11-23 TakishippMerge branch 'actor-yield' of github.com:Takishipp...
2017-11-23 ZitagccMerge branch 'master' into actor-yield
2017-11-01 Arnaud GierschRemove useless typedefs.
2017-10-02 ZitagccMerge branch 'master' into async-wait
2017-09-22 Arnaud Gierschmc/remote: switch to socket type SOCK_SEQPACKET to...
2017-07-18 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-07-18 Martin QuinsonMerge branch 'master' of github.com:simgrid/simgrid
2017-07-18 Martin QuinsonMC: checker kindly ask the app whether an actor is...
2017-07-17 Martin QuinsonMerge pull request #200 from Takishipp/clear_fct
2017-07-16 Martin Quinsoncosmetics
2017-07-16 Martin Quinsoncleanups in the MC protocol
2017-03-08 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-03-08 Martin Quinsonfix copyright years and other psychotic cleanups
2017-01-16 Martin Quinsoncontinue to split the source code of MC. Split remoting