summaryrefslogtreecommitdiff
path: root/tests/BD_Shape
ModeNameSize
-rw-r--r--Makefile.am7166logplain
-rw-r--r--Makefile.in73139logplain
-rw-r--r--addconstraints1.cc4023logplain
-rw-r--r--addspacedims1.cc7268logplain
-rw-r--r--affinedimension1.cc5777logplain
-rw-r--r--affineimage1.cc9585logplain
-rw-r--r--affineimage2.cc8156logplain
-rw-r--r--affinepreimage1.cc9601logplain
-rw-r--r--ascii_dump_load1.cc4491logplain
-rw-r--r--bgp99extrapolation1.cc2611logplain
-rw-r--r--bhmz05widening1.cc7841logplain
-rw-r--r--bhz03widening1.cc2113logplain
-rw-r--r--bounded1.cc2160logplain
-rw-r--r--boundedaffineimage1.cc10976logplain
-rw-r--r--boundedaffinepreimage1.cc8444logplain
-rw-r--r--bounds1.cc5527logplain
-rw-r--r--cc76extrapolation1.cc11904logplain
-rw-r--r--cc76narrowing1.cc5162logplain
-rw-r--r--closure1.cc15349logplain
-rw-r--r--concatenate1.cc4812logplain
-rw-r--r--congruences1.cc4594logplain
-rw-r--r--constrains1.cc4415logplain
-rw-r--r--constraints1.cc4337logplain
-rw-r--r--contains1.cc3923logplain
-rw-r--r--containsintegerpoint1.cc3170logplain
-rw-r--r--difference1.cc6444logplain
-rw-r--r--discrete1.cc3800logplain
-rw-r--r--disjoint1.cc3955logplain
-rw-r--r--dropsomenonintegerpoints1.cc8100logplain
-rw-r--r--empty1.cc4872logplain
-rw-r--r--equality1.cc2912logplain
-rw-r--r--expandspacedim1.cc5326logplain
-rw-r--r--foldspacedims1.cc7177logplain
-rw-r--r--frequency1.cc7097logplain
-rw-r--r--frombdshape1.cc3012logplain
-rw-r--r--frombox1.cc6988logplain
-rw-r--r--fromgensys1.cc3684logplain
-rw-r--r--fromgrid1.cc4736logplain
-rw-r--r--fromoctagonalshape1.cc2004logplain
-rw-r--r--frompolyhedron1.cc1914logplain
-rw-r--r--fromspacedim1.cc2709logplain
-rw-r--r--generalizedaffineimage1.cc13476logplain
-rw-r--r--generalizedaffineimage2.cc11703logplain
-rw-r--r--generalizedaffinepreimage1.cc11855logplain
-rw-r--r--generalizedaffinepreimage2.cc13434logplain
-rw-r--r--generalizedaffinepreimage3.cc4164logplain
-rw-r--r--geomcovers1.cc1859logplain
-rw-r--r--h79widening1.cc1769logplain
-rw-r--r--integerupperboundifexact1.cc9345logplain
-rw-r--r--intersection1.cc8055logplain
-rw-r--r--limitedbhmz05extrapolation1.cc11680logplain
-rw-r--r--limitedcc76extrapolation1.cc11850logplain
-rw-r--r--limitedh79extrapolation1.cc1821logplain
-rw-r--r--mapspacedims1.cc6326logplain
-rw-r--r--max_min1.cc15990logplain
-rw-r--r--max_min2.cc9947logplain
-rw-r--r--maxspacedim1.cc2978logplain
-rw-r--r--membytes1.cc7916logplain
-rw-r--r--minconstraints1.cc2575logplain
-rw-r--r--relations1.cc10826logplain
-rw-r--r--relations2.cc10246logplain
-rw-r--r--relations3.cc10514logplain
-rw-r--r--relations4.cc9395logplain
-rw-r--r--removespacedims1.cc8837logplain
-rwxr-xr-xrun_tests1785logplain
-rw-r--r--simplifyusingcontext1.cc7080logplain
-rw-r--r--timeelapse1.cc5463logplain
-rw-r--r--unconstrain1.cc5388logplain
-rw-r--r--universe1.cc2067logplain
-rw-r--r--upperbound1.cc6504logplain
-rw-r--r--upperboundifexact1.cc8482logplain
-rw-r--r--wrap1.cc3594logplain
-rw-r--r--writebdshape1.cc2734logplain