Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Document more changes, and update the Release Notes
[simgrid.git] / src / mc / explo / udpor /
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-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-21 Maxwell PirtleAdd tests for the Unfolding object
2023-02-21 Maxwell PirtleAdd set operator tests for EventSet
2023-02-20 Maxwell PirtleAdd tests for EventSet equality
2023-02-20 Maxwell PirtleAdd History object skeleton
2023-02-20 Maxwell PirtleRemove StateManager
2023-02-20 Maxwell PirtleAdd first batch of tests for UDPOR
2023-02-20 Maxwell Pirtle"Finalize" interface to UnfoldingEvent
2023-02-20 Maxwell PirtleAdd Unfolding data structure
2023-02-20 Maxwell PirtleAdd implementations for EventSet + Configurations
2023-02-20 Maxwell PirtleAdd xbt_assert() for state handle overflow
2023-02-20 Maxwell PirtleUse std::unordered_set instead of std::set for EventSet
2023-02-20 Maxwell PirtleMove UDPOR constructs out of udpor_global.cpp
2023-02-20 Maxwell PirtleAdd `udpor` directory under `mc/explo`