update isl to version 0.23
[barvinok.git] / tests / 
tree5a1db95228c6f77911a8eb0fc8bb37d4b5985e20
drwxr-xr-x   ..
-rw-r--r-- 15 0D
-rw-r--r-- 20 0D-2
-rw-r--r-- 414 andreas
-rw-r--r-- 106 decomposition1
-rw-r--r-- 87 decomposition10
-rw-r--r-- 87 decomposition11
-rw-r--r-- 87 decomposition12
-rw-r--r-- 124 decomposition13
-rw-r--r-- 141 decomposition14
-rw-r--r-- 141 decomposition15
-rw-r--r-- 141 decomposition16
-rw-r--r-- 141 decomposition17
-rw-r--r-- 159 decomposition18
-rw-r--r-- 177 decomposition19
-rw-r--r-- 177 decomposition2
-rw-r--r-- 177 decomposition20
-rw-r--r-- 141 decomposition21
-rw-r--r-- 177 decomposition3
-rw-r--r-- 177 decomposition4
-rw-r--r-- 177 decomposition5
-rw-r--r-- 141 decomposition6
-rw-r--r-- 87 decomposition7
-rw-r--r-- 177 decomposition8
-rw-r--r-- 123 decomposition9
-rw-r--r-- 766 dependence
-rw-r--r-- 375 e16
drwxr-xr-x - ehrhart
drwxr-xr-x - ehrhart_e
drwxr-xr-x - ehrhart_union
-rw-r--r-- 374 empty
-rw-r--r-- 555 empty2
-rw-r--r-- 951 empty3
-rw-r--r-- 476 empty4
-rw-r--r-- 189 empty5
-rw-r--r-- 600 empty6
-rw-r--r-- 224 empty7
-rw-r--r-- 65 equality
-rw-r--r-- 68 equality2
-rw-r--r-- 42 equality3
-rw-r--r-- 22 equality4
-rw-r--r-- 74 equality5
-rw-r--r-- 119 equality6
drwxr-xr-x - euler
-rw-r--r-- 103 example2
-rw-r--r-- 65 example6
-rw-r--r-- 65 example7
-rw-r--r-- 333 garbervetsky
-rw-r--r-- 41 infinite
-rw-r--r-- 31 infinite2
-rw-r--r-- 430 infinite3
-rw-r--r-- 576 infinite4
-rw-r--r-- 436 infinite5
-rw-r--r-- 260 infinite6
-rw-r--r-- 165 infinite7
drwxr-xr-x - iscc
-rw-r--r-- 720 kristof
-rw-r--r-- 280 kristof2
-rw-r--r-- 249 kristof3
-rw-r--r-- 67 kristof4
-rw-r--r-- 608 kristof5
drwxr-xr-x - lexmin
-rw-r--r-- 87 lll1
-rw-r--r-- 87 lll2
-rw-r--r-- 87 lll3
-rw-r--r-- 87 lll4
-rw-r--r-- 87 lll5
-rw-r--r-- 87 lll6
-rw-r--r-- 123 lll7
-rw-r--r-- 374 long_4D
-rw-r--r-- 65 non-integer
-rw-r--r-- 79 non-integer2
-rw-r--r-- 119 non-simplicial
-rw-r--r-- 991 product
-rw-r--r-- 203 product2
-rw-r--r-- 203 product3
-rw-r--r-- 1228 product4
-rw-r--r-- 194 product5
drwxr-xr-x - pwqp
-rw-r--r-- 105 rays
-rw-r--r-- 158 rays2
-rw-r--r-- 141 rays3
-rw-r--r-- 105 rays4
-rw-r--r-- 105 rays5
drwxr-xr-x - sample
-rw-r--r-- 123 supporting1
-rw-r--r-- 123 supporting2
-rw-r--r-- 65 triangle
-rw-r--r-- 232 union