Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Pass references to `const Unfolding*` in most places
[simgrid.git] / src / mc / explo / udpor / EventSet.cpp
2023-03-02 Maxwell PirtlePass references to `const Unfolding*` in most places
2023-03-01 Maxwell PirtleUse boost::iterator_facade for History::Iterator
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master'
2023-02-27 Maxwell PirtleFix most cosmetics and code warnings
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master'
2023-02-22 Maxwell PirtleImplement adding events to configurations
2023-02-22 Maxwell PirtleAdd extensive tests for checking valid configurations
2023-02-21 Maxwell PirtleAdd method to check if an EventSet is a config
2023-02-20 Maxwell PirtleAdd implementations for EventSet + Configurations
2023-02-20 Maxwell PirtleUse std::unordered_set instead of std::set for EventSet
2023-02-20 Maxwell PirtleMove UDPOR constructs out of udpor_global.cpp
2023-02-20 Maxwell PirtleAdd `udpor` directory under `mc/explo`