comparison make/jprt.properties @ 15204:4d19ee79fcee

Fix loop peeling problem with VirtualState: duplicate states deeply and only clear the parts of the exit's state that's not used by the duplicated nodes.
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 17 Apr 2014 17:16:05 +0200
parents f0221ff14605
children 3ef5c627634a
comparison
equal deleted inserted replaced
15203:a40e775ecb83 15204:4d19ee79fcee