AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / api / RemoteApp.cpp

2023-11-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw
2023-11-05	Martin Quinson	Remove the stateful model-checking from the archive...	blob \| commitdiff \| raw
2023-11-03	Martin Quinson	Merge branch 'master' into simgrid-fork-changelog-plugins	blob \| commitdiff \| raw \| diff to current
2023-11-02	Martin Quinson	Do not use MC_process_clock_add() for now, as it makes...	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/mwapl...	blob \| commitdiff \| raw \| diff to current
2023-06-05	Martin Quinson	Merge branch 'odpor-implementation' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-05-15	Arnaud Giersch	Suprious brace (fix non-linux builds).	blob \| commitdiff \| raw \| diff to current
2023-05-15	Arnaud Giersch	Define master_socket_name only once, and embed it with...	blob \| commitdiff \| raw \| diff to current
2023-05-15	Arnaud Giersch	Try harder not to fail with stale sockets after several...	blob \| commitdiff \| raw \| diff to current
2023-05-15	Arnaud Giersch	The default destructor should be fine.	blob \| commitdiff \| raw \| diff to current
2023-04-27	Martin Quinson	Fix comment [no-ci]	blob \| commitdiff \| raw \| diff to current
2023-04-26	Martin Quinson	Merge branch 'operation-plugin' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-04-18	Martin Quinson	Merge branch 'udpor-phase7' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-04-15	Martin Quinson	Make sure that we never have a 0 transition at the...	blob \| commitdiff \| raw \| diff to current
2023-04-15	Martin Quinson	Also send the disabled transitions over: UDPOR needs it	blob \| commitdiff \| raw \| diff to current
2023-04-12	Arnaud Giersch	Remove useless specialized exceptions from simgrid...	blob \| commitdiff \| raw \| diff to current
2023-04-11	Arnaud Giersch	Use std::string (sonar).	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 CLOEXEC	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	Compile the safe part of MC in default mode too	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	Do not ask for memory info when restarting in refork...	blob \| commitdiff \| raw \| diff to current
2023-03-24	Arnaud Giersch	Simplify member initialization.	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	Merge loops and get rid of the "probes" temporary vector.	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	Fix some easy sonar smells	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	Make sure that the dtor of CheckerSide actually kills...	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-20	Martin Quinson	Put everything in position to re-fork the verified App	blob \| commitdiff \| raw \| diff to current
2023-03-20	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	cosmetics	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Move more of the CheckerSide creation logic to the...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	MC: disable Address Space Layout Randomization in the...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Differ the creation of the RemoteProcessMemory to when...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Better responsabilities splitup between CheckerSide...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Finally kill the now empty ModelChecker class	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Move the memory handling of RemoteProcessMemory singlet...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Make a global singleton of Exploration, to kill ModelCh...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	another mc_model_checker call location disappears	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Merge CheckerSide::start() intp the constructor	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Better split of responsabilities between CheckerSide...	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Move the checker_side_ from the ModelChecker to the...	blob \| commitdiff \| raw \| diff to current
2023-03-17	Martin Quinson	Move handle_simcall from ModelChecker to RemoteApp	blob \| commitdiff \| raw \| diff to current
2023-03-14	Arnaud Giersch	Really check the privatization option in the MCed SMPI...	blob \| commitdiff \| raw \| diff to current
2023-03-13	Fred Suter	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-13	Martin Quinson	Give the remote_process_memory to the mc::State constructor	blob \| commitdiff \| raw \| diff to current
2023-03-12	Martin Quinson	move wait_for_requests() from ModelChecker to RemoteApp	blob \| commitdiff \| raw \| diff to current
2023-03-12	Martin Quinson	Move 2 functions from mc::ModelChecker to mc::RemoteApp	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-10	Martin Quinson	Merge branch 'udpor-phase5' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-08	Arnaud Giersch	Fix asserts for when received size is 0 (message type...	blob \| commitdiff \| raw \| diff to current
2023-03-08	Arnaud Giersch	Use #include <...> for foreign header files.	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-03	Martin Quinson	Move the PageStore from ModelChecker to RemoteApp	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	Maxwell Pirtle	Allow actor transitions to be shared	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-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-16	Martin Quinson	fix the build (but not all tests) of MC	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-13	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-13	Maxwell Pirtle	Finalize passing transitions during model checking	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-02-08	Arnaud Giersch	Declare functions with attribute 'noreturn' (sonar).	blob \| commitdiff \| raw \| diff to current
2023-01-01	Arnaud Giersch	Update copyright lines for 2023.	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	Martin Quinson	MC: tell the user about how to use the replay path...	blob \| commitdiff \| raw \| diff to current
2022-10-06	Arnaud Giersch	Merge branch 'wifi_clean' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-10-03	Martin Quinson	Fix an error message	blob \| commitdiff \| raw \| diff to current
2022-10-02	Martin Quinson	More helpful error message when someone needs --cfg...	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-08-25	Arnaud Giersch	Remove temporary object (sonar).	blob \| commitdiff \| raw \| diff to current
2022-08-09	Martin Quinson	MC: apply some sonar advices	blob \| commitdiff \| raw \| diff to current
2022-08-06	Martin Quinson	Make the RemoteApp a field of the Exploration, and...	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	log_state has nothing to do in RemoteApp, it belongs...	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	Sanitize MC finalization process and inline a function	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	Convert Api::get_maxpid() into RemoteApp::get_maxpid()	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	Merge an initialization function into the constructor	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	Rename mc::Session into mc::api::RemoteApp	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom