Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add asserts for Configuration vs EventSet
[simgrid.git] / src / mc / explo / udpor / maximal_subsets_iterator.hpp
2023-03-07 Maxwell PirtleAdd asserts for Configuration vs EventSet
2023-03-07 Maxwell PirtleAllow iteration over maximal subsets of an EventSet
2023-03-06 Maxwell PirtleWrite maximal_subsets_iterator_wrapper with xbt utils
2023-03-06 Maxwell PirtleAdd computation for minimally reproducible sets
2023-03-05 Arnaud GierschFix compilation error with clang 11.0.1.
2023-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master'
2023-03-03 Maxwell PirtleFilter events before performing iteration
2023-03-02 Maxwell PirtleFix subtle implementation bug with maximal set filtering
2023-03-02 Maxwell PirtleAdd working implementation of maximal_subsets_iterator
2023-03-02 Maxwell PirtleClean up maximum_subsets_iterator
2023-03-02 Maxwell PirtlePass references to `const Unfolding*` in most places
2023-03-02 Maxwell PirtleAdd first implementation of maximal_subsets_iterator