Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'odpor-implementation' into 'master'
[simgrid.git] / src / mc / explo / udpor / Unfolding.hpp
2023-05-10 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-05-10 Martin QuinsonMerge branch 'dag-lab' into 'master'
2023-05-10 Martin QuinsonMerge branch 'changelog-operation-plugin' into 'master'
2023-05-09 Arnaud GierschUse forwarding references with std::forward (sonar).
2023-04-26 Martin QuinsonMerge branch 'operation-plugin' into 'master'
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master'
2023-04-06 Maxwell PirtleRename `remove()` method on `Unfolding`
2023-04-06 Maxwell PirtleMake use of the sets `G` and `U` with `Unfolding`
2023-04-06 Maxwell PirtleFix bug with immediate conflict detection
2023-04-05 Maxwell PirtleAdd skeleton implementation for ex(C) for CommSend
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-15 Maxwell PirtleMove alternative computation to Configuration for testing
2023-03-14 Maxwell PirtleAdd first go at implementation of K-partial alternatives
2023-03-13 Fred SuterMerge branch 'master' into 'master'
2023-03-13 Maxwell PirtleAdd clean up phase to UDPOR
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master'
2023-03-08 Maxwell PirtleBegin filling in computations of ex(C) and en(C)
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 Unfolding data structure