add isl_basic_set_extract_equalities
[isl.git] / test_inputs / 
treeb81a7539be3b4f4575e90bba4cfbd917cb844b12
drwxr-xr-x   ..
-rw-r--r-- 172 affine.polylib
-rw-r--r-- 75 affine2.polylib
-rw-r--r-- 44 affine3.polylib
-rw-r--r-- 64 application.omega
-rw-r--r-- 106 application2.omega
-rw-r--r-- 68 basicLinear.pwqp
-rw-r--r-- 73 basicLinear2.pwqp
-rw-r--r-- 62 basicTest.pwqp
-rw-r--r-- 63 basicTestParameterPosNeg.pwqp
-rw-r--r-- 110 boulet.pip
-rw-r--r-- 991 brisebarre.pip
-rw-r--r-- 215 cg1.pip
drwxr-xr-x - codegen
-rw-r--r-- 54 convex0.polylib
-rw-r--r-- 249 convex1.polylib
-rw-r--r-- 146 convex10.polylib
-rw-r--r-- 97 convex11.polylib
-rw-r--r-- 161 convex12.polylib
-rw-r--r-- 266 convex13.polylib
-rw-r--r-- 89 convex14.polylib
-rw-r--r-- 2608 convex15.polylib
-rw-r--r-- 438 convex2.polylib
-rw-r--r-- 60 convex3.polylib
-rw-r--r-- 50 convex4.polylib
-rw-r--r-- 80 convex5.polylib
-rw-r--r-- 206 convex6.polylib
-rw-r--r-- 50 convex7.polylib
-rw-r--r-- 394 convex8.polylib
-rw-r--r-- 94 convex9.polylib
-rw-r--r-- 111 devos.pwqp
-rw-r--r-- 70 equality1.pwqp
-rw-r--r-- 61 equality2.pwqp
-rw-r--r-- 77 equality3.pwqp
-rw-r--r-- 89 equality4.pwqp
-rw-r--r-- 109 equality5.pwqp
-rw-r--r-- 616 esced.pip
-rw-r--r-- 91 ex.pip
-rw-r--r-- 69 ex2.pip
-rw-r--r-- 54 exist.pip
-rw-r--r-- 96 exist2.pip
-rw-r--r-- 163 faddeev.pwqp
-rw-r--r-- 110 fimmel.pip
-rw-r--r-- 109 gist1.polylib
-rw-r--r-- 139 linearExample.pwqp
-rw-r--r-- 69 max.pip
-rw-r--r-- 76 neg.pwqp
-rw-r--r-- 89 negative.pip
-rw-r--r-- 80 philippe.pwqp
-rw-r--r-- 108 philippe3vars.pwqp
-rw-r--r-- 145 philippe3vars3pars.pwqp
-rw-r--r-- 81 philippeNeg.pwqp
-rw-r--r-- 108 philippePolynomialCoeff.pwqp
-rw-r--r-- 94 philippePolynomialCoeff1P.pwqp
-rw-r--r-- 125 product.pwqp
-rw-r--r-- 200 seghir-vd.pip
-rw-r--r-- 36 set.omega
-rw-r--r-- 57 small.pip
-rw-r--r-- 398 sor1d.pip
-rw-r--r-- 53 split.pwqp
-rw-r--r-- 69 square.pip
-rw-r--r-- 29 sven.pip
-rw-r--r-- 62 test3Deg3Var.pwqp
-rw-r--r-- 239 tobi.pip
-rw-r--r-- 225 toplas.pwqp
-rw-r--r-- 91 unexpanded.pwqp