update isl to version 0.13
[barvinok.git] / tests / iscc / 
tree4ec0b8b53b92a6ee44b6440ac431c62a4b408621
drwxr-xr-x   ..
-rw-r--r-- 178 card1
-rw-r--r-- 307 card2
-rw-r--r-- 662 kahle
-rw-r--r-- 102 sum1
-rw-r--r-- 112 sum2
-rw-r--r-- 110 sum3
-rw-r--r-- 45 sum4
-rw-r--r-- 42 sum5