April 2002 - PPL-devel - BUGSENG Mailman

ppl src/Makefile.am src/NNC_Polyhedron.cc src/ ...
by Enea Zaffanella 03 Apr '02

03 Apr '02

1 0

ppl/src C_Polyhedron.cc C_Polyhedron.defs.hh C ...
by Enea Zaffanella 03 Apr '02

03 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-03 10:48:57 Added files: src : C_Polyhedron.cc C_Polyhedron.defs.hh C_Polyhedron.inlines.hh C_Polyhedron.types.hh Log message: Added wrapper class C_Polyhedron to implement necessarily closed polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.types.hh.dif…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 03 Apr '02

03 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-03 08:26:29 Modified files: interfaces/C/lpenum: lpenum.c Log message: Just played with the code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl src/PolyBase.cc tests/addconstraints6.cc
by Enea Zaffanella 02 Apr '02

02 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-02 19:25:06 Modified files: src : PolyBase.cc tests : addconstraints6.cc Log message: Corrected stupid bugs related to a misinterpretation of the value returned by minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints6.cc.diff…

1 0

Overhead of the generalization
by Roberto Bagnara 02 Apr '02

02 Apr '02

Here is how much time China took for analyzing the entire benchmark suite with our domain of closed polyhedra, in random days during the development of the generalization that allows us to deal with NNC polyhedra: Mar 15 2439.11 Mar 16 2427.51 Mar 17 2448.84 Mar 18 2459.51 Mar 19 2414.16 Mar 22 2428.86 Mar 23 2468.88 Apr 01 2538.46 The merge took place in the night between Marh 26 and 27. It looks like the overhead is greater than 4%. This is not very bad, but I expected it to be under 1%. A figure of >4% almost certainly means that we are paying a lot at the Row level. I hope we can improve the implementation so as to recover what we have lost. Ciao Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 1

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 02 Apr '02

02 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-02 18:10:01 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: All the *_and_minimize functions return a positive integer if the reulting polyhedron is non-empty; they return 0 if it is empty (and, as usual, return a negative number if an error occurred). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl TODO
by Enea Zaffanella 02 Apr '02

02 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-02 17:41:44 Modified files: . : TODO Log message: Dealt with the first item (the *_and_minimize one). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.20…

1 0

ppl/src PolyBase.cc PolyBase.defs.hh
by Enea Zaffanella 02 Apr '02

02 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-02 17:40:25 Modified files: src : PolyBase.cc PolyBase.defs.hh Log message: All the public methods of PolyBase whose name ends in "_and_minimize" now return a boolean value (which is `false' iff the resulting polyhedron is empty). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvs…

1 0

ppl/tests Makefile.am removedim7.cc universe6.cc
by Elisa Ricci 02 Apr '02

02 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-04-02 16:48:16 Modified files: tests : Makefile.am Added files: tests : removedim7.cc universe6.cc Log message: Added a test for the functions remove_higher_dimensions() and remove_dimensions() and one for the function check_universe for NNC_Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim7.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe6.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests exceptions1.cc
by Elisa Ricci 02 Apr '02

02 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-04-02 16:43:56 Modified files: tests : exceptions1.cc Log message: Added a test to show when an exception is thrown in the function convex_difference_assign(ph). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs…

1 0