log

age author description
Wed, 01 May 2013 09:22:20 -0700 Christian Wimmer Merge
Wed, 01 May 2013 09:21:35 -0700 Christian Wimmer Allow distinction between ClassCastException and ArrayStoreException. Add more canonicalizations for check casts.
Wed, 01 May 2013 09:13:34 -0700 Christian Wimmer Bugfix: loop transformation needs the Assumptions object since it internally calls the Canonicalizer