AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2023-03-24	Martin Quinson	Fix the refork feature by not ptracing App so that...	blob \| commitdiff \| raw
2023-03-22	Martin Quinson	Merge branch 'udpor-phase6' into 'master'	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-19	Martin Quinson	Another use of mc_model_checker disapears. In Snapshot...	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	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Move DPOR and sleep set algorithm from backtrack to...	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	mlaurent	Replace todo direct access with consider methods; guide...	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	BasicGuide handle next_transition if asked to	blob \| commitdiff \| raw \| diff to current
2023-03-17	Martin Quinson	A few calls to mc_model_checker less by passing more...	blob \| commitdiff \| raw \| diff to current
2023-03-17	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-17	mlaurent	Add reference to parent state: only use this creation...	blob \| commitdiff \| raw \| diff to current
2023-03-13	Martin Quinson	Cosmetics	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 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-05	Martin Quinson	Merge branch 'maximal-subset-search' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-04	Arnaud Giersch	Walking the stack in the forward direction gives the...	blob \| commitdiff \| raw \| diff to current
2023-03-03	Martin Quinson	Fix a useless change -- and go get some sleep	blob \| commitdiff \| raw \| diff to current
2023-03-03	Martin Quinson	Reindent -- almost no real change	blob \| commitdiff \| raw \| diff to current
2023-03-03	Martin Quinson	fix MC + gcc builds	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-03-02	Martin Quinson	Move the stats of visited_states count from ModelChecke...	blob \| commitdiff \| raw \| diff to current
2023-03-02	Martin Quinson	Move the dot_output from ModelChecker to Exploration	blob \| commitdiff \| raw \| diff to current
2023-03-02	Martin Quinson	One reference to the global singleton mc_model_checker...	blob \| commitdiff \| raw \| diff to current
2023-03-02	Martin Quinson	Rename some fields to obey our coding standard	blob \| commitdiff \| raw \| diff to current
2023-02-26	Martin Quinson	Merge branch 'master' into 'master'	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-24	mlaurent	fix the done marking of multiple times taken transitions	blob \| commitdiff \| raw \| diff to current
2023-02-22	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-22	mlaurent	fix a few test with dpor	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-17	mlaurent	Default is not to use sleep-set to agree with existing...	blob \| commitdiff \| raw \| diff to current
2023-02-17	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-17	mlaurent	fix with full compiler warnings	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	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-15	mlaurent	updated doc	blob \| commitdiff \| raw \| diff to current
2023-02-15	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-02-15	mlaurent	adding documentation	blob \| commitdiff \| raw \| diff to current
2023-02-14	mlaurent	adding option for sleep set	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	mlaurent	adding sleep sets to reduction techniques	blob \| commitdiff \| raw \| diff to current
2023-02-10	mlaurent	Fix for MC DPOR algorithm	blob \| commitdiff \| raw \| diff to current
2023-01-01	Arnaud Giersch	Update copyright lines for 2023.	blob \| commitdiff \| raw \| diff to current
2022-11-04	Martin Quinson	Reduce the amount of header files loading xbt/string.hpp	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: tell the user about how to use the replay path...	blob \| commitdiff \| raw \| diff to current
2022-10-31	Martin Quinson	Align the behavior of MC and MC_replay in SMPI, so...	blob \| commitdiff \| raw \| diff to current
2022-10-06	Arnaud Giersch	Merge branch 'wifi_clean' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-08-26	Arnaud Giersch	Type consistency.	blob \| commitdiff \| raw \| diff to current
2022-08-22	Arnaud Giersch	Kill redundant blank lines (codefactor.io)	blob \| commitdiff \| raw \| diff to current
2022-08-09	Martin Quinson	MC: apply some sonar advices	blob \| commitdiff \| raw \| diff to current
2022-08-07	Martin Quinson	kill a parameter that is always true	blob \| commitdiff \| raw \| diff to current
2022-08-07	Martin Quinson	mc:DFSExplo: cosmetics in the backtracking	blob \| commitdiff \| raw \| diff to current
2022-08-07	Martin Quinson	Merge mc_safety.hpp into DFSExplorer class	blob \| commitdiff \| raw \| diff to current
2022-08-06	Martin Quinson	Convert simgrid::mc::snapshot_equal() into Snapshot...	blob \| commitdiff \| raw \| diff to current
2022-08-06	Martin Quinson	Move the dot_output global into ModelChecker	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	Kill another mc::api function	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-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