Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
unify struct and class declarations
[simgrid.git] / src / mc / explo / udpor / udpor_forward.hpp
2023-11-05 Martin Quinsonunify struct and class declarations
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/mwapl...
2023-04-26 Martin QuinsonMerge branch 'operation-plugin' into 'master'
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master'
2023-04-05 Maxwell PirtleBegin tracking latest events for each actor
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-08 Martin QuinsonMerge branch 'udpor-phase4' into 'master'
2023-03-06 Maxwell PirtleWrite maximal_subsets_iterator_wrapper with xbt utils
2023-02-28 Maxwell PirtleRemove CompatibilityGraph and friends
2023-02-27 Maxwell PirtleAdd CompatibilityGraph and CompatibilityGraphNode
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master'
2023-02-20 Maxwell PirtleAdd History object skeleton
2023-02-20 Maxwell PirtleRemove StateManager
2023-02-20 Maxwell Pirtle"Finalize" interface to UnfoldingEvent
2023-02-20 Maxwell PirtleMove UDPOR constructs out of udpor_global.cpp
2023-02-20 Maxwell PirtleAdd `udpor` directory under `mc/explo`