June 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Octagon relatwithcons2.cc
by Barbara Quartieri 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-21 11:57:45 Modified files: tests/Octagon : relatwithcons2.cc Log message: Added some new tests on Octagonal_Shape<T>::relation_with(const Constraint& c). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relatwithcons2.…

1 0

ppl/tests/Octagon octhull1.cc
by Barbara Quartieri 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-21 11:56:48 Modified files: tests/Octagon : octhull1.cc Log message: Added some new tests on Octagonal_Shape<T>::oct_hull_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octhull1.cc.dif…

1 0

ppl/tests/Octagon octdifference1.cc
by Barbara Quartieri 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-21 11:55:23 Modified files: tests/Octagon : octdifference1.cc Log message: Added some new tests on Octagonal_Shape<T>::oct_difference_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octdifference1.…

1 0

ppl/tests/Octagon limitedcc76extrapolation1.cc
by Barbara Quartieri 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-21 11:54:29 Modified files: tests/Octagon : limitedcc76extrapolation1.cc Log message: Added some new tests on Octagonal_Shape<T>::limited_CC76_extrapolation_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extr…

1 0

ppl/tests/Octagon intersection1.cc
by Barbara Quartieri 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-21 11:53:12 Modified files: tests/Octagon : intersection1.cc Log message: Added some new tests on Octagonal_Shape<T>::intersection_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection1.c…

1 0

ppl/tests/Octagon frompolyhedron1.cc
by Barbara Quartieri 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-21 11:52:00 Modified files: tests/Octagon : frompolyhedron1.cc Log message: Added some new tests on Octagonal_Shape<T>::Octagonal_Shape(const Polyhedron& ph, const Complexity_Class complexity). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/frompolyhedron1…

1 0

ppl/tests/Octagon fromgensys1.cc
by Barbara Quartieri 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-21 11:50:57 Modified files: tests/Octagon : fromgensys1.cc Log message: Added some new tests on Octagonal_Shape<T>::Octagonal_Shape(const Generator_System& gs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/fromgensys1.cc.…

1 0

ppl/tests/Octagon cc76extrapolation1.cc
by Barbara Quartieri 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-21 11:49:10 Modified files: tests/Octagon : cc76extrapolation1.cc Log message: Added some new tests on Octagonal_Shape<T>::CC76_extrapolation_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76extrapolati…

1 0

ppl/tests/Octagon bhmz05widening1.cc
by Barbara Quartieri 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-21 11:47:28 Modified files: tests/Octagon : bhmz05widening1.cc Log message: Added some new tests on Octagonal_Shape<T>::BHMZ05_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/bhmz05widening1…

1 0

ppl/tests/Octagon ascii_dump_load1.cc
by Barbara Quartieri 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-21 11:46:24 Modified files: tests/Octagon : ascii_dump_load1.cc Log message: Added some new tests on Octagonal_Shape<T>::ascii_dump() and Octagonal_Shape<T>::ascii_load(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ascii_dump_load…

1 0