update isl to version 0.13
[barvinok.git] / barvinok / 
tree36a93f81b755d82eac5fd4409b39b5037caf2736
drwxr-xr-x   ..
-rw-r--r-- 70 NTL.h.broken
-rw-r--r-- 44 NTL.h.normal
-rw-r--r-- 1015 NTL_QQ.h
-rw-r--r-- 2367 barvinok.h
-rw-r--r-- 680 basis_reduction.h
-rw-r--r-- 5635 evalue.h
-rw-r--r-- 2641 genfun.h
-rw-r--r-- 1557 isl.h
-rw-r--r-- 2910 options.h
-rw-r--r-- 230 polylib.h
-rw-r--r-- 275 sample.h
-rw-r--r-- 55 set.h.broken
-rw-r--r-- 15 set.h.normal
-rw-r--r-- 4848 util.h