January 2006 - PPL-devel - BUGSENG Mailman

ppl ./TODO src/Ask_Tell.defs.hh src/BDS_Status ...
by Enea Zaffanella 01 Jan '06

01 Jan '06

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh
by Enea Zaffanella 01 Jan '06

01 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-01 19:25:51 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Log message: A few improvements in the code ofr affine images and preimages. Removed a (never used) default-valued parameter form an helper function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl STANDARDS
by Enea Zaffanella 01 Jan '06

01 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-01 19:24:06 Modified files: . : STANDARDS Log message: Established a new policy for the writing of multiline *brief* comment in doxygen: besides easing a bit their writing, this is also useful as a workaround for a long-standing doxygen bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 01 Jan '06

01 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-01-01 19:15:11 Modified files: htdocs/Credits : Credits.raw Log message: Several consistency improvements. Linked to Andrea's home page. Updated some other links. AC_LIB_LINKFLAGS and related macros are now part of Gnulib, the GNU portability library. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl/interfaces/Prolog GNU/ppl_gprolog.pl tests ...
by Patricia Hill 01 Jan '06

01 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-01 18:59:45 Modified files: interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/tests: pl_check.pl Log message: Code wrongly removed in pl_check.pl replaced. GNU Prolog system code for LP_Problem added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

w3ppl/htdocs/Documentation ppl.bib BagnaraDHMZ ...
by Roberto Bagnara 01 Jan '06

01 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-01-01 18:43:27 Modified files: htdocs/Documentation: ppl.bib Added files: htdocs/Documentation: BagnaraDHMZ05TR.pdf Log message: Added BagnaraDHMZ05TR.pdf. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 01 Jan '06

01 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-01 18:39:40 Modified files: tests/Polyhedron: Makefile.am Log message: The tests lpproblem1 and lpproblem2 also fail with 64-bits coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 01 Jan '06

01 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-01 17:28:27 Modified files: tests/Polyhedron: Makefile.am Log message: With 32-bits coefficients, the tests lpproblem1 and lpproblem2 are known to fail because of overflows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests/Polyhedron lpproblem1.cc lpproblem2.cc
by Roberto Bagnara 01 Jan '06

01 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-01 17:25:59 Modified files: tests/Polyhedron: lpproblem1.cc lpproblem2.cc Log message: Added missing try/catch blocks. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/lpproblem1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/lpproblem2.c…

1 0

ppl/interfaces/Prolog Ciao/ciao_pl_check.pl Ci ...
by Patricia Hill 01 Jan '06

01 Jan '06

1 0