diff LICENSE.EPL @ 18333:db6b7d3dfa1d

ConditionalElimination: only clear the state on loop exits if the graph needs to remain in loop closed form
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 11 Nov 2014 10:06:24 +0100
parents 0fbee3eb71f0
children
line wrap: on
line diff