Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'udpor-phase3' into 'master'
[simgrid.git] / src / mc / explo / udpor / History.hpp
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master'
2023-02-27 Maxwell PirtleFix most cosmetics and code warnings
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master'
2023-02-22 Maxwell PirtleAdd extensive tests for checking valid configurations
2023-02-21 Maxwell PirtleAdd method to check if an EventSet is a config
2023-02-21 Maxwell PirtleAdd first batch of tests for History class
2023-02-21 Maxwell PirtleAdd first implementations of History class
2023-02-21 Maxwell PirtleIntroduce extrinsic equivalence between events
2023-02-20 Maxwell PirtleAdd History object skeleton