April 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Octagon frompolyhedron1.cc
by Enea Zaffanella 30 Apr '06

30 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-30 10:54:06 Modified files: tests/Octagon : frompolyhedron1.cc Log message: Minor modification in the checking of result: preparing for testing with approximated coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/frompolyhedron1…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 30 Apr '06

30 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-30 09:03:23 Modified files: src : Polyhedron.defs.hh Log message: Added missing include directive for friend declaration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/tests/BD_Shape Makefile.am frompolyhedron1.cc
by Enea Zaffanella 30 Apr '06

30 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-04-30 09:02:17 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : frompolyhedron1.cc Log message: Added a test on the conversion from C_Polyhedron to BD_Shape exploiting the simplex algorithm. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frompolyhedron… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-04-29 22:24:40 Modified files: src : BD_Shape.templates.hh Log message: Corrected the constructor taking a polyhedron an SIMPLEX_COMPLEXITY. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/Octagon Makefile.am frompolyhedron1.cc
by Enea Zaffanella 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-29 22:21:02 Modified files: tests/Octagon : Makefile.am Added files: tests/Octagon : frompolyhedron1.cc Log message: Added a test for the constructor taking a polyhedron and using the conversion and the simplex to extract octagonal bounds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/frompolyhedron1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif…

1 0

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-29 22:18:49 Modified files: src : Octagonal_Shape.templates.hh Log message: Implemented the constructor building an OS from a Polyhedron. Removed redundant template parameter in the argument of concatenate_assign(). Small correction in the output of method OK(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Octagonal_Shape.defs.hh
by Enea Zaffanella 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-29 22:16:16 Modified files: src : Octagonal_Shape.defs.hh Log message: Corrected some comments (in particular, references to Doxygen documentation). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-29 22:15:10 Modified files: src : Polyhedron.defs.hh Log message: Octagonal_Shape is a friend of Polyhedron (needed for conversion). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src OR_Matrix.inlines.hh
by Enea Zaffanella 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-29 22:14:16 Modified files: src : OR_Matrix.inlines.hh Log message: Removed redundant template parameter in the argument of operator-: it was confusing Doxygen. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.inlines.hh.diff…

1 0

ppl/src OR_Matrix.defs.hh
by Enea Zaffanella 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-29 22:13:30 Modified files: src : OR_Matrix.defs.hh Log message: Removed trailing whitespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.defs.hh.diff?cv…

1 0