ckaestne/TypeChef — pull request #27 by joliebig (2014-01-25 17:03:00+00:00)
Title: Liveness

last version of variability-aware control-flow implementation
different variability data-flow implementations using the monotone framework