diff GRAAL_AUTHORS @ 8284:1756b12d2246

Make optimistic optimizations customizable.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Thu, 14 Mar 2013 19:00:42 +0100
parents e4019a78c938
children
line wrap: on
line diff