drwxr-xr-x roberto/roberto   0 2011-02-27 06:12 ppl-0.11.2/
-rw-r--r-- roberto/roberto 658 2011-02-27 06:07 ppl-0.11.2/README.arm
-rw-r--r-- roberto/roberto 866 2011-02-27 06:07 ppl-0.11.2/README.alpha
-rwxr-xr-x roberto/roberto 18615 2011-02-27 06:07 ppl-0.11.2/depcomp
drwxr-xr-x roberto/roberto     0 2011-02-27 06:10 ppl-0.11.2/tests/
drwxr-xr-x roberto/roberto     0 2011-02-27 06:10 ppl-0.11.2/tests/Powerset/
-rw-r--r-- roberto/roberto  2435 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/meet1.cc
-rw-r--r-- roberto/roberto  1890 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/membytes1.cc
-rw-r--r-- roberto/roberto  9675 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/frombox1.cc
-rw-r--r-- roberto/roberto  4401 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/difference1.cc
-rw-r--r-- roberto/roberto  2466 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/universe1.cc
-rw-r--r-- roberto/roberto  3288 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/containsintegerpoint1.cc
-rw-r--r-- roberto/roberto  1987 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/entails1.cc
-rw-r--r-- roberto/roberto  6172 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/affineimage1.cc
-rw-r--r-- roberto/roberto 20143 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/frompolyhedron1.cc
-rw-r--r-- roberto/roberto  2513 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/bounds1.cc
-rw-r--r-- roberto/roberto  2086 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/equals1.cc
-rw-r--r-- roberto/roberto  4165 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/Makefile.am
-rw-r--r-- roberto/roberto  2393 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/fromspacedimension1.cc
-rw-r--r-- roberto/roberto  5519 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/refinewith1.cc
-rw-r--r-- roberto/roberto  2460 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/collapse1.cc
-rw-r--r-- roberto/roberto  3189 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/empty1.cc
-rw-r--r-- roberto/roberto  2868 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/intersection1.cc
-rw-r--r-- roberto/roberto  4668 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/fromconstraints1.cc
-rw-r--r-- roberto/roberto  6056 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/relationwith1.cc
-rw-r--r-- roberto/roberto  9527 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/maxmin1.cc
-rw-r--r-- roberto/roberto  9462 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/fromgrid1.cc
-rw-r--r-- roberto/roberto 10388 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/fromoctagonalshape1.cc
-rw-r--r-- roberto/roberto 50742 2011-02-27 06:08 ppl-0.11.2/tests/Powerset/Makefile.in
-rw-r--r-- roberto/roberto  2046 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/reduce1.cc
-rw-r--r-- roberto/roberto  2515 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/closed1.cc
-rw-r--r-- roberto/roberto  9901 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/frombdshape1.cc
-rw-r--r-- roberto/roberto  2005 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/addcongruences1.cc
-rw-r--r-- roberto/roberto  5595 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/spacedims1.cc
-rw-r--r-- roberto/roberto  7556 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/disjunct1.cc
-rw-r--r-- roberto/roberto  1892 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/concatenate1.cc
-rw-r--r-- roberto/roberto  1991 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/bounded1.cc
-rw-r--r-- roberto/roberto  3593 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/powerset1.cc
-rw-r--r-- roberto/roberto  3956 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/upperbound1.cc
-rw-r--r-- roberto/roberto  1937 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/fromcongruences1.cc
-rw-r--r-- roberto/roberto  1925 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/addconstraints1.cc
-rw-r--r-- roberto/roberto  3025 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/disjoint1.cc
-rw-r--r-- roberto/roberto  3508 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/affinedimension1.cc
-rw-r--r-- roberto/roberto  2038 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/discrete1.cc
-rw-r--r-- roberto/roberto  1837 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/size1.cc
-rw-r--r-- roberto/roberto  4610 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/affinepreimage1.cc
-rw-r--r-- roberto/roberto 10831 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/simplifyusingcontext1.cc
-rw-r--r-- roberto/roberto  2965 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/contains1.cc
-rw-r--r-- roberto/roberto  1605 2011-02-27 06:07 ppl-0.11.2/tests/Powerset/closure1.cc
-rw-r--r-- roberto/roberto  1581 2011-02-27 06:07 ppl-0.11.2/tests/files.cc
-rw-r--r-- roberto/roberto  1255 2011-02-27 06:07 ppl-0.11.2/tests/files.hh
-rw-r--r-- roberto/roberto  2862 2011-02-27 06:07 ppl-0.11.2/tests/Random_Number_Generator.inlines.hh
drwxr-xr-x roberto/roberto     0 2011-02-27 06:10 ppl-0.11.2/tests/Polyhedron/
-rw-r--r-- roberto/roberto 31775 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/exceptions1.cc
-rw-r--r-- roberto/roberto  3132 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/addgenerator2.cc
-rw-r--r-- roberto/roberto  6399 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/permute.cc
-rw-r--r-- roberto/roberto  5615 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/timeelapse1.cc
-rw-r--r-- roberto/roberto  9644 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/membytes1.cc
-rw-r--r-- roberto/roberto  1822 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/minconstraints2.cc
-rw-r--r-- roberto/roberto  5469 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/frombox1.cc
-rw-r--r-- roberto/roberto  4871 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/generators1.cc
-rw-r--r-- roberto/roberto  3772 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/dropsomenonintegerpoints2.cc
-rw-r--r-- roberto/roberto  5135 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/termination2.cc
-rw-r--r-- roberto/roberto  4588 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/addcongruence1.cc
-rw-r--r-- roberto/roberto  2055 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/writeconsys1.cc
-rw-r--r-- roberto/roberto  6683 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/refinewithcongruences1.cc
-rw-r--r-- roberto/roberto  3363 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/universe1.cc
-rw-r--r-- roberto/roberto 10332 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/mapspacedims1.cc
-rw-r--r-- roberto/roberto  2793 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/writevariable1.cc
-rw-r--r-- roberto/roberto  2039 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/boundedh79extrapolation1.cc
-rw-r--r-- roberto/roberto  3738 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/containsintegerpoint1.cc
-rw-r--r-- roberto/roberto 10464 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/nncminimize1.cc
-rw-r--r-- roberto/roberto  6860 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/addgenerators1.cc
-rw-r--r-- roberto/roberto  3174 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/linearsystem1.cc
-rw-r--r-- roberto/roberto  2971 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/timeelapse2.cc
-rw-r--r-- roberto/roberto  5570 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/affineimage1.cc
-rw-r--r-- roberto/roberto  6326 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/memory2.cc
-rw-r--r-- roberto/roberto  3654 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/contains2.cc
-rw-r--r-- roberto/roberto  1808 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/writepolyhedron1.cc
-rw-r--r-- roberto/roberto  3899 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/smm1.cc
-rw-r--r-- roberto/roberto  7624 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/bgp99extrapolation2.cc
-rw-r--r-- roberto/roberto  3272 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/disjoint2.cc
-rw-r--r-- roberto/roberto  4113 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/linearexpression1.cc
-rw-r--r-- roberto/roberto  1685 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/bounds1.cc
-rw-r--r-- roberto/roberto  1972 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/matrix1.cc
-rw-r--r-- roberto/roberto  8283 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/polyhull1.cc
-rw-r--r-- roberto/roberto  1867 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/equals1.cc
-rw-r--r-- roberto/roberto  2000 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/affineimage2.cc
-rw-r--r-- roberto/roberto  2632 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/nncminimize2.cc
-rw-r--r-- roberto/roberto 20125 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/Makefile.am
-rw-r--r-- roberto/roberto 13873 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/wrap1.cc
-rw-r--r-- roberto/roberto  6055 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/randphull1.cc
-rw-r--r-- roberto/roberto  3883 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/variablesset1.cc
-rw-r--r-- roberto/roberto  6072 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/memory1.cc
-rw-r--r-- roberto/roberto  1900 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/generalizedaffinepreimage2.cc
-rw-r--r-- roberto/roberto  1783 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/h79widening2.cc
-rw-r--r-- roberto/roberto  2534 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/refinewithcongruence1.cc
-rw-r--r-- roberto/roberto  4919 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/max_min1.cc
-rw-r--r-- roberto/roberto  1555 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/empty1.cc
-rw-r--r-- roberto/roberto 12643 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/intersection1.cc
-rw-r--r-- roberto/roberto  6348 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/refinewithconstraints1.cc
-rw-r--r-- roberto/roberto  2131 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/writegensys1.cc
-rw-r--r-- roberto/roberto  2743 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/writerelation1.cc
-rw-r--r-- roberto/roberto  3164 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/append1.cc
-rw-r--r-- roberto/roberto 15775 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/bhrz03widening1.cc
-rw-r--r-- roberto/roberto 10669 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/ascii_dump_load1.cc
-rw-r--r-- roberto/roberto  3572 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/mc91.cc
-rw-r--r-- roberto/roberto  8380 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/ascii_dump_load3.cc
-rw-r--r-- roberto/roberto  2825 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/frombox2.cc
-rw-r--r-- roberto/roberto 11520 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/polyhullifexact1.cc
-rw-r--r-- roberto/roberto  4114 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/fromgrid1.cc
-rw-r--r-- roberto/roberto  1478 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/fromoctagonalshape1.cc
-rw-r--r-- roberto/roberto  3841 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/append2.cc
-rw-r--r-- roberto/roberto  2499 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/addconstraint1.cc
-rw-r--r-- roberto/roberto 11176 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/relations1.cc
-rw-r--r-- roberto/roberto  1852 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/removespacedims2.cc
-rw-r--r-- roberto/roberto 357443 2011-02-27 06:08 ppl-0.11.2/tests/Polyhedron/Makefile.in
-rw-r--r-- roberto/roberto   6964 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/congruences1.cc
-rw-r--r-- roberto/roberto   5910 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/limitedh79extrapolation1.cc
-rw-r--r-- roberto/roberto   3903 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/watchdog1.cc
-rw-r--r-- roberto/roberto  13035 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/dualhypercubes.cc
-rw-r--r-- roberto/roberto   9293 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/linearpartition1.cc
-rw-r--r-- roberto/roberto   1503 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/frombdshape1.cc
-rw-r--r-- roberto/roberto   1380 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/mingenerators2.cc
-rw-r--r-- roberto/roberto   6718 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/exceptions3.cc
-rw-r--r-- roberto/roberto   5838 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/generalizedaffineimage1.cc
-rw-r--r-- roberto/roberto   4100 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/polydifference2.cc
-rw-r--r-- roberto/roberto   1706 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/geomcovers1.cc
-rw-r--r-- roberto/roberto   1975 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/limitedbhrz03extrapolation1.cc
-rw-r--r-- roberto/roberto   4934 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/addcongruences1.cc
-rw-r--r-- roberto/roberto   5475 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/boundedaffineimage1.cc
-rw-r--r-- roberto/roberto   5949 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/concatenate1.cc
-rw-r--r-- roberto/roberto   2061 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/mingenerators1.cc
-rw-r--r-- roberto/roberto  16203 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/bhrz03widening3.cc
-rw-r--r-- roberto/roberto   4596 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/addspacedims1.cc
-rw-r--r-- roberto/roberto   5476 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/relations2.cc
-rw-r--r-- roberto/roberto   2671 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/refinewithconstraint1.cc
-rw-r--r-- roberto/roberto   5973 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/weightwatch1.cc
-rw-r--r-- roberto/roberto   3219 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/addgenerators2.cc
-rw-r--r-- roberto/roberto   3739 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/topclosure1.cc
-rw-r--r-- roberto/roberto   2334 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/bounded1.cc
-rw-r--r-- roberto/roberto   1592 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/polyhull2.cc
-rw-r--r-- roberto/roberto  26156 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/numberinput1.cc
-rw-r--r-- roberto/roberto  11045 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/polyhullifexact2.cc
-rw-r--r-- roberto/roberto   3018 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/expandspacedim2.cc
-rw-r--r-- roberto/roberto  12306 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/generalizedaffineimage2.cc
-rw-r--r-- roberto/roberto   3343 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/cnncconversion1.cc
-rw-r--r-- roberto/roberto   3980 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/boundedbhrz03extrapolation1.cc
-rw-r--r-- roberto/roberto  11086 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/termination1.cc
-rw-r--r-- roberto/roberto   5165 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/frequency1.cc
-rw-r--r-- roberto/roberto   1645 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/onepoint.cc
-rw-r--r-- roberto/roberto   5493 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/bhrz03widening2.cc
-rw-r--r-- roberto/roberto   1923 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/minconstraints1.cc
-rw-r--r-- roberto/roberto   3890 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/dropsomenonintegerpoints1.cc
-rw-r--r-- roberto/roberto   2115 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/writepolyhedron2.cc
-rw-r--r-- roberto/roberto   6354 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/expandspacedim1.cc
-rw-r--r-- roberto/roberto   5404 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/foldspacedims2.cc
-rw-r--r-- roberto/roberto   4482 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/polydifference1.cc
-rw-r--r-- roberto/roberto   4881 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/maxspacedim1.cc
-rw-r--r-- roberto/roberto   3924 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/bgp99extrapolation1.cc
-rw-r--r-- roberto/roberto   7246 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/relations3.cc
-rw-r--r-- roberto/roberto   5637 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/addspacedims2.cc
-rw-r--r-- roberto/roberto   6542 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/removespacedims1.cc
-rw-r--r-- roberto/roberto  28856 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/hybrid.cc
-rw-r--r-- roberto/roberto   5587 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/h79widening1.cc
-rw-r--r-- roberto/roberto   3208 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/boundedaffinepreimage1.cc
-rw-r--r-- roberto/roberto   7231 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/addconstraints1.cc
-rw-r--r-- roberto/roberto   2198 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/topclosed1.cc
-rw-r--r-- roberto/roberto   3485 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/constraints1.cc
-rw-r--r-- roberto/roberto   4502 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/constrains1.cc
-rw-r--r-- roberto/roberto  17504 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/bhz03widening1.cc
-rw-r--r-- roberto/roberto   2381 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/affinetrans.cc
-rw-r--r-- roberto/roberto   5385 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/unconstrain1.cc
-rw-r--r-- roberto/roberto   2180 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/universe2.cc
-rw-r--r-- roberto/roberto   3284 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/disjoint1.cc
-rw-r--r-- roberto/roberto   2892 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/addgenerator1.cc
-rw-r--r-- roberto/roberto  20168 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/exceptions2.cc
-rw-r--r-- roberto/roberto   3146 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/generalizedaffinepreimage1.cc
-rw-r--r-- roberto/roberto   2281 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/addconstraints2.cc
-rw-r--r-- roberto/roberto   2501 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/wrap2.cc
-rw-r--r-- roberto/roberto   2941 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/ascii_dump_load2.cc
-rw-r--r-- roberto/roberto   8936 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/affinepreimage1.cc
-rw-r--r-- roberto/roberto  11949 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/simplifyusingcontext1.cc
-rw-r--r-- roberto/roberto   7898 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/foldspacedims1.cc
-rw-r--r-- roberto/roberto   3232 2011-02-27 06:07 ppl-0.11.2/tests/Polyhedron/contains1.cc
drwxr-xr-x roberto/roberto      0 2011-02-27 06:10 ppl-0.11.2/tests/Partially_Reduced_Product/
-rw-r--r-- roberto/roberto   3522 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/timeelapse1.cc
-rw-r--r-- roberto/roberto   2207 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/isuniverse1.cc
-rw-r--r-- roberto/roberto   2229 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/frombox1.cc
-rw-r--r-- roberto/roberto   2400 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/isempty1.cc
-rw-r--r-- roberto/roberto  15276 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/smashproduct1.cc
-rw-r--r-- roberto/roberto  13537 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/constraintsproduct1.cc
-rw-r--r-- roberto/roberto   5878 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/refinewithcongruences1.cc
-rw-r--r-- roberto/roberto   3693 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/difference1.cc
-rw-r--r-- roberto/roberto   2363 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/affineimage1.cc
-rw-r--r-- roberto/roberto   3039 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/frompolyhedron1.cc
-rw-r--r-- roberto/roberto   2212 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/dimension1.cc
-rw-r--r-- roberto/roberto  16411 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/bounds1.cc
-rw-r--r-- roberto/roberto   2112 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/equals1.cc
-rw-r--r-- roberto/roberto   5465 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/Makefile.am
-rw-r--r-- roberto/roberto   1157 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/partially_reduced_product_test.hh
-rw-r--r-- roberto/roberto   3231 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/intersection1.cc
-rw-r--r-- roberto/roberto   7569 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/refinewithconstraints1.cc
-rw-r--r-- roberto/roberto   3084 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/directproduct1.cc
-rw-r--r-- roberto/roberto   6058 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/maxmin1.cc
-rw-r--r-- roberto/roberto   1725 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/fromgrid1.cc
-rw-r--r-- roberto/roberto   1831 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/fromoctagonalshape1.cc
-rw-r--r-- roberto/roberto   4592 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/asciidumpload1.cc
-rw-r--r-- roberto/roberto   9804 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/relations1.cc
-rw-r--r-- roberto/roberto  74097 2011-02-27 06:08 ppl-0.11.2/tests/Partially_Reduced_Product/Makefile.in
-rw-r--r-- roberto/roberto   2370 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/congruences1.cc
-rw-r--r-- roberto/roberto   1818 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/frombdshape1.cc
-rw-r--r-- roberto/roberto   6424 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/generalizedaffineimage1.cc
-rw-r--r-- roberto/roberto   2410 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/addcongruences1.cc
-rw-r--r-- roberto/roberto   6381 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/boundedaffineimage1.cc
-rw-r--r-- roberto/roberto   7178 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/spacedims1.cc
-rw-r--r-- roberto/roberto   2112 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/concatenate1.cc
-rw-r--r-- roberto/roberto   2102 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/topclosure1.cc
-rw-r--r-- roberto/roberto   1684 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/bounded1.cc
-rw-r--r-- roberto/roberto   4716 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/fromproduct1.cc
-rw-r--r-- roberto/roberto   4162 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/shapepreservingproduct1.cc
-rw-r--r-- roberto/roberto   3881 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/dropsomenonintegerpoints1.cc
-rw-r--r-- roberto/roberto   5025 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/upperbound1.cc
-rw-r--r-- roberto/roberto   2539 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/topclosed1.cc
-rw-r--r-- roberto/roberto   2716 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/constraints1.cc
-rw-r--r-- roberto/roberto   7095 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/congruencesproduct1.cc
-rw-r--r-- roberto/roberto   4550 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/disjoint1.cc
-rw-r--r-- roberto/roberto   2618 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/discrete1.cc
-rw-r--r-- roberto/roberto   2838 2011-02-27 06:07 ppl-0.11.2/tests/Partially_Reduced_Product/contains1.cc
-rw-r--r-- roberto/roberto   1615 2011-02-27 06:07 ppl-0.11.2/tests/Makefile.am
drwxr-xr-x roberto/roberto      0 2011-02-27 06:10 ppl-0.11.2/tests/PIP_Problem/
-rw-r--r-- roberto/roberto   8771 2011-02-27 06:07 ppl-0.11.2/tests/PIP_Problem/exceptions1.cc
-rw-r--r-- roberto/roberto  19484 2011-02-27 06:07 ppl-0.11.2/tests/PIP_Problem/pipproblem1.cc
-rw-r--r-- roberto/roberto   2495 2011-02-27 06:07 ppl-0.11.2/tests/PIP_Problem/Makefile.am
-rw-r--r-- roberto/roberto   8173 2011-02-27 06:07 ppl-0.11.2/tests/PIP_Problem/pipproblem2.cc
-rw-r--r-- roberto/roberto   6525 2011-02-27 06:07 ppl-0.11.2/tests/PIP_Problem/ascii_dump_load1.cc
-rw-r--r-- roberto/roberto  27730 2011-02-27 06:08 ppl-0.11.2/tests/PIP_Problem/Makefile.in
-rw-r--r-- roberto/roberto   3566 2011-02-27 06:07 ppl-0.11.2/tests/PIP_Problem/pipproblem3.cc
-rw-r--r-- roberto/roberto    153 2011-02-27 06:07 ppl-0.11.2/tests/valgrind_suppressions
-rw-r--r-- roberto/roberto   1529 2011-02-27 06:07 ppl-0.11.2/tests/Random_Number_Generator.defs.hh
drwxr-xr-x roberto/roberto      0 2011-02-27 06:10 ppl-0.11.2/tests/Grid/
-rw-r--r-- roberto/roberto   3854 2011-02-27 06:07 ppl-0.11.2/tests/Grid/powersetgeometricallycovers1.cc
-rw-r--r-- roberto/roberto   7109 2011-02-27 06:07 ppl-0.11.2/tests/Grid/timeelapse1.cc
-rw-r--r-- roberto/roberto   9671 2011-02-27 06:07 ppl-0.11.2/tests/Grid/membytes1.cc
-rw-r--r-- roberto/roberto   5167 2011-02-27 06:07 ppl-0.11.2/tests/Grid/isuniverse1.cc
-rw-r--r-- roberto/roberto   7324 2011-02-27 06:07 ppl-0.11.2/tests/Grid/affinepreimage2.cc
-rw-r--r-- roberto/roberto   1711 2011-02-27 06:07 ppl-0.11.2/tests/Grid/frombox1.cc
-rw-r--r-- roberto/roberto  10895 2011-02-27 06:07 ppl-0.11.2/tests/Grid/limitedextrapolation2.cc
-rw-r--r-- roberto/roberto   9114 2011-02-27 06:07 ppl-0.11.2/tests/Grid/generators1.cc
-rw-r--r-- roberto/roberto   2923 2011-02-27 06:07 ppl-0.11.2/tests/Grid/addcongruence1.cc
-rw-r--r-- roberto/roberto   4783 2011-02-27 06:07 ppl-0.11.2/tests/Grid/isempty1.cc
-rw-r--r-- roberto/roberto   3981 2011-02-27 06:07 ppl-0.11.2/tests/Grid/refinewithcongruences1.cc
-rw-r--r-- roberto/roberto   2142 2011-02-27 06:07 ppl-0.11.2/tests/Grid/outputoperator2.cc
-rw-r--r-- roberto/roberto   6774 2011-02-27 06:07 ppl-0.11.2/tests/Grid/mapspacedims1.cc
-rw-r--r-- roberto/roberto   7440 2011-02-27 06:07 ppl-0.11.2/tests/Grid/containsintegerpoint1.cc
-rw-r--r-- roberto/roberto   9244 2011-02-27 06:07 ppl-0.11.2/tests/Grid/congruence1.cc
-rw-r--r-- roberto/roberto  10595 2011-02-27 06:07 ppl-0.11.2/tests/Grid/limitedextrapolation3.cc
-rw-r--r-- roberto/roberto   7388 2011-02-27 06:07 ppl-0.11.2/tests/Grid/congruences2.cc
-rw-r--r-- roberto/roberto   4673 2011-02-27 06:07 ppl-0.11.2/tests/Grid/addgenerators1.cc
-rw-r--r-- roberto/roberto  12503 2011-02-27 06:07 ppl-0.11.2/tests/Grid/grid2.cc
-rw-r--r-- roberto/roberto   9903 2011-02-27 06:07 ppl-0.11.2/tests/Grid/widening2.cc
-rw-r--r-- roberto/roberto   8600 2011-02-27 06:07 ppl-0.11.2/tests/Grid/affineimage1.cc
-rw-r--r-- roberto/roberto   7091 2011-02-27 06:07 ppl-0.11.2/tests/Grid/upperbound2.cc
-rw-r--r-- roberto/roberto  11553 2011-02-27 06:07 ppl-0.11.2/tests/Grid/widening1.cc
-rw-r--r-- roberto/roberto   5048 2011-02-27 06:07 ppl-0.11.2/tests/Grid/certificate1.cc
-rw-r--r-- roberto/roberto   6730 2011-02-27 06:07 ppl-0.11.2/tests/Grid/frompolyhedron1.cc
-rw-r--r-- roberto/roberto  10767 2011-02-27 06:07 ppl-0.11.2/tests/Grid/limitedextrapolation1.cc
-rw-r--r-- roberto/roberto   3006 2011-02-27 06:07 ppl-0.11.2/tests/Grid/asciidumpload4.cc
-rw-r--r-- roberto/roberto  12597 2011-02-27 06:07 ppl-0.11.2/tests/Grid/bounds1.cc
-rw-r--r-- roberto/roberto   6337 2011-02-27 06:07 ppl-0.11.2/tests/Grid/equals1.cc
-rw-r--r-- roberto/roberto   8338 2011-02-27 06:07 ppl-0.11.2/tests/Grid/affineimage2.cc
-rw-r--r-- roberto/roberto   8868 2011-02-27 06:07 ppl-0.11.2/tests/Grid/asciidumpload2.cc
-rw-r--r-- roberto/roberto   7884 2011-02-27 06:07 ppl-0.11.2/tests/Grid/Makefile.am
-rw-r--r-- roberto/roberto   3188 2011-02-27 06:07 ppl-0.11.2/tests/Grid/asciidumpload5.cc
-rw-r--r-- roberto/roberto  11841 2011-02-27 06:07 ppl-0.11.2/tests/Grid/wrap1.cc
-rw-r--r-- roberto/roberto   7466 2011-02-27 06:07 ppl-0.11.2/tests/Grid/dropnonintegerpoints1.cc
-rw-r--r-- roberto/roberto   6947 2011-02-27 06:07 ppl-0.11.2/tests/Grid/generalizedaffinepreimage2.cc
-rw-r--r-- roberto/roberto   6311 2011-02-27 06:07 ppl-0.11.2/tests/Grid/intersection1.cc
-rw-r--r-- roberto/roberto   3833 2011-02-27 06:07 ppl-0.11.2/tests/Grid/refinewithconstraints1.cc
-rw-r--r-- roberto/roberto   2089 2011-02-27 06:07 ppl-0.11.2/tests/Grid/outputoperator3.cc
-rw-r--r-- roberto/roberto   9357 2011-02-27 06:07 ppl-0.11.2/tests/Grid/generalizedaffinepreimage3.cc
-rw-r--r-- roberto/roberto  14908 2011-02-27 06:07 ppl-0.11.2/tests/Grid/maxmin1.cc
-rw-r--r-- roberto/roberto   4993 2011-02-27 06:07 ppl-0.11.2/tests/Grid/grid3.cc
-rw-r--r-- roberto/roberto   2648 2011-02-27 06:07 ppl-0.11.2/tests/Grid/approximatepartition1.cc
-rw-r--r-- roberto/roberto   7538 2011-02-27 06:07 ppl-0.11.2/tests/Grid/generalizedaffineimage3.cc
-rw-r--r-- roberto/roberto   2529 2011-02-27 06:07 ppl-0.11.2/tests/Grid/fromgrid1.cc
-rw-r--r-- roberto/roberto   1523 2011-02-27 06:07 ppl-0.11.2/tests/Grid/generators2.cc
-rw-r--r-- roberto/roberto   1734 2011-02-27 06:07 ppl-0.11.2/tests/Grid/fromoctagonalshape1.cc
-rw-r--r-- roberto/roberto  12247 2011-02-27 06:07 ppl-0.11.2/tests/Grid/asciidumpload1.cc
-rw-r--r-- roberto/roberto   4826 2011-02-27 06:07 ppl-0.11.2/tests/Grid/addconstraint1.cc
-rw-r--r-- roberto/roberto   6912 2011-02-27 06:07 ppl-0.11.2/tests/Grid/relations1.cc
-rw-r--r-- roberto/roberto   5755 2011-02-27 06:07 ppl-0.11.2/tests/Grid/removespacedims2.cc
-rw-r--r-- roberto/roberto  90855 2011-02-27 06:08 ppl-0.11.2/tests/Grid/Makefile.in
-rw-r--r-- roberto/roberto   8361 2011-02-27 06:07 ppl-0.11.2/tests/Grid/congruences1.cc
-rw-r--r-- roberto/roberto   7018 2011-02-27 06:07 ppl-0.11.2/tests/Grid/griddifference1.cc
-rw-r--r-- roberto/roberto  17873 2011-02-27 06:07 ppl-0.11.2/tests/Grid/grid1.cc
-rw-r--r-- roberto/roberto   6638 2011-02-27 06:07 ppl-0.11.2/tests/Grid/powersetdifference1.cc
-rw-r--r-- roberto/roberto   1720 2011-02-27 06:07 ppl-0.11.2/tests/Grid/frombdshape1.cc
-rw-r--r-- roberto/roberto  11581 2011-02-27 06:07 ppl-0.11.2/tests/Grid/generalizedaffineimage1.cc
-rw-r--r-- roberto/roberto   9383 2011-02-27 06:07 ppl-0.11.2/tests/Grid/generator1.cc
-rw-r--r-- roberto/roberto   6425 2011-02-27 06:07 ppl-0.11.2/tests/Grid/addcongruences1.cc
-rw-r--r-- roberto/roberto   4231 2011-02-27 06:07 ppl-0.11.2/tests/Grid/boundedaffineimage1.cc
-rw-r--r-- roberto/roberto   6458 2011-02-27 06:07 ppl-0.11.2/tests/Grid/concatenate1.cc
-rw-r--r-- roberto/roberto   4977 2011-02-27 06:07 ppl-0.11.2/tests/Grid/mingenerators1.cc
-rw-r--r-- roberto/roberto  10352 2011-02-27 06:07 ppl-0.11.2/tests/Grid/addspacedims1.cc
-rw-r--r-- roberto/roberto   9430 2011-02-27 06:07 ppl-0.11.2/tests/Grid/relations2.cc
-rw-r--r-- roberto/roberto   6652 2011-02-27 06:07 ppl-0.11.2/tests/Grid/widening3.cc
-rw-r--r-- roberto/roberto   2089 2011-02-27 06:07 ppl-0.11.2/tests/Grid/topclosure1.cc
-rw-r--r-- roberto/roberto   2627 2011-02-27 06:07 ppl-0.11.2/tests/Grid/powersetgeometricallyequals1.cc
-rw-r--r-- roberto/roberto  10022 2011-02-27 06:07 ppl-0.11.2/tests/Grid/bounded1.cc
-rw-r--r-- roberto/roberto   4636 2011-02-27 06:07 ppl-0.11.2/tests/Grid/mincongruences1.cc
-rw-r--r-- roberto/roberto  11781 2011-02-27 06:07 ppl-0.11.2/tests/Grid/generalizedaffineimage2.cc
-rw-r--r-- roberto/roberto   7758 2011-02-27 06:07 ppl-0.11.2/tests/Grid/frequency1.cc
-rw-r--r-- roberto/roberto   5142 2011-02-27 06:07 ppl-0.11.2/tests/Grid/expandspacedim1.cc
-rw-r--r-- roberto/roberto  11614 2011-02-27 06:07 ppl-0.11.2/tests/Grid/relations3.cc
-rw-r--r-- roberto/roberto   6848 2011-02-27 06:07 ppl-0.11.2/tests/Grid/removespacedims1.cc
-rw-r--r-- roberto/roberto   6912 2011-02-27 06:07 ppl-0.11.2/tests/Grid/upperbound1.cc
-rw-r--r-- roberto/roberto   4267 2011-02-27 06:07 ppl-0.11.2/tests/Grid/boundedaffinepreimage1.cc
-rw-r--r-- roberto/roberto   6281 2011-02-27 06:07 ppl-0.11.2/tests/Grid/addconstraints1.cc
-rw-r--r-- roberto/roberto   8857 2011-02-27 06:07 ppl-0.11.2/tests/Grid/topclosed1.cc
-rw-r--r-- roberto/roberto   6492 2011-02-27 06:07 ppl-0.11.2/tests/Grid/constraints1.cc
-rw-r--r-- roberto/roberto   2628 2011-02-27 06:07 ppl-0.11.2/tests/Grid/asciidumpload3.cc
-rw-r--r-- roberto/roberto   2966 2011-02-27 06:07 ppl-0.11.2/tests/Grid/bhz03widening1.cc
-rw-r--r-- roberto/roberto   5304 2011-02-27 06:07 ppl-0.11.2/tests/Grid/unconstrain1.cc
-rw-r--r-- roberto/roberto   5286 2011-02-27 06:07 ppl-0.11.2/tests/Grid/disjoint1.cc
-rw-r--r-- roberto/roberto   6526 2011-02-27 06:07 ppl-0.11.2/tests/Grid/addgenerator1.cc
-rw-r--r-- roberto/roberto   8835 2011-02-27 06:07 ppl-0.11.2/tests/Grid/discrete1.cc
-rw-r--r-- roberto/roberto  12147 2011-02-27 06:07 ppl-0.11.2/tests/Grid/generalizedaffinepreimage1.cc
-rw-r--r-- roberto/roberto   2716 2011-02-27 06:07 ppl-0.11.2/tests/Grid/outputoperator1.cc
-rw-r--r-- roberto/roberto   8662 2011-02-27 06:07 ppl-0.11.2/tests/Grid/affinedim1.cc
-rw-r--r-- roberto/roberto   1600 2011-02-27 06:07 ppl-0.11.2/tests/Grid/writecongruencesystem.cc
-rw-r--r-- roberto/roberto   3239 2011-02-27 06:07 ppl-0.11.2/tests/Grid/partition1.cc
-rw-r--r-- roberto/roberto   9580 2011-02-27 06:07 ppl-0.11.2/tests/Grid/affinepreimage1.cc
-rw-r--r-- roberto/roberto  10536 2011-02-27 06:07 ppl-0.11.2/tests/Grid/simplifyusingcontext1.cc
-rw-r--r-- roberto/roberto   8101 2011-02-27 06:07 ppl-0.11.2/tests/Grid/foldspacedims1.cc
-rw-r--r-- roberto/roberto   3035 2011-02-27 06:07 ppl-0.11.2/tests/Grid/asciidumpload6.cc
-rw-r--r-- roberto/roberto   4099 2011-02-27 06:07 ppl-0.11.2/tests/Grid/contains1.cc
-rw-r--r-- roberto/roberto  12893 2011-02-27 06:07 ppl-0.11.2/tests/ppl_test.cc
-rw-r--r-- roberto/roberto  27559 2011-02-27 06:08 ppl-0.11.2/tests/Makefile.in
drwxr-xr-x roberto/roberto      0 2011-02-27 06:10 ppl-0.11.2/tests/Box/
-rw-r--r-- roberto/roberto   5807 2011-02-27 06:07 ppl-0.11.2/tests/Box/interval1.cc
-rw-r--r-- roberto/roberto   4569 2011-02-27 06:07 ppl-0.11.2/tests/Box/timeelapse1.cc
-rw-r--r-- roberto/roberto   3088 2011-02-27 06:07 ppl-0.11.2/tests/Box/membytes1.cc
-rw-r--r-- roberto/roberto   3257 2011-02-27 06:07 ppl-0.11.2/tests/Box/frombox1.cc
-rw-r--r-- roberto/roberto   6833 2011-02-27 06:07 ppl-0.11.2/tests/Box/limitedcc76extrapolation1.cc
-rw-r--r-- roberto/roberto   7888 2011-02-27 06:07 ppl-0.11.2/tests/Box/refinewithcongruences1.cc
-rw-r--r-- roberto/roberto  11769 2011-02-27 06:07 ppl-0.11.2/tests/Box/difference1.cc
-rw-r--r-- roberto/roberto   1972 2011-02-27 06:07 ppl-0.11.2/tests/Box/universe1.cc
-rw-r--r-- roberto/roberto   5768 2011-02-27 06:07 ppl-0.11.2/tests/Box/mapspacedims1.cc
-rw-r--r-- roberto/roberto   4317 2011-02-27 06:07 ppl-0.11.2/tests/Box/containsintegerpoint1.cc
-rw-r--r-- roberto/roberto   2783 2011-02-27 06:07 ppl-0.11.2/tests/Box/equality1.cc
-rw-r--r-- roberto/roberto   8867 2011-02-27 06:07 ppl-0.11.2/tests/Box/affineimage1.cc
-rw-r--r-- roberto/roberto  12318 2011-02-27 06:07 ppl-0.11.2/tests/Box/frompolyhedron1.cc
-rw-r--r-- roberto/roberto   3396 2011-02-27 06:07 ppl-0.11.2/tests/Box/frompartiallyreducedproduct1.cc
-rw-r--r-- roberto/roberto   2804 2011-02-27 06:07 ppl-0.11.2/tests/Box/cc76widening.cc
-rw-r--r-- roberto/roberto   7907 2011-02-27 06:07 ppl-0.11.2/tests/Box/Makefile.am
-rw-r--r-- roberto/roberto   5315 2011-02-27 06:07 ppl-0.11.2/tests/Box/wrap1.cc
-rw-r--r-- roberto/roberto   4181 2011-02-27 06:07 ppl-0.11.2/tests/Box/refinewithcongruence1.cc
-rw-r--r-- roberto/roberto  15387 2011-02-27 06:07 ppl-0.11.2/tests/Box/max_min1.cc
-rw-r--r-- roberto/roberto   5016 2011-02-27 06:07 ppl-0.11.2/tests/Box/empty1.cc
-rw-r--r-- roberto/roberto   9028 2011-02-27 06:07 ppl-0.11.2/tests/Box/intersection1.cc
-rw-r--r-- roberto/roberto  59036 2011-02-27 06:07 ppl-0.11.2/tests/Box/refinewithconstraints2.cc
-rw-r--r-- roberto/roberto   9644 2011-02-27 06:07 ppl-0.11.2/tests/Box/refinewithconstraints1.cc
-rw-r--r-- roberto/roberto   4819 2011-02-27 06:07 ppl-0.11.2/tests/Box/ascii_dump_load1.cc
-rw-r--r-- roberto/roberto   2449 2011-02-27 06:07 ppl-0.11.2/tests/Box/fromspacedim1.cc
-rw-r--r-- roberto/roberto  11046 2011-02-27 06:07 ppl-0.11.2/tests/Box/fromgrid1.cc
-rw-r--r-- roberto/roberto  10581 2011-02-27 06:07 ppl-0.11.2/tests/Box/relations1.cc
-rw-r--r-- roberto/roberto  81050 2011-02-27 06:08 ppl-0.11.2/tests/Box/Makefile.in
-rw-r--r-- roberto/roberto   7565 2011-02-27 06:07 ppl-0.11.2/tests/Box/congruences1.cc
-rw-r--r-- roberto/roberto   2271 2011-02-27 06:07 ppl-0.11.2/tests/Box/frombdshape1.cc
-rw-r--r-- roberto/roberto   4025 2011-02-27 06:07 ppl-0.11.2/tests/Box/fromgensys1.cc
-rw-r--r-- roberto/roberto   9968 2011-02-27 06:07 ppl-0.11.2/tests/Box/propagateconstraints2.cc
-rw-r--r-- roberto/roberto  14621 2011-02-27 06:07 ppl-0.11.2/tests/Box/generalizedaffineimage1.cc
-rw-r--r-- roberto/roberto  10905 2011-02-27 06:07 ppl-0.11.2/tests/Box/relations4.cc
-rw-r--r-- roberto/roberto   1829 2011-02-27 06:07 ppl-0.11.2/tests/Box/geomcovers1.cc
-rw-r--r-- roberto/roberto  12194 2011-02-27 06:07 ppl-0.11.2/tests/Box/boundedaffineimage1.cc
-rw-r--r-- roberto/roberto   4879 2011-02-27 06:07 ppl-0.11.2/tests/Box/concatenate1.cc
-rw-r--r-- roberto/roberto   7007 2011-02-27 06:07 ppl-0.11.2/tests/Box/upperboundifexact1.cc
-rw-r--r-- roberto/roberto   1785 2011-02-27 06:07 ppl-0.11.2/tests/Box/writebox1.cc
-rw-r--r-- roberto/roberto   7076 2011-02-27 06:07 ppl-0.11.2/tests/Box/addspacedims1.cc
-rw-r--r-- roberto/roberto  10056 2011-02-27 06:07 ppl-0.11.2/tests/Box/relations2.cc
-rw-r--r-- roberto/roberto   3766 2011-02-27 06:07 ppl-0.11.2/tests/Box/refinewithconstraint1.cc
-rw-r--r-- roberto/roberto   2130 2011-02-27 06:07 ppl-0.11.2/tests/Box/bounded1.cc
-rw-r--r-- roberto/roberto   4641 2011-02-27 06:07 ppl-0.11.2/tests/Box/cc76narrowing1.cc
-rw-r--r-- roberto/roberto   4797 2011-02-27 06:07 ppl-0.11.2/tests/Box/propagateconstraints1.cc
-rw-r--r-- roberto/roberto  14261 2011-02-27 06:07 ppl-0.11.2/tests/Box/generalizedaffineimage2.cc
-rw-r--r-- roberto/roberto   5137 2011-02-27 06:07 ppl-0.11.2/tests/Box/frequency1.cc
-rw-r--r-- roberto/roberto   2555 2011-02-27 06:07 ppl-0.11.2/tests/Box/minconstraints1.cc
-rw-r--r-- roberto/roberto   4613 2011-02-27 06:07 ppl-0.11.2/tests/Box/expandspacedim1.cc
-rw-r--r-- roberto/roberto   1794 2011-02-27 06:07 ppl-0.11.2/tests/Box/maxspacedim1.cc
-rw-r--r-- roberto/roberto   2390 2011-02-27 06:07 ppl-0.11.2/tests/Box/bgp99extrapolation1.cc
-rw-r--r-- roberto/roberto   2452 2011-02-27 06:07 ppl-0.11.2/tests/Box/refinewithconstraint2.cc
-rw-r--r-- roberto/roberto   8655 2011-02-27 06:07 ppl-0.11.2/tests/Box/relations3.cc
-rw-r--r-- roberto/roberto   7493 2011-02-27 06:07 ppl-0.11.2/tests/Box/removespacedims1.cc
-rw-r--r-- roberto/roberto   6023 2011-02-27 06:07 ppl-0.11.2/tests/Box/upperbound1.cc
-rw-r--r-- roberto/roberto  13856 2011-02-27 06:07 ppl-0.11.2/tests/Box/boundedaffinepreimage1.cc
-rw-r--r-- roberto/roberto   6036 2011-02-27 06:07 ppl-0.11.2/tests/Box/addconstraints1.cc
-rw-r--r-- roberto/roberto   3770 2011-02-27 06:07 ppl-0.11.2/tests/Box/topclosed1.cc
-rw-r--r-- roberto/roberto   3328 2011-02-27 06:07 ppl-0.11.2/tests/Box/constraints1.cc
-rw-r--r-- roberto/roberto   3708 2011-02-27 06:07 ppl-0.11.2/tests/Box/constrains1.cc
-rw-r--r-- roberto/roberto   2225 2011-02-27 06:07 ppl-0.11.2/tests/Box/bhz03widening1.cc
-rwxr-xr-x roberto/roberto   1775 2011-02-27 06:07 ppl-0.11.2/tests/Box/run_tests
-rw-r--r-- roberto/roberto   5199 2011-02-27 06:07 ppl-0.11.2/tests/Box/unconstrain1.cc
-rw-r--r-- roberto/roberto   3713 2011-02-27 06:07 ppl-0.11.2/tests/Box/disjoint1.cc
-rw-r--r-- roberto/roberto   5205 2011-02-27 06:07 ppl-0.11.2/tests/Box/affinedimension1.cc
-rw-r--r-- roberto/roberto   3500 2011-02-27 06:07 ppl-0.11.2/tests/Box/discrete1.cc
-rw-r--r-- roberto/roberto  12411 2011-02-27 06:07 ppl-0.11.2/tests/Box/generalizedaffinepreimage1.cc
-rw-r--r-- roberto/roberto   3504 2011-02-27 06:07 ppl-0.11.2/tests/Box/frompolyhedron2.cc
-rw-r--r-- roberto/roberto   3798 2011-02-27 06:07 ppl-0.11.2/tests/Box/affinepreimage1.cc
-rw-r--r-- roberto/roberto   6924 2011-02-27 06:07 ppl-0.11.2/tests/Box/simplifyusingcontext1.cc
-rw-r--r-- roberto/roberto   5572 2011-02-27 06:07 ppl-0.11.2/tests/Box/foldspacedims1.cc
-rw-r--r-- roberto/roberto   3578 2011-02-27 06:07 ppl-0.11.2/tests/Box/contains1.cc
drwxr-xr-x roberto/roberto      0 2011-02-27 06:10 ppl-0.11.2/tests/MIP_Problem/
-rw-r--r-- roberto/roberto  10935 2011-02-27 06:07 ppl-0.11.2/tests/MIP_Problem/exceptions1.cc
-rw-r--r-- roberto/roberto   4826 2011-02-27 06:07 ppl-0.11.2/tests/MIP_Problem/mipproblem2.cc
-rw-r--r-- roberto/roberto  61824 2011-02-27 06:07 ppl-0.11.2/tests/MIP_Problem/mipproblem1.cc
-rw-r--r-- roberto/roberto   2802 2011-02-27 06:07 ppl-0.11.2/tests/MIP_Problem/Makefile.am
-rw-r--r-- roberto/roberto   8803 2011-02-27 06:07 ppl-0.11.2/tests/MIP_Problem/ascii_dump_load1.cc
-rw-r--r-- roberto/roberto  30608 2011-02-27 06:08 ppl-0.11.2/tests/MIP_Problem/Makefile.in
-rw-r--r-- roberto/roberto  33193 2011-02-27 06:07 ppl-0.11.2/tests/MIP_Problem/mipproblem3.cc
-rw-r--r-- roberto/roberto    752 2011-02-27 06:07 ppl-0.11.2/tests/Random_Number_Generator.types.hh
drwxr-xr-x roberto/roberto      0 2011-02-27 06:10 ppl-0.11.2/tests/Octagonal_Shape/
-rw-r--r-- roberto/roberto   8214 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/timeelapse1.cc
-rw-r--r-- roberto/roberto   7781 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/membytes1.cc
-rw-r--r-- roberto/roberto   9725 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/affinepreimage2.cc
-rw-r--r-- roberto/roberto   7014 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/frombox1.cc
-rw-r--r-- roberto/roberto   4164 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/writeoctagon1.cc
-rw-r--r-- roberto/roberto  14841 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/limitedcc76extrapolation1.cc
-rw-r--r-- roberto/roberto  10970 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/relatwithgen1.cc
-rw-r--r-- roberto/roberto  12123 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/cc76extrapolation1.cc
-rw-r--r-- roberto/roberto   5841 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/difference1.cc
-rw-r--r-- roberto/roberto   2493 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/universe1.cc
-rw-r--r-- roberto/roberto   5668 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/mapspacedims1.cc
-rw-r--r-- roberto/roberto   4425 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/containsintegerpoint1.cc
-rw-r--r-- roberto/roberto  11760 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/affineimage1.cc
-rw-r--r-- roberto/roberto  13557 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/relatwithcons1.cc
-rw-r--r-- roberto/roberto   5797 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/frompolyhedron1.cc
-rw-r--r-- roberto/roberto   6212 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/bounds1.cc
-rw-r--r-- roberto/roberto  12960 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/affineimage2.cc
-rw-r--r-- roberto/roberto   7272 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/Makefile.am
-rw-r--r-- roberto/roberto  10407 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/wrap1.cc
-rw-r--r-- roberto/roberto   2032 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/chinainit.cc
-rw-r--r-- roberto/roberto  14581 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/generalizedaffinepreimage2.cc
-rw-r--r-- roberto/roberto   8510 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/generalizedaffineimage5.cc
-rw-r--r-- roberto/roberto  14397 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/max_min1.cc
-rw-r--r-- roberto/roberto   3216 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/empty1.cc
-rw-r--r-- roberto/roberto   7070 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/intersection1.cc
-rw-r--r-- roberto/roberto   8953 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/generalizedaffineimage4.cc
-rw-r--r-- roberto/roberto  14320 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/generalizedaffinepreimage3.cc
-rw-r--r-- roberto/roberto   6011 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/ascii_dump_load1.cc
-rw-r--r-- roberto/roberto   2718 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/fromspacedim1.cc
-rw-r--r-- roberto/roberto  14092 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/generalizedaffineimage3.cc
-rw-r--r-- roberto/roberto   4422 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/fromgrid1.cc
-rw-r--r-- roberto/roberto   2856 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/fromoctagonalshape1.cc
-rw-r--r-- roberto/roberto  73443 2011-02-27 06:08 ppl-0.11.2/tests/Octagonal_Shape/Makefile.in
-rw-r--r-- roberto/roberto   4525 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/congruences1.cc
-rw-r--r-- roberto/roberto  15776 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/generalizedaffinepreimage4.cc
-rw-r--r-- roberto/roberto   1473 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/frombdshape1.cc
-rw-r--r-- roberto/roberto   6094 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/fromgensys1.cc
-rw-r--r-- roberto/roberto  14425 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/generalizedaffineimage1.cc
-rw-r--r-- roberto/roberto  11321 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/relatwithcons3.cc
-rw-r--r-- roberto/roberto  10738 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/relatwithcons2.cc
-rw-r--r-- roberto/roberto   7983 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/limitedbhmz05extrapolation1.cc
-rw-r--r-- roberto/roberto  14781 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/boundedaffineimage1.cc
-rw-r--r-- roberto/roberto   6396 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/concatenate1.cc
-rw-r--r-- roberto/roberto  10058 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/upperboundifexact1.cc
-rw-r--r-- roberto/roberto   5611 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/addspacedims1.cc
-rw-r--r-- roberto/roberto  16546 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/bhmz05widening1.cc
-rw-r--r-- roberto/roberto   2765 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/bounded1.cc
-rw-r--r-- roberto/roberto   6049 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/cc76narrowing1.cc
-rw-r--r-- roberto/roberto   8797 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/generalizedaffineimage2.cc
-rw-r--r-- roberto/roberto   8485 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/frequency1.cc
-rw-r--r-- roberto/roberto   3525 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/minconstraints1.cc
-rw-r--r-- roberto/roberto   8277 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/dropsomenonintegerpoints1.cc
-rw-r--r-- roberto/roberto   6502 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/expandspacedim1.cc
-rw-r--r-- roberto/roberto   3168 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/maxspacedim1.cc
-rw-r--r-- roberto/roberto  11413 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/integerupperboundifexact1.cc
-rw-r--r-- roberto/roberto   8673 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/removespacedims1.cc
-rw-r--r-- roberto/roberto   8789 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/upperbound1.cc
-rw-r--r-- roberto/roberto  14064 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/boundedaffinepreimage1.cc
-rw-r--r-- roberto/roberto   6754 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/max_min2.cc
-rw-r--r-- roberto/roberto   7829 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/constraints1.cc
-rw-r--r-- roberto/roberto   4585 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/constrains1.cc
-rw-r--r-- roberto/roberto   2158 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/bhz03widening1.cc
-rwxr-xr-x roberto/roberto   1799 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/run_tests
-rw-r--r-- roberto/roberto   5450 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/unconstrain1.cc
-rw-r--r-- roberto/roberto   4030 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/disjoint1.cc
-rw-r--r-- roberto/roberto   5890 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/affinedimension1.cc
-rw-r--r-- roberto/roberto   3874 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/discrete1.cc
-rw-r--r-- roberto/roberto  15348 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/generalizedaffinepreimage1.cc
-rw-r--r-- roberto/roberto   6470 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/affinepreimage1.cc
-rw-r--r-- roberto/roberto   8202 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/simplifyusingcontext1.cc
-rw-r--r-- roberto/roberto   9974 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/foldspacedims1.cc
-rw-r--r-- roberto/roberto   7515 2011-02-27 06:07 ppl-0.11.2/tests/Octagonal_Shape/contains1.cc
-rw-r--r-- roberto/roberto   4082 2011-02-27 06:07 ppl-0.11.2/tests/README
drwxr-xr-x roberto/roberto      0 2011-02-27 06:10 ppl-0.11.2/tests/BD_Shape/
-rw-r--r-- roberto/roberto   5463 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/timeelapse1.cc
-rw-r--r-- roberto/roberto   7916 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/membytes1.cc
-rw-r--r-- roberto/roberto   6988 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/frombox1.cc
-rw-r--r-- roberto/roberto  11850 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/limitedcc76extrapolation1.cc
-rw-r--r-- roberto/roberto   2734 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/writebdshape1.cc
-rw-r--r-- roberto/roberto  11904 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/cc76extrapolation1.cc
-rw-r--r-- roberto/roberto   6444 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/difference1.cc
-rw-r--r-- roberto/roberto   2067 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/universe1.cc
-rw-r--r-- roberto/roberto   6326 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/mapspacedims1.cc
-rw-r--r-- roberto/roberto   3170 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/containsintegerpoint1.cc
-rw-r--r-- roberto/roberto   2912 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/equality1.cc
-rw-r--r-- roberto/roberto   9585 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/affineimage1.cc
-rw-r--r-- roberto/roberto   1914 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/frompolyhedron1.cc
-rw-r--r-- roberto/roberto   5527 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/bounds1.cc
-rw-r--r-- roberto/roberto   8156 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/affineimage2.cc
-rw-r--r-- roberto/roberto   7166 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/Makefile.am
-rw-r--r-- roberto/roberto   3594 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/wrap1.cc
-rw-r--r-- roberto/roberto  13434 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/generalizedaffinepreimage2.cc
-rw-r--r-- roberto/roberto  15990 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/max_min1.cc
-rw-r--r-- roberto/roberto   4872 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/empty1.cc
-rw-r--r-- roberto/roberto   8055 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/intersection1.cc
-rw-r--r-- roberto/roberto   4164 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/generalizedaffinepreimage3.cc
-rw-r--r-- roberto/roberto   4491 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/ascii_dump_load1.cc
-rw-r--r-- roberto/roberto   2709 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/fromspacedim1.cc
-rw-r--r-- roberto/roberto   4736 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/fromgrid1.cc
-rw-r--r-- roberto/roberto   2004 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/fromoctagonalshape1.cc
-rw-r--r-- roberto/roberto  10826 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/relations1.cc
-rw-r--r-- roberto/roberto  73139 2011-02-27 06:08 ppl-0.11.2/tests/BD_Shape/Makefile.in
-rw-r--r-- roberto/roberto   4594 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/congruences1.cc
-rw-r--r-- roberto/roberto   1821 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/limitedh79extrapolation1.cc
-rw-r--r-- roberto/roberto   3012 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/frombdshape1.cc
-rw-r--r-- roberto/roberto   3684 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/fromgensys1.cc
-rw-r--r-- roberto/roberto  13476 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/generalizedaffineimage1.cc
-rw-r--r-- roberto/roberto   9395 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/relations4.cc
-rw-r--r-- roberto/roberto   1859 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/geomcovers1.cc
-rw-r--r-- roberto/roberto  11680 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/limitedbhmz05extrapolation1.cc
-rw-r--r-- roberto/roberto  10976 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/boundedaffineimage1.cc
-rw-r--r-- roberto/roberto   4812 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/concatenate1.cc
-rw-r--r-- roberto/roberto   8482 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/upperboundifexact1.cc
-rw-r--r-- roberto/roberto   7268 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/addspacedims1.cc
-rw-r--r-- roberto/roberto  10246 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/relations2.cc
-rw-r--r-- roberto/roberto   7841 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/bhmz05widening1.cc
-rw-r--r-- roberto/roberto   2160 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/bounded1.cc
-rw-r--r-- roberto/roberto   5162 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/cc76narrowing1.cc
-rw-r--r-- roberto/roberto  11703 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/generalizedaffineimage2.cc
-rw-r--r-- roberto/roberto   7097 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/frequency1.cc
-rw-r--r-- roberto/roberto   2575 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/minconstraints1.cc
-rw-r--r-- roberto/roberto   8100 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/dropsomenonintegerpoints1.cc
-rw-r--r-- roberto/roberto   5326 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/expandspacedim1.cc
-rw-r--r-- roberto/roberto   2978 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/maxspacedim1.cc
-rw-r--r-- roberto/roberto   2611 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/bgp99extrapolation1.cc
-rw-r--r-- roberto/roberto  10514 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/relations3.cc
-rw-r--r-- roberto/roberto   9345 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/integerupperboundifexact1.cc
-rw-r--r-- roberto/roberto   8837 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/removespacedims1.cc
-rw-r--r-- roberto/roberto   1769 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/h79widening1.cc
-rw-r--r-- roberto/roberto   6504 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/upperbound1.cc
-rw-r--r-- roberto/roberto   8444 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/boundedaffinepreimage1.cc
-rw-r--r-- roberto/roberto   9947 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/max_min2.cc
-rw-r--r-- roberto/roberto   4023 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/addconstraints1.cc
-rw-r--r-- roberto/roberto   4337 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/constraints1.cc
-rw-r--r-- roberto/roberto   4415 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/constrains1.cc
-rw-r--r-- roberto/roberto   2113 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/bhz03widening1.cc
-rwxr-xr-x roberto/roberto   1785 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/run_tests
-rw-r--r-- roberto/roberto   5388 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/unconstrain1.cc
-rw-r--r-- roberto/roberto   3955 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/disjoint1.cc
-rw-r--r-- roberto/roberto   5777 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/affinedimension1.cc
-rw-r--r-- roberto/roberto   3800 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/discrete1.cc
-rw-r--r-- roberto/roberto  11855 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/generalizedaffinepreimage1.cc
-rw-r--r-- roberto/roberto   9601 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/affinepreimage1.cc
-rw-r--r-- roberto/roberto   7080 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/simplifyusingcontext1.cc
-rw-r--r-- roberto/roberto   7177 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/foldspacedims1.cc
-rw-r--r-- roberto/roberto   3923 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/contains1.cc
-rw-r--r-- roberto/roberto  15349 2011-02-27 06:07 ppl-0.11.2/tests/BD_Shape/closure1.cc
-rw-r--r-- roberto/roberto  33458 2011-02-27 06:07 ppl-0.11.2/tests/ppl_test.hh
-rw-r--r-- roberto/roberto    994 2011-02-27 06:07 ppl-0.11.2/BUGS
-rw-r--r-- roberto/roberto   1281 2011-02-27 06:07 ppl-0.11.2/ppl.lsm.in
drwxr-xr-x roberto/roberto      0 2011-02-27 06:10 ppl-0.11.2/utils/
-rw-r--r-- roberto/roberto   1179 2011-02-27 06:07 ppl-0.11.2/utils/timings.hh
-rw-r--r-- roberto/roberto   2052 2011-02-27 06:07 ppl-0.11.2/utils/Makefile.am
-rw-r--r-- roberto/roberto   1833 2011-02-27 06:07 ppl-0.11.2/utils/text2cxxarray.in
-rw-r--r-- roberto/roberto  22621 2011-02-27 06:08 ppl-0.11.2/utils/Makefile.in
-rwxr-xr-x roberto/roberto   1122 2011-02-27 06:07 ppl-0.11.2/utils/cm_splitter.sh
-rwxr-xr-x roberto/roberto   1159 2011-02-27 06:07 ppl-0.11.2/utils/cm_cleaner.sh
-rw-r--r-- roberto/roberto   2898 2011-02-27 06:07 ppl-0.11.2/utils/build_header.in
-rw-r--r-- roberto/roberto   2906 2011-02-27 06:07 ppl-0.11.2/utils/timings.cc
-rw-r--r-- roberto/roberto  20394 2011-02-27 06:07 ppl-0.11.2/README.configure
-rwxr-xr-x roberto/roberto 253153 2011-02-27 06:07 ppl-0.11.2/ltmain.sh
-rwxr-xr-x roberto/roberto  44343 2011-02-27 06:07 ppl-0.11.2/config.guess
-rwxr-xr-x roberto/roberto  13781 2011-02-27 06:07 ppl-0.11.2/install-sh
-rwxr-xr-x roberto/roberto  18343 2011-02-27 06:07 ppl-0.11.2/config.rpath
-rw-r--r-- roberto/roberto  37502 2011-02-27 06:08 ppl-0.11.2/aclocal.m4
-rw-r--r-- roberto/roberto   3001 2011-02-27 06:07 ppl-0.11.2/Makefile.am
-rw-r--r-- roberto/roberto   7429 2011-02-27 06:07 ppl-0.11.2/instchk.hh
drwxr-xr-x roberto/roberto      0 2011-02-27 06:10 ppl-0.11.2/src/
-rw-r--r-- roberto/roberto  18544 2011-02-27 06:07 ppl-0.11.2/src/OR_Matrix.defs.hh
-rw-r--r-- roberto/roberto 100933 2011-02-27 06:07 ppl-0.11.2/src/PIP_Tree.cc
-rw-r--r-- roberto/roberto    725 2011-02-27 06:07 ppl-0.11.2/src/Bit_Row.types.hh
-rw-r--r-- roberto/roberto    769 2011-02-27 06:07 ppl-0.11.2/src/BHRZ03_Certificate.types.hh
-rw-r--r-- roberto/roberto   2975 2011-02-27 06:07 ppl-0.11.2/src/fpu.defs.hh
-rw-r--r-- roberto/roberto    718 2011-02-27 06:07 ppl-0.11.2/src/OR_Matrix.types.hh
-rw-r--r-- roberto/roberto   5228 2011-02-27 06:07 ppl-0.11.2/src/MIP_Problem.inlines.hh
-rw-r--r-- roberto/roberto    738 2011-02-27 06:07 ppl-0.11.2/src/Box.types.hh
-rw-r--r-- roberto/roberto   3530 2011-02-27 06:07 ppl-0.11.2/src/C_Polyhedron.cc
-rw-r--r-- roberto/roberto   2720 2011-02-27 06:07 ppl-0.11.2/src/Weight_Profiler.cc
-rw-r--r-- roberto/roberto   5441 2011-02-27 06:07 ppl-0.11.2/src/Result.defs.hh
-rw-r--r-- roberto/roberto  37194 2011-02-27 06:07 ppl-0.11.2/src/checked_float.inlines.hh
-rw-r--r-- roberto/roberto    790 2011-02-27 06:07 ppl-0.11.2/src/Pointset_Powerset.types.hh
-rw-r--r-- roberto/roberto   2301 2011-02-27 06:07 ppl-0.11.2/src/H79_Certificate.inlines.hh
-rw-r--r-- roberto/roberto    980 2011-02-27 06:07 ppl-0.11.2/src/PIP_Problem.types.hh
-rw-r--r-- roberto/roberto   3405 2011-02-27 06:07 ppl-0.11.2/src/Interval_Info.inlines.hh
-rw-r--r-- roberto/roberto    745 2011-02-27 06:07 ppl-0.11.2/src/C_Polyhedron.types.hh
-rw-r--r-- roberto/roberto   3529 2011-02-27 06:07 ppl-0.11.2/src/distances.inlines.hh
-rw-r--r-- roberto/roberto   5896 2011-02-27 06:07 ppl-0.11.2/src/Grid_Status.idefs.hh
-rw-r--r-- roberto/roberto   1279 2011-02-27 06:07 ppl-0.11.2/src/Temp.templates.hh
-rw-r--r-- roberto/roberto    824 2011-02-27 06:07 ppl-0.11.2/src/PIP_Tree.types.hh
-rw-r--r-- roberto/roberto   5975 2011-02-27 06:07 ppl-0.11.2/src/DB_Row.templates.hh
-rw-r--r-- roberto/roberto   1794 2011-02-27 06:07 ppl-0.11.2/src/Poly_Gen_Relation.cc
-rw-r--r-- roberto/roberto   7714 2011-02-27 06:07 ppl-0.11.2/src/Bit_Row.inlines.hh
-rw-r--r-- roberto/roberto   3288 2011-02-27 06:07 ppl-0.11.2/src/H79_Certificate.defs.hh
-rw-r--r-- roberto/roberto  10893 2011-02-27 06:07 ppl-0.11.2/src/Generator.cc
-rw-r--r-- roberto/roberto   2785 2011-02-27 06:07 ppl-0.11.2/src/Poly_Con_Relation.inlines.hh
-rw-r--r-- roberto/roberto   1875 2011-02-27 06:07 ppl-0.11.2/src/distances.defs.hh
-rw-r--r-- roberto/roberto  38426 2011-02-27 06:07 ppl-0.11.2/src/Interval.inlines.hh
-rw-r--r-- roberto/roberto  26786 2011-02-27 06:07 ppl-0.11.2/src/Interval_Restriction.defs.hh
-rw-r--r-- roberto/roberto   5239 2011-02-27 06:07 ppl-0.11.2/src/iterator_to_const.inlines.hh
-rw-r--r-- roberto/roberto  10835 2011-02-27 06:07 ppl-0.11.2/src/Generator.inlines.hh
-rw-r--r-- roberto/roberto    741 2011-02-27 06:07 ppl-0.11.2/src/c_streambuf.types.hh
-rw-r--r-- roberto/roberto  10767 2011-02-27 06:07 ppl-0.11.2/src/Grid_Generator.cc
-rw-r--r-- roberto/roberto  30113 2011-02-27 06:07 ppl-0.11.2/src/Polyhedron_widenings.cc
-rw-r--r-- roberto/roberto    733 2011-02-27 06:07 ppl-0.11.2/src/Generator.types.hh
-rw-r--r-- roberto/roberto   3793 2011-02-27 06:07 ppl-0.11.2/src/Grid_Certificate.cc
-rw-r--r-- roberto/roberto   7882 2011-02-27 06:07 ppl-0.11.2/src/Bit_Row.defs.hh
-rw-r--r-- roberto/roberto   6287 2011-02-27 06:07 ppl-0.11.2/src/Ph_Status.cc
-rw-r--r-- roberto/roberto   3408 2011-02-27 06:07 ppl-0.11.2/src/GMP_Integer.inlines.hh
-rw-r--r-- roberto/roberto  87239 2011-02-27 06:07 ppl-0.11.2/src/Polyhedron.defs.hh
-rw-r--r-- roberto/roberto   1360 2011-02-27 06:07 ppl-0.11.2/src/c_streambuf.inlines.hh
-rw-r--r-- roberto/roberto  19196 2011-02-27 06:07 ppl-0.11.2/src/Grid_simplify.cc
-rw-r--r-- roberto/roberto   3552 2011-02-27 06:07 ppl-0.11.2/src/Og_Status.idefs.hh
-rw-r--r-- roberto/roberto   1552 2011-02-27 06:07 ppl-0.11.2/src/GMP_Integer.types.hh
-rw-r--r-- roberto/roberto  14364 2011-02-27 06:07 ppl-0.11.2/src/Powerset.defs.hh
-rw-r--r-- roberto/roberto  17184 2011-02-27 06:07 ppl-0.11.2/src/Grid_Generator_System.defs.hh
-rw-r--r-- roberto/roberto    713 2011-02-27 06:07 ppl-0.11.2/src/Grid.types.hh
-rw-r--r-- roberto/roberto  15848 2011-02-27 06:07 ppl-0.11.2/src/Congruence_System.defs.hh
-rw-r--r-- roberto/roberto  24084 2011-02-27 06:07 ppl-0.11.2/src/Polyhedron_chdims.cc
-rw-r--r-- roberto/roberto   5228 2011-02-27 06:07 ppl-0.11.2/src/NNC_Polyhedron.inlines.hh
-rw-r--r-- roberto/roberto   5048 2011-02-27 06:07 ppl-0.11.2/src/Poly_Con_Relation.defs.hh
-rw-r--r-- roberto/roberto    737 2011-02-27 06:07 ppl-0.11.2/src/Polyhedron.types.hh
-rw-r--r-- roberto/roberto   5833 2011-02-27 06:07 ppl-0.11.2/src/Congruence.inlines.hh
-rw-r--r-- roberto/roberto   9282 2011-02-27 06:07 ppl-0.11.2/src/C_Polyhedron.defs.hh
-rw-r--r-- roberto/roberto   3347 2011-02-27 06:07 ppl-0.11.2/src/Octagonal_Shape.cc
-rw-r--r-- roberto/roberto  18080 2011-02-27 06:07 ppl-0.11.2/src/termination.templates.hh
-rw-r--r-- roberto/roberto  11919 2011-02-27 06:07 ppl-0.11.2/src/Matrix.defs.hh
-rw-r--r-- roberto/roberto  49725 2011-02-27 06:07 ppl-0.11.2/src/Pointset_Powerset.templates.hh
-rw-r--r-- roberto/roberto   3757 2011-02-27 06:07 ppl-0.11.2/src/Bit_Matrix.inlines.hh
-rw-r--r-- roberto/roberto  74129 2011-02-27 06:07 ppl-0.11.2/src/checked_int.inlines.hh
-rw-r--r-- roberto/roberto  10102 2011-02-27 06:07 ppl-0.11.2/src/DB_Row.inlines.hh
-rw-r--r-- roberto/roberto   5541 2011-02-27 06:07 ppl-0.11.2/src/MIP_Problem.templates.hh
-rw-r--r-- roberto/roberto   2811 2011-02-27 06:07 ppl-0.11.2/src/Init.defs.hh
-rw-r--r-- roberto/roberto   8609 2011-02-27 06:07 ppl-0.11.2/src/Row.inlines.hh
-rw-r--r-- roberto/roberto   3442 2011-02-27 06:07 ppl-0.11.2/src/Checked_Number.cc
-rw-r--r-- roberto/roberto    765 2011-02-27 06:07 ppl-0.11.2/src/Linear_Expression.types.hh
-rw-r--r-- roberto/roberto   5465 2011-02-27 06:07 ppl-0.11.2/src/fpu-ia32.inlines.hh
-rw-r--r-- roberto/roberto  12810 2011-02-27 06:07 ppl-0.11.2/src/simplify.cc
-rw-r--r-- roberto/roberto   2584 2011-02-27 06:07 ppl-0.11.2/src/Variables_Set.cc
-rw-r--r-- roberto/roberto  34795 2011-02-27 06:07 ppl-0.11.2/src/Generator_System.cc
-rw-r--r-- roberto/roberto  17496 2011-02-27 06:07 ppl-0.11.2/src/Grid_Generator.defs.hh
-rw-r--r-- roberto/roberto  17418 2011-02-27 06:07 ppl-0.11.2/src/Linear_Expression.defs.hh
-rw-r--r-- roberto/roberto  29343 2011-02-27 06:07 ppl-0.11.2/src/MIP_Problem.defs.hh
-rw-r--r-- roberto/roberto   5500 2011-02-27 06:07 ppl-0.11.2/src/Og_Status.inlines.hh
-rw-r--r-- roberto/roberto   2196 2011-02-27 06:07 ppl-0.11.2/src/stdiobuf.cc
-rw-r--r-- roberto/roberto  25054 2011-02-27 06:07 ppl-0.11.2/src/Interval.defs.hh
-rw-r--r-- roberto/roberto  76645 2011-02-27 06:07 ppl-0.11.2/src/BD_Shape.defs.hh
-rw-r--r-- roberto/roberto   5271 2011-02-27 06:07 ppl-0.11.2/src/Generator_System.inlines.hh
-rw-r--r-- roberto/roberto   5534 2011-02-27 06:07 ppl-0.11.2/src/Constraint_System.inlines.hh
-rw-r--r-- roberto/roberto   2088 2011-02-27 06:07 ppl-0.11.2/src/Rational_Interval.hh
-rw-r--r-- roberto/roberto   2371 2011-02-27 06:07 ppl-0.11.2/src/Widening_Function.inlines.hh
-rw-r--r-- roberto/roberto  18674 2011-02-27 06:07 ppl-0.11.2/src/ppl-config.cc.in
-rw-r--r-- roberto/roberto   7131 2011-02-27 06:07 ppl-0.11.2/src/Bit_Matrix.cc
-rw-r--r-- roberto/roberto   3477 2011-02-27 06:07 ppl-0.11.2/src/Grid_Certificate.defs.hh
-rw-r--r-- roberto/roberto    700 2011-02-27 06:07 ppl-0.11.2/src/Congruence.types.hh
-rw-r--r-- roberto/roberto   4174 2011-02-27 06:07 ppl-0.11.2/src/BHRZ03_Certificate.defs.hh
-rw-r--r-- roberto/roberto  13542 2011-02-27 06:07 ppl-0.11.2/src/Makefile.am
-rw-r--r-- roberto/roberto    724 2011-02-27 06:07 ppl-0.11.2/src/Grid_Certificate.types.hh
-rw-r--r-- roberto/roberto   2642 2011-02-27 06:07 ppl-0.11.2/src/c_streambuf.cc
-rw-r--r-- roberto/roberto  25726 2011-02-27 06:07 ppl-0.11.2/src/Grid_nonpublic.cc
-rw-r--r-- roberto/roberto    994 2011-02-27 06:07 ppl-0.11.2/src/Coefficient_traits_template.hh
-rw-r--r-- roberto/roberto   4713 2011-02-27 06:07 ppl-0.11.2/src/H79_Certificate.cc
-rw-r--r-- roberto/roberto   2459 2011-02-27 06:07 ppl-0.11.2/src/assign_or_swap.hh
-rw-r--r-- roberto/roberto  14646 2011-02-27 06:07 ppl-0.11.2/src/DB_Row.defs.hh
-rw-r--r-- roberto/roberto   2455 2011-02-27 06:07 ppl-0.11.2/src/Poly_Gen_Relation.inlines.hh
-rw-r--r-- roberto/roberto   4786 2011-02-27 06:07 ppl-0.11.2/src/Linear_Expression.inlines.hh
-rw-r--r-- roberto/roberto  11766 2011-02-27 06:07 ppl-0.11.2/src/BHRZ03_Certificate.cc
-rw-r--r-- roberto/roberto 131486 2011-02-27 06:07 ppl-0.11.2/src/Box.templates.hh
-rw-r--r-- roberto/roberto  12691 2011-02-27 06:07 ppl-0.11.2/src/Grid_Generator_System.cc
-rw-r--r-- roberto/roberto    737 2011-02-27 06:07 ppl-0.11.2/src/Constraint.types.hh
-rw-r--r-- roberto/roberto 263949 2011-02-27 06:07 ppl-0.11.2/src/Octagonal_Shape.templates.hh
-rw-r--r-- roberto/roberto    733 2011-02-27 06:07 ppl-0.11.2/src/Row.types.hh
-rw-r--r-- roberto/roberto   5143 2011-02-27 06:07 ppl-0.11.2/src/checked_numeric_limits.hh
-rw-r--r-- roberto/roberto   5764 2011-02-27 06:07 ppl-0.11.2/src/Grid_Generator.inlines.hh
-rw-r--r-- roberto/roberto   2344 2011-02-27 06:07 ppl-0.11.2/src/Coefficient.inlines.hh
-rw-r--r-- roberto/roberto  30519 2011-02-27 06:07 ppl-0.11.2/src/Linear_System.cc
-rw-r--r-- roberto/roberto  13752 2011-02-27 06:07 ppl-0.11.2/src/wrap_assign.hh
-rw-r--r-- roberto/roberto 2622454 2011-02-27 06:10 ppl-0.11.2/src/ppl.hh.dist
-rw-r--r-- roberto/roberto    5347 2011-02-27 06:07 ppl-0.11.2/src/Powerset.inlines.hh
-rw-r--r-- roberto/roberto   24522 2011-02-27 06:07 ppl-0.11.2/src/BD_Shape.inlines.hh
-rw-r--r-- roberto/roberto    7884 2011-02-27 06:07 ppl-0.11.2/src/Grid_Generator_System.inlines.hh
-rw-r--r-- roberto/roberto     728 2011-02-27 06:07 ppl-0.11.2/src/Congruence_System.types.hh
-rw-r--r-- roberto/roberto     766 2011-02-27 06:07 ppl-0.11.2/src/Determinate.types.hh
-rw-r--r-- roberto/roberto   16266 2011-02-27 06:07 ppl-0.11.2/src/minimize.cc
-rw-r--r-- roberto/roberto    2305 2011-02-27 06:07 ppl-0.11.2/src/fpu-ia32.cc
-rw-r--r-- roberto/roberto    3152 2011-02-27 06:07 ppl-0.11.2/src/Weight_Profiler.defs.hh
-rw-r--r-- roberto/roberto   81419 2011-02-27 06:07 ppl-0.11.2/src/Polyhedron_nonpublic.cc
-rw-r--r-- roberto/roberto     713 2011-02-27 06:07 ppl-0.11.2/src/Init.types.hh
-rw-r--r-- roberto/roberto    3296 2011-02-27 06:07 ppl-0.11.2/src/ppl_header.hh
-rw-r--r-- roberto/roberto    8494 2011-02-27 06:07 ppl-0.11.2/src/Scalar_Products.defs.hh
-rw-r--r-- roberto/roberto   87768 2011-02-27 06:07 ppl-0.11.2/src/Grid_public.cc
-rw-r--r-- roberto/roberto    2230 2011-02-27 06:07 ppl-0.11.2/src/Variables_Set.inlines.hh
-rw-r--r-- roberto/roberto   16438 2011-02-27 06:07 ppl-0.11.2/src/Generator_System.defs.hh
-rw-r--r-- roberto/roberto   16128 2011-02-27 06:07 ppl-0.11.2/src/Grid_chdims.cc
-rw-r--r-- roberto/roberto    6495 2011-02-27 06:07 ppl-0.11.2/src/BDS_Status.inlines.hh
-rw-r--r-- roberto/roberto    4429 2011-02-27 06:07 ppl-0.11.2/src/Checked_Number.templates.hh
-rw-r--r-- roberto/roberto    1165 2011-02-27 06:07 ppl-0.11.2/src/Partially_Reduced_Product.types.hh
-rw-r--r-- roberto/roberto    1152 2011-02-27 06:10 ppl-0.11.2/src/BUGS.cc.dist
-rw-r--r-- roberto/roberto   24129 2011-02-27 06:07 ppl-0.11.2/src/Octagonal_Shape.inlines.hh
-rw-r--r-- roberto/roberto   17313 2011-02-27 06:07 ppl-0.11.2/src/Congruence_System.cc
-rw-r--r-- roberto/roberto    8189 2011-02-27 06:07 ppl-0.11.2/src/Bit_Row.cc
-rw-r--r-- roberto/roberto     749 2011-02-27 06:07 ppl-0.11.2/src/Variables_Set.types.hh
-rw-r--r-- roberto/roberto    3715 2011-02-27 06:07 ppl-0.11.2/src/OR_Matrix.templates.hh
-rw-r--r-- roberto/roberto    4407 2011-02-27 06:07 ppl-0.11.2/src/Ph_Status.inlines.hh
-rw-r--r-- roberto/roberto   73666 2011-02-27 06:07 ppl-0.11.2/src/Box.defs.hh
-rw-r--r-- roberto/roberto   14847 2011-02-27 06:07 ppl-0.11.2/src/Linear_System.defs.hh
-rw-r--r-- roberto/roberto    5240 2011-02-27 06:07 ppl-0.11.2/src/Box_Status.inlines.hh
-rw-r--r-- roberto/roberto    1510 2011-02-27 06:07 ppl-0.11.2/src/Init.inlines.hh
-rw-r--r-- roberto/roberto   23625 2011-02-27 06:07 ppl-0.11.2/src/Partially_Reduced_Product.inlines.hh
-rw-r--r-- roberto/roberto    2112 2011-02-27 06:07 ppl-0.11.2/src/Poly_Con_Relation.cc
-rw-r--r-- roberto/roberto    1956 2011-02-27 06:07 ppl-0.11.2/src/Slow_Copy.hh
-rw-r--r-- roberto/roberto    8869 2011-02-27 06:07 ppl-0.11.2/src/Interval_Info.defs.hh
-rw-r--r-- roberto/roberto     849 2011-02-27 06:07 ppl-0.11.2/src/Scalar_Products.types.hh
-rw-r--r-- roberto/roberto   19061 2011-02-27 06:07 ppl-0.11.2/src/Box.inlines.hh
-rw-r--r-- roberto/roberto    7539 2011-02-27 06:07 ppl-0.11.2/src/Congruence.cc
-rw-r--r-- roberto/roberto    3543 2011-02-27 06:07 ppl-0.11.2/src/math_utilities.inlines.hh
-rw-r--r-- roberto/roberto   11980 2011-02-27 06:07 ppl-0.11.2/src/Float.defs.hh
-rw-r--r-- roberto/roberto    8214 2011-02-27 06:07 ppl-0.11.2/src/Powerset.templates.hh
-rw-r--r-- roberto/roberto   25361 2011-02-27 06:07 ppl-0.11.2/src/Generator.defs.hh
-rw-r--r-- roberto/roberto     721 2011-02-27 06:07 ppl-0.11.2/src/Matrix.types.hh
-rw-r--r-- roberto/roberto    1695 2011-02-27 06:07 ppl-0.11.2/src/Variable.cc
-rw-r--r-- roberto/roberto    6081 2011-02-27 06:07 ppl-0.11.2/src/C_Integer.hh
-rw-r--r-- roberto/roberto     793 2011-02-27 06:07 ppl-0.11.2/src/DB_Row.types.hh
-rw-r--r-- roberto/roberto    3288 2011-02-27 06:07 ppl-0.11.2/src/NNC_Polyhedron.cc
-rw-r--r-- roberto/roberto    1037 2011-02-27 06:07 ppl-0.11.2/src/MIP_Problem.types.hh
-rw-r--r-- roberto/roberto   48370 2011-02-27 06:07 ppl-0.11.2/src/Pointset_Powerset.defs.hh
-rw-r--r-- roberto/roberto    1871 2011-02-27 06:07 ppl-0.11.2/src/Coefficient.cc
-rw-r--r-- roberto/roberto    4866 2011-02-27 06:07 ppl-0.11.2/src/Matrix.inlines.hh
-rw-r--r-- roberto/roberto   53859 2011-02-27 06:08 ppl-0.11.2/src/Makefile.in
-rw-r--r-- roberto/roberto    9780 2011-02-27 06:07 ppl-0.11.2/src/Constraint.inlines.hh
-rw-r--r-- roberto/roberto    5728 2011-02-27 06:07 ppl-0.11.2/src/WRD_coefficient_types.defs.hh
-rw-r--r-- roberto/roberto     716 2011-02-27 06:07 ppl-0.11.2/src/Grid_Generator.types.hh
-rw-r--r-- roberto/roberto   87235 2011-02-27 06:07 ppl-0.11.2/src/Grid.defs.hh
-rw-r--r-- roberto/roberto    1724 2011-02-27 06:07 ppl-0.11.2/src/Float.cc
-rw-r--r-- roberto/roberto    2570 2011-02-27 06:07 ppl-0.11.2/src/Box.cc
-rw-r--r-- roberto/roberto   17495 2011-02-27 06:07 ppl-0.11.2/src/checked_mpq.inlines.hh
-rw-r--r-- roberto/roberto    2360 2011-02-27 06:07 ppl-0.11.2/src/Variable.inlines.hh
-rw-r--r-- roberto/roberto    5729 2011-02-27 06:07 ppl-0.11.2/src/Ptr_Iterator.defs.hh
-rw-r--r-- roberto/roberto    1890 2011-02-27 06:07 ppl-0.11.2/src/Has_Assign_Or_Swap.hh
-rw-r--r-- roberto/roberto     765 2011-02-27 06:07 ppl-0.11.2/src/Poly_Con_Relation.types.hh
-rw-r--r-- roberto/roberto     753 2011-02-27 06:07 ppl-0.11.2/src/NNC_Polyhedron.types.hh
-rw-r--r-- roberto/roberto   30403 2011-02-27 06:07 ppl-0.11.2/src/PIP_Problem.defs.hh
-rw-r--r-- roberto/roberto  127751 2011-02-27 06:07 ppl-0.11.2/src/Polyhedron_public.cc
-rw-r--r-- roberto/roberto    9402 2011-02-27 06:07 ppl-0.11.2/src/Pointset_Powerset.inlines.hh
-rw-r--r-- roberto/roberto    9941 2011-02-27 06:07 ppl-0.11.2/src/DB_Matrix.templates.hh
-rw-r--r-- roberto/roberto     755 2011-02-27 06:07 ppl-0.11.2/src/DB_Matrix.types.hh
-rw-r--r-- roberto/roberto   25677 2011-02-27 06:07 ppl-0.11.2/src/Boundary.defs.hh
-rw-r--r-- roberto/roberto   11474 2011-02-27 06:07 ppl-0.11.2/src/Pointset_Powerset.cc
-rw-r--r-- roberto/roberto    2009 2011-02-27 06:07 ppl-0.11.2/src/Grid_Certificate.inlines.hh
-rw-r--r-- roberto/roberto    4294 2011-02-27 06:07 ppl-0.11.2/src/Poly_Gen_Relation.defs.hh
-rw-r--r-- roberto/roberto   10039 2011-02-27 06:07 ppl-0.11.2/src/Determinate.defs.hh
-rw-r--r-- roberto/roberto     761 2011-02-27 06:07 ppl-0.11.2/src/Generator_System.types.hh
-rw-r--r-- roberto/roberto     826 2011-02-27 06:07 ppl-0.11.2/src/Ptr_Iterator.types.hh
-rw-r--r-- roberto/roberto    3376 2011-02-27 06:07 ppl-0.11.2/src/version.cc
-rw-r--r-- roberto/roberto    2179 2011-02-27 06:07 ppl-0.11.2/src/BHRZ03_Certificate.inlines.hh
-rw-r--r-- roberto/roberto   10660 2011-02-27 06:07 ppl-0.11.2/src/Constraint.cc
-rw-r--r-- roberto/roberto    5754 2011-02-27 06:07 ppl-0.11.2/src/Bit_Matrix.defs.hh
-rw-r--r-- roberto/roberto    2826 2011-02-27 06:07 ppl-0.11.2/src/Rounding_Dir.defs.hh
-rw-r--r-- roberto/roberto   27205 2011-02-27 06:07 ppl-0.11.2/src/Checked_Number.inlines.hh
-rw-r--r-- roberto/roberto    9911 2011-02-27 06:07 ppl-0.11.2/src/Polyhedron.inlines.hh
-rw-r--r-- roberto/roberto    3132 2011-02-27 06:07 ppl-0.11.2/src/c_streambuf.defs.hh
-rw-r--r-- roberto/roberto    1991 2011-02-27 06:07 ppl-0.11.2/src/Coefficient.defs.hh
-rw-r--r-- roberto/roberto   16124 2011-02-27 06:07 ppl-0.11.2/src/Grid_conversion.cc
-rw-r--r-- roberto/roberto    3186 2011-02-27 06:07 ppl-0.11.2/src/version.hh.in
-rw-r--r-- roberto/roberto     729 2011-02-27 06:07 ppl-0.11.2/src/stdiobuf.types.hh
-rw-r--r-- roberto/roberto     828 2011-02-27 06:07 ppl-0.11.2/src/fpu.types.hh
-rw-r--r-- roberto/roberto   78702 2011-02-27 06:07 ppl-0.11.2/src/MIP_Problem.cc
-rw-r--r-- roberto/roberto    9299 2011-02-27 06:07 ppl-0.11.2/src/Float.inlines.hh
-rw-r--r-- roberto/roberto   13661 2011-02-27 06:07 ppl-0.11.2/src/Linear_Expression.cc
-rw-r--r-- roberto/roberto     751 2011-02-27 06:07 ppl-0.11.2/src/BD_Shape.types.hh
-rw-r--r-- roberto/roberto    2711 2011-02-27 06:07 ppl-0.11.2/src/Partial_Function.inlines.hh
-rw-r--r-- roberto/roberto    5533 2011-02-27 06:07 ppl-0.11.2/src/Scalar_Products.cc
-rw-r--r-- roberto/roberto    7601 2011-02-27 06:07 ppl-0.11.2/src/Determinate.inlines.hh
-rw-r--r-- roberto/roberto    1799 2011-02-27 06:07 ppl-0.11.2/src/wrap_string.hh
-rw-r--r-- roberto/roberto     742 2011-02-27 06:07 ppl-0.11.2/src/Octagonal_Shape.types.hh
-rw-r--r-- roberto/roberto    9966 2011-02-27 06:07 ppl-0.11.2/src/checked.cc
-rw-r--r-- roberto/roberto    5103 2011-02-27 06:07 ppl-0.11.2/src/Temp.defs.hh
-rw-r--r-- roberto/roberto    6274 2011-02-27 06:07 ppl-0.11.2/src/Grid_Status.cc
-rw-r--r-- roberto/roberto    2573 2011-02-27 06:07 ppl-0.11.2/src/Partial_Function.defs.hh
-rw-r--r-- roberto/roberto    2921 2011-02-27 06:07 ppl-0.11.2/src/stdiobuf.defs.hh
-rw-r--r-- roberto/roberto    6856 2011-02-27 06:07 ppl-0.11.2/src/Linear_System.inlines.hh
-rw-r--r-- roberto/roberto    5265 2011-02-27 06:07 ppl-0.11.2/src/Scalar_Products.inlines.hh
-rw-r--r-- roberto/roberto     867 2011-02-27 06:07 ppl-0.11.2/src/Checked_Number.types.hh
-rw-r--r-- roberto/roberto   19950 2011-02-27 06:07 ppl-0.11.2/src/checked.inlines.hh
-rw-r--r-- roberto/roberto    2548 2011-02-27 06:07 ppl-0.11.2/src/wrap_string.cc
-rw-r--r-- roberto/roberto    6282 2011-02-27 06:07 ppl-0.11.2/src/Init.cc
-rw-r--r-- roberto/roberto   10449 2011-02-27 06:07 ppl-0.11.2/src/Interval.templates.hh
-rw-r--r-- roberto/roberto    3254 2011-02-27 06:07 ppl-0.11.2/src/PIP_Tree.inlines.hh
-rw-r--r-- roberto/roberto     744 2011-02-27 06:07 ppl-0.11.2/src/Grid_Generator_System.types.hh
-rw-r--r-- roberto/roberto   15820 2011-02-27 06:07 ppl-0.11.2/src/Grid_widenings.cc
-rw-r--r-- roberto/roberto     737 2011-02-27 06:07 ppl-0.11.2/src/Bit_Matrix.types.hh
-rw-r--r-- roberto/roberto    1935 2011-02-27 06:07 ppl-0.11.2/src/initializer.hh
-rw-r--r-- roberto/roberto    1567 2011-02-27 06:07 ppl-0.11.2/src/Partial_Function.cc
-rw-r--r-- roberto/roberto    3527 2011-02-27 06:07 ppl-0.11.2/src/Box_Status.idefs.hh
-rw-r--r-- roberto/roberto    1248 2011-02-27 06:07 ppl-0.11.2/src/Numeric_Format.defs.hh
-rw-r--r-- roberto/roberto    3727 2011-02-27 06:07 ppl-0.11.2/src/mp_std_bits.cc
-rw-r--r-- roberto/roberto     922 2011-02-27 06:07 ppl-0.11.2/src/distances.types.hh
-rw-r--r-- roberto/roberto    1499 2011-02-27 06:07 ppl-0.11.2/src/globals.cc
-rw-r--r-- roberto/roberto    3958 2011-02-27 06:07 ppl-0.11.2/src/BDS_Status.idefs.hh
-rw-r--r-- roberto/roberto    5252 2011-02-27 06:07 ppl-0.11.2/src/swapping_sort.icc
-rw-r--r-- roberto/roberto    4931 2011-02-27 06:07 ppl-0.11.2/src/mp_std_bits.defs.hh
-rw-r--r-- roberto/roberto    2230 2011-02-27 06:07 ppl-0.11.2/src/assert.hh
-rw-r--r-- roberto/roberto    8163 2011-02-27 06:07 ppl-0.11.2/src/Row.cc
-rw-r--r-- roberto/roberto    7025 2011-02-27 06:07 ppl-0.11.2/src/Ph_Status.idefs.hh
-rw-r--r-- roberto/roberto    3604 2011-02-27 06:07 ppl-0.11.2/src/BD_Shape.cc
-rw-r--r-- roberto/roberto   22003 2011-02-27 06:07 ppl-0.11.2/src/PIP_Problem.cc
-rw-r--r-- roberto/roberto    3356 2011-02-27 06:07 ppl-0.11.2/src/max_space_dimension.hh
-rw-r--r-- roberto/roberto   15329 2011-02-27 06:07 ppl-0.11.2/src/Congruence.defs.hh
-rw-r--r-- roberto/roberto     757 2011-02-27 06:07 ppl-0.11.2/src/H79_Certificate.types.hh
-rw-r--r-- roberto/roberto    2999 2011-02-27 06:07 ppl-0.11.2/src/PIP_Problem.inlines.hh
-rw-r--r-- roberto/roberto    2960 2011-02-27 06:07 ppl-0.11.2/src/PIP_Problem.templates.hh
-rw-r--r-- roberto/roberto   13041 2011-02-27 06:07 ppl-0.11.2/src/Constraint_System.defs.hh
-rw-r--r-- roberto/roberto   19347 2011-02-27 06:07 ppl-0.11.2/src/checked_mpz.inlines.hh
-rw-r--r-- roberto/roberto    1458 2011-02-27 06:07 ppl-0.11.2/src/mp_std_bits.inlines.hh
-rw-r--r-- roberto/roberto     849 2011-02-27 06:07 ppl-0.11.2/src/Interval_Info.types.hh
-rw-r--r-- roberto/roberto   21805 2011-02-27 06:10 ppl-0.11.2/src/CREDITS.cc.dist
-rw-r--r-- roberto/roberto    3174 2011-02-27 06:07 ppl-0.11.2/src/Rounding_Dir.inlines.hh
-rw-r--r-- roberto/roberto   28501 2011-02-27 06:07 ppl-0.11.2/src/PIP_Tree.defs.hh
-rw-r--r-- roberto/roberto   16013 2011-02-27 06:07 ppl-0.11.2/src/Row.defs.hh
-rw-r--r-- roberto/roberto   38650 2011-02-27 06:10 ppl-0.11.2/src/COPYING.cc.dist
-rw-r--r-- roberto/roberto    9721 2011-02-27 06:07 ppl-0.11.2/src/Grid.inlines.hh
-rw-r--r-- roberto/roberto    1458 2011-02-27 06:07 ppl-0.11.2/src/Rational_Box.hh
-rw-r--r-- roberto/roberto    2229 2011-02-27 06:07 ppl-0.11.2/src/fpu-sparc.inlines.hh
-rw-r--r-- roberto/roberto     773 2011-02-27 06:07 ppl-0.11.2/src/Interval.types.hh
-rw-r--r-- roberto/roberto   13303 2011-02-27 06:07 ppl-0.11.2/src/Matrix.cc
-rw-r--r-- roberto/roberto    4382 2011-02-27 06:07 ppl-0.11.2/src/globals.types.hh
-rw-r--r-- roberto/roberto     864 2011-02-27 06:07 ppl-0.11.2/src/Widening_Function.types.hh
-rw-r--r-- roberto/roberto  211422 2011-02-27 06:07 ppl-0.11.2/src/BD_Shape.templates.hh
-rw-r--r-- roberto/roberto   30454 2011-02-27 06:07 ppl-0.11.2/src/termination.cc
-rw-r--r-- roberto/roberto     761 2011-02-27 06:07 ppl-0.11.2/src/Partial_Function.types.hh
-rw-r--r-- roberto/roberto    3953 2011-02-27 06:07 ppl-0.11.2/src/math_utilities.defs.hh
-rw-r--r-- roberto/roberto    3424 2011-02-27 06:07 ppl-0.11.2/src/Variables_Set.defs.hh
-rw-r--r-- roberto/roberto     947 2011-02-27 06:07 ppl-0.11.2/src/Topology.hh
-rw-r--r-- roberto/roberto    3269 2011-02-27 06:07 ppl-0.11.2/src/globals.inlines.hh
-rw-r--r-- roberto/roberto     751 2011-02-27 06:07 ppl-0.11.2/src/Powerset.types.hh
-rw-r--r-- roberto/roberto    4952 2011-02-27 06:07 ppl-0.11.2/src/Variable.defs.hh
-rw-r--r-- roberto/roberto   19044 2011-02-27 06:07 ppl-0.11.2/src/Constraint_System.cc
-rw-r--r-- roberto/roberto     749 2011-02-27 06:07 ppl-0.11.2/src/Linear_System.types.hh
-rw-r--r-- roberto/roberto    8531 2011-02-27 06:07 ppl-0.11.2/src/NNC_Polyhedron.defs.hh
-rw-r--r-- roberto/roberto   10568 2011-02-27 06:07 ppl-0.11.2/src/DB_Matrix.defs.hh
-rw-r--r-- roberto/roberto    1531 2011-02-27 06:07 ppl-0.11.2/src/WRD_coefficient_types.inlines.hh
-rw-r--r-- roberto/roberto     737 2011-02-27 06:07 ppl-0.11.2/src/Linear_Row.types.hh
-rw-r--r-- roberto/roberto    2535 2011-02-27 06:07 ppl-0.11.2/src/algorithms.hh
-rw-r--r-- roberto/roberto   18989 2011-02-27 06:07 ppl-0.11.2/src/termination.defs.hh
-rw-r--r-- roberto/roberto    1291 2011-02-27 06:07 ppl-0.11.2/src/stdiobuf.inlines.hh
-rw-r--r-- roberto/roberto   11018 2011-02-27 06:07 ppl-0.11.2/src/Grid.templates.hh
-rw-r--r-- roberto/roberto    6962 2011-02-27 06:07 ppl-0.11.2/src/Linear_Row.cc
-rw-r--r-- roberto/roberto    4195 2011-02-27 06:07 ppl-0.11.2/src/Grid_Status.inlines.hh
-rw-r--r-- roberto/roberto    2216 2011-02-27 06:07 ppl-0.11.2/src/fpu-none.inlines.hh
-rw-r--r-- roberto/roberto   33533 2011-02-27 06:07 ppl-0.11.2/src/checked.defs.hh
-rw-r--r-- roberto/roberto    2319 2011-02-27 06:07 ppl-0.11.2/src/Result.inlines.hh
-rw-r--r-- roberto/roberto     765 2011-02-27 06:07 ppl-0.11.2/src/Poly_Gen_Relation.types.hh
-rw-r--r-- roberto/roberto   11765 2011-02-27 06:07 ppl-0.11.2/src/meta_programming.hh
-rw-r--r-- roberto/roberto   34977 2011-02-27 06:07 ppl-0.11.2/src/Checked_Number.defs.hh
-rw-r--r-- roberto/roberto    5096 2011-02-27 06:07 ppl-0.11.2/src/C_Polyhedron.inlines.hh
-rw-r--r-- roberto/roberto    8752 2011-02-27 06:07 ppl-0.11.2/src/DB_Matrix.inlines.hh
-rw-r--r-- roberto/roberto   27296 2011-02-27 06:07 ppl-0.11.2/src/checked_ext.inlines.hh
-rw-r--r-- roberto/roberto    6806 2011-02-27 06:07 ppl-0.11.2/src/Coefficient.types.hh
-rw-r--r-- roberto/roberto   37467 2011-02-27 06:07 ppl-0.11.2/src/conversion.cc
-rw-r--r-- roberto/roberto    4403 2011-02-27 06:07 ppl-0.11.2/src/Ptr_Iterator.inlines.hh
-rw-r--r-- roberto/roberto    3964 2011-02-27 06:07 ppl-0.11.2/src/Widening_Function.defs.hh
-rw-r--r-- roberto/roberto    2712 2011-02-27 06:07 ppl-0.11.2/src/fpu-c99.inlines.hh
-rw-r--r-- roberto/roberto   17337 2011-02-27 06:07 ppl-0.11.2/src/OR_Matrix.inlines.hh
-rw-r--r-- roberto/roberto    6877 2011-02-27 06:07 ppl-0.11.2/src/Linear_Row.inlines.hh
-rw-r--r-- roberto/roberto     857 2011-02-27 06:07 ppl-0.11.2/src/iterator_to_const.types.hh
-rw-r--r-- roberto/roberto    2441 2011-02-27 06:07 ppl-0.11.2/src/compiler.hh
-rw-r--r-- roberto/roberto   18411 2011-02-27 06:07 ppl-0.11.2/src/Constraint.defs.hh
-rw-r--r-- roberto/roberto   17145 2011-02-27 06:07 ppl-0.11.2/src/Linear_Row.defs.hh
-rw-r--r-- roberto/roberto   77067 2011-02-27 06:07 ppl-0.11.2/src/Octagonal_Shape.defs.hh
-rw-r--r-- roberto/roberto     729 2011-02-27 06:07 ppl-0.11.2/src/Variable.types.hh
-rw-r--r-- roberto/roberto    5347 2011-02-27 06:07 ppl-0.11.2/src/Congruence_System.inlines.hh
-rw-r--r-- roberto/roberto   10858 2011-02-27 06:07 ppl-0.11.2/src/intervals.defs.hh
-rw-r--r-- roberto/roberto     765 2011-02-27 06:07 ppl-0.11.2/src/Constraint_System.types.hh
-rw-r--r-- roberto/roberto   15733 2011-02-27 06:07 ppl-0.11.2/src/globals.defs.hh
-rw-r--r-- roberto/roberto    4934 2011-02-27 06:07 ppl-0.11.2/src/GMP_Integer.defs.hh
-rw-r--r-- roberto/roberto    6398 2011-02-27 06:07 ppl-0.11.2/src/namespaces.hh
-rw-r--r-- roberto/roberto   55260 2011-02-27 06:07 ppl-0.11.2/src/Partially_Reduced_Product.defs.hh
-rw-r--r-- roberto/roberto   21464 2011-02-27 06:07 ppl-0.11.2/src/Partially_Reduced_Product.templates.hh
-rw-r--r-- roberto/roberto    7317 2011-02-27 06:07 ppl-0.11.2/src/iterator_to_const.defs.hh
-rw-r--r-- roberto/roberto    9848 2011-02-27 06:07 ppl-0.11.2/src/Polyhedron.templates.hh
-rw-r--r-- roberto/roberto    2728 2011-02-27 06:07 ppl-0.11.2/src/Temp.inlines.hh
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/Watchdog/
-rwxr-xr-x roberto/roberto   18615 2011-02-27 06:07 ppl-0.11.2/Watchdog/depcomp
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/Watchdog/tests/
-rw-r--r-- roberto/roberto    1776 2011-02-27 06:07 ppl-0.11.2/Watchdog/tests/Makefile.am
-rw-r--r-- roberto/roberto     153 2011-02-27 06:07 ppl-0.11.2/Watchdog/tests/valgrind_suppressions
-rw-r--r-- roberto/roberto   20709 2011-02-27 06:08 ppl-0.11.2/Watchdog/tests/Makefile.in
-rw-r--r-- roberto/roberto    2055 2011-02-27 06:07 ppl-0.11.2/Watchdog/tests/watchdog1.cc
-rw-r--r-- roberto/roberto    5605 2011-02-27 06:07 ppl-0.11.2/Watchdog/tests/pwl_test.hh
-rw-r--r-- roberto/roberto    4901 2011-02-27 06:07 ppl-0.11.2/Watchdog/tests/pwl_test.cc
-rw-r--r-- roberto/roberto      56 2011-02-27 06:07 ppl-0.11.2/Watchdog/BUGS
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/Watchdog/utils/
-rw-r--r-- roberto/roberto    1752 2011-02-27 06:07 ppl-0.11.2/Watchdog/utils/Makefile.am
-rw-r--r-- roberto/roberto   11903 2011-02-27 06:08 ppl-0.11.2/Watchdog/utils/Makefile.in
-rw-r--r-- roberto/roberto    2894 2011-02-27 06:07 ppl-0.11.2/Watchdog/utils/build_header.in
-rwxr-xr-x roberto/roberto  253153 2011-02-27 06:07 ppl-0.11.2/Watchdog/ltmain.sh
-rwxr-xr-x roberto/roberto   44343 2011-02-27 06:07 ppl-0.11.2/Watchdog/config.guess
-rwxr-xr-x roberto/roberto   13781 2011-02-27 06:07 ppl-0.11.2/Watchdog/install-sh
-rwxr-xr-x roberto/roberto   18343 2011-02-27 06:07 ppl-0.11.2/Watchdog/config.rpath
-rw-r--r-- roberto/roberto   35741 2011-02-27 06:08 ppl-0.11.2/Watchdog/aclocal.m4
-rw-r--r-- roberto/roberto    2005 2011-02-27 06:07 ppl-0.11.2/Watchdog/Makefile.am
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/Watchdog/src/
-rw-r--r-- roberto/roberto    3098 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Threshold_Watcher.defs.hh
-rw-r--r-- roberto/roberto    2833 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/EList.defs.hh
-rw-r--r-- roberto/roberto     737 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/EList.types.hh
-rw-r--r-- roberto/roberto     775 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Doubly_Linked_Object.types.hh
-rw-r--r-- roberto/roberto    1738 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Handler.inlines.hh
-rw-r--r-- roberto/roberto    3330 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Time.defs.hh
-rw-r--r-- roberto/roberto    2551 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/EList_Iterator.inlines.hh
-rw-r--r-- roberto/roberto    2414 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Threshold_Watcher.inlines.hh
-rw-r--r-- roberto/roberto    3055 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Handler.defs.hh
-rw-r--r-- roberto/roberto    4435 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Makefile.am
-rw-r--r-- roberto/roberto    2685 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Pending_List.defs.hh
-rw-r--r-- roberto/roberto    1112 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Threshold_Watcher.cc
-rw-r--r-- roberto/roberto    2544 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Threshold_Watcher.templates.hh
-rw-r--r-- roberto/roberto    4703 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Watchdog.defs.hh
-rw-r--r-- roberto/roberto    2562 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Pending_Element.defs.hh
-rw-r--r-- roberto/roberto    2629 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/EList_Iterator.defs.hh
-rw-r--r-- roberto/roberto    1636 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/pwl_header.hh
-rw-r--r-- roberto/roberto    3490 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Watchdog.inlines.hh
-rw-r--r-- roberto/roberto    3278 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Time.inlines.hh
-rw-r--r-- roberto/roberto    2175 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Pending_Element.inlines.hh
-rw-r--r-- roberto/roberto   24204 2011-02-27 06:08 ppl-0.11.2/Watchdog/src/Makefile.in
-rw-r--r-- roberto/roberto    2082 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Pending_List.inlines.hh
-rw-r--r-- roberto/roberto    6722 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Watchdog.cc
-rw-r--r-- roberto/roberto    1920 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Doubly_Linked_Object.inlines.hh
-rw-r--r-- roberto/roberto     711 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Time.types.hh
-rw-r--r-- roberto/roberto    2632 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Pending_List.templates.hh
-rw-r--r-- roberto/roberto   44970 2011-02-27 06:10 ppl-0.11.2/Watchdog/src/pwl.hh.dist
-rw-r--r-- roberto/roberto     719 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Watchdog.types.hh
-rw-r--r-- roberto/roberto    2162 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Doubly_Linked_Object.defs.hh
-rw-r--r-- roberto/roberto    1167 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Time.cc
-rw-r--r-- roberto/roberto     782 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Pending_Element.types.hh
-rw-r--r-- roberto/roberto     790 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Threshold_Watcher.types.hh
-rw-r--r-- roberto/roberto    2759 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/EList.inlines.hh
-rw-r--r-- roberto/roberto     814 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Handler.types.hh
-rw-r--r-- roberto/roberto     773 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/EList_Iterator.types.hh
-rw-r--r-- roberto/roberto     770 2011-02-27 06:07 ppl-0.11.2/Watchdog/src/Pending_List.types.hh
-rw-r--r-- roberto/roberto    9862 2011-02-27 06:07 ppl-0.11.2/Watchdog/configure.ac
-rw-r--r-- roberto/roberto    2443 2011-02-27 06:08 ppl-0.11.2/Watchdog/config.h.in
-rwxr-xr-x roberto/roberto  545839 2011-02-27 06:08 ppl-0.11.2/Watchdog/configure
-rw-r--r-- roberto/roberto    2535 2011-02-27 06:10 ppl-0.11.2/Watchdog/pwl-config.h.in
-rw-r--r-- roberto/roberto   25565 2011-02-27 06:08 ppl-0.11.2/Watchdog/Makefile.in
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/Watchdog/m4/
-rw-r--r-- roberto/roberto  263856 2011-02-27 06:07 ppl-0.11.2/Watchdog/m4/libtool.m4
-rw-r--r-- roberto/roberto    3417 2011-02-27 06:07 ppl-0.11.2/Watchdog/m4/lib-ld.m4
-rw-r--r-- roberto/roberto    1350 2011-02-27 06:07 ppl-0.11.2/Watchdog/m4/Makefile.am
-rw-r--r-- roberto/roberto   13235 2011-02-27 06:08 ppl-0.11.2/Watchdog/m4/Makefile.in
-rw-r--r-- roberto/roberto    4372 2011-02-27 06:07 ppl-0.11.2/Watchdog/m4/ltsugar.m4
-rw-r--r-- roberto/roberto   11950 2011-02-27 06:07 ppl-0.11.2/Watchdog/m4/ltoptions.m4
-rw-r--r-- roberto/roberto   32334 2011-02-27 06:07 ppl-0.11.2/Watchdog/m4/lib-link.m4
-rw-r--r-- roberto/roberto    6126 2011-02-27 06:07 ppl-0.11.2/Watchdog/m4/lt~obsolete.m4
-rw-r--r-- roberto/roberto     703 2011-02-27 06:07 ppl-0.11.2/Watchdog/m4/ltversion.m4
-rwxr-xr-x roberto/roberto    3769 2011-02-27 06:07 ppl-0.11.2/Watchdog/compile
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/Watchdog/doc/
-rw-r--r-- roberto/roberto   86669 2011-02-27 06:10 ppl-0.11.2/Watchdog/doc/gpl.ps.gz
-rw-r--r-- roberto/roberto   11512 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/devref.doxyconf-latex.in
-rw-r--r-- roberto/roberto  296785 2011-02-27 06:10 ppl-0.11.2/Watchdog/doc/pwl-user-0.8.pdf
-rw-r--r-- roberto/roberto    7307 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/pwl.sty
-rw-r--r-- roberto/roberto   21081 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/fdl.tex
-rw-r--r-- roberto/roberto   73541 2011-02-27 06:10 ppl-0.11.2/Watchdog/doc/pwl-user-0.8-html.tar.gz
-rw-r--r-- roberto/roberto   75252 2011-02-27 06:10 ppl-0.11.2/Watchdog/doc/gpl.pdf
-rw-r--r-- roberto/roberto   11542 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/devref.doxyconf-html.in
-rw-r--r-- roberto/roberto    9431 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/user.doxyconf-html.in
-rw-r--r-- roberto/roberto    6756 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/Makefile.am
-rw-r--r-- roberto/roberto   36466 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/gpl.dox
-rw-r--r-- roberto/roberto    9404 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/user.doxyconf-latex.in
-rw-r--r-- roberto/roberto   92837 2011-02-27 06:10 ppl-0.11.2/Watchdog/doc/fdl.ps.gz
-rw-r--r-- roberto/roberto   17504 2011-02-27 06:08 ppl-0.11.2/Watchdog/doc/Makefile.in
-rw-r--r-- roberto/roberto    4556 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/user.tex
-rw-r--r-- roberto/roberto   35147 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/gpl.txt
-rw-r--r-- roberto/roberto    5426 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/README.doc
-rw-r--r-- roberto/roberto   82013 2011-02-27 06:10 ppl-0.11.2/Watchdog/doc/fdl.pdf
-rw-r--r-- roberto/roberto   21196 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/fdl.dox
-rw-r--r-- roberto/roberto   20403 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/fdl.txt
-rw-r--r-- roberto/roberto  230371 2011-02-27 06:10 ppl-0.11.2/Watchdog/doc/pwl-user-0.8.ps.gz
-rw-r--r-- roberto/roberto    4571 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/devref.tex
-rw-r--r-- roberto/roberto   35586 2011-02-27 06:07 ppl-0.11.2/Watchdog/doc/gpl.tex
-rw-r--r-- roberto/roberto   15578 2011-02-27 06:07 ppl-0.11.2/Watchdog/INSTALL
-rwxr-xr-x roberto/roberto   34927 2011-02-27 06:07 ppl-0.11.2/Watchdog/config.sub
-rw-r--r-- roberto/roberto   35147 2011-02-27 06:07 ppl-0.11.2/Watchdog/COPYING
-rw-r--r-- roberto/roberto    4004 2011-02-27 06:07 ppl-0.11.2/Watchdog/README
-rw-r--r-- roberto/roberto    3131 2011-02-27 06:07 ppl-0.11.2/Watchdog/NEWS
-rw-r--r-- roberto/roberto   75178 2011-02-27 06:07 ppl-0.11.2/Watchdog/ChangeLog
-rwxr-xr-x roberto/roberto    3538 2011-02-27 06:07 ppl-0.11.2/Watchdog/mkinstalldirs
-rw-r--r-- roberto/roberto     229 2011-02-27 06:07 ppl-0.11.2/Watchdog/CREDITS
-rwxr-xr-x roberto/roberto   11419 2011-02-27 06:07 ppl-0.11.2/Watchdog/missing
-rw-r--r-- roberto/roberto   81846 2011-02-27 06:07 ppl-0.11.2/Watchdog/ChangeLog_2001-2008
-rw-r--r-- roberto/roberto    1248 2011-02-27 06:07 ppl-0.11.2/Watchdog/pwl-config.sed
-rw-r--r-- roberto/roberto   51077 2011-02-27 06:07 ppl-0.11.2/configure.ac
-rw-r--r-- roberto/roberto    3685 2011-02-27 06:07 ppl-0.11.2/ppl-config.sed
-rw-r--r-- roberto/roberto   11703 2011-02-27 06:08 ppl-0.11.2/config.h.in
-rwxr-xr-x roberto/roberto  987365 2011-02-27 06:08 ppl-0.11.2/configure
-rw-r--r-- roberto/roberto   31034 2011-02-27 06:08 ppl-0.11.2/Makefile.in
-rw-r--r-- roberto/roberto     327 2011-02-27 06:07 ppl-0.11.2/README.solaris
drwxr-xr-x roberto/roberto       0 2011-02-27 06:12 ppl-0.11.2/m4/
-rw-r--r-- roberto/roberto    1900 2011-02-27 06:07 ppl-0.11.2/m4/ac_check_yap.m4
-rw-r--r-- roberto/roberto    5946 2011-02-27 06:07 ppl-0.11.2/m4/ac_check_gmp.m4
-rw-r--r-- roberto/roberto    2025 2011-02-27 06:07 ppl-0.11.2/m4/ac_check_xsb_prolog.m4
-rw-r--r-- roberto/roberto    8466 2011-02-27 06:07 ppl-0.11.2/m4/lib-prefix.m4
-rw-r--r-- roberto/roberto    2940 2011-02-27 06:07 ppl-0.11.2/m4/ac_cxx_flexible_arrays.m4
-rw-r--r-- roberto/roberto    2260 2011-02-27 06:07 ppl-0.11.2/m4/m4.m4
-rw-r--r-- roberto/roberto  263856 2011-02-27 06:07 ppl-0.11.2/m4/libtool.m4
-rw-r--r-- roberto/roberto    5438 2011-02-27 06:07 ppl-0.11.2/m4/ac_cxx_double_exact_output.m4
-rw-r--r-- roberto/roberto    1871 2011-02-27 06:07 ppl-0.11.2/m4/ac_cxx_attribute_weak.m4
-rw-r--r-- roberto/roberto    1608 2011-02-27 06:07 ppl-0.11.2/m4/ac_prog_javah.m4
-rw-r--r-- roberto/roberto    1990 2011-02-27 06:07 ppl-0.11.2/m4/ac_cxx_remainder_bug.m4
-rw-r--r-- roberto/roberto   84420 2011-02-27 06:07 ppl-0.11.2/m4/ac_cxx_long_double_binary_format.m4
-rw-r--r-- roberto/roberto    3433 2011-02-27 06:07 ppl-0.11.2/m4/lib-ld.m4
-rw-r--r-- roberto/roberto    2047 2011-02-27 06:07 ppl-0.11.2/m4/Makefile.am
-rw-r--r-- roberto/roberto    3189 2011-02-27 06:07 ppl-0.11.2/m4/ac_cxx_ieee_inexact_flag.m4
-rw-r--r-- roberto/roberto    2484 2011-02-27 06:07 ppl-0.11.2/m4/ac_check_classpath.m4
-rw-r--r-- roberto/roberto    3054 2011-02-27 06:07 ppl-0.11.2/m4/ac_cxx_float_binary_format.m4
-rw-r--r-- roberto/roberto    3759 2011-02-27 06:07 ppl-0.11.2/m4/ac_check_swi_prolog.m4
-rw-r--r-- roberto/roberto    9690 2011-02-27 06:07 ppl-0.11.2/m4/ppl.m4
-rw-r--r-- roberto/roberto    9665 2011-02-27 06:07 ppl-0.11.2/m4/ppl_c.m4
-rw-r--r-- roberto/roberto    2156 2011-02-27 06:07 ppl-0.11.2/m4/ac_cxx_proper_long_double.m4
-rw-r--r-- roberto/roberto    3199 2011-02-27 06:07 ppl-0.11.2/m4/ac_check_fpu_control.m4
-rw-r--r-- roberto/roberto   18420 2011-02-27 06:08 ppl-0.11.2/m4/Makefile.in
-rw-r--r-- roberto/roberto    4372 2011-02-27 06:07 ppl-0.11.2/m4/ltsugar.m4
-rw-r--r-- roberto/roberto    9232 2011-02-27 06:07 ppl-0.11.2/m4/ac_prog_java.m4
-rw-r--r-- roberto/roberto    2497 2011-02-27 06:07 ppl-0.11.2/m4/ac_check_sicstus_prolog.m4
-rw-r--r-- roberto/roberto   82600 2011-02-27 06:07 ppl-0.11.2/m4/ac_cxx_long_double_exact_output.m4
-rw-r--r-- roberto/roberto    5270 2011-02-27 06:07 ppl-0.11.2/m4/ac_prog_javac.m4
-rw-r--r-- roberto/roberto    1753 2011-02-27 06:07 ppl-0.11.2/m4/ac_cxx_plain_char_is_signed.m4
-rw-r--r-- roberto/roberto   11950 2011-02-27 06:07 ppl-0.11.2/m4/ltoptions.m4
-rw-r--r-- roberto/roberto   32334 2011-02-27 06:07 ppl-0.11.2/m4/lib-link.m4
-rw-r--r-- roberto/roberto    3112 2011-02-27 06:07 ppl-0.11.2/m4/ac_cxx_limit_memory.m4
-rw-r--r-- roberto/roberto    6126 2011-02-27 06:07 ppl-0.11.2/m4/lt~obsolete.m4
-rw-r--r-- roberto/roberto    1635 2011-02-27 06:07 ppl-0.11.2/m4/ac_prog_jar.m4
-rw-r--r-- roberto/roberto    2796 2011-02-27 06:07 ppl-0.11.2/m4/ac_check_ciao.m4
-rw-r--r-- roberto/roberto    1417 2011-02-27 06:07 ppl-0.11.2/m4/ac_text_md5sum.m4
-rw-r--r-- roberto/roberto     703 2011-02-27 06:07 ppl-0.11.2/m4/ltversion.m4
-rw-r--r-- roberto/roberto    6896 2011-02-27 06:07 ppl-0.11.2/m4/ocaml.m4
-rw-r--r-- roberto/roberto    3570 2011-02-27 06:07 ppl-0.11.2/m4/ac_cxx_float_exact_output.m4
-rw-r--r-- roberto/roberto    4925 2011-02-27 06:07 ppl-0.11.2/m4/ac_cxx_double_binary_format.m4
-rwxr-xr-x roberto/roberto    3769 2011-02-27 06:07 ppl-0.11.2/compile
drwxr-xr-x roberto/roberto       0 2011-02-27 06:12 ppl-0.11.2/doc/
-rw-r--r-- roberto/roberto 4027090 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-0.11.2.pdf
-rw-r--r-- roberto/roberto    4281 2011-02-27 06:07 ppl-0.11.2/doc/ppl-config.1
-rw-r--r-- roberto/roberto   86669 2011-02-27 06:12 ppl-0.11.2/doc/gpl.ps.gz
-rw-r--r-- roberto/roberto   25047 2011-02-27 06:07 ppl-0.11.2/doc/devref.doxyconf-latex.in
-rw-r--r-- roberto/roberto  188121 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-java-interface-0.11.2-html.tar.gz
-rw-r--r-- roberto/roberto   21081 2011-02-27 06:07 ppl-0.11.2/doc/fdl.tex
-rw-r--r-- roberto/roberto  262936 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-ocaml-interface-0.11.2.ps.gz
-rw-r--r-- roberto/roberto 1030456 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-java-interface-0.11.2.pdf
-rw-r--r-- roberto/roberto   75252 2011-02-27 06:12 ppl-0.11.2/doc/gpl.pdf
-rw-r--r-- roberto/roberto   25078 2011-02-27 06:07 ppl-0.11.2/doc/devref.doxyconf-html.in
-rw-r--r-- roberto/roberto  179289 2011-02-27 06:07 ppl-0.11.2/doc/definitions.dox
-rw-r--r-- roberto/roberto    9562 2011-02-27 06:07 ppl-0.11.2/doc/user.doxyconf-html.in
-rw-r--r-- roberto/roberto   57795 2011-02-27 06:07 ppl-0.11.2/doc/Makefile.am
-rw-r--r-- roberto/roberto  318479 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-prolog-interface-0.11.2.pdf
-rw-r--r-- roberto/roberto    5328 2011-02-27 06:07 ppl-0.11.2/doc/devref-language-interface.tex
-rw-r--r-- roberto/roberto    5313 2011-02-27 06:07 ppl-0.11.2/doc/user-language-interface.tex
-rw-r--r-- roberto/roberto   75259 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-prolog-interface-0.11.2-html.tar.gz
-rw-r--r-- roberto/roberto   36580 2011-02-27 06:07 ppl-0.11.2/doc/gpl.dox
-rw-r--r-- roberto/roberto  965218 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-0.11.2-html.tar.gz
-rw-r--r-- roberto/roberto    7914 2011-02-27 06:07 ppl-0.11.2/doc/ppl.sty
-rw-r--r-- roberto/roberto   10074 2011-02-27 06:07 ppl-0.11.2/doc/user-language-interface.doxyconf.in
-rw-r--r-- roberto/roberto    9534 2011-02-27 06:07 ppl-0.11.2/doc/user.doxyconf-latex.in
-rw-r--r-- roberto/roberto   92837 2011-02-27 06:12 ppl-0.11.2/doc/fdl.ps.gz
-rw-r--r-- roberto/roberto  451558 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-c-interface-0.11.2.ps.gz
-rw-r--r-- roberto/roberto    5995 2011-02-27 06:07 ppl-0.11.2/doc/libppl_c.3
-rw-r--r-- roberto/roberto   94267 2011-02-27 06:08 ppl-0.11.2/doc/Makefile.in
-rw-r--r-- roberto/roberto 1508103 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-0.11.2.ps.gz
-rw-r--r-- roberto/roberto    5296 2011-02-27 06:07 ppl-0.11.2/doc/user.tex
-rw-r--r-- roberto/roberto  294449 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-prolog-interface-0.11.2.ps.gz
-rw-r--r-- roberto/roberto     140 2011-02-27 06:07 ppl-0.11.2/doc/interfaces-latex.sed
-rw-r--r-- roberto/roberto   35147 2011-02-27 06:07 ppl-0.11.2/doc/gpl.txt
-rw-r--r-- roberto/roberto    9819 2011-02-27 06:07 ppl-0.11.2/doc/devref-language-interface.doxyconf.in
-rw-r--r-- roberto/roberto   75622 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-ocaml-interface-0.11.2-html.tar.gz
-rw-r--r-- roberto/roberto  319287 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-ocaml-interface-0.11.2.pdf
-rw-r--r-- roberto/roberto    6428 2011-02-27 06:07 ppl-0.11.2/doc/README.doc
-rw-r--r-- roberto/roberto   82013 2011-02-27 06:12 ppl-0.11.2/doc/fdl.pdf
-rw-r--r-- roberto/roberto   21315 2011-02-27 06:07 ppl-0.11.2/doc/fdl.dox
-rw-r--r-- roberto/roberto   20403 2011-02-27 06:07 ppl-0.11.2/doc/fdl.txt
-rw-r--r-- roberto/roberto    5311 2011-02-27 06:07 ppl-0.11.2/doc/devref.tex
-rw-r--r-- roberto/roberto  196786 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-c-interface-0.11.2-html.tar.gz
-rw-r--r-- roberto/roberto  474147 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-java-interface-0.11.2.ps.gz
-rw-r--r-- roberto/roberto 1101556 2011-02-27 06:12 ppl-0.11.2/doc/ppl-user-c-interface-0.11.2.pdf
-rw-r--r-- roberto/roberto     186 2011-02-27 06:07 ppl-0.11.2/doc/interfaces-html.sed
-rw-r--r-- roberto/roberto    7395 2011-02-27 06:07 ppl-0.11.2/doc/libppl.3
-rw-r--r-- roberto/roberto   35586 2011-02-27 06:07 ppl-0.11.2/doc/gpl.tex
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/demos/
-rw-r--r-- roberto/roberto    1320 2011-02-27 06:07 ppl-0.11.2/demos/Makefile.am
-rw-r--r-- roberto/roberto   22918 2011-02-27 06:08 ppl-0.11.2/demos/Makefile.in
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/demos/ppl_pips/
-rw-r--r-- roberto/roberto     941 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/expected_int8_a
-rw-r--r-- roberto/roberto     941 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/expected_mpz_a
-rw-r--r-- roberto/roberto    3511 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/Makefile.am
-rw-r--r-- roberto/roberto     941 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/expected_int16_a
-rw-r--r-- roberto/roberto     941 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/expected_int64_a
-rw-r--r-- roberto/roberto     941 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/expected_int64
-rw-r--r-- roberto/roberto   34650 2011-02-27 06:08 ppl-0.11.2/demos/ppl_pips/Makefile.in
-rw-r--r-- roberto/roberto     941 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/expected_int32
-rw-r--r-- roberto/roberto    4439 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/ppl_pips.1
-rw-r--r-- roberto/roberto     941 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/expected_mpz
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/demos/ppl_pips/examples/
-rw-r--r-- roberto/roberto     610 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/esced.pip
-rw-r--r-- roberto/roberto     585 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/test02.dat
-rw-r--r-- roberto/roberto      69 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/ex2.pip
-rw-r--r-- roberto/roberto     122 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/rairoi.dat
-rw-r--r-- roberto/roberto    1359 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/Makefile.am
-rw-r--r-- roberto/roberto     108 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/max.dat
-rw-r--r-- roberto/roberto     110 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/fimmel.pip
-rw-r--r-- roberto/roberto      68 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/big.pip
-rw-r--r-- roberto/roberto      69 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/max.pip
-rw-r--r-- roberto/roberto     186 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/invert.dat
-rw-r--r-- roberto/roberto   15872 2011-02-27 06:08 ppl-0.11.2/demos/ppl_pips/examples/Makefile.in
-rw-r--r-- roberto/roberto     107 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/maxb.dat
-rw-r--r-- roberto/roberto      69 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/square.pip
-rw-r--r-- roberto/roberto     131 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/petit.dat
-rw-r--r-- roberto/roberto     397 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/sor1d.pip
-rw-r--r-- roberto/roberto     500 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/test12i.dat
-rw-r--r-- roberto/roberto     243 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/README
-rw-r--r-- roberto/roberto     136 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/linear.dat
-rw-r--r-- roberto/roberto     275 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/loz.dat
-rw-r--r-- roberto/roberto      68 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/pairi.dat
-rw-r--r-- roberto/roberto     115 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/lineri.dat
-rw-r--r-- roberto/roberto     984 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/brisebarre.pip
-rw-r--r-- roberto/roberto     215 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/examples/cg1.pip
-rw-r--r-- roberto/roberto   23329 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/ppl_pips.cc
-rw-r--r-- roberto/roberto     941 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/expected_int16
-rw-r--r-- roberto/roberto     941 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/expected_int32_a
-rw-r--r-- roberto/roberto     941 2011-02-27 06:07 ppl-0.11.2/demos/ppl_pips/expected_int8
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/demos/ppl_lcdd/
-rw-r--r-- roberto/roberto    2146 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/ppl_lcdd.1
-rw-r--r-- roberto/roberto    4117 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/expected_int8_a
-rw-r--r-- roberto/roberto    4117 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/expected_mpz_a
-rw-r--r-- roberto/roberto    3447 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/Makefile.am
-rw-r--r-- roberto/roberto    4117 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/expected_int16_a
-rw-r--r-- roberto/roberto    4117 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/expected_int64_a
-rw-r--r-- roberto/roberto    4751 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/expected_int64
-rw-r--r-- roberto/roberto   35061 2011-02-27 06:08 ppl-0.11.2/demos/ppl_lcdd/Makefile.in
-rw-r--r-- roberto/roberto    4751 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/expected_int32
-rw-r--r-- roberto/roberto    4751 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/expected_mpz
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/demos/ppl_lcdd/examples/
-rw-r--r-- roberto/roberto     320 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cube6.ine
-rw-r--r-- roberto/roberto    2028 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/icododeca_m.ine
-rw-r--r-- roberto/roberto     114 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/sampleh3.ine
-rw-r--r-- roberto/roberto     102 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/sampleh2.ine
-rw-r--r-- roberto/roberto    3063 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cp7.ext
-rw-r--r-- roberto/roberto      92 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/redcheck.ext
-rw-r--r-- roberto/roberto     366 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/infeas.ine
-rw-r--r-- roberto/roberto     678 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/dcube12.ext
-rw-r--r-- roberto/roberto     232 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cross4.ine
-rw-r--r-- roberto/roberto     144 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/diamond.ine
-rw-r--r-- roberto/roberto     149 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/sample.ine
-rw-r--r-- roberto/roberto     438 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/tsp5.ext
-rw-r--r-- roberto/roberto     377 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cp4.ine
-rw-r--r-- roberto/roberto    1191 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/integralpoints.ine
-rw-r--r-- roberto/roberto    2906 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/trunc10.ine
-rw-r--r-- roberto/roberto    5954 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cross8.ine
-rw-r--r-- roberto/roberto    2769 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/metric80_16.ine
-rw-r--r-- roberto/roberto     148 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cube3.ine
-rw-r--r-- roberto/roberto      45 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/1d.ine
-rw-r--r-- roberto/roberto     235 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/in2.ine
-rw-r--r-- roberto/roberto     492 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/dcube10.ext
-rw-r--r-- roberto/roberto     603 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/irbox20-4.ext
-rw-r--r-- roberto/roberto     890 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/tsp5.ine
-rw-r--r-- roberto/roberto     994 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/mp5a.ine
-rw-r--r-- roberto/roberto     215 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/dcube6.ext
-rw-r--r-- roberto/roberto     745 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cube10.ine
-rw-r--r-- roberto/roberto     224 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/in3.ine
-rw-r--r-- roberto/roberto     146 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cubetop.ine
-rw-r--r-- roberto/roberto    1569 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cp6.ext
-rw-r--r-- roberto/roberto     193 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/sampleh5.ine
-rw-r--r-- roberto/roberto     239 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/project1res.ine
-rw-r--r-- roberto/roberto     129 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/in0.ine
-rw-r--r-- roberto/roberto    5105 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/irbox200-4.ext
-rw-r--r-- roberto/roberto     287 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/sampleh7.ine
-rw-r--r-- roberto/roberto     151 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cp4.ext
-rw-r--r-- roberto/roberto     484 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/reg24-5.ine
-rw-r--r-- roberto/roberto    2579 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/Makefile.am
-rw-r--r-- roberto/roberto     515 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/project1_m.ine
-rw-r--r-- roberto/roberto      49 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/1da.ine
-rw-r--r-- roberto/roberto    1413 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/mit31-20.ine
-rw-r--r-- roberto/roberto     121 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/allzero.ine
-rw-r--r-- roberto/roberto    1521 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/project2_m.ine
-rw-r--r-- roberto/roberto     122 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cyc.ine
-rw-r--r-- roberto/roberto     508 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/ccp5.ext
-rw-r--r-- roberto/roberto   18559 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/mit90-86.ine
-rw-r--r-- roberto/roberto     448 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cyclic12-6.ext
-rw-r--r-- roberto/roberto   76383 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/reg600-5_m.ext
-rw-r--r-- roberto/roberto    1432 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/mit41-16.ine
-rw-r--r-- roberto/roberto     433 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/rcubocta.ine
-rw-r--r-- roberto/roberto     680 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/dodeca_m.ine
-rw-r--r-- roberto/roberto    1246 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/ccp6.ext
-rw-r--r-- roberto/roberto     602 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/in6.ine
-rw-r--r-- roberto/roberto     207 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/samplev3.ext
-rw-r--r-- roberto/roberto     208 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/ex1.ine
-rw-r--r-- roberto/roberto   20004 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/mit.ine
-rw-r--r-- roberto/roberto     705 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/kkd18_4.ine
-rw-r--r-- roberto/roberto    1798 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cut32_16.ext
-rw-r--r-- roberto/roberto     689 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/hexocta.ine
-rw-r--r-- roberto/roberto     244 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/in4.ine
-rw-r--r-- roberto/roberto   17092 2011-02-27 06:08 ppl-0.11.2/demos/ppl_lcdd/examples/Makefile.in
-rw-r--r-- roberto/roberto    2425 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/kkd38_6.ine
-rw-r--r-- roberto/roberto  194512 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/mit288-281.ine
-rw-r--r-- roberto/roberto     496 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cut16_11.ext
-rw-r--r-- roberto/roberto     659 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/in1.ine
-rw-r--r-- roberto/roberto   28742 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cross10.ine
-rw-r--r-- roberto/roberto     259 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cubocta.ine
-rw-r--r-- roberto/roberto  135239 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cross12.ine
-rw-r--r-- roberto/roberto    2037 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/rhomtria_m.ine
-rw-r--r-- roberto/roberto     337 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/dcube8.ext
-rw-r--r-- roberto/roberto   19463 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/mit708-9.ine
-rw-r--r-- roberto/roberto    1074 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cyclic17_8.ine
-rw-r--r-- roberto/roberto    1025 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cube12.ine
-rw-r--r-- roberto/roberto    2734 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/mp6.ine
-rw-r--r-- roberto/roberto     815 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/kq20_11_m.ine
-rw-r--r-- roberto/roberto  176639 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/prodst62.ext
-rw-r--r-- roberto/roberto    1347 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/kkd27_5.ine
-rw-r--r-- roberto/roberto    1217 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cross6.ine
-rw-r--r-- roberto/roberto    1314 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/project2res.ine
-rw-r--r-- roberto/roberto      91 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/dcube3.ext
-rw-r--r-- roberto/roberto     141 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cube.ine
-rw-r--r-- roberto/roberto     798 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/in7.ine
-rw-r--r-- roberto/roberto     328 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/ccp4.ext
-rw-r--r-- roberto/roberto     732 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cyclic14-8.ext
-rw-r--r-- roberto/roberto     579 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/README
-rw-r--r-- roberto/roberto     439 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/ccc5.ext
-rw-r--r-- roberto/roberto    1149 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/trunc7.ine
-rw-r--r-- roberto/roberto     596 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cp5.ext
-rw-r--r-- roberto/roberto    1011 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/metric40_11.ine
-rw-r--r-- roberto/roberto     180 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/sampleh4.ine
-rw-r--r-- roberto/roberto    1011 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/mp5.ine
-rw-r--r-- roberto/roberto     270 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cyclic10-4.ext
-rw-r--r-- roberto/roberto     547 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/reg24-5.ext
-rw-r--r-- roberto/roberto    9604 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/mit71-61.ine
-rw-r--r-- roberto/roberto     187 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/nonfull.ine
-rw-r--r-- roberto/roberto     511 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cube8.ine
-rw-r--r-- roberto/roberto    3068 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cyclic25_13.ext
-rw-r--r-- roberto/roberto     149 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/sampleh6.ine
-rw-r--r-- roberto/roberto     100 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/samplev1.ext
-rw-r--r-- roberto/roberto     132 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/sampleh1.ine
-rw-r--r-- roberto/roberto     340 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/in5.ine
-rw-r--r-- roberto/roberto     318 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/origin.ine
-rw-r--r-- roberto/roberto   17735 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cp6.ine
-rw-r--r-- roberto/roberto     439 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/grcubocta.ine
-rw-r--r-- roberto/roberto     143 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cube.ext
-rw-r--r-- roberto/roberto     261 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/ccc4.ext
-rw-r--r-- roberto/roberto    1418 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/mp5.ext
-rw-r--r-- roberto/roberto    1913 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cp5.ine
-rw-r--r-- roberto/roberto    1165 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/ccc6.ext
-rw-r--r-- roberto/roberto     151 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/samplev2.ext
-rw-r--r-- roberto/roberto    1196 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/cyclic16-10.ext
-rw-r--r-- roberto/roberto    4357 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/examples/sampleh8.ine
-rw-r--r-- roberto/roberto    4751 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/expected_int16
-rw-r--r-- roberto/roberto   36055 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/ppl_lcdd.cc
-rw-r--r-- roberto/roberto    4117 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/expected_int32_a
-rw-r--r-- roberto/roberto    4751 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lcdd/expected_int8
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/demos/ppl_lpsol/
-rw-r--r-- roberto/roberto    6342 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/expected_int8_a
-rw-r--r-- roberto/roberto   60045 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/expected_mpz_a
-rw-r--r-- roberto/roberto    3171 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/ppl_lpsol.1
-rw-r--r-- roberto/roberto    9264 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/Makefile.am
-rw-r--r-- roberto/roberto    6508 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/expected_int16_a
-rw-r--r-- roberto/roberto    6645 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/expected_int64_a
-rw-r--r-- roberto/roberto   14429 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/expected_int64
-rw-r--r-- roberto/roberto   54473 2011-02-27 06:08 ppl-0.11.2/demos/ppl_lpsol/Makefile.in
-rw-r--r-- roberto/roberto   14465 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/expected_int32
-rw-r--r-- roberto/roberto     588 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/dummy.cc
-rw-r--r-- roberto/roberto   75252 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/expected_mpz
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/demos/ppl_lpsol/examples/
-rw-r--r-- roberto/roberto    5249 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/sc50a.mps
-rw-r--r-- roberto/roberto     619 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/sample.mps
-rw-r--r-- roberto/roberto   52625 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/modglob.mps
-rw-r--r-- roberto/roberto   31909 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/noswot.mps
-rw-r--r-- roberto/roberto    4656 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/sc50b.mps
-rw-r--r-- roberto/roberto   17256 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/egout.mps
-rw-r--r-- roberto/roberto     433 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/unboundedmin.mps
-rw-r--r-- roberto/roberto    1424 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/Makefile.am
-rw-r--r-- roberto/roberto     431 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/ex1.mps
-rw-r--r-- roberto/roberto    6555 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/p0033.mps
-rw-r--r-- roberto/roberto    3429 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/bgprtr.mps
-rw-r--r-- roberto/roberto   17486 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/lseu.mps
-rw-r--r-- roberto/roberto   78835 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/opt1217.mps
-rw-r--r-- roberto/roberto   48147 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/boeing2.mps
-rw-r--r-- roberto/roberto   15941 2011-02-27 06:08 ppl-0.11.2/demos/ppl_lpsol/examples/Makefile.in
-rw-r--r-- roberto/roberto  552079 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/ship08l.mps
-rw-r--r-- roberto/roberto   64163 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/mas74.mps
-rw-r--r-- roberto/roberto   17179 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/blend.mps
-rw-r--r-- roberto/roberto   10149 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/kb2.mps
-rw-r--r-- roberto/roberto     641 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/ex12.mps
-rw-r--r-- roberto/roberto   12546 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/markshare1.mps
-rw-r--r-- roberto/roberto   62523 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/mas76.mps
-rw-r--r-- roberto/roberto     291 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/README
-rw-r--r-- roberto/roberto   11164 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/sc105.mps
-rw-r--r-- roberto/roberto   17207 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/markshare2.mps
-rw-r--r-- roberto/roberto   94010 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/rout.mps
-rw-r--r-- roberto/roberto   31982 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/pk1.mps
-rw-r--r-- roberto/roberto  138507 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/boeing1.mps
-rw-r--r-- roberto/roberto     853 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/mip.mps
-rw-r--r-- roberto/roberto    3244 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/afiro.mps
-rw-r--r-- roberto/roberto   16500 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/examples/adlittle.mps
-rw-r--r-- roberto/roberto   14310 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/expected_int16
-rw-r--r-- roberto/roberto   41695 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/ppl_lpsol.c
-rw-r--r-- roberto/roberto    9541 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/glpk_set_d_eps.c
-rw-r--r-- roberto/roberto    6681 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/expected_int32_a
-rw-r--r-- roberto/roberto    7336 2011-02-27 06:07 ppl-0.11.2/demos/ppl_lpsol/expected_int8
-rw-r--r-- roberto/roberto   15578 2011-02-27 06:07 ppl-0.11.2/INSTALL
-rwxr-xr-x roberto/roberto   34927 2011-02-27 06:07 ppl-0.11.2/config.sub
-rw-r--r-- roberto/roberto   35147 2011-02-27 06:07 ppl-0.11.2/COPYING
-rw-r--r-- roberto/roberto   52050 2011-02-27 06:07 ppl-0.11.2/README
-rw-r--r-- roberto/roberto   72082 2011-02-27 06:07 ppl-0.11.2/NEWS
-rw-r--r-- roberto/roberto  438867 2011-02-27 06:07 ppl-0.11.2/ChangeLog
-rwxr-xr-x roberto/roberto    3538 2011-02-27 06:07 ppl-0.11.2/mkinstalldirs
-rw-r--r-- roberto/roberto   11987 2011-02-27 06:10 ppl-0.11.2/ppl-config.h.in
-rw-r--r-- roberto/roberto   19579 2011-02-27 06:07 ppl-0.11.2/CREDITS
-rwxr-xr-x roberto/roberto   11419 2011-02-27 06:07 ppl-0.11.2/missing
-rw-r--r-- roberto/roberto   26685 2011-02-27 06:07 ppl-0.11.2/STANDARDS
-rw-r--r-- roberto/roberto 3920132 2011-02-27 06:07 ppl-0.11.2/ChangeLog_2001-2008
-rw-r--r-- roberto/roberto    5914 2011-02-27 06:07 ppl-0.11.2/TODO
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/OCaml/
-rw-r--r-- roberto/roberto    2280 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_ml.m4
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/OCaml/tests/
-rw-r--r-- roberto/roberto   34503 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml_code.m4
-rw-r--r-- roberto/roberto    5543 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/tests/Makefile.am
-rw-r--r-- roberto/roberto   10030 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/tests/ppl_ocaml_tests_common
-rw-r--r-- roberto/roberto   25332 2011-02-27 06:08 ppl-0.11.2/interfaces/OCaml/tests/Makefile.in
-rw-r--r-- roberto/roberto    2385 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml.m4
-rw-r--r-- roberto/roberto   25994 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/tests/test1.ml
-rw-r--r-- roberto/roberto    2582 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_cc_files.m4
-rw-r--r-- roberto/roberto    9802 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/Makefile.am
-rw-r--r-- roberto/roberto    2466 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_procedure_generators.m4
-rw-r--r-- roberto/roberto    2714 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_ocaml_common.inlines.hh
-rw-r--r-- roberto/roberto    2069 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/README.ocaml
-rw-r--r-- roberto/roberto   46172 2011-02-27 06:08 ppl-0.11.2/interfaces/OCaml/Makefile.in
-rw-r--r-- roberto/roberto   13199 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_mli_code.m4
-rw-r--r-- roberto/roberto   13639 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_ocaml_globals.ml
-rw-r--r-- roberto/roberto    6141 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_ocaml_common.defs.hh
-rw-r--r-- roberto/roberto   17307 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_ml_code.m4
-rw-r--r-- roberto/roberto    9777 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_ocaml_globals.mli
-rw-r--r-- roberto/roberto    2124 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_hh_code.m4
-rw-r--r-- roberto/roberto    2276 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_mli.m4
-rw-r--r-- roberto/roberto   41923 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4
-rw-r--r-- roberto/roberto   54918 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_ocaml_common.cc
-rw-r--r-- roberto/roberto   50399 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/OCaml_interface.dox
-rw-r--r-- roberto/roberto    2568 2011-02-27 06:07 ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_hh_files.m4
-rw-r--r-- roberto/roberto   35144 2011-02-27 06:07 ppl-0.11.2/interfaces/ppl_interface_generator_common.m4
-rw-r--r-- roberto/roberto    4154 2011-02-27 06:07 ppl-0.11.2/interfaces/interfaced_boxes.hh
-rw-r--r-- roberto/roberto   40076 2011-02-27 06:07 ppl-0.11.2/interfaces/ppl_interface_generator_common_dat.m4
-rw-r--r-- roberto/roberto    6268 2011-02-27 06:07 ppl-0.11.2/interfaces/ppl_interface_generator_common_procedure_generators.m4
-rw-r--r-- roberto/roberto    2128 2011-02-27 06:07 ppl-0.11.2/interfaces/Makefile.am
-rw-r--r-- roberto/roberto   23998 2011-02-27 06:08 ppl-0.11.2/interfaces/Makefile.in
-rw-r--r-- roberto/roberto     965 2011-02-27 06:07 ppl-0.11.2/interfaces/ppl_interface_generator_copyright
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/C/
-rw-r--r-- roberto/roberto    6468 2011-02-27 06:07 ppl-0.11.2/interfaces/C/ppl_c_implementation_common.inlines.hh
-rw-r--r-- roberto/roberto  108515 2011-02-27 06:07 ppl-0.11.2/interfaces/C/ppl_c_header.h
-rw-r--r-- roberto/roberto    2744 2011-02-27 06:07 ppl-0.11.2/interfaces/C/ppl_interface_generator_c_cc_files.m4
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/C/tests/
-rw-r--r-- roberto/roberto    4474 2011-02-27 06:07 ppl-0.11.2/interfaces/C/tests/watchdog1.c
-rw-r--r-- roberto/roberto    2265 2011-02-27 06:07 ppl-0.11.2/interfaces/C/tests/ppl_c_test.cc
-rw-r--r-- roberto/roberto    3699 2011-02-27 06:07 ppl-0.11.2/interfaces/C/tests/Makefile.am
-rw-r--r-- roberto/roberto    1251 2011-02-27 06:07 ppl-0.11.2/interfaces/C/tests/ppl_c_test.h
-rw-r--r-- roberto/roberto   44604 2011-02-27 06:08 ppl-0.11.2/interfaces/C/tests/Makefile.in
-rw-r--r-- roberto/roberto    2060 2011-02-27 06:07 ppl-0.11.2/interfaces/C/tests/formatted_output.c
-rw-r--r-- roberto/roberto    2520 2011-02-27 06:07 ppl-0.11.2/interfaces/C/tests/print_to_buffer.h
-rw-r--r-- roberto/roberto    4335 2011-02-27 06:07 ppl-0.11.2/interfaces/C/tests/weightwatch1.c
-rw-r--r-- roberto/roberto    9218 2011-02-27 06:07 ppl-0.11.2/interfaces/C/tests/pip_test.c
-rw-r--r-- roberto/roberto    2209 2011-02-27 06:07 ppl-0.11.2/interfaces/C/tests/print_to_buffer.c
-rw-r--r-- roberto/roberto   58316 2011-02-27 06:07 ppl-0.11.2/interfaces/C/C_interface.dox
-rw-r--r-- roberto/roberto   34723 2011-02-27 06:07 ppl-0.11.2/interfaces/C/ppl_interface_generator_c_cc_code.m4
-rw-r--r-- roberto/roberto    2864 2011-02-27 06:07 ppl-0.11.2/interfaces/C/ppl_interface_generator_c_hh_files.m4
-rw-r--r-- roberto/roberto   10715 2011-02-27 06:07 ppl-0.11.2/interfaces/C/ppl_c_implementation_common.defs.hh
-rw-r--r-- roberto/roberto    8858 2011-02-27 06:07 ppl-0.11.2/interfaces/C/Makefile.am
-rw-r--r-- roberto/roberto   45650 2011-02-27 06:08 ppl-0.11.2/interfaces/C/Makefile.in
-rw-r--r-- roberto/roberto   21679 2011-02-27 06:07 ppl-0.11.2/interfaces/C/ppl_interface_generator_c_h_code.m4
-rw-r--r-- roberto/roberto    2526 2011-02-27 06:07 ppl-0.11.2/interfaces/C/ppl_interface_generator_c_h.m4
-rw-r--r-- roberto/roberto  433449 2011-02-27 06:10 ppl-0.11.2/interfaces/C/ppl_c.h.dist
-rw-r--r-- roberto/roberto   67751 2011-02-27 06:07 ppl-0.11.2/interfaces/C/ppl_c_implementation_common.cc
-rw-r--r-- roberto/roberto    2418 2011-02-27 06:07 ppl-0.11.2/interfaces/C/ppl_interface_generator_c_procedure_generators.m4
-rw-r--r-- roberto/roberto    2278 2011-02-27 06:07 ppl-0.11.2/interfaces/C/ppl_c_version.h.in
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/Java/
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/
-rw-r--r-- roberto/roberto    1449 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PPL_Object.java
-rw-r--r-- roberto/roberto    2508 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Variable.java
-rw-r--r-- roberto/roberto    1835 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Coefficient.java
-rw-r--r-- roberto/roberto    5472 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4
-rw-r--r-- roberto/roberto    1315 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Problem_Control_Parameter_Name.java
-rw-r--r-- roberto/roberto   20641 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4
-rw-r--r-- roberto/roberto    1622 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Problem_Control_Parameter_Value.java
-rw-r--r-- roberto/roberto    1433 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/MIP_Problem_Status.java
-rw-r--r-- roberto/roberto    2515 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Coefficient.java
-rw-r--r-- roberto/roberto    2111 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Difference.java
-rw-r--r-- roberto/roberto   12087 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java
-rw-r--r-- roberto/roberto    1413 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Relation_Symbol.java
-rw-r--r-- roberto/roberto    1325 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Optimization_Mode.java
-rw-r--r-- roberto/roberto    1769 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Constraint_System.java
-rw-r--r-- roberto/roberto   45655 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Fake_Class_for_Doxygen.java
-rw-r--r-- roberto/roberto    1416 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Decision_Node.java
-rw-r--r-- roberto/roberto    1314 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Invalid_Argument_Exception.java
-rw-r--r-- roberto/roberto    2633 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Partial_Function.java
-rw-r--r-- roberto/roberto    1464 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Representation.java
-rw-r--r-- roberto/roberto    1768 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Congruence_System.java
-rw-r--r-- roberto/roberto   11341 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Makefile.am
-rw-r--r-- roberto/roberto    3181 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Artificial_Parameter.java
-rw-r--r-- roberto/roberto    3073 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Poly_Con_Relation.java
-rw-r--r-- roberto/roberto    1795 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Unary_Minus.java
-rw-r--r-- roberto/roberto    2789 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Tree_Node.java
-rw-r--r-- roberto/roberto   11034 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/MIP_Problem.java
-rw-r--r-- roberto/roberto    1364 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Degenerate_Element.java
-rw-r--r-- roberto/roberto    1611 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Artificial_Parameter_Sequence.java
-rw-r--r-- roberto/roberto    1425 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Complexity_Class.java
-rw-r--r-- roberto/roberto    1337 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Variables_Set.java
-rw-r--r-- roberto/roberto   25923 2011-02-27 06:08 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Makefile.in
-rw-r--r-- roberto/roberto    3783 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Grid_Generator.java
-rw-r--r-- roberto/roberto    1285 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Timeout_Exception.java
-rw-r--r-- roberto/roberto    2839 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Congruence.java
-rw-r--r-- roberto/roberto    1450 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Logic_Error_Exception.java
-rw-r--r-- roberto/roberto    1310 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Length_Error_Exception.java
-rw-r--r-- roberto/roberto    1565 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java
-rw-r--r-- roberto/roberto    1597 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Pair.java
-rw-r--r-- roberto/roberto    1212 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Control_Parameter_Name.java
-rw-r--r-- roberto/roberto    2142 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Poly_Gen_Relation.java
-rw-r--r-- roberto/roberto    1437 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Control_Parameter_Value.java
-rw-r--r-- roberto/roberto    1805 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Generator_System.java
-rw-r--r-- roberto/roberto    1360 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Grid_Generator_Type.java
-rw-r--r-- roberto/roberto    2422 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Times.java
-rw-r--r-- roberto/roberto    1425 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Overflow_Error_Exception.java
-rw-r--r-- roberto/roberto    4763 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Generator.java
-rw-r--r-- roberto/roberto    1375 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Problem_Status.java
-rw-r--r-- roberto/roberto    1788 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java
-rw-r--r-- roberto/roberto    1394 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Generator_Type.java
-rw-r--r-- roberto/roberto    1806 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Grid_Generator_System.java
-rw-r--r-- roberto/roberto    2512 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Constraint.java
-rw-r--r-- roberto/roberto   11812 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Problem.java
-rw-r--r-- roberto/roberto    1297 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Domain_Error_Exception.java
-rw-r--r-- roberto/roberto    1720 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/IO.java
-rw-r--r-- roberto/roberto    1622 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/By_Reference.java
-rw-r--r-- roberto/roberto    1478 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Width.java
-rw-r--r-- roberto/roberto    2035 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Sum.java
-rw-r--r-- roberto/roberto    2771 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression.java
-rw-r--r-- roberto/roberto    1448 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Overflow.java
-rw-r--r-- roberto/roberto    2506 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/Java/tests/
-rw-r--r-- roberto/roberto   11280 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/tests/MIP_Problem_test1.java
-rw-r--r-- roberto/roberto    5067 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/tests/NNC_Polyhedron_test1.java
-rw-r--r-- roberto/roberto    3948 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/tests/C_Polyhedron_test1.java
-rw-r--r-- roberto/roberto    3611 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/tests/Makefile.am
-rw-r--r-- roberto/roberto    3652 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/tests/ppl_interface_generator_java_test_java.m4
-rw-r--r-- roberto/roberto    2838 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/tests/Parma_Polyhedra_Library_test1.java
-rw-r--r-- roberto/roberto    2288 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/tests/Test_Executor.java
-rw-r--r-- roberto/roberto   19235 2011-02-27 06:08 ppl-0.11.2/interfaces/Java/tests/Makefile.in
-rw-r--r-- roberto/roberto   19677 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/tests/PIP_Problem_test1.java
-rw-r--r-- roberto/roberto    7003 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/tests/ppl_java_tests_common
-rw-r--r-- roberto/roberto    2684 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/tests/PPL_Test.java
-rw-r--r-- roberto/roberto    5495 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/tests/Parma_Polyhedra_Library_test2.java
-rw-r--r-- roberto/roberto   26893 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4
-rw-r--r-- roberto/roberto    1752 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/Makefile.am
-rw-r--r-- roberto/roberto   25392 2011-02-27 06:08 ppl-0.11.2/interfaces/Java/Makefile.in
-rw-r--r-- roberto/roberto    1785 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/README.java
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/Java/jni/
-rw-r--r-- roberto/roberto    3595 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_files.m4
-rw-r--r-- roberto/roberto   49644 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4
-rw-r--r-- roberto/roberto    6872 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/jni/Makefile.am
-rw-r--r-- roberto/roberto   37455 2011-02-27 06:08 ppl-0.11.2/interfaces/Java/jni/Makefile.in
-rw-r--r-- roberto/roberto   26326 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/jni/ppl_java_common.defs.hh
-rw-r--r-- roberto/roberto    8299 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/jni/ppl_java_common.inlines.hh
-rw-r--r-- roberto/roberto   42943 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/jni/ppl_java_common.cc
-rw-r--r-- roberto/roberto   75453 2011-02-27 06:07 ppl-0.11.2/interfaces/Java/jni/ppl_java_globals.cc
-rw-r--r-- roberto/roberto    2075 2011-02-27 06:07 ppl-0.11.2/interfaces/marked_pointers.hh
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/Prolog/
-rw-r--r-- roberto/roberto   11169 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/ppl_prolog_sysdep_dox
-rw-r--r-- roberto/roberto    2280 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/Prolog/tests/
-rw-r--r-- roberto/roberto   28727 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/clpq.pl
-rw-r--r-- roberto/roberto     352 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/tak.clpq
-rw-r--r-- roberto/roberto       3 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_mpz_a
-rw-r--r-- roberto/roberto     764 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int64
-rw-r--r-- roberto/roberto       3 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int32
-rw-r--r-- roberto/roberto       3 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int16_a
-rw-r--r-- roberto/roberto       3 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_mpz
-rw-r--r-- roberto/roberto    1985 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int32
-rw-r--r-- roberto/roberto     210 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int8
-rw-r--r-- roberto/roberto      91 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/sumto.clpq
-rw-r--r-- roberto/roberto    2051 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int8_a
-rw-r--r-- roberto/roberto     108 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/mc91.clpq
-rw-r--r-- roberto/roberto    2051 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int8
-rw-r--r-- roberto/roberto    3459 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/Makefile.am
-rw-r--r-- roberto/roberto     764 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int64_a
-rw-r--r-- roberto/roberto     764 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_mpz
-rw-r--r-- roberto/roberto     797 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int16
-rw-r--r-- roberto/roberto     384 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/script_clpq2
-rw-r--r-- roberto/roberto     191 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/ackn.clpq
-rw-r--r-- roberto/roberto  126796 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/pl_check.pl
-rw-r--r-- roberto/roberto   36498 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/clpq2.pl
-rw-r--r-- roberto/roberto       3 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int16
-rw-r--r-- roberto/roberto     134 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/ack.clpq
-rw-r--r-- roberto/roberto     134 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/fib.clpq
-rw-r--r-- roberto/roberto     764 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int32_a
-rw-r--r-- roberto/roberto    1973 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int16
-rw-r--r-- roberto/roberto       3 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int64_a
-rw-r--r-- roberto/roberto    1985 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int64
-rw-r--r-- roberto/roberto     805 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int8_a
-rw-r--r-- roberto/roberto   14774 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl.m4
-rw-r--r-- roberto/roberto     727 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/smm.clpq
-rw-r--r-- roberto/roberto    1985 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_mpz
-rw-r--r-- roberto/roberto   18016 2011-02-27 06:08 ppl-0.11.2/interfaces/Prolog/tests/Makefile.in
-rw-r--r-- roberto/roberto     805 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int8
-rw-r--r-- roberto/roberto    1985 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_mpz_a
-rw-r--r-- roberto/roberto    2027 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int16_a
-rw-r--r-- roberto/roberto     210 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int8_a
-rw-r--r-- roberto/roberto     558 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/schedule.clpq
-rw-r--r-- roberto/roberto       3 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_pgt
-rw-r--r-- roberto/roberto     764 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int32
-rw-r--r-- roberto/roberto    1972 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int32_a
-rw-r--r-- roberto/roberto     244 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/script_clpq
-rw-r--r-- roberto/roberto    1985 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int64_a
-rw-r--r-- roberto/roberto   59784 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4
-rw-r--r-- roberto/roberto     797 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int16_a
-rw-r--r-- roberto/roberto     764 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_mpz_a
-rw-r--r-- roberto/roberto       3 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int32_a
-rw-r--r-- roberto/roberto       3 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int64
-rw-r--r-- roberto/roberto     380 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/script_clpq2_int8
-rw-r--r-- roberto/roberto   23268 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/tests/ppl_prolog_generated_test_common.pl
-rw-r--r-- roberto/roberto    5085 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4
-rw-r--r-- roberto/roberto   95657 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/ppl_prolog_common.cc
-rw-r--r-- roberto/roberto    4814 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/Makefile.am
-rw-r--r-- roberto/roberto   15065 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4
-rw-r--r-- roberto/roberto   23055 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/ppl_prolog_sysindep_dox
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/Prolog/SWI/
-rw-r--r-- roberto/roberto    2184 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SWI/swi_efli.cc
-rw-r--r-- roberto/roberto    1423 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SWI/pl_clpq.pl
-rw-r--r-- roberto/roberto    1461 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SWI/ppl_pl.cc
-rw-r--r-- roberto/roberto    1443 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SWI/swi_prolog_generated_test.pl
-rw-r--r-- roberto/roberto    1290 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SWI/swi_pl_check.pl
-rw-r--r-- roberto/roberto   12161 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SWI/Makefile.am
-rw-r--r-- roberto/roberto    9232 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SWI/swi_cfli.hh
-rw-r--r-- roberto/roberto    1048 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SWI/ppl_swiprolog.pl
-rw-r--r-- roberto/roberto    2492 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SWI/swi_efli.hh
-rw-r--r-- roberto/roberto    1125 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SWI/ppl_prolog_sysdep.hh
-rw-r--r-- roberto/roberto  154062 2011-02-27 06:08 ppl-0.11.2/interfaces/Prolog/SWI/Makefile.in
-rw-r--r-- roberto/roberto    1468 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SWI/README.swiprolog
-rw-r--r-- roberto/roberto    2168 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SWI/ppl_interface_generator_swiprolog_cc.m4
-rw-r--r-- roberto/roberto    1616 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SWI/pl_clpq.cc
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/Prolog/GNU/
-rw-r--r-- roberto/roberto    1135 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/GNU/gp_clpq.pl
-rw-r--r-- roberto/roberto   11227 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/GNU/Makefile.am
-rw-r--r-- roberto/roberto    2154 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/GNU/README.gprolog
-rw-r--r-- roberto/roberto    1129 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/GNU/ppl_prolog_sysdep.hh
-rw-r--r-- roberto/roberto    1554 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/GNU/ppl_interface_generator_gprolog_pl.m4
-rw-r--r-- roberto/roberto  152149 2011-02-27 06:08 ppl-0.11.2/interfaces/Prolog/GNU/Makefile.in
-rw-r--r-- roberto/roberto    2124 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/GNU/gprolog_efli.cc
-rw-r--r-- roberto/roberto    2345 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/GNU/gprolog_efli.hh
-rw-r--r-- roberto/roberto    1271 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/GNU/gnu_prolog_generated_test.pl
-rw-r--r-- roberto/roberto   11608 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/GNU/gprolog_cfli.hh
-rw-r--r-- roberto/roberto    1272 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/GNU/gnu_pl_check.pl
-rw-r--r-- roberto/roberto   88031 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/Prolog_interface.dox
-rw-r--r-- roberto/roberto   26613 2011-02-27 06:08 ppl-0.11.2/interfaces/Prolog/Makefile.in
-rw-r--r-- roberto/roberto   49656 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4
-rw-r--r-- roberto/roberto    2846 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/ppl_prolog_common.inlines.hh
-rw-r--r-- roberto/roberto    2648 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_hh_files.m4
-rw-r--r-- roberto/roberto    3026 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_systems.m4
-rw-r--r-- roberto/roberto   29519 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/ppl_prolog_common.defs.hh
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/Prolog/XSB/
-rw-r--r-- roberto/roberto    2320 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/XSB/xsb_efli.hh
-rw-r--r-- roberto/roberto    1627 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/XSB/ppl_interface_generator_xsb_H.m4
-rw-r--r-- roberto/roberto    1820 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/XSB/xsb_clpq.P
-rw-r--r-- roberto/roberto    2594 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/XSB/ppl_interface_generator_xsb_prolog_generated_test_P.m4
-rw-r--r-- roberto/roberto   11437 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/XSB/Makefile.am
-rw-r--r-- roberto/roberto    1140 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/XSB/ppl_prolog_sysdep.hh
-rw-r--r-- roberto/roberto  149098 2011-02-27 06:08 ppl-0.11.2/interfaces/Prolog/XSB/Makefile.in
-rw-r--r-- roberto/roberto    2143 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/XSB/xsb_efli.cc
-rw-r--r-- roberto/roberto    7870 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/XSB/xsb_pl_check.P
-rw-r--r-- roberto/roberto    1864 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/XSB/xsb_clpq2.P
-rw-r--r-- roberto/roberto    9144 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/XSB/xsb_cfli.hh
-rw-r--r-- roberto/roberto    4298 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/XSB/ppl_interface_generator_xsb_cc.m4
-rw-r--r-- roberto/roberto    1424 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/XSB/ppl_interface_generator_xsb_hh.m4
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/Prolog/SICStus/
-rw-r--r-- roberto/roberto    1479 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SICStus/sp_clpq.pl
-rw-r--r-- roberto/roberto    2655 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SICStus/sicstus_efli.cc
-rw-r--r-- roberto/roberto    1533 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SICStus/sp_pl_check.pl
-rw-r--r-- roberto/roberto    2519 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SICStus/sicstus_efli.hh
-rw-r--r-- roberto/roberto   12258 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SICStus/Makefile.am
-rw-r--r-- roberto/roberto    1121 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SICStus/sicstus_cfli.cc
-rw-r--r-- roberto/roberto    4102 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SICStus/sicstus_cfli.h
-rw-r--r-- roberto/roberto    1137 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh
-rw-r--r-- roberto/roberto    8048 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SICStus/sicstus_cfli.ic
-rw-r--r-- roberto/roberto  152628 2011-02-27 06:08 ppl-0.11.2/interfaces/Prolog/SICStus/Makefile.in
-rw-r--r-- roberto/roberto    8523 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SICStus/ppl_interface_generator_sicstus_sd_cc.m4
-rw-r--r-- roberto/roberto    1136 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SICStus/ppl_sicstus.pl
-rw-r--r-- roberto/roberto    1549 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/SICStus/sp_prolog_generated_test.pl
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/Prolog/YAP/
-rw-r--r-- roberto/roberto    2351 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/YAP/yap_efli.hh
-rw-r--r-- roberto/roberto    1192 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/YAP/yap_clpq.pl
-rw-r--r-- roberto/roberto    1204 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/YAP/yap_pl_check.pl
-rw-r--r-- roberto/roberto   10126 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/YAP/Makefile.am
-rw-r--r-- roberto/roberto     641 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/YAP/README.yap
-rw-r--r-- roberto/roberto    4739 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/YAP/ppl_interface_generator_yap_cc.m4
-rw-r--r-- roberto/roberto    1197 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/YAP/yap_clpq2.pl
-rw-r--r-- roberto/roberto    1118 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/YAP/ppl_prolog_sysdep.hh
-rw-r--r-- roberto/roberto  152588 2011-02-27 06:08 ppl-0.11.2/interfaces/Prolog/YAP/Makefile.in
-rw-r--r-- roberto/roberto    2355 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/YAP/yap_efli.cc
-rw-r--r-- roberto/roberto    1047 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/YAP/ppl_yap.pl
-rw-r--r-- roberto/roberto    1270 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/YAP/yap_prolog_generated_test.pl
-rw-r--r-- roberto/roberto    8717 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/YAP/yap_cfli.hh
drwxr-xr-x roberto/roberto       0 2011-02-27 06:10 ppl-0.11.2/interfaces/Prolog/Ciao/
-rw-r--r-- roberto/roberto    2054 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_prolog_generated_test_pl.m4
-rw-r--r-- roberto/roberto   11653 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/Ciao/Makefile.am
-rw-r--r-- roberto/roberto     256 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/Ciao/README.ciao
-rw-r--r-- roberto/roberto    2832 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4
-rw-r--r-- roberto/roberto    1942 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/Ciao/ciao_clpq2.pl
-rw-r--r-- roberto/roberto    1128 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/Ciao/ppl_prolog_sysdep.hh
-rw-r--r-- roberto/roberto  154801 2011-02-27 06:08 ppl-0.11.2/interfaces/Prolog/Ciao/Makefile.in
-rw-r--r-- roberto/roberto    1920 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/Ciao/ciao_clpq.pl
-rw-r--r-- roberto/roberto    2550 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/Ciao/ciao_efli.cc
-rw-r--r-- roberto/roberto    8360 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/Ciao/ciao_cfli.hh
-rw-r--r-- roberto/roberto    2500 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/Ciao/ciao_efli.hh
-rw-r--r-- roberto/roberto    6596 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/Ciao/ciao_pl_check.pl
-rw-r--r-- roberto/roberto   67443 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4
-rw-r--r-- roberto/roberto   18758 2011-02-27 06:07 ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_hh_code.m4
