AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2023-11-21	Martin Quinson	Various sonar cleanups	blob \| commitdiff \| raw
2023-11-09	mlaurent	Suppressed a bit too much of codes	blob \| commitdiff \| raw \| diff to current
2023-11-09	mlaurent	Clang format over some mc files	blob \| commitdiff \| raw \| diff to current
2023-11-09	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-11-09	mlaurent	Discard the wakeup tree when ODPOR reaches a disabled...	blob \| commitdiff \| raw \| diff to current
2023-11-08	Martin Quinson	Spit a message when ODPOR is not optimal	blob \| commitdiff \| raw \| diff to current
2023-11-08	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-11-08	Martin Quinson	Fix ODPOR: overapproximate ReversibleRace (to not miss...	blob \| commitdiff \| raw \| diff to current
2023-11-08	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-11-08	mlaurent	Add debug log for ODPOR + required explaining comments	blob \| commitdiff \| raw \| diff to current
2023-11-07	Martin Quinson	Simply rewrap comments and reindent, no real change	blob \| commitdiff \| raw \| diff to current
2023-11-07	Martin Quinson	Improve the debug messages	blob \| commitdiff \| raw \| diff to current
2023-11-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-11-07	mlaurent	Add some debug info	blob \| commitdiff \| raw \| diff to current
2023-11-05	Martin Quinson	Remove the stateful model-checking from the archive...	blob \| commitdiff \| raw \| diff to current
2023-11-03	Martin Quinson	Merge branch 'master' into simgrid-fork-changelog-plugins	blob \| commitdiff \| raw \| diff to current
2023-11-02	Martin Quinson	MC: more debug messages	blob \| commitdiff \| raw \| diff to current
2023-06-29	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-28	Arnaud Giersch	Fix: "std::move" should only be used where moving can...	blob \| commitdiff \| raw \| diff to current
2023-06-28	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2023-06-28	Martin Quinson	Merge branch 'master' into 'python_bindings_host_load_p...	blob \| commitdiff \| raw \| diff to current
2023-06-27	Arnaud Giersch	Respect coding style for boolean operators.	blob \| commitdiff \| raw \| diff to current
2023-06-27	Arnaud Giersch	Use the init-statement to reduce scope of local variabl...	blob \| commitdiff \| raw \| diff to current
2023-06-27	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-24	Martin Quinson	sleep sets are not an option in MC. We always need...	blob \| commitdiff \| raw \| diff to current
2023-06-07	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-07	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-06	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-06	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-06	Arnaud Giersch	Clang-tidy: readability-qualified-auto.	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	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Fix stat missorder at the end of DFSexplorer	blob \| commitdiff \| raw \| diff to current
2023-06-05	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-05	Martin Quinson	Merge branch 'rename-operation-task' into 'master'	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-31	Maxwell Pirtle	Fix MANIFEST.in etc.	blob \| commitdiff \| raw \| diff to current
2023-05-30	Maxwell Pirtle	Force the use of sleep sets with ODPOR	blob \| commitdiff \| raw \| diff to current
2023-05-26	Maxwell Pirtle	Resolve misconception with SDPOR pseudocode impl.	blob \| commitdiff \| raw \| diff to current
2023-05-26	Maxwell Pirtle	Fix subtle bug in Execution regeneration in DFSExplorer	blob \| commitdiff \| raw \| diff to current
2023-05-25	Maxwell Pirtle	Keep pointers to transitions instead of slices	blob \| commitdiff \| raw \| diff to current
2023-05-25	Maxwell Pirtle	Fix two minor bugs in the ODPOR implementation	blob \| commitdiff \| raw \| diff to current
2023-05-24	Maxwell Pirtle	Add reversible race calculator	blob \| commitdiff \| raw \| diff to current
2023-05-23	Maxwell Pirtle	Add first round of execution independence tests	blob \| commitdiff \| raw \| diff to current
2023-05-16	mlaurent	Add some strategies and fix the semantics of Max/MinMatch	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add explicit ODPOR clean-up phase to DFSExplorer	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add ODPOR "backtracking" logic	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add ODPOR extension computation (lines 4-6)	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Use `std::shared_ptr<Transition>` for Execution	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add ODPOR race detection phase rough-draft	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add tree pruning/subtree methods to State	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add skeleton for expansion phase of ODPOR	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add more docmentation for get_first_sdpor_initial()	blob \| commitdiff \| raw \| diff to current
2023-05-12	Maxwell Pirtle	Integrate SDPOR into `model-check/reduction` flag	blob \| commitdiff \| raw \| diff to current
2023-05-12	Maxwell Pirtle	Add more documentation to essential SDPOR methods	blob \| commitdiff \| raw \| diff to current
2023-05-12	Maxwell Pirtle	Prevent adding outgoing transition for top-most state	blob \| commitdiff \| raw \| diff to current
2023-05-12	Maxwell Pirtle	Add workaround for subtlety with state regeneration	blob \| commitdiff \| raw \| diff to current
2023-05-12	Maxwell Pirtle	Move SDPOR core computation into a method	blob \| commitdiff \| raw \| diff to current
2023-05-12	Maxwell Pirtle	Add tentatively-working SDPOR implementation	blob \| commitdiff \| raw \| diff to current
2023-05-12	Maxwell Pirtle	Add initial outline of SDPOR implementation	blob \| commitdiff \| raw \| diff to current
2023-05-10	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2023-05-10	Martin Quinson	DFS MC: Restore from system states even if we have...	blob \| commitdiff \| raw \| diff to current
2023-05-03	Martin Quinson	One use less of get_recipe() that will soon die	blob \| commitdiff \| raw \| diff to current
2023-05-03	Martin Quinson	Factorize more code between DFSExplo and LivenessExplo...	blob \| commitdiff \| raw \| diff to current
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-27	Arnaud Giersch	Fix comment.	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-17	Martin Quinson	sonar fixes	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-04-12	Arnaud Giersch	Sonar...	blob \| commitdiff \| raw \| diff to current
2023-04-05	Arnaud Giersch	Examine all opened_states_ to find the best candidate.	blob \| commitdiff \| raw \| diff to current
2023-04-05	Arnaud Giersch	Sonar smells; remove redundant mentions of std::shared_...	blob \| commitdiff \| raw \| diff to current
2023-04-04	Arnaud Giersch	Use a multiset to handle opened states, and ensures...	blob \| commitdiff \| raw \| diff to current
2023-04-03	mlaurent	Better handling of test any	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	Fix non-MC builds when MC-only dependencies are missing	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-31	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-31	mlaurent	Temporary fixes	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-30	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-30	mlaurent	Rename guide as strategy and fix counter-example displa...	blob \| commitdiff \| raw \| diff to current
2023-03-30	mlaurent	Replace state copy with recipe: list of transition...	blob \| commitdiff \| raw \| diff to current
2023-03-28	mlaurent	Change opened states for a priority queue	blob \| commitdiff \| raw \| diff to current
2023-03-27	mlaurent	Abide by both compiler warnings	blob \| commitdiff \| raw \| diff to current
2023-03-27	mlaurent	Now handle random transition and multiple times transitions	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-24	Martin Quinson	MC: disable personality() as it fails on CI and is...	blob \| commitdiff \| raw \| diff to current
2023-03-24	Martin Quinson	Fix the refork feature by not ptracing App so that...	blob \| commitdiff \| raw \| diff to current
2023-03-24	mlaurent	Add copy constructor to state, so we can backtrack...	blob \| commitdiff \| raw \| diff to current
2023-03-24	mlaurent	Merge branch 'master' of https://framagit.org/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-23	mlaurent	try to fix stack handling	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
next

Clone of SimGrid repository with local patches

RSS Atom