AND Public Git Repository - simgrid.git/history

2022-08-07	Martin Quinson	mc:DFSExplo: cosmetics in the backtracking	blob \| commitdiff \| raw
2022-08-07	Martin Quinson	Merge mc_safety.hpp into DFSExplorer class	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-04	Martin Quinson	Pass the remote app as a parameter to all exploration...	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	Rename mc::Session into mc::api::RemoteApp	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	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	Rename mc::SafetyChecker to mc::DFSExplorer	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches