February 2003 - PPL-devel - BUGSENG Mailman

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

04 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-04 21:41:31 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
by Roberto Bagnara 04 Feb '03

04 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-04 20:58:53 Modified files: src : Polyhedron.cc Log message: Spurious newline removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 04 Feb '03

04 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-04 19:37:39 Modified files: src : Polyhedron.cc Log message: Avoiding equality check in is_BHRZ03_stabilizing, which is called more than once, and computing it just once inside BHRZ03_widening_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 04 Feb '03

04 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-04 11:35:37 Modified files: src : Polyhedron.cc Log message: Corrected a bug in H79_widening_assign, whereby we were relying on the number of columns of a constraint system that was not up-to-date. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc Polyhedron.inlines.hh
by Enea Zaffanella 04 Feb '03

04 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-04 09:35:34 Modified files: src : Polyhedron.cc Polyhedron.inlines.hh Log message: When declaring constraints (generators) no longer up-to-date, also clearing the pending constraints (generators) flag. In H79_widening_assign, avoiding the creation of polyhedra having the wrong dimension. 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.inlines.hh.dif…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Enea Zaffanella 03 Feb '03

03 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-03 15:11:54 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: The quick equivalence check is now a provate method of Polyhedron and it is called also by the inclusion test operator<=. Improved the computation of the H79widening operator by resorting to CH78 when polyhedra x and y have the same dimension. 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…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 01 Feb '03

01 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-01 15:35:59 Modified files: src : Polyhedron.cc Log message: Commented out conditionals removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Matrix.cc
by Roberto Bagnara 01 Feb '03

01 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-01 11:45:55 Modified files: src : Matrix.cc Log message: Old garbage removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0