Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fixes in docs/source/tuto_* (untested).
[simgrid.git] / src / mc / explo / udpor / Configuration.hpp
2023-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master'
2023-03-02 Maxwell PirtlePass references to `const Unfolding*` in most places
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master'
2023-02-28 Maxwell PirtleRemove CompatibilityGraph and friends
2023-02-27 Maxwell PirtleAdd default method for constructing full graph
2023-02-27 Maxwell PirtleAdd predicate filtering to compatibility graph comp
2023-02-27 Maxwell PirtleFix most cosmetics and code warnings
2023-02-27 Maxwell PirtleAdd first go at compatibility graph construction
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 first unit tests for topological sorting
2023-02-24 Maxwell PirtleAdd topological sort of configuration events
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
2023-02-22 Maxwell PirtleImplement adding events to configurations
2023-02-21 Maxwell PirtleAdd first implementations of History class
2023-02-20 Maxwell PirtleAdd History object skeleton
2023-02-20 Maxwell PirtleAdd xbt_assert() for state handle overflow
2023-02-20 Maxwell PirtleMove UDPOR constructs out of udpor_global.cpp
2023-02-20 Maxwell PirtleAdd `udpor` directory under `mc/explo`