June 2002 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.defs.hh Polyhedron.inlines.hh
by Enea Zaffanella 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-24 15:21:28 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Log message: Adding short doxygen comment to Polyhedron related functions. 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…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-24 15:20:00 Modified files: interfaces/C/lpenum: lpenum.c Log message: Output improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl STANDARDS
by Enea Zaffanella 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-24 14:57:29 Modified files: . : STANDARDS Log message: Sketching the first rules to obtain a somewhat standard Doxygen documentation style. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-24 14:37:56 Modified files: src : Polyhedron.cc Log message: Polyhedron::remove_dimensions() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests removedim6.cc
by Roberto Bagnara 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-24 14:11:59 Modified files: tests : removedim6.cc Log message: This test was carefully written so as to cover a bug in the library: fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim6.cc.diff?cvsr…

1 0

ppl/interfaces/Prolog clpq2.pl
by Patricia Hill 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-24 13:07:26 Modified files: interfaces/Prolog: clpq2.pl Log message: Final delete_Polyhedron for Q now replaced by cleanup call and by adding polyhedron Q to list of used polyhedra in head of solve_query. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Enea Zaffanella 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-24 13:05:34 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Going on enforcing new rules on doxygen comments of class Polyhedron. 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/interfaces/Prolog pl_check.pl
by Patricia Hill 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-24 12:51:08 Modified files: interfaces/Prolog: pl_check.pl Log message: Improved layout and comments. Simplified and renamed some tests while adding others. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-24 12:25:14 Modified files: interfaces/C/lpenum: lpenum.c Log message: Added the test for unboundedness. Progress in cleaning and completing this program. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/Watchdog configure.ac
by Roberto Bagnara 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-24 12:23:53 Modified files: Watchdog : configure.ac Log message: Fixed typo in a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0