Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Clang-tidy: readability-qualified-auto.
[simgrid.git] / src / mc / explo / udpor / Configuration_test.cpp
2023-06-06 Arnaud GierschClang-tidy: readability-qualified-auto.
2023-06-05 Martin QuinsonMerge branch 'odpor-implementation' into 'master'
2023-05-31 Martin QuinsonMerge branch 'simgrid-fork-plugin-photovoltaic'
2023-05-17 Arnaud GierschExplicitly capture required scope variables (sonar).
2023-04-26 Martin QuinsonMerge branch 'operation-plugin' into 'master'
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master'
2023-04-05 Maxwell PirtleAdd test case for tracking latest events/transitions
2023-04-05 Maxwell PirtleAdd dependency between same actor for tests
2023-04-05 Maxwell PirtleBegin tracking latest events for each actor
2023-03-23 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master'
2023-03-17 Maxwell PirtleFix test in k-partial alternatives step five
2023-03-16 Maxwell PirtleAdd full example for K-partial alternatives
2023-03-15 Maxwell PirtleMove alternative computation to Configuration for testing
2023-03-13 Fred SuterMerge branch 'master' into 'master'
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master'
2023-03-08 Maxwell PirtleAdd conflict-free invariant check to Configuration
2023-03-07 Maxwell PirtleAdd asserts for Configuration vs EventSet
2023-03-07 Maxwell PirtleRename `EventSet::is_maximal_event_set()`
2023-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master'
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 PirtlePass references to `const Unfolding*` in most places
2023-03-02 Maxwell PirtleAdd first implementation of maximal_subsets_iterator
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 PirtleAdd default method for constructing full graph
2023-02-26 Martin QuinsonMerge branch 'master' into 'master'
2023-02-24 Martin QuinsonMerge branch 'udpor-phase2' into 'master'
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-24 Maxwell PirtleAdd complicated topological sort test
2023-02-24 Maxwell PirtleAdd first unit tests for topological sorting
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master'
2023-02-22 Maxwell PirtleAdd tests for adding events to configurations
2023-02-22 Maxwell PirtleAdd preliminary tests for Configuration