diff CONTRIBUTING.md @ 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 a968fd429ee5
children
line wrap: on
line diff