- PPL-devel - BUGSENG Mailman

ppl/src Integer.defs.hh Integer.inlines.hh Pol ...
by Elisa Ricci 25 Sep '02

25 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-25 10:12:26 Modified files: src : Integer.defs.hh Integer.inlines.hh Polyhedron.cc Log message: Added the functions void sqrt_assign(Integer& x) and void sqrt_assign(Integer& x, const Integer& y) in Integer to compute he truncated integer part of the root of an Integer. Used the function sqrt_assign(Integer&) in the first technique of BBRZ02_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Integer.defs.hh Integer.inlines.hh Pol ...
by Elisa Ricci 24 Sep '02

24 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-24 19:05:50 Modified files: src : Integer.defs.hh Integer.inlines.hh Polyhedron.cc Log message: Added the functions lcm_assign(Integer& x, const Integer& y) and lcm_assign(Integer& x, const Integer& y, const Integer& z) in Integer. Modified the function Polyhedron::BBRZ02_widening_assing() so that in the first technique we choose the constraints to add in the right system and we normalize the vectors using a bad approximation of the norm; corrected also an error in the third technique in the case of rays with negative coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

w3ppl/htdocs/Documentation bibliography.raw
by Roberto Bagnara 24 Sep '02

24 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-09-24 18:15:57 Modified files: htdocs/Documentation: bibliography.raw Log message: Regenerated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio…

1 0

w3ppl/htdocs/Documentation Documentation.raw
by Roberto Bagnara 24 Sep '02

24 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-09-24 18:15:50 Modified files: htdocs/Documentation: Documentation.raw Log message: New presentations added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

w3ppl/htdocs/Documentation PPL_Seminar_Iremia_ ...
by Roberto Bagnara 24 Sep '02

24 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-09-24 17:32:14 Modified files: htdocs/Documentation: PPL_Seminar_Iremia_2002.pdf PPL_Seminar_Iremia_2002.ps.gz Added files: htdocs/Documentation: PPL_Talk_ITCLS_2002.pdf PPL_Talk_ITCLS_2002.ps.gz PPL_Talk_SAS_2002.pdf PPL_Talk_SAS_2002.ps.gz Log message: New PPL presentations added. Consistenly regenerated the PDF and PostScript for Iremia seminar. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Ta… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Ta… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Ta… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Ta… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se…

1 0

ppl ./NEWS src/GenSys.cc src/Polyhedron.cc
by Enea Zaffanella 24 Sep '02

24 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: zaffanella(a)cs.unipr.it 2002-09-24 15:36:01 Modified files: . : NEWS src : GenSys.cc Polyhedron.cc Log message: Reported to the ppl-0_4-branch the corrections to a couple of bugs affecting methods GenSys::insert(const Generator& ) and Polyhedron::add_generator(const Generator& ). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_wi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl src/ConSys.cc tests/Makefile.am tests/rela ...
by Enea Zaffanella 24 Sep '02

24 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: zaffanella(a)cs.unipr.it 2002-09-24 10:34:42 Modified files: src : ConSys.cc tests : Makefile.am Added files: tests : relations14.cc Log message: Added the test showing a bug when invoking method Polyhedron::relation_with(const Generator& ). Implemented the correction in method ConSys::satisfies_all_constraints(const Generator& ). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations14.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests Makefile.am relations11.cc relations ...
by Elisa Ricci 23 Sep '02

23 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-23 17:15:58 Modified files: tests : Makefile.am relations11.cc Added files: tests : relations15.cc relations16.cc Log message: Added two tests for the methods of the class GenSys and corrected an error in the comment of the test relations11.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations15.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations16.cc.diff?cvs… 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/relations11.cc.diff?cvs…

1 0

ppl ./NEWS src/ConSys.cc
by Enea Zaffanella 23 Sep '02

23 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-23 12:57:34 Modified files: . : NEWS src : ConSys.cc Log message: Corrected a bug in ConSys::satisfies_all_constraints(const Generator& ) which was affecting the public method Polyhedron::relation_with(const Generator& ). The bug reported on the NEWS file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.35… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/tests Makefile.am relations13.cc relations ...
by Enea Zaffanella 23 Sep '02

23 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-23 11:55:34 Modified files: tests : Makefile.am Added files: tests : relations13.cc relations14.cc Log message: A couple of new tests. relations14 shows a bug in the implementation of ConSys::satisfies_all_constraints(const Generator& g) const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations13.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations14.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0