AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / explo / DFSExplorer.cpp

2022-08-04	Martin Quinson	Pass the remote app as a parameter to all exploration...	blob \| commitdiff \| raw
2022-08-04	Martin Quinson	Kill 2 more functions from mc::api	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
2022-07-30	Martin Quinson	further reduce the amount of call sites for RemoteProce...	blob \| commitdiff \| raw \| diff to current
2022-07-30	Martin Quinson	small cosmetics to not spread unrelated logic all aroun...	blob \| commitdiff \| raw \| diff to current
2022-07-30	Martin Quinson	Reduce the amount of MC locations reading the memory...	blob \| commitdiff \| raw \| diff to current
2022-07-13	Martin Quinson	mc::api: Inline a useless function	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	blob \| commitdiff \| raw \| diff to current
2022-03-30	Martin Quinson	Merge branch 'add_missing_comm_python_bindings' into...	blob \| commitdiff \| raw \| diff to current
2022-03-29	Martin Quinson	Merge branch 'dev-mailbox-clear' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-03-29	Arnaud Giersch	Propagate const pointer (thx sonar).	blob \| commitdiff \| raw \| diff to current
2022-03-28	Bruno Donassolo	Merge branch 'issue105' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-03-25	Arnaud Giersch	[sonar] Don't mix public and private members (mc::State).	blob \| commitdiff \| raw \| diff to current
2022-03-23	Martin Quinson	Revalidate the tesh outputs after cosmetics to the...	blob \| commitdiff \| raw \| diff to current
2022-03-22	Martin Quinson	MC: be explicit when reaching an execution end (it...	blob \| commitdiff \| raw \| diff to current
2022-03-22	Arnaud Giersch	A few Sonar smells.	blob \| commitdiff \| raw \| diff to current
2022-03-18	Martin Quinson	Specify actor in the MC traces	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

RSS Atom