August 2004 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog pl_check.pl ppl_prolog.i ...
by Patricia Hill 11 Aug '04

11 Aug '04

1 0

ppl/tests expanddim1.cc
by Patricia Hill 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-11 21:44:20 Modified files: tests : expanddim1.cc Log message: More tests added for testing expand_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/expanddim1.cc.diff?cvsr…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 11 Aug '04

11 Aug '04

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-11 18:15:33 Modified files: src : Polyhedron_public.cc Log message: Drafted a patch to correct bug shown by polydifference8.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/tests Makefile.am bhz03widening3.cc polydi ...
by Enea Zaffanella 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-11 18:13:21 Modified files: tests : Makefile.am Added files: tests : bhz03widening3.cc polydifference8.cc Log message: New test polydifference8.cc (extracted from bhz03wodening3.cc) shows a bug in method Polyhedron::poly_difference_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening3.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference8.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests Makefile.am folddims1.cc
by Roberto Bagnara 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-11 16:29:41 Modified files: tests : Makefile.am Added files: tests : folddims1.cc Log message: Use folddims1.cc for testing Polyhedron::fold_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/folddims1.cc?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedra_PowerSet.defs.hh Polyhedra_P ...
by Enea Zaffanella 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-11 16:10:32 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Log message: Use BHRZ03_Certificate instead of BHRZ03_info. First step towards generalizing the BHZ03 widening to arbitrary certificates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.inlines. ...
by Enea Zaffanella 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-11 16:08:40 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_widenings.cc Log message: Got rid of all the stuff related to Polyhedron::BHRZ03_info, superseded by the class BHRZ03_Certificate. Patches: 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/Polyhedron_widenings.cc.d…

1 0

ppl/src BHRZ03_Certificate.defs.hh
by Enea Zaffanella 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-11 16:06:36 Modified files: src : BHRZ03_Certificate.defs.hh Log message: The comparison function is now provided with a brief and a detailed doxygen descriptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.defs.h…

1 0

ppl/tests expanddim1.cc
by Roberto Bagnara 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-11 15:33:50 Modified files: tests : expanddim1.cc Log message: Two new tests sketched. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/expanddim1.cc.diff?cvsr…

1 0