PPL-devel

Thread Start a new thread

Download

ppl-devel@bugseng.com

February 2002

6 participants
140 discussions

ppl/tests bug1.cc
by Roberto Bagnara 06 Feb '02

06 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto(a)cs.unipr.it 2002-02-06 08:03:41 Modified files: tests : bug1.cc Log message: Assert that the input polyhedra are OK. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug1.cc.diff?cvsroot=pp…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 06 Feb '02

06 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-06 07:48:37 Modified files: src : Polyhedron.cc Log message: Error messages improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am bug1.cc bug1.dat
by Roberto Bagnara 05 Feb '02

05 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto(a)cs.unipr.it 2002-02-05 22:21:22 Modified files: tests : Makefile.am Added files: tests : bug1.cc bug1.dat Log message: bug1 shows a problem with Polyhedron::convex_hull_assign_and_minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug1.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug1.dat.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 05 Feb '02

05 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto(a)cs.unipr.it 2002-02-05 22:19:50 Modified files: src : Polyhedron.cc Log message: The input operator now handles the `positive' flag. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl src/Matrix.cc src/Matrix.defs.hh src/Polyh ...
by Elisa Ricci 05 Feb '02

05 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci(a)cs.unipr.it 2002-02-05 16:02:12 Modified files: src : Matrix.cc Matrix.defs.hh Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Row.cc Row.defs.hh conversion.cc minimize.cc simplify.cc tests : Makefile.am addconstraints1.cc addconstraints2.cc addconstraints3.cc addgenerators1.cc addgenerators2.cc affinetrans.cc append1.cc append2.cc empty1.cc error2.cc error3.cc error4.cc error5.cc inters1.cc inters2.cc onepoint.cc permute.cc randchull1.cc removedim1.cc removedim2.cc removedim3.cc smm1.cc Added files: tests : error6.cc Log message: Considered the case of a positive poited cone (i.e. a polyhedron composed by points that satisfies the constraints of positivity of all variables). Added a test that shows that we can not add or insert a line in a positive pointed cone. All the tests use positive pointed cones. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&o… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error6.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints2.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints3.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators1.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators2.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinetrans.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append1.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append2.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/empty1.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error2.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error4.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error5.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters1.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters2.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/onepoint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randchull1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim2.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim3.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/smm1.cc.diff?cvsroot=pp…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 04 Feb '02

04 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-04 22:48:57 Modified files: src : Polyhedron.cc Log message: More concise usage of stringstreams. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl config.guess config.sub
by Roberto Bagnara 03 Feb '02

03 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-03 07:56:28 Modified files: . : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh Polyh ...
by Roberto Bagnara 01 Feb '02

01 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto(a)cs.unipr.it 2002-02-01 15:08:28 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Row.cc Row.defs.hh conversion.cc minimize.cc simplify.cc Log message: The work on positive polyhedra is being moved onto the `positive' branch. Phase 1: latest changes reapplied on the branch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&o… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh Polyh ...
by Roberto Bagnara 01 Feb '02

01 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-01 15:02:50 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Row.cc Row.defs.hh conversion.cc minimize.cc simplify.cc Log message: The work on positive polyhedra is being moved onto the `positive' branch. Phase 1: latest changes undone. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 01 Feb '02

01 Feb '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-02-01 14:39:31 Modified files: htdocs/Links : Links.raw Log message: Missing tag added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

Jump to page: