[polly] r213062 - Update to isl-0.13.0

[Tobias Grosser]

Author: grosser
Date: Tue Jul 15 06:25:32 2014
New Revision: 213062

URL: http://llvm.org/viewvc/llvm-project?rev=213062&view=rev
Log:
Update to isl-0.13.0

This pulls in a couple of minor cleanups in isl. More importantly, in
preparation of the upcoming LLVM releases this change brings us back on a
released version of isl.

Modified:
    polly/trunk/utils/checkout_cloog.sh

Modified: polly/trunk/utils/checkout_cloog.sh
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/utils/checkout_cloog.sh?rev=213062&r1=213061&r2=213062&view=diff
==============================================================================
--- polly/trunk/utils/checkout_cloog.sh (original)
+++ polly/trunk/utils/checkout_cloog.sh Tue Jul 15 06:25:32 2014
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 CLOOG_HASH="22643c94eba7b010ae4401c347289f4f52b9cd2b"
-ISL_HASH="a64098e95e8c6404fa18f52fad75a8fd440c542f"
+ISL_HASH="163646566efd07086ed4fbe99ecbf8d5bb8ebca0"
 
 PWD=`pwd`