comparison Makefile @ 2216:de76219b42b8

merge-slicing: use reachable roots to filter the various branches Reachable roots does what we want and have a quite fast C implementation.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Fri, 24 Mar 2017 06:36:12 +0100
parents 934d70e3be97
children b838c069bf4e
comparison
equal deleted inserted replaced
2215:6d9cadc635d5 2216:de76219b42b8