diff README.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 8dfd3f53ba4a
children 271eee87201c
line wrap: on
line diff