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

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / explo / odpor / Execution.cpp

2023-11-08	mlaurent	Add debug log for ODPOR + required explaining comments	blob \| commitdiff \| raw
2023-06-29	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-06-29	Arnaud Giersch	Shadowed variables (Sonar).	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	Arnaud Giersch	Remove nested code blocks (Sonar).	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-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	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-06-01	Maxwell Pirtle	Introduce ODPOR integration with multiple actions	blob \| commitdiff \| raw \| diff to current
2023-06-01	Maxwell Pirtle	Add small test for insertions	blob \| commitdiff \| raw \| diff to current
2023-05-31	Maxwell Pirtle	Add more independence tests w.r.t a partial execution	blob \| commitdiff \| raw \| diff to current
2023-05-30	Maxwell Pirtle	Fix subtle bug in ~_E computation	blob \| commitdiff \| raw \| diff to current
2023-05-26	Maxwell Pirtle	Resolve misconception with ODPOR pseudocode impl.	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	Fix two minor bugs in the ODPOR implementation	blob \| commitdiff \| raw \| diff to current
2023-05-24	Maxwell Pirtle	Add reversible race implementations for Comm actions	blob \| commitdiff \| raw \| diff to current
2023-05-24	Maxwell Pirtle	Add reversible race calculator	blob \| commitdiff \| raw \| diff to current
2023-05-24	Maxwell Pirtle	Add non-trivial insertion test	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-17	Maxwell Pirtle	Add first "working" version of ODPOR	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 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 complicated computation of v ~_E w to Execution	blob \| commitdiff \| raw \| diff to current
2023-05-16	Maxwell Pirtle	Add skeleton of implementation for tree insertion	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	Add more documentation to essential SDPOR methods	blob \| commitdiff \| raw \| diff to current
2023-05-12	Maxwell Pirtle	Fix subtlety with SDPOR/ODPOR initials	blob \| commitdiff \| raw \| diff to current
2023-05-12	Maxwell Pirtle	Fix two off-by-one errors with clock vectors	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	Add first tests for "happens-before"	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-12	Maxwell Pirtle	Add Execution concept without ExecutionViews	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom