AND Public Git Repository - simgrid.git/history - src/mc/explo/LivenessChecker.cpp

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / explo / LivenessChecker.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-06-05	mlaurent	Merge branch 'master' of https://framagit.org/mwapl...	blob \| commitdiff \| raw
2023-05-10	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw
2023-05-03	Martin Quinson	Factorize more code between DFSExplo and LivenessExplo...	blob \| commitdiff \| raw
2023-04-27	Martin Quinson	More automatic memory mgmt in MC	blob \| commitdiff \| raw \| diff to current
2023-04-27	Martin Quinson	MC: give each state an incoming transition too	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-12	Arnaud Giersch	Remove useless specialized exceptions from simgrid...	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	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-20	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	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	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	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-17	Martin Quinson	A few calls to mc_model_checker less by passing more...	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	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-03	Martin Quinson	Move the PageStore from ModelChecker to RemoteApp	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-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: 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-08-25	Arnaud Giersch	Declare functions "const" (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-09	Arnaud Giersch	Fix the fixme (inline templated struct).	blob \| commitdiff \| raw \| diff to current
2022-08-06	Martin Quinson	Finish the removal of mc::api by moving the last bits...	blob \| commitdiff \| raw \| diff to current
2022-08-06	Martin Quinson	Move mc:api::get_remote_heap_bytes() to RemoteProcess	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-03	Martin Quinson	Move the automaton from mc::api to Liveness. An ugly...	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	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	Well the last rogue call to RemoteProcess::actors(...	blob \| commitdiff \| raw \| diff to current
2022-07-30	Martin Quinson	Liveness: rename graph_state -> app_state and automaton...	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	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-06-21	Arnaud Giersch	Merge branch 'dev-cpuimpl-used' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-06-02	Arnaud Giersch	Another batch of pointer-to-const (sonar).	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	blob \| commitdiff \| raw \| diff to current
2022-04-27	Arnaud Giersch	Use structured binding declarations (sonar, c++17).	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-02-28	Arnaud Giersch	Useless lower-case alias.	blob \| commitdiff \| raw \| diff to current
2022-02-28	Martin Quinson	kill some bits of mc::api::	blob \| commitdiff \| raw \| diff to current
2022-02-21	Martin Quinson	Rename mc::Checker to mc::Exploration as it defines...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom