Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'udpor-phase6' into 'master'
[simgrid.git] / src / mc / explo / udpor / EventSet_test.cpp
2023-03-13 Fred SuterMerge branch 'master' into 'master'
2023-03-12 Arnaud GierschFix build with -D_GLIBCXX_DEBUG [-Werror=range-loop...
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master'
2023-03-09 Maxwell PirtleRequire conflict-freedom in is_valid_configuration
2023-03-09 Maxwell PirtleAdd test to verify topological ordering of EventSet
2023-03-08 Arnaud GierschObvious typo.
2023-03-08 Maxwell PirtleFix logic for mutual conflict between two events
2023-03-08 Maxwell PirtleAdd conflict-free invariant check to Configuration
2023-03-08 Maxwell PirtleAdd preliminary tests for checking event conflicts
2023-03-07 Maxwell PirtleRename `EventSet::is_maximal_event_set()`
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master'
2023-02-27 Maxwell PirtleFix most of the remaining code warnings
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 PirtleAdd extensive tests for checking valid configurations
2023-02-21 Maxwell PirtleAdd set operator tests for EventSet
2023-02-20 Maxwell PirtleAdd tests for EventSet equality
2023-02-20 Maxwell PirtleAdd first batch of tests for UDPOR