Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cosmetics from patch review
[simgrid.git] / src / mc / compare.cpp
2016-05-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-05-06 Gabriel Corona[mc] Use bool instead of int for match_pairs
2016-05-06 Gabriel Corona[mc] Don't use new/delete for HeapLocationPairs
2016-05-06 Gabriel Corona[mc] Use std::set for the list-of-heap-location-pairs
2016-05-05 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-05-04 Gabriel Corona[mc] Merge StateComparator with ComparisonState
2016-05-04 Gabriel Corona[mc] Move s_heap_area in compare.cpp
2016-05-04 Gabriel Corona[mc] Remove useless bits in compare.cpp
2016-05-04 Gabriel Corona[mc] Remove useless header file
2016-05-04 Gabriel Corona[mc] Merge mc_diff.cpp and mc_compare.cpp