Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'udpor-phase6' into 'master'
[simgrid.git] / src / mc / explo / udpor / Unfolding_test.cpp
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master'
2023-03-15 Maxwell PirtleMove alternative computation to Configuration for testing
2023-03-15 Maxwell PirtleAdd semantic equivalence to UnfoldingEvent
2023-03-13 Fred SuterMerge branch 'master' into 'master'
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master'
2023-03-09 Maxwell PirtleAdd test to verify topological ordering of EventSet
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master'
2023-02-21 Maxwell PirtleAdd tests for the Unfolding object
2023-02-20 Maxwell PirtleAdd first batch of tests for UDPOR