| .. | | 13-Mar-2025 | - |
| codegen/ | H | 13-Mar-2025 | - | 7,346 | 6,656 |
| flow/ | H | 13-Mar-2025 | - | 447 | 377 |
| schedule/ | H | 13-Mar-2025 | - | 280 | 252 |
| affine.polylib | H A D | 13-Mar-2025 | 172 | 10 | 8 |
| affine2.polylib | H A D | 13-Mar-2025 | 75 | 10 | 8 |
| affine3.polylib | H A D | 13-Mar-2025 | 44 | 8 | 6 |
| application.omega | H A D | 13-Mar-2025 | 64 | 4 | 3 |
| application2.omega | H A D | 13-Mar-2025 | 106 | 4 | 3 |
| basicLinear.pwqp | H A D | 13-Mar-2025 | 68 | 2 | 1 |
| basicLinear2.pwqp | H A D | 13-Mar-2025 | 73 | 2 | 1 |
| basicTest.pwqp | H A D | 13-Mar-2025 | 62 | 2 | 1 |
| basicTestParameterPosNeg.pwqp | H A D | 13-Mar-2025 | 63 | 2 | 1 |
| boulet.pip | H A D | 13-Mar-2025 | 110 | 14 | 10 |
| brisebarre.pip | H A D | 13-Mar-2025 | 991 | 35 | 32 |
| cg1.pip | H A D | 13-Mar-2025 | 215 | 16 | 13 |
| convex0.polylib | H A D | 13-Mar-2025 | 54 | 12 | 9 |
| convex1.polylib | H A D | 13-Mar-2025 | 249 | 18 | 17 |
| convex10.polylib | H A D | 13-Mar-2025 | 146 | 18 | 14 |
| convex11.polylib | H A D | 13-Mar-2025 | 97 | 15 | 12 |
| convex12.polylib | H A D | 13-Mar-2025 | 161 | 13 | 10 |
| convex13.polylib | H A D | 13-Mar-2025 | 266 | 18 | 15 |
| convex14.polylib | H A D | 13-Mar-2025 | 89 | 15 | 12 |
| convex15.polylib | H A D | 13-Mar-2025 | 2.5 KiB | 67 | 64 |
| convex2.polylib | H A D | 13-Mar-2025 | 438 | 25 | 24 |
| convex3.polylib | H A D | 13-Mar-2025 | 60 | 11 | 8 |
| convex4.polylib | H A D | 13-Mar-2025 | 50 | 10 | 7 |
| convex5.polylib | H A D | 13-Mar-2025 | 80 | 13 | 10 |
| convex6.polylib | H A D | 13-Mar-2025 | 206 | 18 | 15 |
| convex7.polylib | H A D | 13-Mar-2025 | 50 | 10 | 7 |
| convex8.polylib | H A D | 13-Mar-2025 | 394 | 25 | 21 |
| convex9.polylib | H A D | 13-Mar-2025 | 94 | 15 | 12 |
| devos.pwqp | H A D | 13-Mar-2025 | 111 | 2 | 1 |
| equality1.pwqp | H A D | 13-Mar-2025 | 70 | 2 | 1 |
| equality2.pwqp | H A D | 13-Mar-2025 | 61 | 2 | 1 |
| equality3.pwqp | H A D | 13-Mar-2025 | 77 | 2 | 1 |
| equality4.pwqp | H A D | 13-Mar-2025 | 89 | 2 | 1 |
| equality5.pwqp | H A D | 13-Mar-2025 | 109 | 2 | 1 |
| esced.pip | H A D | 13-Mar-2025 | 616 | 28 | 19 |
| ex.pip | H A D | 13-Mar-2025 | 91 | 10 | 7 |
| ex2.pip | H A D | 13-Mar-2025 | 69 | 10 | 7 |
| exist.pip | H A D | 13-Mar-2025 | 54 | 6 | 3 |
| exist2.pip | H A D | 13-Mar-2025 | 96 | 6 | 3 |
| faddeev.pwqp | H A D | 13-Mar-2025 | 163 | 2 | 1 |
| fimmel.pip | H A D | 13-Mar-2025 | 110 | 13 | 10 |
| linearExample.pwqp | H A D | 13-Mar-2025 | 139 | 2 | 1 |
| max.pip | H A D | 13-Mar-2025 | 69 | 10 | 7 |
| neg.pwqp | H A D | 13-Mar-2025 | 76 | 2 | 1 |
| negative.pip | H A D | 13-Mar-2025 | 89 | 10 | 8 |
| philippe.pwqp | H A D | 13-Mar-2025 | 80 | 2 | 1 |
| philippe3vars.pwqp | H A D | 13-Mar-2025 | 108 | 2 | 1 |
| philippe3vars3pars.pwqp | H A D | 13-Mar-2025 | 145 | 2 | 1 |
| philippeNeg.pwqp | H A D | 13-Mar-2025 | 81 | 2 | 1 |
| philippePolynomialCoeff.pwqp | H A D | 13-Mar-2025 | 108 | 2 | 1 |
| philippePolynomialCoeff1P.pwqp | H A D | 13-Mar-2025 | 94 | 2 | 1 |
| product.pwqp | H A D | 13-Mar-2025 | 125 | 2 | 1 |
| seghir-vd.pip | H A D | 13-Mar-2025 | 200 | 18 | 14 |
| set.omega | H A D | 13-Mar-2025 | 36 | 2 | 1 |
| small.pip | H A D | 13-Mar-2025 | 57 | 10 | 7 |
| sor1d.pip | H A D | 13-Mar-2025 | 398 | 29 | 25 |
| split.pwqp | H A D | 13-Mar-2025 | 53 | 2 | 1 |
| square.pip | H A D | 13-Mar-2025 | 69 | 10 | 7 |
| sven.pip | H A D | 13-Mar-2025 | 29 | 8 | 5 |
| test3Deg3Var.pwqp | H A D | 13-Mar-2025 | 62 | 2 | 1 |
| tobi.pip | H A D | 13-Mar-2025 | 239 | 16 | 12 |
| toplas.pwqp | H A D | 13-Mar-2025 | 225 | 2 | 1 |
| unexpanded.pwqp | H A D | 13-Mar-2025 | 91 | 2 | 1 |