Fri, 20 Jan 2012 21:21:13 +0100 | Pierre-Yves David | push: prevent moving phases outside of the pushed subset | changeset | files |
Fri, 20 Jan 2012 19:41:18 +0100 | Pierre-Yves David | discovery: ensure that missingheads are always heads of everything we tried | changeset | files |
Fri, 20 Jan 2012 19:23:53 +0100 | Pierre-Yves David | phase: extracts heads computation logics from analyzeremotephases | changeset | files |