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

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / explo / udpor / EventSet.cpp

2023-06-28	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw
2023-06-28	Martin Quinson	Merge branch 'master' into 'python_bindings_host_load_p...	blob \| commitdiff \| raw
2023-06-27	Arnaud Giersch	Respect coding style for boolean operators.	blob \| commitdiff \| raw
2023-06-09	Martin Quinson	Merge branch 'udpor-phase8' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-06-09	Maxwell Pirtle	Add monotonically-increasing IDs for UnfoldingEvent	blob \| commitdiff \| raw \| diff to current
2023-06-09	Maxwell Pirtle	Add preliminary basic tests for ex(C) computation	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-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-06	Maxwell Pirtle	Fix bug with immediate conflict detection	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Fix dynamic_cast<> typo for computation for CommRecv	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Add first round of debug logging to UDPOR	blob \| commitdiff \| raw \| diff to current
2023-04-05	Maxwell Pirtle	Add skeleton implementation for ex(C) for CommSend	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-16	Maxwell Pirtle	Add full example for K-partial alternatives	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	Maxwell Pirtle	Add clean up phase to UDPOR	blob \| commitdiff \| raw \| diff to current
2023-03-10	Martin Quinson	Merge branch 'udpor-phase5' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-09	Maxwell Pirtle	Require conflict-freedom in is_valid_configuration	blob \| commitdiff \| raw \| diff to current
2023-03-08	Maxwell Pirtle	Add preliminary tests for checking event conflicts	blob \| commitdiff \| raw \| diff to current
2023-03-08	Maxwell Pirtle	Add conflict detection to EventSet	blob \| commitdiff \| raw \| diff to current
2023-03-07	Maxwell Pirtle	Move topological ordering to EventSet	blob \| commitdiff \| raw \| diff to current
2023-03-07	Maxwell Pirtle	Rename `EventSet::is_maximal_event_set()`	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-02	Maxwell Pirtle	Pass references to `const Unfolding*` in most places	blob \| commitdiff \| raw \| diff to current
2023-03-01	Maxwell Pirtle	Use boost::iterator_facade for History::Iterator	blob \| commitdiff \| raw \| diff to current
2023-02-28	Augustin Degomme	Merge branch 'udpor-phase3' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-02-27	Maxwell Pirtle	Fix most cosmetics and code warnings	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-23	Arnaud Giersch	Merge branch 'simgrid-udpor-integration' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-02-22	Maxwell Pirtle	Implement adding events to configurations	blob \| commitdiff \| raw \| diff to current
2023-02-22	Maxwell Pirtle	Add extensive tests for checking valid configurations	blob \| commitdiff \| raw \| diff to current
2023-02-21	Maxwell Pirtle	Add method to check if an EventSet is a config	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Add implementations for EventSet + Configurations	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Use std::unordered_set instead of std::set for EventSet	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Move UDPOR constructs out of udpor_global.cpp	blob \| commitdiff \| raw \| diff to current
2023-02-20	Maxwell Pirtle	Add `udpor` directory under `mc/explo`	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom