log

age author description
Wed, 01 May 2013 09:13:34 -0700 Christian Wimmer Bugfix: loop transformation needs the Assumptions object since it internally calls the Canonicalizer