diff README @ 9477:3b02fe9e1983

Bugfix: loop transformation needs the Assumptions object since it internally calls the Canonicalizer
author Christian Wimmer <christian.wimmer@oracle.com>
date Wed, 01 May 2013 09:13:34 -0700
parents a61af66fc99e
children
line wrap: on
line diff