December 2004 - PPL-devel - BUGSENG Mailman

ppl/src swapping_sort.icc
by Enea Zaffanella 09 Dec '04

09 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-09 17:12:43 Modified files: src : swapping_sort.icc Log message: The swapping sort procedure rewritten from scratch (it was buggy). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/swapping_sort.icc.diff?cv…

1 0

ppl/src globals.defs.hh
by Abramo Bagnara 08 Dec '04

08 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-12-08 11:12:09 Modified files: src : globals.defs.hh Log message: Added used() function useful to suppress compiler warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr…

1 0

ppl/src Checked_Number.inlines.hh
by Roberto Bagnara 08 Dec '04

08 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-08 09:46:37 Modified files: src : Checked_Number.inlines.hh Log message: Do not name an unused parameter. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/demos/ppl_lpsol expected_int16 expected_in ...
by Roberto Bagnara 07 Dec '04

07 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-07 19:23:13 Modified files: demos/ppl_lpsol: expected_int16 expected_int32 expected_int32_a expected_int64 expected_int64_a expected_mpz ppl_lpsol.c Log message: Print optimum value and location with the format "%.10g" instead of "%g". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int6… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int6… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl ./NEWS ./README ./TODO doc/devref-browse.d ...
by Roberto Bagnara 07 Dec '04

07 Dec '04

1 0

ppl ./NEWS ./README ./TODO doc/devref-browse.d ...
by Roberto Bagnara 07 Dec '04

07 Dec '04

1 0

ppl/tests Makefile.am
by Roberto Bagnara 06 Dec '04

06 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-06 22:45:45 Modified files: tests : Makefile.am Log message: Added nnc_membytes2 to XFAIL_WITH_INT8_A. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl ./NEWS ./README ./TODO src/Ask_Tell.defs.h ...
by Roberto Bagnara 06 Dec '04

06 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-06 18:10:27 Modified files: . : NEWS README TODO Added files: src : Ask_Tell.defs.hh Ask_Tell.inlines.hh Ask_Tell.types.hh Log message: The class AskTell has been renamed Ask_Tell. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.13… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.11… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.defs.hh?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.inlines.hh?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.types.hh?cvsroot…

1 0

ppl ./NEWS src/Polyhedra_Powerset.defs.hh src/ ...
by Roberto Bagnara 06 Dec '04

06 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-06 18:02:08 Modified files: . : NEWS src : Polyhedra_Powerset.defs.hh Polyhedra_Powerset.inlines.hh tests : membytes2.cc Log message: New explicit constructor Polyhedra_Powerset<CS>::Polyhedra_Powerset(const PH& ph): if `ph' is not empty, builds a powerset containing only `ph'; builds the empty powerset otherwise. Constructor Polyhedra_Powerset<PH>::Polyhedra_Powerset(const ConSys& cs) made explicit as well. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.12… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/membytes2.cc.diff?cvsro…

1 0

ppl ./NEWS src/Powerset.defs.hh src/Powerset.i ...
by Roberto Bagnara 06 Dec '04

06 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-06 17:55:30 Modified files: . : NEWS src : Powerset.defs.hh Powerset.inlines.hh Log message: New explicit constructor Powerset<CS>::Powerset(const CS& d): if `d' is not bottom, builds a powerset containing only `d'; builds the empty powerset otherwise. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.12… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?…

1 0