log

age author description
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
Wed, 01 May 2013 09:12:45 -0700 Christian Wimmer Inline method in snippet when replacement is available. Replacements are frequently used for native methods, which are per default excluded from inlining. But if there is a non-native replacement, we want it inlined.