November 2006 - PPL-devel - BUGSENG Mailman

ppl ./configure.ac tests/ppl_test.cc tests/ppl ...
by Roberto Bagnara 05 Nov '06

05 Nov '06

1 0

ppl/src Polyhedron_widenings.cc Rational_Box.hh
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 16:40:32 Modified files: src : Polyhedron_widenings.cc Rational_Box.hh Log message: Rational_Box is now in the Parma_Polyhedra_Library namespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rational_Box.hh.diff?cvsr…

1 0

ppl/src Interval.defs.hh
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 16:38:16 Modified files: src : Interval.defs.hh Log message: Added missing return statement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-05 16:35:49 Modified files: src : Interval.defs.hh Log message: Better unbounded check. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Boundary.defs.hh Interval.defs.hh
by Abramo Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-05 16:32:13 Modified files: src : Boundary.defs.hh Interval.defs.hh Log message: Added refine (still incomplete). Better name for is_integer applied to intervals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Box.defs.hh Box.inlines.hh Box.templat ...
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 16:25:57 Modified files: src : Box.defs.hh Box.inlines.hh Box.templates.hh Log message: Drafted bool operator==(const Box<Interval>&, const Box<Interval>&) and bool operator!=(const Box<Interval>&, const Box<Interval>&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/interfaces/Java ppl_java/Makefile.am ppl_j ...
by Andrea Cimino 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-05 16:04:57 Modified files: interfaces/Java/ppl_java: Makefile.am Polyhedron.java interfaces/Java/jni: ppl_java_common.cc Log message: Fixed Makefile.am to avoid some autoconf warnings. Fixed some interface bugs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/src Box.defs.hh Box.inlines.hh Box.templat ...
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 15:58:18 Modified files: src : Box.defs.hh Box.inlines.hh Box.templates.hh Log message: Implementation of Box abstracted with respect to the sequence employed in the representation. Drafted void Box<Interval>::concatenate_assign(const Box&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 15:56:17 Modified files: src : Interval.defs.hh Log message: Added missing inclusions and std:: qualifications. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src globals.types.hh
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 15:20:35 Modified files: src : globals.types.hh Log message: Added NOT_EQUAL to enum Relation_Symbol. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.types.hh.diff?cvs…

1 0