- PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/GNU Makefile.am
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 17:24:10 Modified files: interfaces/Prolog/GNU: Makefile.am Log message: Install also ppl_gprolog.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
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 17:23:42 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Reorganization started. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl NEWS STANDARDS
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 15:47:29 Modified files: . : NEWS STANDARDS Log message: Minor spelling/grammar corrections. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.24… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

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