replace isl_{,in}equality_alloc by isl_constraint_alloc_{,in}equality
[barvinok/uuh.git] / tests / 
tree9f69c9b93720ad744d897313b93c098668eac0f1
drwxr-xr-x   ..
-rw-r--r-- 15 0D
-rw-r--r-- 20 0D-2
-rw-r--r-- 414 andreas
-rw-r--r-- 110 decomposition1
-rw-r--r-- 91 decomposition10
-rw-r--r-- 91 decomposition11
-rw-r--r-- 91 decomposition12
-rw-r--r-- 128 decomposition13
-rw-r--r-- 145 decomposition14
-rw-r--r-- 145 decomposition15
-rw-r--r-- 145 decomposition16
-rw-r--r-- 145 decomposition17
-rw-r--r-- 163 decomposition18
-rw-r--r-- 181 decomposition19
-rw-r--r-- 180 decomposition2
-rw-r--r-- 181 decomposition20
-rw-r--r-- 145 decomposition21
-rw-r--r-- 180 decomposition3
-rw-r--r-- 180 decomposition4
-rw-r--r-- 180 decomposition5
-rw-r--r-- 143 decomposition6
-rw-r--r-- 90 decomposition7
-rw-r--r-- 181 decomposition8
-rw-r--r-- 129 decomposition9
-rw-r--r-- 766 dependence
-rw-r--r-- 395 e16
drwxr-xr-x - ehrhart
drwxr-xr-x - ehrhart_e
-rw-r--r-- 374 empty
-rw-r--r-- 567 empty2
-rw-r--r-- 968 empty3
-rw-r--r-- 496 empty4
-rw-r--r-- 189 empty5
-rw-r--r-- 613 empty6
-rw-r--r-- 230 empty7
-rw-r--r-- 65 equality
-rw-r--r-- 68 equality2
-rw-r--r-- 42 equality3
-rw-r--r-- 22 equality4
-rw-r--r-- 77 equality5
-rw-r--r-- 124 equality6
drwxr-xr-x - euler
-rw-r--r-- 103 example2
-rw-r--r-- 65 example6
-rw-r--r-- 65 example7
-rw-r--r-- 41 infinite
-rw-r--r-- 31 infinite2
-rw-r--r-- 448 infinite3
-rw-r--r-- 590 infinite4
-rw-r--r-- 436 infinite5
-rw-r--r-- 260 infinite6
-rw-r--r-- 170 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 - lattice_width
drwxr-xr-x - lexmin
-rw-r--r-- 91 lll1
-rw-r--r-- 91 lll2
-rw-r--r-- 92 lll3
-rw-r--r-- 91 lll4
-rw-r--r-- 91 lll5
-rw-r--r-- 91 lll6
-rw-r--r-- 128 lll7
-rw-r--r-- 389 long_4D
-rw-r--r-- 65 non-integer
-rw-r--r-- 79 non-integer2
-rw-r--r-- 119 non-simplicial
-rw-r--r-- 1014 product
-rw-r--r-- 203 product2
-rw-r--r-- 203 product3
-rw-r--r-- 1228 product4
-rw-r--r-- 212 product5
drwxr-xr-x - pwqp
-rw-r--r-- 110 rays
-rw-r--r-- 161 rays2
-rw-r--r-- 143 rays3
-rw-r--r-- 110 rays4
-rw-r--r-- 110 rays5
drwxr-xr-x - sample
-rw-r--r-- 129 supporting1
-rw-r--r-- 129 supporting2
-rw-r--r-- 65 triangle
-rw-r--r-- 234 union