| .. | | 11-Feb-2016 | - |
| Makefile.am | H A D | 11-Feb-2016 | 7.7 KiB | 311 | 203 |
| Makefile.in | H A D | 11-Feb-2016 | 133.6 KiB | 3,111 | 2,868 |
| addcongruence1.cc | H A D | 11-Feb-2016 | 2.9 KiB | 130 | 70 |
| addcongruences1.cc | H A D | 11-Feb-2016 | 6.3 KiB | 333 | 193 |
| addconstraint1.cc | H A D | 11-Feb-2016 | 4.7 KiB | 242 | 144 |
| addconstraints1.cc | H A D | 11-Feb-2016 | 6.1 KiB | 348 | 220 |
| addgenerator1.cc | H A D | 11-Feb-2016 | 6.4 KiB | 331 | 207 |
| addgenerators1.cc | H A D | 11-Feb-2016 | 4.6 KiB | 224 | 126 |
| addspacedims1.cc | H A D | 11-Feb-2016 | 10.1 KiB | 533 | 326 |
| affinedim1.cc | H A D | 11-Feb-2016 | 8.5 KiB | 323 | 204 |
| affineimage1.cc | H A D | 11-Feb-2016 | 8.4 KiB | 391 | 238 |
| affineimage2.cc | H A D | 11-Feb-2016 | 8.1 KiB | 399 | 259 |
| affinepreimage1.cc | H A D | 11-Feb-2016 | 9.4 KiB | 430 | 257 |
| affinepreimage2.cc | H A D | 11-Feb-2016 | 7.2 KiB | 364 | 228 |
| approximatepartition1.cc | H A D | 11-Feb-2016 | 2.6 KiB | 104 | 54 |
| asciidumpload1.cc | H A D | 11-Feb-2016 | 12 KiB | 634 | 468 |
| asciidumpload2.cc | H A D | 11-Feb-2016 | 8.7 KiB | 496 | 372 |
| asciidumpload3.cc | H A D | 11-Feb-2016 | 2.6 KiB | 125 | 76 |
| asciidumpload4.cc | H A D | 11-Feb-2016 | 2.9 KiB | 146 | 93 |
| asciidumpload5.cc | H A D | 11-Feb-2016 | 3.1 KiB | 156 | 96 |
| asciidumpload6.cc | H A D | 11-Feb-2016 | 3 KiB | 146 | 93 |
| bhz03widening1.cc | H A D | 11-Feb-2016 | 2.9 KiB | 114 | 61 |
| bounded1.cc | H A D | 11-Feb-2016 | 9.8 KiB | 393 | 251 |
| boundedaffineimage1.cc | H A D | 11-Feb-2016 | 4.1 KiB | 186 | 114 |
| boundedaffinepreimage1.cc | H A D | 11-Feb-2016 | 4.2 KiB | 186 | 114 |
| bounds1.cc | H A D | 11-Feb-2016 | 12.3 KiB | 460 | 306 |
| certificate1.cc | H A D | 11-Feb-2016 | 4.9 KiB | 230 | 137 |
| concatenate1.cc | H A D | 11-Feb-2016 | 6.3 KiB | 342 | 197 |
| congruence1.cc | H A D | 11-Feb-2016 | 8.9 KiB | 460 | 305 |
| congruences1.cc | H A D | 11-Feb-2016 | 8.2 KiB | 404 | 245 |
| congruences2.cc | H A D | 11-Feb-2016 | 7.3 KiB | 338 | 195 |
| constraints1.cc | H A D | 11-Feb-2016 | 6.3 KiB | 355 | 212 |
| contains1.cc | H A D | 11-Feb-2016 | 4 KiB | 215 | 129 |
| containsintegerpoint1.cc | H A D | 11-Feb-2016 | 7.3 KiB | 291 | 179 |
| discrete1.cc | H A D | 11-Feb-2016 | 8.6 KiB | 343 | 215 |
| disjoint1.cc | H A D | 11-Feb-2016 | 5.2 KiB | 256 | 166 |
| dropnonintegerpoints1.cc | H A D | 11-Feb-2016 | 7.3 KiB | 324 | 227 |
| equals1.cc | H A D | 11-Feb-2016 | 6.2 KiB | 287 | 178 |
| expandspacedim1.cc | H A D | 11-Feb-2016 | 5 KiB | 240 | 156 |
| foldspacedims1.cc | H A D | 11-Feb-2016 | 7.9 KiB | 402 | 269 |
| frequency1.cc | H A D | 11-Feb-2016 | 7.6 KiB | 350 | 261 |
| frombdshape1.cc | H A D | 11-Feb-2016 | 1.7 KiB | 78 | 36 |
| frombox1.cc | H A D | 11-Feb-2016 | 1.7 KiB | 78 | 36 |
| fromgrid1.cc | H A D | 11-Feb-2016 | 2.5 KiB | 103 | 53 |
| fromoctagonalshape1.cc | H A D | 11-Feb-2016 | 1.7 KiB | 78 | 36 |
| frompolyhedron1.cc | H A D | 11-Feb-2016 | 6.6 KiB | 344 | 203 |
| generalizedaffineimage1.cc | H A D | 11-Feb-2016 | 11.5 KiB | 557 | 372 |
| generalizedaffineimage2.cc | H A D | 11-Feb-2016 | 11.7 KiB | 545 | 342 |
| generalizedaffineimage3.cc | H A D | 11-Feb-2016 | 7.5 KiB | 378 | 259 |
| generalizedaffinepreimage1.cc | H A D | 11-Feb-2016 | 12 KiB | 541 | 343 |
| generalizedaffinepreimage2.cc | H A D | 11-Feb-2016 | 6.9 KiB | 322 | 203 |
| generalizedaffinepreimage3.cc | H A D | 11-Feb-2016 | 9.3 KiB | 463 | 312 |
| generator1.cc | H A D | 11-Feb-2016 | 8.9 KiB | 484 | 322 |
| generators1.cc | H A D | 11-Feb-2016 | 8.9 KiB | 472 | 280 |
| generators2.cc | H A D | 11-Feb-2016 | 1.5 KiB | 57 | 19 |
| grid1.cc | H A D | 11-Feb-2016 | 17.5 KiB | 840 | 561 |
| grid2.cc | H A D | 11-Feb-2016 | 12.2 KiB | 635 | 413 |
| grid3.cc | H A D | 11-Feb-2016 | 4.9 KiB | 276 | 166 |
| griddifference1.cc | H A D | 11-Feb-2016 | 6.9 KiB | 351 | 220 |
| intersection1.cc | H A D | 11-Feb-2016 | 6.2 KiB | 317 | 199 |
| isempty1.cc | H A D | 11-Feb-2016 | 4.7 KiB | 295 | 167 |
| isuniverse1.cc | H A D | 11-Feb-2016 | 5.1 KiB | 323 | 178 |
| limitedextrapolation1.cc | H A D | 11-Feb-2016 | 10.5 KiB | 496 | 323 |
| limitedextrapolation2.cc | H A D | 11-Feb-2016 | 10.6 KiB | 500 | 323 |
| limitedextrapolation3.cc | H A D | 11-Feb-2016 | 10.4 KiB | 500 | 323 |
| mapspacedims1.cc | H A D | 11-Feb-2016 | 6.6 KiB | 315 | 200 |
| maxmin1.cc | H A D | 11-Feb-2016 | 14.7 KiB | 520 | 341 |
| membytes1.cc | H A D | 11-Feb-2016 | 9.5 KiB | 278 | 218 |
| mincongruences1.cc | H A D | 11-Feb-2016 | 4.5 KiB | 223 | 117 |
| mingenerators1.cc | H A D | 11-Feb-2016 | 4.9 KiB | 242 | 130 |
| outputoperator1.cc | H A D | 11-Feb-2016 | 2.7 KiB | 142 | 77 |
| outputoperator2.cc | H A D | 11-Feb-2016 | 2.1 KiB | 101 | 51 |
| outputoperator3.cc | H A D | 11-Feb-2016 | 2 KiB | 92 | 44 |
| partition1.cc | H A D | 11-Feb-2016 | 3.2 KiB | 102 | 58 |
| powersetdifference1.cc | H A D | 11-Feb-2016 | 6.5 KiB | 316 | 207 |
| powersetgeometricallycovers1.cc | H A D | 11-Feb-2016 | 3.8 KiB | 182 | 115 |
| powersetgeometricallyequals1.cc | H A D | 11-Feb-2016 | 2.6 KiB | 115 | 68 |
| refinewithcongruences1.cc | H A D | 11-Feb-2016 | 3.9 KiB | 212 | 121 |
| refinewithconstraints1.cc | H A D | 11-Feb-2016 | 3.7 KiB | 209 | 118 |
| relations1.cc | H A D | 11-Feb-2016 | 6.8 KiB | 368 | 241 |
| relations2.cc | H A D | 11-Feb-2016 | 9.3 KiB | 425 | 291 |
| relations3.cc | H A D | 11-Feb-2016 | 12.9 KiB | 488 | 352 |
| removespacedims1.cc | H A D | 11-Feb-2016 | 6.7 KiB | 351 | 223 |
| removespacedims2.cc | H A D | 11-Feb-2016 | 5.6 KiB | 281 | 174 |
| simplifyusingcontext1.cc | H A D | 11-Feb-2016 | 10.3 KiB | 502 | 335 |
| timeelapse1.cc | H A D | 11-Feb-2016 | 6.9 KiB | 342 | 212 |
| topclosed1.cc | H A D | 11-Feb-2016 | 8.7 KiB | 338 | 209 |
| topclosure1.cc | H A D | 11-Feb-2016 | 2 KiB | 95 | 46 |
| unconstrain1.cc | H A D | 11-Feb-2016 | 5.2 KiB | 253 | 160 |
| upperbound1.cc | H A D | 11-Feb-2016 | 6.8 KiB | 336 | 209 |
| upperbound2.cc | H A D | 11-Feb-2016 | 6.9 KiB | 342 | 217 |
| widening1.cc | H A D | 11-Feb-2016 | 11.3 KiB | 599 | 365 |
| widening2.cc | H A D | 11-Feb-2016 | 9.7 KiB | 487 | 294 |
| widening3.cc | H A D | 11-Feb-2016 | 6.5 KiB | 316 | 182 |
| wrap1.cc | H A D | 11-Feb-2016 | 11.6 KiB | 565 | 383 |
| writecongruencesystem.cc | H A D | 11-Feb-2016 | 1.6 KiB | 64 | 26 |